Standard output
399655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest8706934237485153326.key
399655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144ns
399655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
399749 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
399749 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
399749 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
399749 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
400186 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
403323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
403338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest8706934237485153326.key
403338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
403445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15929821577399294091.proof.gz
403445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 407.8ns
403445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
406024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s
406040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15929821577399294091.proof.gz
406040 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.46ms