Standard output
420196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9174157161764313076.key
420196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.4ns
420212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
420337 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
420337 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
420337 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
420337 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
420911 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
424287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s
424318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9174157161764313076.key
424318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.7ns
424475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest12043747578389254273.proof.gz
424475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.8ms
424475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
427079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s
427111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12043747578389254273.proof.gz
427126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.15ms