Standard output
565389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5559161030078904129.key
565389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.5ns
565389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
565608 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
565608 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
565608 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
565608 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
566311 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
570923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s
571345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5559161030078904129.key
571345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns
572096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest17906640620608010174.proof.gz
572111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.45ms
572111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
575754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s
575769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest17906640620608010174.proof.gz
575800 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.86ms