Standard output
638173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7811566140417815206.key
638173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 542.9ns
638173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
638580 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
638580 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
638580 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
638580 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
639846 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
644896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.73s
644927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7811566140417815206.key
644927 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
645052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4305896188146158748.proof.gz
645052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 446.9ns
645067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
649415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s
649446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4305896188146158748.proof.gz
649446 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.42ms