Standard output
561950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13790673863877313853.key
561950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.8ns
561950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
562122 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
562122 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
562122 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
562122 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
562997 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
567392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s
567408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13790673863877313853.key
567408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
567549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13668542591431920355.proof.gz
567549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 545ns
567549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
571207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
571239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13668542591431920355.proof.gz
571255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ms