Standard output
546661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13922723896954649854.key
546661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.4ns
546661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
546833 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
546833 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
546833 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
546833 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
547552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
551600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s
552132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13922723896954649854.key
552132 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
553101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest1021436845047331327.proof.gz
553101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 532.4ns
553101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
556759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
556790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1021436845047331327.proof.gz
556805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.71ms