Standard output
420869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4340395344981259849.key
420869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.1ns
420869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
421010 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
421010 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
421010 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
421010 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
421447 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
424449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s
424480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4340395344981259849.key
424480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
424605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14001298915339087142.proof.gz
424605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.13ms
424605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
427231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s
427247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14001298915339087142.proof.gz
427247 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ms