Standard output
212727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
212727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.7ns
212728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
216013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
216033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
216035 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns
216035 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
216043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
216043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91ns
216044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
219281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
219299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
219300 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns
219301 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
219304 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
219307 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'