Standard output
237595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
237595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.9ns
237611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
241035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s
241050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
241050 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
241066 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
241082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
241082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.4ns
241082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
244493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s
244508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
244508 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
244523 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
244523 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
244523 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'