Standard output
686371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9382168930027310711.key
686371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 570.1ns
686371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
686617 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
686617 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
686617 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
686617 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
687414 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
692910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.55s
692941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9382168930027310711.key
692941 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
693098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest8108809253995033162.proof.gz
693098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 497.4ns
693098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
697687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s
697702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest8108809253995033162.proof.gz
697718 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.58ms