| Benchmark | Answer | Time | Correct? |
|---|
| RDS/reverse_acyclic0.smt |
sat |
0.0 |
yes |
| RDS/reverse_acyclic3.smt |
sat |
0.6 |
yes |
| RDS/set_union0.smt |
sat |
0.0 |
yes |
| RDS/set_union4.smt |
sat |
1.4 |
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 |
1.4 |
yes |
| RDS/sorted_list_insert_noalloc3.smt |
sat |
3.6 |
yes |
| RDS/sorted_list_insert_noalloc4.smt |
sat |
3.4 |
yes |
| RDS/sorted_list_insert_noalloc7.smt |
sat |
9.2 |
yes |
| UCLID-pred/BRP/BRP6.smt |
sat |
0.4 |
yes |
| UCLID-pred/BRP/BRP7.smt |
sat |
0.1 |
yes |
| UCLID-pred/DLX/DLX1C3.smt |
sat |
3.7 |
yes |
| UCLID-pred/DLX/DLX1C4.smt |
sat |
5.7 |
yes |
| UCLID-pred/OOO/OOO0.smt |
sat |
0.0 |
yes |
| UCLID-pred/OOO/OOO2.smt |
sat |
0.6 |
yes |
| UCLID-pred/OOO/OOO4.smt |
sat |
2.2 |
yes |
| UCLID-pred/aodv/aodv2.smt |
sat |
0.2 |
yes |
| UCLID-pred/bakery/LamportBakery10.smt |
sat |
3.2 |
yes |
| UCLID-pred/bakery/LamportBakery17.smt |
sat |
10.1 |
yes |
| UCLID-pred/bakery/LamportBakery4.smt |
sat |
2.0 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full0.smt |
sat |
0.0 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full1.smt |
sat |
0.1 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full6.smt |
sat |
0.6 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full7.smt |
sat |
0.7 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full9.smt |
unsat |
5.1 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded10.smt |
sat |
4.5 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded13.smt |
sat |
8.9 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded16.smt |
sat |
18.5 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded4.smt |
sat |
0.8 |
yes |
| UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded5.smt |
sat |
0.7 |
yes |
| check/bignum_idl1.smt |
unsat |
0.0 |
yes |
| check/bignum_idl2.smt |
unsat |
0.0 |
yes |
| pete/8stage-flush.smt |
unknown |
400.9 |
yes |
| pete/9stage-flush.smt |
unknown |
401.3 |
yes |
| pete/cxs-bp-ex-inp-safety.smt |
unsat |
38.9 |
yes |
| pete/cxs.smt |
unsat |
6.1 |
yes |
| pete/fxs-bp.smt |
unsat |
141.4 |
yes |
| pete/fxs.smt |
unsat |
110.6 |
yes |
| pete2/c10b_s.smt |
unsat |
0.1 |
yes |
| pete2/c10bid.smt |
unknown |
718.1 |
yes |
| pete2/c10bidw_s.smt |
unsat |
1.0 |
yes |
| pete2/c10idw_s.smt |
unsat |
3.7 |
yes |
| pete2/c10n.smt |
unknown |
293.4 |
yes |
| pete2/c10nid.smt |
unknown |
415.2 |
yes |
| pete2/c6bi_i.smt |
unknown |
384.4 |
yes |
| pete2/c6idw_s.smt |
unsat |
1.7 |
yes |
| pete2/c6n_i.smt |
unsat |
47.0 |
yes |
| pete2/c6n_s.smt |
unsat |
0.1 |
yes |
| pete2/c6nidw.smt |
unknown |
372.2 |
yes |
| pete2/c6nidw_s.smt |
unsat |
3.4 |
yes |
| pete2/c7bidw.smt |
unknown |
473.8 |
yes |
| pete2/c7n.smt |
unsat |
49.4 |
yes |
| pete2/c7n_s.smt |
unsat |
0.1 |
yes |
| pete2/c7nidw_i.smt |
unknown |
596.1 |
yes |
| pete2/c8bidw.smt |
unknown |
377.3 |
yes |
| pete2/c8idw.smt |
unknown |
426.8 |
yes |
| pete2/c8idw_i.smt |
unknown |
394.9 |
yes |
| pete2/c8idw_s.smt |
unsat |
1.9 |
yes |
| pete2/c8n_i.smt |
unsat |
38.6 |
yes |
| pete2/c8nidw.smt |
unknown |
397.6 |
yes |
| pete2/c9bidw_i.smt |
unknown |
382.5 |
yes |
| pete2/c9idw_s.smt |
unsat |
1.3 |
yes |
| pete2/c9n_s.smt |
unsat |
0.1 |
yes |
| pete2/c9nidw_i.smt |
unknown |
411.7 |
yes |
| pete2/f10.smt |
unknown |
380.1 |
yes |
| pete2/f10b.smt |
unknown |
416.6 |
yes |
| pete2/f10bid.smt |
unknown |
300.1 |
yes |
| pete2/f6id.smt |
unknown |
495.2 |
yes |
| pete2/f6ni.smt |
unsat |
22.4 |
yes |
| pete2/f7bidw.smt |
unknown |
499.6 |
yes |
| pete2/f8b.smt |
unknown |
431.7 |
yes |
| pete2/f9nidw.smt |
unknown |
426.4 |
yes |
| pete2/g10.smt |
unknown |
315.6 |
yes |
| pete2/g10idw.smt |
unknown |
610.3 |
yes |
| pete2/g10ni.smt |
unknown |
356.1 |
yes |
| pete2/g10nidw.smt |
unknown |
394.5 |
yes |
| pete2/g6bid.smt |
unknown |
411.5 |
yes |
| pete2/g6id.smt |
unknown |
382.8 |
yes |
| pete2/g7b.smt |
unknown |
362.8 |
yes |
| pete2/g8b.smt |
unknown |
357.2 |
yes |
| pete2/g8idw.smt |
unknown |
409.8 |
yes |
| pete2/g9bidw.smt |
unknown |
566.3 |
yes |
| pete2/g9n.smt |
unknown |
370.7 |
yes |
| pete3/bug_file2.smt |
sat |
1.0 |
yes |
| pete3/bug_file3.smt |
sat |
8.5 |
yes |
| pete3/bug_file4.smt |
sat |
12.9 |
yes |
| pete3/bug_file5.smt |
unknown |
483.6 |
yes |
| uclid/cache.inv12.smt |
unknown |
333.8 |
yes |
| uclid/dlx1c.rwmem.smt |
unsat |
6.3 |
yes |
| uclid/dlx1c.rwmem1.smt |
unsat |
11.0 |
yes |
| uclid/ooo.rf10.smt |
unsat |
269.3 |
yes |
| uclid/ooo.tag14.smt |
unknown |
283.8 |
yes |
| uclid/q2.14.smt |
unknown |
292.9 |
yes |
| uclid/q2.18.smt |
unknown |
279.1 |
yes |
| uclid/q2.20.smt |
unknown |
270.7 |
yes |
| uclid2/bug2.smt |
sat |
7.6 |
yes |
| uclid2/cache.inv18.smt |
unknown |
338.9 |
yes |
| uclid2/elf.rf12.smt |
unknown |
315.6 |
yes |
| uclid2/ooo.tag15.smt |
unknown |
282.3 |
yes |
| uclid2/ooo.tag17.smt |
unknown |
301.5 |
yes |
| uclid2/ooo.tag19.smt |
unknown |
263.9 |
yes |