Standard output
419758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest1155776103884788109.key
419758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452.3ns
419773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
419898 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
419898 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
419898 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
419898 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
420452 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
423545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s
423561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1155776103884788109.key
423576 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
423686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest11132811449041236169.proof.gz
423686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 471.5ns
423686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
426342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s
426357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest11132811449041236169.proof.gz
426357 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.99ms