Standard output
784023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest8398215435900804678.key
784023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 605.4ns
784038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
784274 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
784274 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
784274 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
784274 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
785165 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
791050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.01s
791066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest8398215435900804678.key
791081 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns
791206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14460336526771597979.proof.gz
791222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 774ns
791222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
796501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s
796532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14460336526771597979.proof.gz
796532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.63ms