Standard output
397915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest629451863470517071.key
397915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.8ns
397931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
398041 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
398041 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
398041 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
398041 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
398463 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
401620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s
401636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest629451863470517071.key
401636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns
401745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10925922081308745010.proof.gz
401745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 426.8ns
401745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
404326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s
404342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10925922081308745010.proof.gz
404357 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.47ms