Standard output
486605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16849608019400757975.key
486605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.6ns
486621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
486887 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
486887 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
486887 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
486887 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
487404 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
490977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s
491009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16849608019400757975.key
491009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
491134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13181936803728293259.proof.gz
491134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 607.5ns
491134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
494346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s
494362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13181936803728293259.proof.gz
494362 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.23ms