Standard output
523670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest521248487886192327.key
523670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.3ns
523670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
523850 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
523850 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
523850 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
523850 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
524453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
529035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s
529395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest521248487886192327.key
529395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns
529535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest7078119900698076270.proof.gz
529535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 643ns
529551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
533116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s
533132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest7078119900698076270.proof.gz
533132 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.55ms