| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 426 | 14847 | 39.79 | 35.81 | 7.45 | 8.63 | 10.24 |
|---|
| zChaff | minisat | SatELite |
| 30.7273 |
8.90465 |
35.8535 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 33.45 | 27.98 | 2.29 | 6.34 | 8.09 | 0 | 4413 | 30 | 4413 | 30 | 207936 | 1.12883 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 36.1005 |
8.66768 |
34.3168 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 47.70 | 23.16 | 7.26 | 5.43 | 12.42 | 0 | 2463 | 17 | 2463 | 17 | 116027 | 0.801878 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 31.0263 |
7.44087 |
35.7866 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 36.70 | 31.36 | 9.79 | 7.73 | 9.63 | 0 | 3546 | 24 | 3546 | 24 | 149178 | 1.00385 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 32.2121 |
7.57885 |
35.7176 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 46.91 | 24.42 | 8.78 | 6.98 | 12.22 | 0 | 2256 | 15 | 2256 | 15 | 101938 | 0.769882 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 34.0788 |
7.47186 |
33.6069 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 36.70 | 31.36 | 9.79 | 7.73 | 9.63 | 0 | 3546 | 24 | 3546 | 24 | 77039 | 0.373943 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 33.9738 |
7.57685 |
35.7936 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 46.91 | 24.42 | 8.78 | 6.98 | 12.22 | 0 | 2256 | 15 | 2256 | 15 | 39405 | 0.205968 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 35.0007 |
7.27089 |
33.9248 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 36.70 | 31.36 | 9.79 | 7.73 | 9.63 | 0 | 3546 | 24 | 3546 | 24 | 76913 | 0.394939 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 33.8269 |
7.81781 |
35.3546 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 46.91 | 24.42 | 8.78 | 6.98 | 12.22 | 0 | 2256 | 15 | 2256 | 15 | 39375 | 0.187971 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 33.9908 |
7.36388 |
35.3276 |