Standard output
796919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4778372078799619925.key
796919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 587.7ns
796934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
797169 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
797184 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
797184 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
797184 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
798233 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
803965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.04s
803997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4778372078799619925.key
803997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns
804137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7878623047768224905.proof.gz
804137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.6ns
804153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
809512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s
809528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7878623047768224905.proof.gz
809543 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.62ms