Standard output
201800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
201800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.2ns
201801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
204825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s
204843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
204845 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
204846 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"' on goal 0 (script from line 1)
204852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
204852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.3ns
204853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
207909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s
207926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
207927 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
207928 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1)
207930 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft' on goal 1 (script from line 2)
207931 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"' on goal 2 (script from line 3)