Standard output
354033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
354033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.1ns
354033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
359369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s
359385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
359401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns
359401 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
359416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
359416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.1ns
359416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
364714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s
364730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
364730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns
364730 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
364746 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
364746 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'