Standard output
801337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest2108641037984711094.key
801337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213ns
801337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
801561 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
801561 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
801561 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
801561 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
802485 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
808031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.7s
808047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest2108641037984711094.key
808063 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
808188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5221535766638208267.proof.gz
808188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.7ns
808203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
813403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s
813434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5221535766638208267.proof.gz
813434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.02ms