Standard output
719730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5069610610910538251.key
719730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.8ns
719730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
719910 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
719910 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
719910 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
719910 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
720605 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
725759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.03s
725790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5069610610910538251.key
725790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
725915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14917559512031005318.proof.gz
725915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 382.2ns
725915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
730564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s
730596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14917559512031005318.proof.gz
730596 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.58ms