| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1199 | 11158 | 35.69 | 20.85 | 10.95 | 0.01 | 0.01 |
|---|
| zChaff | minisat | SatELite |
| 2004 |
250.819 |
249.128 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 32.51 | 16.90 | 6.53 | 0.24 | 0.46 | 0 | 538 | 5 | 538 | 5 | 148109 | 0.445932 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 024 |
44.5252 |
371.932 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 35.72 | 20.84 | 10.96 | 0.23 | 0.44 | 0 | 9 | 0 | 9 | 0 | 103340 | 0.291955 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 024 |
238.073 |
254.628 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 35.72 | 20.84 | 10.96 | 0.23 | 0.44 | 0 | 9 | 0 | 9 | 0 | 125017 | 0.417936 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 024 |
247.354 |
246.924 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 35.72 | 20.84 | 10.96 | 0.23 | 0.44 | 0 | 9 | 0 | 9 | 0 | 103340 | 0.291955 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 024 |
237.936 |
245.129 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 35.71 | 20.85 | 10.96 | 0.24 | 0.44 | 0 | 8 | 0 | 8 | 0 | 72239 | 0.384941 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 024 |
246.684 |
254.488 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 35.71 | 20.85 | 10.96 | 0.24 | 0.44 | 0 | 8 | 0 | 8 | 0 | 50480 | 0.26196 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 024 |
245.775 |
243.989 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 35.71 | 20.85 | 10.96 | 0.24 | 0.44 | 0 | 8 | 0 | 8 | 0 | 72106 | 0.383941 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 024 |
242.273 |
244.71 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 35.71 | 20.85 | 10.96 | 0.24 | 0.44 | 0 | 8 | 0 | 8 | 0 | 50480 | 0.26296 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 024 |
254.686 |
247.991 |