| Benchmark | Answer | Time | Correct? |
|---|
| RDS/reverse_acyclic0.smt |
sat |
0.0 |
yes |
| RDS/reverse_acyclic3.smt |
sat |
0.2 |
yes |
| RDS/set_union0.smt |
sat |
0.0 |
yes |
| RDS/set_union4.smt |
sat |
0.3 |
yes |
| RDS/simple_cyclic1.smt |
sat |
0.1 |
yes |
| RDS/sorted_list_insert_noalloc0.smt |
sat |
0.0 |
yes |
| RDS/sorted_list_insert_noalloc1.smt |
sat |
0.8 |
yes |
| RDS/sorted_list_insert_noalloc3.smt |
sat |
1.9 |
yes |
| RDS/sorted_list_insert_noalloc4.smt |
sat |
2.0 |
yes |
| RDS/sorted_list_insert_noalloc7.smt |
sat |
2.2 |
yes |
| UCLID-pred/BRP/BRP6.smt |
sat |
0.0 |
yes |
| UCLID-pred/BRP/BRP7.smt |
sat |
0.0 |
yes |
| UCLID-pred/DLX/DLX1C3.smt |
sat |
0.3 |
yes |
| UCLID-pred/DLX/DLX1C4.smt |
sat |
0.6 |
yes |
| UCLID-pred/OOO/OOO0.smt |
sat |
0.0 |
yes |
| UCLID-pred/OOO/OOO2.smt |
sat |
0.1 |
yes |
| UCLID-pred/OOO/OOO4.smt |
sat |
0.5 |
yes |
| UCLID-pred/aodv/aodv2.smt |
sat |
0.0 |
yes |
| UCLID-pred/bakery/LamportBakery10.smt |
sat |
0.5 |
yes |
| UCLID-pred/bakery/LamportBakery17.smt |
sat |
0.6 |
yes |
| UCLID-pred/bakery/LamportBakery4.smt |
sat |
0.3 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full0.smt |
sat |
0.0 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full1.smt |
sat |
0.0 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full6.smt |
sat |
0.2 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full7.smt |
sat |
0.2 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full9.smt |
unsat |
0.4 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded10.smt |
sat |
1.0 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded13.smt |
sat |
0.9 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded16.smt |
sat |
1.1 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded4.smt |
sat |
0.1 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded5.smt |
sat |
0.2 |
yes |
| check/bignum_idl1.smt |
unknown |
0.0 |
yes |
| check/bignum_idl2.smt |
unknown |
0.0 |
yes |
| pete/8stage-flush.smt |
unsat |
1.5 |
yes |
| pete/9stage-flush.smt |
unsat |
5.8 |
yes |
| pete/cxs-bp-ex-inp-safety.smt |
unsat |
0.2 |
yes |
| pete/cxs.smt |
unsat |
0.1 |
yes |
| pete/fxs-bp.smt |
unsat |
0.6 |
yes |
| pete/fxs.smt |
unsat |
0.4 |
yes |
| pete2/c10b_s.smt |
unsat |
0.0 |
yes |
| pete2/c10bid.smt |
unsat |
23.1 |
yes |
| pete2/c10bidw_s.smt |
unsat |
0.7 |
yes |
| pete2/c10idw_s.smt |
unsat |
1.7 |
yes |
| pete2/c10n.smt |
unsat |
0.7 |
yes |
| pete2/c10nid.smt |
unsat |
47.4 |
yes |
| pete2/c6bi_i.smt |
unsat |
0.9 |
yes |
| pete2/c6idw_s.smt |
unsat |
0.2 |
yes |
| pete2/c6n_i.smt |
unsat |
0.1 |
yes |
| pete2/c6n_s.smt |
unsat |
0.0 |
yes |
| pete2/c6nidw.smt |
unsat |
8.7 |
yes |
| pete2/c6nidw_s.smt |
unsat |
0.8 |
yes |
| pete2/c7bidw.smt |
unsat |
10.7 |
yes |
| pete2/c7n.smt |
unsat |
0.3 |
yes |
| pete2/c7n_s.smt |
unsat |
0.0 |
yes |
| pete2/c7nidw_i.smt |
unsat |
2.3 |
yes |
| pete2/c8bidw.smt |
unsat |
19.8 |
yes |
| pete2/c8idw.smt |
unsat |
16.0 |
yes |
| pete2/c8idw_i.smt |
unsat |
2.8 |
yes |
| pete2/c8idw_s.smt |
unsat |
0.4 |
yes |
| pete2/c8n_i.smt |
unsat |
0.2 |
yes |
| pete2/c8nidw.smt |
unsat |
20.9 |
yes |
| pete2/c9bidw_i.smt |
unsat |
5.2 |
yes |
| pete2/c9idw_s.smt |
unsat |
0.5 |
yes |
| pete2/c9n_s.smt |
unsat |
0.0 |
yes |
| pete2/c9nidw_i.smt |
unsat |
4.4 |
yes |
| pete2/f10.smt |
unsat |
20.9 |
yes |
| pete2/f10b.smt |
unsat |
23.4 |
yes |
| pete2/f10bid.smt |
unsat |
83.2 |
yes |
| pete2/f6id.smt |
unsat |
0.7 |
yes |
| pete2/f6ni.smt |
unsat |
0.3 |
yes |
| pete2/f7bidw.smt |
unsat |
2.9 |
yes |
| pete2/f8b.smt |
unsat |
2.0 |
yes |
| pete2/f9nidw.smt |
unsat |
27.3 |
yes |
| pete2/g10.smt |
unsat |
0.4 |
yes |
| pete2/g10idw.smt |
unsat |
2.0 |
yes |
| pete2/g10ni.smt |
unsat |
0.9 |
yes |
| pete2/g10nidw.smt |
unsat |
2.2 |
yes |
| pete2/g6bid.smt |
unsat |
0.2 |
yes |
| pete2/g6id.smt |
unsat |
0.2 |
yes |
| pete2/g7b.smt |
unsat |
0.1 |
yes |
| pete2/g8b.smt |
unsat |
0.2 |
yes |
| pete2/g8idw.smt |
unsat |
0.6 |
yes |
| pete2/g9bidw.smt |
unsat |
1.0 |
yes |
| pete2/g9n.smt |
unsat |
0.4 |
yes |
| pete3/bug_file2.smt |
sat |
7.1 |
yes |
| pete3/bug_file3.smt |
sat |
8.7 |
yes |
| pete3/bug_file4.smt |
sat |
12.7 |
yes |
| pete3/bug_file5.smt |
sat |
16.1 |
yes |
| uclid/cache.inv12.smt |
unsat |
4.8 |
yes |
| uclid/dlx1c.rwmem.smt |
unsat |
0.1 |
yes |
| uclid/dlx1c.rwmem1.smt |
unsat |
0.1 |
yes |
| uclid/ooo.rf10.smt |
unsat |
4.7 |
yes |
| uclid/ooo.tag14.smt |
unsat |
4.7 |
yes |
| uclid/q2.14.smt |
sat |
0.0 |
no (incomplete)
|
| uclid/q2.18.smt |
sat |
0.0 |
no (incomplete)
|
| uclid/q2.20.smt |
sat |
0.1 |
no (incomplete)
|
| uclid2/bug2.smt |
sat |
0.1 |
yes |
| uclid2/cache.inv18.smt |
sat |
8.6 |
no (incomplete)
|
| uclid2/elf.rf12.smt |
sat |
0.6 |
no (incomplete)
|
| uclid2/ooo.tag15.smt |
unsat |
11.6 |
yes |
| uclid2/ooo.tag17.smt |
unsat |
76.1 |
yes |
| uclid2/ooo.tag19.smt |
timeout |
1193.9 |
yes |