Standard output
400221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14935963867146427240.key
400221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.1ns
400221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
400330 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
400330 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
400346 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
400346 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
400784 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
404006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s
404022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14935963867146427240.key
404022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
404131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17166462095067683710.proof.gz
404131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.1ns
404147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
406695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s
406711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17166462095067683710.proof.gz
406727 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.26ms