Standard output
245592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
245592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.4ns
245607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
249312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s
249343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
249343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
249343 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
249374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
249374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.3ns
249374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
253002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s
253033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
253033 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
253033 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
253049 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
253049 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'