Standard output
341196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
341196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 548.6ns
341196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
346405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s
346421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
346436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
346436 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
346468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
346468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.7ns
346468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
351702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s
351717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
351717 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
351733 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
351733 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
351733 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'