| Benchmark | Answer | Time | Correct? |
|---|
| RDS/reverse_acyclic0.smt |
sat |
0.0 |
yes |
| RDS/reverse_acyclic3.smt |
sat |
0.5 |
yes |
| RDS/set_union0.smt |
sat |
0.0 |
yes |
| RDS/set_union4.smt |
sat |
0.6 |
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 |
2.0 |
yes |
| RDS/sorted_list_insert_noalloc3.smt |
sat |
4.6 |
yes |
| RDS/sorted_list_insert_noalloc4.smt |
sat |
4.8 |
yes |
| RDS/sorted_list_insert_noalloc7.smt |
sat |
4.6 |
yes |
| UCLID-pred/BRP/BRP6.smt |
sat |
0.0 |
yes |
| UCLID-pred/BRP/BRP7.smt |
sat |
0.1 |
yes |
| UCLID-pred/DLX/DLX1C3.smt |
sat |
0.3 |
yes |
| UCLID-pred/DLX/DLX1C4.smt |
sat |
0.5 |
yes |
| UCLID-pred/OOO/OOO0.smt |
sat |
0.0 |
yes |
| UCLID-pred/OOO/OOO2.smt |
sat |
0.3 |
yes |
| UCLID-pred/OOO/OOO4.smt |
sat |
1.3 |
yes |
| UCLID-pred/aodv/aodv2.smt |
sat |
0.1 |
yes |
| UCLID-pred/bakery/LamportBakery10.smt |
sat |
1.4 |
yes |
| UCLID-pred/bakery/LamportBakery17.smt |
sat |
2.0 |
yes |
| UCLID-pred/bakery/LamportBakery4.smt |
sat |
0.5 |
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.5 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full9.smt |
unsat |
0.8 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded10.smt |
sat |
1.7 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded13.smt |
sat |
1.1 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded16.smt |
sat |
4.8 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded4.smt |
sat |
0.2 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded5.smt |
sat |
0.2 |
yes |
| check/bignum_idl1.smt |
unsat |
0.0 |
yes |
| check/bignum_idl2.smt |
unsat |
0.0 |
yes |
| pete/8stage-flush.smt |
unsat |
5.0 |
yes |
| pete/9stage-flush.smt |
unsat |
22.5 |
yes |
| pete/cxs-bp-ex-inp-safety.smt |
unsat |
1.6 |
yes |
| pete/cxs.smt |
unsat |
0.5 |
yes |
| pete/fxs-bp.smt |
unsat |
2.7 |
yes |
| pete/fxs.smt |
unsat |
1.8 |
yes |
| pete2/c10b_s.smt |
unsat |
0.1 |
yes |
| pete2/c10bid.smt |
unsat |
288.2 |
yes |
| pete2/c10bidw_s.smt |
unsat |
161.0 |
yes |
| pete2/c10idw_s.smt |
unsat |
179.6 |
yes |
| pete2/c10n.smt |
unsat |
14.6 |
yes |
| pete2/c10nid.smt |
unsat |
722.0 |
yes |
| pete2/c6bi_i.smt |
unsat |
6.3 |
yes |
| pete2/c6idw_s.smt |
unsat |
2.5 |
yes |
| pete2/c6n_i.smt |
unsat |
1.2 |
yes |
| pete2/c6n_s.smt |
unsat |
0.0 |
yes |
| pete2/c6nidw.smt |
unsat |
54.3 |
yes |
| pete2/c6nidw_s.smt |
unsat |
8.9 |
yes |
| pete2/c7bidw.smt |
unsat |
50.6 |
yes |
| pete2/c7n.smt |
unsat |
1.8 |
yes |
| pete2/c7n_s.smt |
unsat |
0.0 |
yes |
| pete2/c7nidw_i.smt |
unsat |
35.3 |
yes |
| pete2/c8bidw.smt |
unsat |
82.0 |
yes |
| pete2/c8idw.smt |
unsat |
95.4 |
yes |
| pete2/c8idw_i.smt |
unsat |
50.0 |
yes |
| pete2/c8idw_s.smt |
unsat |
10.1 |
yes |
| pete2/c8n_i.smt |
unsat |
2.1 |
yes |
| pete2/c8nidw.smt |
unsat |
224.5 |
yes |
| pete2/c9bidw_i.smt |
unsat |
131.1 |
yes |
| pete2/c9idw_s.smt |
unsat |
11.1 |
yes |
| pete2/c9n_s.smt |
unsat |
0.1 |
yes |
| pete2/c9nidw_i.smt |
unsat |
129.8 |
yes |
| pete2/f10.smt |
unsat |
48.8 |
yes |
| pete2/f10b.smt |
unsat |
68.7 |
yes |
| pete2/f10bid.smt |
unsat |
1118.0 |
yes |
| pete2/f6id.smt |
unsat |
13.0 |
yes |
| pete2/f6ni.smt |
unsat |
2.5 |
yes |
| pete2/f7bidw.smt |
unsat |
99.9 |
yes |
| pete2/f8b.smt |
unsat |
9.7 |
yes |
| pete2/f9nidw.smt |
unsat |
868.1 |
yes |
| pete2/g10.smt |
unsat |
2.2 |
yes |
| pete2/g10idw.smt |
unsat |
176.3 |
yes |
| pete2/g10ni.smt |
unsat |
21.8 |
yes |
| pete2/g10nidw.smt |
unsat |
178.4 |
yes |
| pete2/g6bid.smt |
unsat |
1.6 |
yes |
| pete2/g6id.smt |
unsat |
1.2 |
yes |
| pete2/g7b.smt |
unsat |
0.4 |
yes |
| pete2/g8b.smt |
unsat |
0.9 |
yes |
| pete2/g8idw.smt |
unsat |
17.1 |
yes |
| pete2/g9bidw.smt |
unsat |
79.4 |
yes |
| pete2/g9n.smt |
unsat |
2.3 |
yes |
| pete3/bug_file2.smt |
sat |
214.0 |
yes |
| pete3/bug_file3.smt |
sat |
128.9 |
yes |
| pete3/bug_file4.smt |
sat |
407.8 |
yes |
| pete3/bug_file5.smt |
sat |
189.1 |
yes |
| uclid/cache.inv12.smt |
unsat |
47.7 |
yes |
| uclid/dlx1c.rwmem.smt |
unsat |
0.3 |
yes |
| uclid/dlx1c.rwmem1.smt |
unsat |
0.3 |
yes |
| uclid/ooo.rf10.smt |
unsat |
318.7 |
yes |
| uclid/ooo.tag14.smt |
unsat |
19.0 |
yes |
| uclid/q2.14.smt |
unsat |
15.5 |
yes |
| uclid/q2.18.smt |
unsat |
903.1 |
yes |
| uclid/q2.20.smt |
timeout |
1207.9 |
yes |
| uclid2/bug2.smt |
sat |
0.9 |
yes |
| uclid2/cache.inv18.smt |
timeout |
1207.9 |
yes |
| uclid2/elf.rf12.smt |
unsat |
580.9 |
yes |
| uclid2/ooo.tag15.smt |
unsat |
39.3 |
yes |
| uclid2/ooo.tag17.smt |
unsat |
240.6 |
yes |
| uclid2/ooo.tag19.smt |
unsat |
759.5 |
yes |