Standard output
459164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14617854630015344432.key
459164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 952.6ns
459164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
459289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
459289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
459289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
459289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
459892 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
463490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s
463521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14617854630015344432.key
463521 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
463649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest2079565241068425481.proof.gz
463649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 698.4ns
463649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
467270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s
467286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest2079565241068425481.proof.gz
467301 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.42ms