| Benchmark | Answer | Time | Correct? |
|---|
| array_benchmarks/misc/pipeline-invalid.smt |
sat |
0.1 |
yes |
| array_benchmarks/misc/queue-th1-6.smt |
unsat |
0.1 |
yes |
| array_benchmarks/misc/stack-invalid-6.smt |
sat |
0.1 |
yes |
| array_benchmarks/pointer/pointer-invalid-10.smt |
sat |
11.0 |
yes |
| array_benchmarks/pointer/pointer-invalid-20.smt |
sat |
1.7 |
yes |
| array_benchmarks/pointer/pointer-invalid-5.smt |
sat |
0.2 |
yes |
| array_benchmarks/pointer/pointer-safe-10.smt |
unsat |
19.9 |
yes |
| array_benchmarks/pointer/pointer-safe-5.smt |
unsat |
0.9 |
yes |
| array_benchmarks/qlock/qlock-bug-10.smt |
unknown |
132.8 |
yes |
| array_benchmarks/qlock/qlock-bug-15.smt |
unknown |
78.9 |
yes |
| array_benchmarks/qlock/qlock-bug-20.smt |
unknown |
92.9 |
yes |
| array_benchmarks/qlock/qlock-bug-5.smt |
sat |
0.8 |
yes |
| array_benchmarks/qlock/qlock-bug2-15.smt |
unknown |
72.0 |
yes |
| array_benchmarks/qlock/qlock-bug2-20.smt |
unknown |
55.8 |
yes |
| array_benchmarks/qlock/qlock-mutex-10.smt |
unknown |
17.7 |
yes |
| array_benchmarks/qlock/qlock-mutex-15.smt |
unknown |
162.6 |
yes |
| array_benchmarks/qlock/qlock-mutex-20.smt |
unknown |
52.7 |
yes |
| check/array_incompleteness1.smt |
unsat |
0.0 |
yes |
| check/bignum_lia1.smt |
unsat |
0.1 |
yes |
| check/bignum_lia2.smt |
sat |
0.0 |
yes |
| check/int_incompleteness1.smt |
unsat |
0.0 |
yes |
| check/int_incompleteness2.smt |
unsat |
0.0 |
yes |
| check/int_incompleteness3.smt |
unsat |
0.0 |
yes |
| cvc/add4.smt |
unsat |
0.0 |
yes |
| cvc/add5.smt |
unsat |
0.3 |
yes |
| cvc/add6.smt |
unsat |
0.2 |
yes |
| cvc/dlx-dmem.smt |
unsat |
0.6 |
yes |
| cvc/dlx-pc.smt |
unsat |
0.3 |
yes |
| cvc/fb_var_12_11.smt |
unsat |
0.1 |
yes |
| cvc/fb_var_27_8.smt |
sat |
0.0 |
yes |
| cvc/fb_var_33_6.smt |
unsat |
0.1 |
yes |
| cvc/fb_var_5_12.smt |
unsat |
0.1 |
yes |
| cvc/fb_var_6_12.smt |
unsat |
0.0 |
yes |
| cvc/pp-bloaddata-a.smt |
unsat |
1.0 |
yes |
| cvc/pp-dmem-a.smt |
unsat |
0.6 |
yes |
| cvc/pp-dmem2.smt |
unsat |
0.6 |
yes |
| cvc/pp-pc-s2i.smt |
unsat |
0.0 |
yes |
| cvc/pp-regfile.smt |
unsat |
427.0 |
yes |
| cvc/read6.smt |
unsat |
0.1 |
yes |
| ios/ios_t1_ios_np_sf_ai_00009_001.cvc.smt |
unsat |
0.1 |
yes |
| piVC/piVC_13f61c.smt |
unsat |
0.1 |
yes |
| piVC/piVC_39224f.smt |
unsat |
0.6 |
yes |
| piVC/piVC_408ff0.smt |
unsat |
0.2 |
yes |
| piVC/piVC_46582a.smt |
unsat |
0.6 |
yes |
| piVC/piVC_5b181b.smt |
unsat |
0.0 |
yes |
| piVC/piVC_7fd2c4.smt |
unsat |
0.0 |
yes |
| piVC/piVC_8caf76.smt |
unsat |
1.2 |
yes |
| piVC/piVC_cb19c7.smt |
unsat |
0.0 |
yes |
| piVC/piVC_d421cb.smt |
unsat |
0.1 |
yes |
| piVC/piVC_f5059f.smt |
unsat |
0.6 |
yes |
| piVC/piVC_ffa5fa.smt |
unsat |
0.0 |
yes |
| qlock2/qlock.base.10.smt |
unknown |
76.2 |
yes |
| qlock2/qlock.base.11.smt |
unknown |
79.5 |
yes |
| qlock2/qlock.base.12.smt |
unknown |
63.3 |
yes |
| qlock2/qlock.base.13.smt |
unknown |
66.0 |
yes |
| qlock2/qlock.base.14.smt |
unknown |
79.2 |
yes |
| qlock2/qlock.base.15.smt |
unknown |
71.2 |
yes |
| qlock2/qlock.base.16.smt |
unknown |
51.0 |
yes |
| qlock2/qlock.base.17.smt |
unknown |
55.4 |
yes |
| qlock2/qlock.base.18.smt |
unknown |
89.7 |
yes |
| qlock2/qlock.base.19.smt |
unknown |
62.5 |
yes |
| qlock2/qlock.base.20.smt |
unknown |
55.2 |
yes |
| qlock2/qlock.base.21.smt |
unknown |
50.7 |
yes |
| qlock2/qlock.base.22.smt |
unknown |
42.7 |
yes |
| qlock2/qlock.base.24.smt |
unknown |
47.3 |
yes |
| qlock2/qlock.base.25.smt |
unknown |
32.2 |
yes |
| qlock2/qlock.base.26.smt |
unknown |
30.5 |
yes |
| qlock2/qlock.base.27.smt |
unknown |
45.5 |
yes |
| qlock2/qlock.base.28.smt |
unknown |
32.4 |
yes |
| qlock2/qlock.base.29.smt |
unknown |
33.6 |
yes |
| qlock2/qlock.base.30.smt |
unknown |
43.4 |
yes |
| qlock2/qlock.base.5.smt |
unknown |
6.4 |
yes |
| qlock2/qlock.base.6.smt |
unknown |
133.3 |
yes |
| qlock2/qlock.base.8.smt |
unknown |
223.9 |
yes |
| qlock2/qlock.base.9.smt |
unknown |
63.3 |
yes |
| qlock2/qlock.induction.10.smt |
sat |
2.9 |
yes |
| qlock2/qlock.induction.11.smt |
sat |
99.9 |
yes |
| qlock2/qlock.induction.12.smt |
sat |
13.4 |
yes |
| qlock2/qlock.induction.13.smt |
unknown |
61.5 |
yes |
| qlock2/qlock.induction.14.smt |
sat |
4.9 |
yes |
| qlock2/qlock.induction.15.smt |
unknown |
40.2 |
yes |
| qlock2/qlock.induction.16.smt |
sat |
27.5 |
yes |
| qlock2/qlock.induction.17.smt |
unknown |
66.3 |
yes |
| qlock2/qlock.induction.18.smt |
unknown |
97.6 |
yes |
| qlock2/qlock.induction.19.smt |
sat |
107.0 |
yes |
| qlock2/qlock.induction.20.smt |
unknown |
44.2 |
yes |
| qlock2/qlock.induction.23.smt |
unknown |
37.2 |
yes |
| qlock2/qlock.induction.24.smt |
unknown |
34.2 |
yes |
| qlock2/qlock.induction.25.smt |
unknown |
31.6 |
yes |
| qlock2/qlock.induction.26.smt |
unknown |
56.8 |
yes |
| qlock2/qlock.induction.27.smt |
unknown |
32.7 |
yes |
| qlock2/qlock.induction.30.smt |
unknown |
67.1 |
yes |
| qlock2/qlock.induction.5.smt |
sat |
0.6 |
yes |
| qlock2/qlock.induction.6.smt |
sat |
3.3 |
yes |
| qlock2/qlock.induction.7.smt |
unknown |
11.9 |
yes |
| qlock2/qlock.induction.8.smt |
sat |
9.0 |
yes |
| qlock2/qlock.induction.9.smt |
sat |
0.8 |
yes |
| storecomm/storecomm_invalid_t1_pp_sf_ai_00050_001.cvc.smt |
sat |
13.6 |
yes |
| storecomm/storecomm_invalid_t1_pp_sf_ai_00050_003.cvc.smt |
sat |
36.2 |
yes |
| storecomm/storecomm_invalid_t2_np_nf_ai_00010_009.cvc.smt |
sat |
0.0 |
yes |
| storecomm/storecomm_invalid_t2_np_sf_ai_00010_008.cvc.smt |
sat |
0.0 |
yes |
| storecomm/storecomm_invalid_t3_np_sf_ai_00060_003.cvc.smt |
sat |
2.5 |
yes |
| storecomm/storecomm_invalid_t3_pp_nf_ai_00060_004.cvc.smt |
sat |
0.2 |
yes |
| storeinv/storeinv_t2_np_nf_ai_00010_001.cvc.smt |
unknown |
140.5 |
yes |
| storeinv/storeinv_t3_np_sf_ai_00009_001.cvc.smt |
unknown |
125.1 |
yes |
| storeinv/storeinv_t3_pp_nf_ai_00006_001.cvc.smt |
unsat |
11.7 |
yes |