Standard output
287520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
287520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.9ns
287521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
291927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s
291946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
291948 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
291949 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
291957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
291957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.7ns
291958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
296318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s
296337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
296338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
296339 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
296342 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
296343 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'