Standard output
402845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15223307182582788409.key
402845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.6ns
402845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
402954 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
402954 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
402954 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
402954 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
403376 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
406346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s
406361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15223307182582788409.key
406361 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
406472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest11710109644268107771.proof.gz
406472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 416ns
406472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
409165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s
409181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11710109644268107771.proof.gz
409181 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.99ms