| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 3499 | 9526 | 72.49 | 66.64 | 79.23 | 25.34 | 22.44 |
|---|
| zChaff | minisat | SatELite |
| 15.9106 |
8.5167 |
27.9338 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 72.33 | 66.48 | 79.15 | 25.50 | 22.59 | 0 | 62 | 1 | 62 | 1 | 2289501 | 0.676897 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 17.5843 |
5.42917 |
35.3696 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 72.50 | 66.63 | 79.22 | 25.34 | 22.45 | 0 | 2 | 0 | 2 | 0 | 556461 | 0.157975 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 15.7436 |
12.0652 |
28.0957 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 72.47 | 66.68 | 79.28 | 25.37 | 22.46 | 0 | 6 | 0 | 6 | 0 | 522328 | 0.167974 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 15.8226 |
10.7654 |
30.3074 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 72.49 | 66.64 | 79.23 | 25.35 | 22.44 | 0 | 0 | 0 | 0 | 0 | 23885 | 0.013997 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 15.9106 |
8.5167 |
27.9338 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 72.33 | 66.49 | 79.16 | 25.49 | 22.59 | 0 | 60 | 1 | 60 | 1 | 2017480 | 0.600908 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 19.921 |
10.9803 |
35.8356 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 72.50 | 66.63 | 79.22 | 25.34 | 22.45 | 0 | 2 | 0 | 2 | 0 | 551695 | 0.153976 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 15.7286 |
11.8872 |
27.5658 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 72.47 | 66.68 | 79.28 | 25.37 | 22.46 | 0 | 6 | 0 | 6 | 0 | 522328 | 0.167974 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 15.8376 |
10.7254 |
30.2344 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 72.49 | 66.64 | 79.23 | 25.35 | 22.44 | 0 | 0 | 0 | 0 | 0 | 23885 | 0.014997 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 15.9106 |
8.5167 |
27.9338 |