Standard output
638332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest12511373766776172883.key
638332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.9ns
638332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
638488 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
638488 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
638488 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
638488 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
639093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
643799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s
643815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12511373766776172883.key
643830 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns
643940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7557059232344326755.proof.gz
643940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 397.7ns
643955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
648175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s
648190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7557059232344326755.proof.gz
648190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.87ms