Standard output
182912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
182912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.5ns
182912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
185663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s
185679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
185679 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
185694 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
185694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
185694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120ns
185710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
188555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s
188571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
188586 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
188586 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
188586 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
188586 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'