Standard output
339241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
339241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 608.4ns
339241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
344387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s
344417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
344417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
344417 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
344432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
344432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209ns
344448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
349498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s
349529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
349529 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns
349544 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
349544 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
349544 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'