Standard output
510587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest10644097669818619615.key
510587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 545ns
510587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
510752 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
510752 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
510752 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
510752 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
511494 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
515684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s
516074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest10644097669818619615.key
516074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns
517123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16464103724001017138.proof.gz
517123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 539.1ns
517137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
520530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s
520545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16464103724001017138.proof.gz
520545 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.66ms