Standard output
395375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest18297057132173461330.key
395375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.6ns
395375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
395493 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
395493 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
395493 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
395493 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
395915 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
398865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
398881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest18297057132173461330.key
398881 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
399006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14923660075197866970.proof.gz
399006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.9ns
399006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
401836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s
401852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14923660075197866970.proof.gz
401867 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.22ms