Standard output
559594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4888683323749082203.key
559594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 677ns
559594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
559766 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
559766 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
559766 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
559766 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
560430 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
564878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s
564894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4888683323749082203.key
564910 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
565055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14621608390811258504.proof.gz
565056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 684.5ns
565060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
568767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s
568782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14621608390811258504.proof.gz
568798 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.53ms