Standard output
475574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16260803988142910340.key
475574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.3ns
475574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
475699 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
475699 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
475699 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
475699 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
476230 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
479904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s
479935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16260803988142910340.key
479935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
480045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest18288953158787248135.proof.gz
480045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 500.5ns
480060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
483109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s
483125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest18288953158787248135.proof.gz
483140 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.12ms