Standard output
544547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17842359036871748264.key
544547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 654.9ns
544547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
544719 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
544719 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
544719 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
544719 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
545453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
549456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s
549846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17842359036871748264.key
549846 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
551097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13645807173593509140.proof.gz
551097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 617.7ns
551097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
554693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s
554724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13645807173593509140.proof.gz
554740 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.25ms