Standard output
280664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
280664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.9ns
280664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
284784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s
284804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
284804 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
284819 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
284835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
284835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 492.9ns
284835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
288972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s
288988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
288988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
288988 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
288988 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
289004 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'