| 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 |
4.1 |
yes |
| array_benchmarks/pointer-safe-15.smt | unsat |
11.7 |
yes |
| array_benchmarks/pointer-safe-20.smt | unsat |
26.0 |
yes |
| array_benchmarks/pointer-safe-5.smt | unsat |
0.7 |
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 |
4.4 |
yes |
| array_benchmarks/queue-th1-6.smt | unsat |
0.6 |
yes |
| array_benchmarks/queue-th2-6.smt | unsat |
1.3 |
yes |
| array_benchmarks/stack-invalid-6.smt | unknown |
- | - |
| array_benchmarks/stack-th1-6.smt | unsat |
0.6 |
yes |
| array_benchmarks/stack-th2-6.smt | unsat |
0.4 |
yes |
| check/array_incompleteness1.smt | unsat |
0.0 |
yes |
| check/int_incompleteness1.smt | unknown |
- | - |
| cvc/add4.smt | unsat |
0.1 |
yes |
| cvc/add5.smt | unsat |
0.4 |
yes |
| cvc/add6.smt | unsat |
0.2 |
yes |
| cvc/dlx-dmem.smt | unsat |
0.8 |
yes |
| cvc/dlx-pc.smt | unsat |
0.5 |
yes |
| cvc/dlx-regfile.smt | unsat |
1.7 |
yes |
| cvc/fb_var_12_11.smt | unsat |
0.1 |
yes |
| cvc/fb_var_27_8.smt | unknown |
- | - |
| 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.1 |
yes |
| cvc/pp-TakenBranch-s2e.smt | unsat |
37.0 |
yes |
| cvc/pp-bloaddata-a.smt | unsat |
1.3 |
yes |
| cvc/pp-bloaddata.smt | unsat |
2.6 |
yes |
| cvc/pp-dmem-a.smt | unsat |
0.6 |
yes |
| cvc/pp-dmem.smt | unsat |
37.4 |
yes |
| cvc/pp-dmem2.smt | unsat |
1.1 |
yes |
| cvc/pp-invariant.smt | unsat |
0.1 |
yes |
| cvc/pp-pc-s2i.smt | unsat |
0.1 |
yes |
| cvc/pp-regfile.smt | unsat |
108.4 |
yes |
| cvc/read2.smt | unsat |
0.0 |
yes |
| cvc/read5.smt | unsat |
0.1 |
yes |
| cvc/read6.smt | unsat |
0.2 |
yes |
| cvc/read7.smt | unsat |
0.1 |
yes |
| cvc/read8.smt | unsat |
0.1 |
yes |