Standard output
504140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest18425860248667074570.key
504140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 579.6ns
504140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
504351 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504351 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504351 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504351 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504955 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
508894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s
508909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest18425860248667074570.key
508925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
509065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16474869006878393548.proof.gz
509065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.8ns
509081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
512437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s
512453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16474869006878393548.proof.gz
512484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.95ms