Standard output
799112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest1043833919002495058.key
799112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.4ns
799112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
799331 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
799331 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
799331 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
799331 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
801129 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
807697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.59s
807728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1043833919002495058.key
807728 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns
807900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest3830881713826794302.proof.gz
807900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.7ns
807900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
813263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s
813294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3830881713826794302.proof.gz
813309 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.32ms