QF_UFBV32 Results
| Solver | Score | Time | Unsat |
Sat | Unknown | Timeout |
Wrong |
|---|
| STP |
100 |
0 |
51 |
49 |
0 |
0 |
0 |
| Yices 1.0 |
100 |
0 |
51 |
49 |
0 |
0 |
0 |
| NuSMV |
100 |
13.7 |
51 |
49 |
0 |
0 |
0 |
| MathSAT 3.4 |
100 |
322.4 |
51 |
49 |
0 |
0 |
0 |
| CVC3 |
98 |
78.7 |
49 |
49 |
2 |
0 |
0 |
Hors-concours
| Solver | Score | Time | Unsat |
Sat | Unknown | Timeout |
Wrong |
|---|
| Bat |
82 |
228.9 |
50 |
48 |
0 |
0 |
2 |
Remarks:
- Column Time has the accumulated time (secs) used to solve the unsat and sat instances.
- Column Unknown has the number of unknown answers produced.
- Column Wrong has the number of wrong answers.
Last modified: Tue 17 Feb 2015 15:02 UTC