Standard output
513472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9616717596382411877.key
513472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.25ms
513472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
513618 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
513618 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
513618 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
513618 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
514250 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
518083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s
518099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9616717596382411877.key
518115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
518224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10457851137546642188.proof.gz
518224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.2ns
518240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
521572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
521587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10457851137546642188.proof.gz
521603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.94ms