Standard output
717959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5758127514739136700.key
717959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.2ns
717959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
718149 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
718149 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
718149 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
718149 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
719004 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
724362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.41s
724394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5758127514739136700.key
724409 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
724534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13158282748902652725.proof.gz
724534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.6ns
724534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
729318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s
729334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13158282748902652725.proof.gz
729334 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.68ms