| Benchmark | Answer | Time | Correct? |
|---|
| array_benchmarks/pipeline-invalid.smt | unknown |
- | - |
| array_benchmarks/pointer-invalid-10.smt | unknown |
- | - |
| array_benchmarks/pointer-invalid-15.smt | unknown |
- | - |
| array_benchmarks/pointer-invalid-20.smt | unknown |
- | - |
| array_benchmarks/pointer-invalid-5.smt | unknown |
- | - |
| array_benchmarks/pointer-safe-10.smt | unsat |
1.7 |
yes |
| array_benchmarks/pointer-safe-15.smt | unsat |
8.6 |
yes |
| array_benchmarks/pointer-safe-20.smt | unsat |
30.4 |
yes |
| array_benchmarks/pointer-safe-5.smt | unsat |
0.2 |
yes |
| array_benchmarks/qlock-bug-10.smt | unknown |
- | - |
| array_benchmarks/qlock-bug-15.smt | unknown |
- | - |
| array_benchmarks/qlock-bug-20.smt | unknown |
- | - |
| array_benchmarks/qlock-bug-5.smt | unknown |
- | - |
| array_benchmarks/qlock-bug2-10.smt | unknown |
- | - |
| array_benchmarks/qlock-bug2-15.smt | unknown |
- | - |
| array_benchmarks/qlock-bug2-20.smt | unknown |
- | - |
| array_benchmarks/qlock-mutex-10.smt | unknown |
- | - |
| array_benchmarks/qlock-mutex-15.smt | unknown |
- | - |
| array_benchmarks/qlock-mutex-20.smt | unknown |
- | - |
| array_benchmarks/qlock-mutex-5.smt | unsat |
8.0 |
yes |
| array_benchmarks/queue-th1-6.smt | unsat |
0.2 |
yes |
| array_benchmarks/queue-th2-6.smt | unsat |
0.2 |
yes |
| array_benchmarks/stack-invalid-6.smt | unknown |
- | - |
| array_benchmarks/stack-th1-6.smt | unsat |
0.1 |
yes |
| array_benchmarks/stack-th2-6.smt | unsat |
0.1 |
yes |
| check/array_incompleteness1.smt | unknown |
- | - |
| check/int_incompleteness1.smt | sat |
0.0 |
no |
| cvc/add4.smt | unsat |
0.1 |
yes |
| cvc/add5.smt | unsat |
0.6 |
yes |
| cvc/add6.smt | unsat |
0.6 |
yes |
| cvc/dlx-dmem.smt | unsat |
33.8 |
yes |
| cvc/dlx-pc.smt | unsat |
2.2 |
yes |
| cvc/dlx-regfile.smt | unsat |
7.5 |
yes |
| cvc/fb_var_12_11.smt | unsat |
3.9 |
yes |
| cvc/fb_var_27_8.smt | unknown |
- | - |
| cvc/fb_var_33_6.smt | unsat |
0.0 |
yes |
| cvc/fb_var_5_12.smt | unsat |
19.3 |
yes |
| cvc/fb_var_6_12.smt | unsat |
7.8 |
yes |
| cvc/pp-TakenBranch-s2e.smt | unknown |
- | - |
| cvc/pp-bloaddata-a.smt | unsat |
1.7 |
yes |
| cvc/pp-bloaddata.smt | unsat |
1.7 |
yes |
| cvc/pp-dmem-a.smt | unsat |
1.4 |
yes |
| cvc/pp-dmem.smt | unknown |
- | - |
| cvc/pp-dmem2.smt | unsat |
1.4 |
yes |
| cvc/pp-invariant.smt | unsat |
0.5 |
yes |
| cvc/pp-pc-s2i.smt | unsat |
0.0 |
yes |
| cvc/pp-regfile.smt | unknown |
- | - |
| cvc/read2.smt | unknown |
- | - |
| cvc/read5.smt | unknown |
- | - |
| cvc/read6.smt | unknown |
- | - |
| cvc/read7.smt | unknown |
- | - |
| cvc/read8.smt | unknown |
- | - |