Standard output
488751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14214110286969033362.key
488751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.9ns
488751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
488876 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
488876 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
488876 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
488876 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
489470 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
492989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s
493020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14214110286969033362.key
493020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
493130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17717624627323812554.proof.gz
493130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 472ns
493130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
496366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s
496382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17717624627323812554.proof.gz
496397 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.25ms