Standard output
751375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5754396135834724649.key
751375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.9ns
751375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
751563 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
751563 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
751563 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
751563 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
752332 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
758018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.65s
758049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5754396135834724649.key
758049 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
758174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16295670024428122621.proof.gz
758174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 400.5ns
758174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
763112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s
763144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16295670024428122621.proof.gz
763144 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.99ms