Standard output
759117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16123833561464307963.key
759117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.5ns
759117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
759320 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
759320 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
759320 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
759320 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
760373 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
765943 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.83s
765974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16123833561464307963.key
765974 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
766131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest2881926658908187150.proof.gz
766131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 509.9ns
766131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
771041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s
771072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest2881926658908187150.proof.gz
771072 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.47ms