Standard output
390177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest12464206440313225114.key
390177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.8ns
390177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
390286 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
390286 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
390286 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
390286 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
390811 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
393746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s
393761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12464206440313225114.key
393761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns
393995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16328801426872529792.proof.gz
393995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 451.1ns
394010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
396949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s
396965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16328801426872529792.proof.gz
396965 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.13ms