Standard output
774253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5251598925159576890.key
774253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 513.4ns
774269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
774503 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
774503 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
774503 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
774503 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
775446 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
781003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.74s
781034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5251598925159576890.key
781034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns
781204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest18373671620996685683.proof.gz
781205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.3ns
781208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
786509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s
786528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest18373671620996685683.proof.gz
786544 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.04ms