Standard output
433954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14427081765640418677.key
433954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.6ns
433954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
434063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
434063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
434063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
434063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
434581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
437598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s
437625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14427081765640418677.key
437625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
437747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5462432543517233591.proof.gz
437747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 446.7ns
437747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
440468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s
440483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5462432543517233591.proof.gz
440483 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.34ms