Standard output
613905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13185059576210119384.key
613905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137ns
613920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
614076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
614076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
614076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
614076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
614726 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
619084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s
619099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13185059576210119384.key
619099 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
619219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13677109728543796175.proof.gz
619219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 340.9ns
619219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
623253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s
623269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13677109728543796175.proof.gz
623269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.54ms