Standard output
479562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15716604355911007016.key
479562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.5ns
479562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
479687 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
479687 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
479687 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
479687 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
480259 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
484004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s
484020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15716604355911007016.key
484020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
484145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9696034794671421962.proof.gz
484145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.6ns
484145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
487202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s
487217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9696034794671421962.proof.gz
487233 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.48ms