Standard output
519084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7618751584521122790.key
519084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.4ns
519084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
519209 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
519240 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
519240 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
519240 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
519797 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
523570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s
523586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7618751584521122790.key
523586 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
523700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest12562684959533392411.proof.gz
523700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.7ns
523700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
526890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s
526906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12562684959533392411.proof.gz
526906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.24ms