Standard output
202575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
202575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.9ns
202576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
205615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s
205630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
205631 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
205632 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
205640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
205640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.6ns
205648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
208769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s
208784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
208785 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
208786 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
208789 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
208790 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'