Standard output
391433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest14060069038124951367.key
391433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.4ns
391435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
391527 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
391527 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
391527 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
391527 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
391935 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
395044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s
395356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest14060069038124951367.key
395356 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
395999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest1189727101717949606.proof.gz
395999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 353.9ns
395999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
398621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s
398637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest1189727101717949606.proof.gz
398637 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ms