Standard output
791874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest2565286061861322606.key
791874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 492.4ns
791874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
792092 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
792092 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
792092 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
792092 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
793080 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
799090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.21s
799121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest2565286061861322606.key
799121 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns
799309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4211291315890937707.proof.gz
799309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.9ns
799309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
804916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.6s
804932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4211291315890937707.proof.gz
804947 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.97ms