Standard output
663627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7571540597247878208.key
663643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.47ms
663643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
663893 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
663893 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
663893 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
663893 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
664972 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
670364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.73s
670395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7571540597247878208.key
670395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
670536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest11378644713221942000.proof.gz
670536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428ns
670536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
674820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s
674852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11378644713221942000.proof.gz
674867 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.81ms