Standard output
415139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest3328490742936850122.key
415139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.5ns
415139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
415264 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415264 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415264 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415264 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415806 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
419015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s
419030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3328490742936850122.key
419030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns
419154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10565748192298272724.proof.gz
419154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 757.1ns
419154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
421834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s
421866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10565748192298272724.proof.gz
421866 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.92ms