Standard output
505966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17174981856166576587.key
505966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 775.8ns
505982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
506170 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
506170 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
506170 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
506170 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
506983 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
511141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s
511173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17174981856166576587.key
511173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
511329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest1339299078052950960.proof.gz
511329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 634.9ns
511329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
514879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s
514894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1339299078052950960.proof.gz
514925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.12ms