334106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
334107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 597.51ns
334108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
339135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s
339159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
339164 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns
339166 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
339176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
339176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135ns
339178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
344263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s
344283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
344286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
344287 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
344290 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
344292 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'