Standard output
515746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15110774834361255604.key
515746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.3ns
515746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
515934 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
515934 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
515934 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
515934 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
516684 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
520328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s
520358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15110774834361255604.key
520358 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
520468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14287929921638166642.proof.gz
520468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.2ns
520483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
523813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
523829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14287929921638166642.proof.gz
523844 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ms