Standard output
488694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17144296157356205909.key
488694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.6ns
488694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
488819 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
488819 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
488819 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
488819 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
489326 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
493412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s
493709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17144296157356205909.key
493740 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns
493865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14287587102916397209.proof.gz
493865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.6ns
493865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
496983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s
496999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14287587102916397209.proof.gz
496999 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.74ms