Standard output
542805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest8805534318135337636.key
542805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.1ns
542805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
542976 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
542976 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
542976 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
542976 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
543705 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
547779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s
547795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest8805534318135337636.key
547810 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns
547935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest4557471247858943146.proof.gz
547951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 647.8ns
547951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
551486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s
551518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest4557471247858943146.proof.gz
551518 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.06ms