Number of contributions from each solver
List of tables
Number of times each solver was the only one to give the best known result
Category no optimization function (SAT)
| Solver name | #Instances |
|---|
| bsolo | 0 |
|---|
| galena | 0 |
|---|
| minisat+ | 0 |
|---|
| PBS4 | 0 |
|---|
| Pueblo | 4 |
|---|
| sat4jpseudo | 0 |
|---|
| vallst_0.9.258 | 0 |
|---|
| pb2sat+zchaff | 0 |
|---|
Category optimization, small integers (OPTSMALLINT)
| Solver name | #Instances |
|---|
| bsolo | 112 |
|---|
| galena | 1 |
|---|
| minisat+ | 20 |
|---|
| PBS4 | 0 |
|---|
| Pueblo | 29 |
|---|
| sat4jpseudo | 19 |
|---|
| vallst_0.9.258 | 0 |
|---|
| pb2sat+zchaff | 0 |
|---|
Category optimization, medium integers (OPTMEDINT)
| Solver name | #Instances |
|---|
| bsolo | 32 |
|---|
| galena | 5 |
|---|
| minisat+ | 1 |
|---|
| PBS4 | 0 |
|---|
| Pueblo | 28 |
|---|
| sat4jpseudo | 39 |
|---|
| vallst_0.9.258 | 0 |
|---|
| pb2sat+zchaff | 1 |
|---|
Category optimization, big integers (OPTBIGINT)
| Solver name | #Instances |
|---|
| bsolo | 42 |
|---|
| galena | 0 |
|---|
| minisat+ | 17 |
|---|
| PBS4 | 0 |
|---|
| Pueblo | 0 |
|---|
| sat4jpseudo | 120 |
|---|
| vallst_0.9.258 | 0 |
|---|
| pb2sat+zchaff | 2 |
|---|
All categories
| Solver name | #Instances |
|---|
| bsolo | 186 |
|---|
| galena | 6 |
|---|
| minisat+ | 38 |
|---|
| PBS4 | 0 |
|---|
| Pueblo | 61 |
|---|
| sat4jpseudo | 178 |
|---|
| vallst_0.9.258 | 0 |
|---|
| pb2sat+zchaff | 3 |
|---|
Number of times each solver obtained the best known result
Category no optimization function (SAT)
| Solver name | #Instances |
|---|
| bsolo | 44 |
|---|
| galena | 43 |
|---|
| minisat+ | 43 |
|---|
| PBS4 | 89 |
|---|
| Pueblo | 103 |
|---|
| sat4jpseudo | 69 |
|---|
| vallst_0.9.258 | 67 |
|---|
| pb2sat+zchaff | 78 |
|---|
Category optimization, small integers (OPTSMALLINT)
| Solver name | #Instances |
|---|
| bsolo | 271 |
|---|
| galena | 112 |
|---|
| minisat+ | 186 |
|---|
| PBS4 | 143 |
|---|
| Pueblo | 207 |
|---|
| sat4jpseudo | 154 |
|---|
| vallst_0.9.258 | 141 |
|---|
| pb2sat+zchaff | 146 |
|---|
Category optimization, medium integers (OPTMEDINT)
| Solver name | #Instances |
|---|
| bsolo | 62 |
|---|
| galena | 10 |
|---|
| minisat+ | 24 |
|---|
| PBS4 | 33 |
|---|
| Pueblo | 70 |
|---|
| sat4jpseudo | 62 |
|---|
| vallst_0.9.258 | 0 |
|---|
| pb2sat+zchaff | 15 |
|---|
Category optimization, big integers (OPTBIGINT)
| Solver name | #Instances |
|---|
| bsolo | 135 |
|---|
| galena | 0 |
|---|
| minisat+ | 129 |
|---|
| PBS4 | 0 |
|---|
| Pueblo | 0 |
|---|
| sat4jpseudo | 206 |
|---|
| vallst_0.9.258 | 0 |
|---|
| pb2sat+zchaff | 19 |
|---|
All categories
| Solver name | #Instances |
|---|
| bsolo | 512 |
|---|
| galena | 165 |
|---|
| minisat+ | 382 |
|---|
| PBS4 | 265 |
|---|
| Pueblo | 380 |
|---|
| sat4jpseudo | 491 |
|---|
| vallst_0.9.258 | 208 |
|---|
| pb2sat+zchaff | 258 |
|---|