Standard output
503589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9522247145745051505.key
503589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.4ns
503589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
503746 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503746 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503746 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503746 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504360 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
507966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s
507982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9522247145745051505.key
507982 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
508138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14287668508738910468.proof.gz
508138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 501.1ns
508154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
511718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s
511733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14287668508738910468.proof.gz
511733 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.42ms