Standard output
759451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4742870961382350844.key
759451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.3ns
759451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
759673 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
759673 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
759673 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
759673 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
760605 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
766104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.65s
766120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4742870961382350844.key
766136 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
766261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10259039847891574982.proof.gz
766261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.9ns
766261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
771370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s
771401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10259039847891574982.proof.gz
771401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.88ms