Standard output
754446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16431708379201122850.key
754446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 638.6ns
754446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
754680 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
754680 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
754680 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
754680 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
756415 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
762481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.04s
762512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16431708379201122850.key
762512 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns
762668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16112646419483199592.proof.gz
762668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 710.7ns
762668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
767516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s
767531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16112646419483199592.proof.gz
767562 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.25ms