Standard output
217226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
217226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.1ns
217227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
220530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s
220547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
220549 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
220550 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
220558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
220558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.7ns
220559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
223791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s
223809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
223811 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
223811 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
223818 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
223821 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'