Standard output
275109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
275109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 596.5ns
275124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
279127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s
279143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
279158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
279158 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
279174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
279174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.9ns
279174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
283208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s
283224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
283240 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns
283240 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
283240 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
283240 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'