Standard output
750867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5274272486103559288.key
750867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.3ns
750867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
751089 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
751089 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
751089 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
751089 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
751942 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
757576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.71s
757591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5274272486103559288.key
757591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.2ns
757763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17654424803614541245.proof.gz
757763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.5ns
757763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
762703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s
762719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17654424803614541245.proof.gz
762735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.57ms