Standard output
216771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
216771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 673.1ns
216771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
219959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s
219990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
219990 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
219990 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
220006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
220006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.6ns
220006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
223335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
223350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
223366 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
223366 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
223366 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
223366 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'