Standard output
410696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest12748808125564659103.key
410696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.1ns
410696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
410821 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
410821 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
410821 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
410821 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411275 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
414548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s
414564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12748808125564659103.key
414579 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
414689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest6053366144590785537.proof.gz
414689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.9ns
414704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
417421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s
417436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest6053366144590785537.proof.gz
417436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.99ms