Add qf_shid_entl/ls_nonrec_entail_ls_14 to passing list (takes 220 mi…

…nutes)
kframework · Apr 29, 2020 · d62cc11 · d62cc11
1 parent 1e4a72c
commit d62cc11
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/prover/lib/testlists.py b/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'])