Standard output
402637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9445142486677541094.key
402637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.9ns
402652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
402762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
402762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
402762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
402762 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
403215 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
406451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s
406690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9445142486677541094.key
406935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
407264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7574953259813965796.proof.gz
407264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.7ns
407264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
409891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s
409906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7574953259813965796.proof.gz
409906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.73ms