Standard output
224804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
224804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.8ns
224804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
228324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s
228355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
228355 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
228355 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
228371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
228371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.5ns
228371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
232178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s
232210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
232210 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
232210 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
232210 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
232210 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'