Standard output
474661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest3563554532900552039.key
474661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 453ns
474661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
474770 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
474770 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
474770 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
474770 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
475275 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
478819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s
478835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3563554532900552039.key
478835 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
478960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13452945159128009919.proof.gz
478960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.9ns
478960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
481962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s
481993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13452945159128009919.proof.gz
481993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.42ms