Standard output
201329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
201329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.2ns
201330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
204463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s
204481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
204482 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns
204483 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
204492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
204492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.8ns
204493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
207560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s
207575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
207577 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
207578 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
207580 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
207582 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'