Standard output
524119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10662768260410897237.key
524119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 597.9ns
524134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
524284 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
524284 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
524284 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
524284 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
524920 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
528823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s
528855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10662768260410897237.key
528855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns
529105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9311255213259829703.proof.gz
529105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 533ns
529105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
532522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s
532537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9311255213259829703.proof.gz
532553 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.81ms