294262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
294263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 468.9ns
294264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
298820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s
298840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
298842 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
298843 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
298852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
298852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.6ns
298853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
303501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s
303523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
303524 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
303526 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
303528 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
303530 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'