Standard output
544816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9020520820236736942.key
544816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.5ns
544816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
544973 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
544973 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
544973 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
544973 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
545614 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
549647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s
550132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9020520820236736942.key
550147 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
550757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest6036089796213540485.proof.gz
550757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 535.7ns
550773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
554165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
554181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest6036089796213540485.proof.gz
554197 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.21ms