Standard output
477406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14531573250970518373.key
477406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 454.3ns
477406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
477546 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
477546 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
477546 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
477546 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
478086 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
481624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s
481640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14531573250970518373.key
481656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
481781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest11691736793239410216.proof.gz
481781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 496.3ns
481781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
484962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s
484977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11691736793239410216.proof.gz
484993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.72ms