Standard output
206243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
206243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.3ns
206243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
209337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s
209368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
209368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
209368 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
209384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
209384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.3ns
209384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
212524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s
212540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
212540 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
212540 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
212555 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
212555 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'