Standard output
504582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7811415772496604310.key
504582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.4ns
504598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
504754 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504754 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504754 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504754 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
505488 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
509336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s
509367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7811415772496604310.key
509367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
509492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5035374902863822678.proof.gz
509492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 536.9ns
509492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
512869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s
512900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5035374902863822678.proof.gz
512916 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.44ms