Standard output
411406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest2818580085004675795.key
411406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442ns
411406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
411515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
412125 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
415225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s
415241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest2818580085004675795.key
415241 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
415444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest12461812019688070320.proof.gz
415444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.9ns
415444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
418136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s
418152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12461812019688070320.proof.gz
418167 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.14ms