Standard output
816317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest11109366748798116500.key
816317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 575.7ns
816317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
816510 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
816510 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
816510 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
816510 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
817384 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
823379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.07s
823410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11109366748798116500.key
823410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns
823551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest12936208032630004983.proof.gz
823551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 853.7ns
823551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
828903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s
828934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12936208032630004983.proof.gz
828934 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.21ms