Standard output
495834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17544889046697083642.key
495834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.2ns
495850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
496006 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
496006 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
496006 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
496006 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
496594 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
500521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s
500536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17544889046697083642.key
500536 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
500676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10759311582964111445.proof.gz
500677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 629.4ns
500677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
503960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s
503976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10759311582964111445.proof.gz
503992 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.83ms