Standard output
576865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4109519927165022369.key
576865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.6ns
576865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
577025 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
577025 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
577025 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
577025 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
577577 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
581738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s
581754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4109519927165022369.key
581754 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
581863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7239329761148082130.proof.gz
581863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 303.5ns
581863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
585631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s
585646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7239329761148082130.proof.gz
585662 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.44ms