Standard output
788290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17784004317591059309.key
788290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 622.7ns
788290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
788587 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
788587 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
788587 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
788587 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
790150 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
795701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.41s
795732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17784004317591059309.key
795732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
795873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15072999831250412594.proof.gz
795873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 754.9ns
795888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
800954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s
800970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15072999831250412594.proof.gz
801001 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.39ms