Standard output
390532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7502972413571893654.key
390532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns
390532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
390641 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
390641 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
390641 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
390641 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
391078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
394111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s
394142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7502972413571893654.key
394142 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
394252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13628065248183288728.proof.gz
394252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.2ns
394252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
396770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s
396786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13628065248183288728.proof.gz
396801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.09ms