Standard output
488409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest3075088786538597554.key
488409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.2ns
488409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
488597 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
488597 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
488597 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
488597 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
489222 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
493034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s
493409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3075088786538597554.key
493409 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns
494332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest12708925723973921461.proof.gz
494332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 658.3ns
494347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
497599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
497614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest12708925723973921461.proof.gz
497645 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.32ms