Standard output
740542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16799180441788445799.key
740542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 494.5ns
740542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
740730 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
740730 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
740730 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
740730 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
741544 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
746885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.34s
746916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16799180441788445799.key
746916 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
747026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15285904762488721084.proof.gz
747026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.7ns
747042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
752008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s
752024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15285904762488721084.proof.gz
752039 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.75ms