Standard output
370428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10575560964767170189.key
370428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 344ns
370428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
370506 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
370506 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
370506 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
370506 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
370853 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
373698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
373714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10575560964767170189.key
373714 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns
373819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9951921843474641312.proof.gz
373819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 357.1ns
373819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
376181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.37s
376212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9951921843474641312.proof.gz
376212 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.82ms