Standard output
640611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest12299537139654842699.key
640611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.8ns
640611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
640798 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
640798 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
640798 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
640798 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
641417 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
645952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s
645983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12299537139654842699.key
645983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns
646100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest11999890224846453535.proof.gz
646100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.3ns
646100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
650118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s
650134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11999890224846453535.proof.gz
650134 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.61ms