Standard output
415299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14605308807647944864.key
415299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.7ns
415299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
415424 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415424 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415424 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415424 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
415877 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
419113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s
419519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14605308807647944864.key
419519 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
420504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7696516757190216821.proof.gz
420504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.7ns
420520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
423146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s
423162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7696516757190216821.proof.gz
423178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.66ms