Standard output
471139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest3738342918767759929.key
471139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.8ns
471139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
471264 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
471264 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
471264 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
471264 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
471780 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
475594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s
475609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest3738342918767759929.key
475609 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
475859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest9980837066367839037.proof.gz
475859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 567.6ns
475859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
478970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s
478986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest9980837066367839037.proof.gz
479001 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.06ms