Standard output
403768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15261624063887379887.key
403768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.8ns
403768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
403940 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
403940 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
403940 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
403940 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
404424 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
407552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s
407583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15261624063887379887.key
407583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
407692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17031495359359064954.proof.gz
407692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 505.9ns
407708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
410397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s
410413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17031495359359064954.proof.gz
410428 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.89ms