Standard output
514051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17212440411295303469.key
514051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 552ns
514051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
514254 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
514254 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
514254 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
514254 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
514879 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
518786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s
518801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17212440411295303469.key
518801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
518926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10095514011206969057.proof.gz
518926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 588.1ns
518942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
522291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s
522322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10095514011206969057.proof.gz
522322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.41ms