Standard output
200847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
200847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.6ns
200848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
203865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s
203882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
203884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.2ns
203885 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
203893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
203893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.7ns
203894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
206960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s
206976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
206977 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
206978 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
206981 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
206982 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'