Standard output
471352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16969387866996196415.key
471352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142ns
471368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
471477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
471477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
471493 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
471493 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
471993 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
475759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s
475790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16969387866996196415.key
475790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
475900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest6039620549977974907.proof.gz
475900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 475ns
475900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
478990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s
479021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest6039620549977974907.proof.gz
479021 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ms