Standard output
752782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15076193636282166368.key
752782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.2ns
752782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
752986 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
752986 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
753001 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
753001 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
753799 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
759118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.34s
759133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15076193636282166368.key
759133 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
759273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13467241262312513144.proof.gz
759273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 495.6ns
759273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
764153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s
764184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13467241262312513144.proof.gz
764184 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.66ms