Standard output
510582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5218865275238033140.key
510582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 449.6ns
510582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
510707 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
510707 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
510707 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
510707 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
511223 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
514990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s
515021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5218865275238033140.key
515021 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
515146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16711332891673168308.proof.gz
515146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 488.9ns
515146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
518321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s
518336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16711332891673168308.proof.gz
518352 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.38ms