Standard output
163814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
163814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.7ns
163815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
166270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s
166284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
166285 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns
166286 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
166293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
166293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.8ns
166294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
168818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s
168835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
168837 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
168838 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
168845 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
168848 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'