Add qf_shid_entl/ls_nonrec_entail_ls_14 to passing list (takes 220 minutes)

Author: nishantjr

prover/lib/testlists.py

@@ -86,6 +86,7 @@ def read_list(file):
              , ('unfold-mut-recs . ',   10, 16, '20m', ['t/SL-COMP18/bench/qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2'])
              , ('unfold-mut-recs . ',    6, 16, '10m', ['t/SL-COMP18/bench/qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2'])
              , ('unfold-mut-recs . ',   12, 18, '75m', ['t/SL-COMP18/bench/qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2'])
+             , ('unfold-mut-recs . ',   14, 21,'220m', ['t/SL-COMP18/bench/qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2'])
              ## these 3 tests should go  through with this strategy, but they will need a very high
              ## time bound (>60m)
              # , ('unfold-mut-recs . ',   14, 20, '60m', ['t/SL-COMP18/bench/qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2'])