Standard output
741207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest3635241337997582382.key
741207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.9ns
741207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
741425 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
741441 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
741441 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
741441 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
742232 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
747703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.49s
747718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3635241337997582382.key
747718 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
747875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14356519191898048083.proof.gz
747875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 400.1ns
747875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
752767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s
752798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14356519191898048083.proof.gz
752798 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.51ms