Standard output
189936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
189936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.1ns
189937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
192810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s
192827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
192828 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns
192829 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
192836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
192836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.2ns
192837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
195793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s
195810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
195811 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns
195812 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
195814 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
195815 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'