Standard output
411316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10795204636124986414.key
411316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 405.7ns
411316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
411425 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411425 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411425 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411425 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411941 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
414911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s
414942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10795204636124986414.key
414942 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns
415052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15057680448521263335.proof.gz
415052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.1ns
415052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
417554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s
417570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15057680448521263335.proof.gz
417570 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.67ms