Standard output
731516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5855073616284019011.key
731516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.8ns
731516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
731699 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
731699 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
731699 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
731699 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
732417 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
737854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.34s
737885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5855073616284019011.key
737885 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
738026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15591243111043217804.proof.gz
738026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 588.5ns
738026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
742976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s
743008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15591243111043217804.proof.gz
743008 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.93ms