Standard output
432144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest1158357553869110595.key
432144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.2ns
432144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
432260 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
432269 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
432269 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
432269 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
432819 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
435883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s
435899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1158357553869110595.key
435899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
436016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest6832465512399433512.proof.gz
436016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 409.5ns
436016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
438970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s
439001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest6832465512399433512.proof.gz
439001 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.39ms