Standard output
748507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15355870125664796966.key
748507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 640.2ns
748507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
748851 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
748851 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
748851 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
748851 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
750055 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
755838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.33s
755870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15355870125664796966.key
755870 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
756042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest15593814593542970390.proof.gz
756042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 986.3ns
756042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
760920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s
760936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest15593814593542970390.proof.gz
760952 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.31ms