Standard output
486813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest8815037460882596744.key
486813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.9ns
486829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
486938 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
486938 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
486938 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
486938 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
487524 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
491020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s
491035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest8815037460882596744.key
491035 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
491145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14724720606992041489.proof.gz
491145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 477.6ns
491160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
494434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s
494450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14724720606992041489.proof.gz
494465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.24ms