Standard output
616211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest8499739653825983221.key
616211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.8ns
616211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
616383 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
616383 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
616383 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
616383 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
616989 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
621556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s
621774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest8499739653825983221.key
621774 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns
622062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5789246980917107810.proof.gz
622063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.2ns
622066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
626359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s
626374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5789246980917107810.proof.gz
626374 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.49ms