Standard output
493942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5164518288196832187.key
493942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.3ns
493942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
494083 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
494083 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
494083 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
494083 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
494629 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
498136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s
498152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5164518288196832187.key
498152 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
498266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17007754727288726111.proof.gz
498266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 405.3ns
498266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
501152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s
501167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17007754727288726111.proof.gz
501183 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.45ms