| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 4941 | 82207 | 69.68 | 65.02 | 76.92 | 19.53 | 23.66 |
|---|
| zChaff | minisat | SatELite |
| 14.4068 |
86.0629 |
367.607 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 67.97 | 64.20 | 72.54 | 19.41 | 22.52 | 0 | 14120 | 17 | 14120 | 17 | 31715307 | 78.1101 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 14.7338 |
45.6351 |
435.887 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 72.60 | 63.88 | 76.30 | 16.50 | 24.65 | 0 | 3307 | 4 | 3307 | 4 | 8527416 | 20.9348 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 11.1253 |
67.4707 |
2600.3 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 69.92 | 65.22 | 77.18 | 19.60 | 23.74 | 0 | 279 | 0 | 279 | 0 | 1812322 | 4.26135 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 12.5761 |
108.067 |
1599 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 69.92 | 65.22 | 77.18 | 19.59 | 23.74 | 0 | 276 | 0 | 276 | 0 | 1481226 | 3.9334 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 12.3971 |
112.81 |
5318.17 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 69.80 | 65.18 | 76.93 | 19.59 | 23.67 | 0 | 1140 | 1 | 1140 | 1 | 2966749 | 6.77397 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 11.1923 |
299.914 |
669.055 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 70.06 | 65.15 | 77.12 | 19.42 | 23.79 | 0 | 443 | 1 | 443 | 1 | 1613731 | 4.24435 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 12.7211 |
93.3308 |
1052.74 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 69.91 | 65.23 | 77.17 | 19.60 | 23.73 | 0 | 267 | 0 | 267 | 0 | 1565927 | 3.72743 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 12.3021 |
183.362 |
1190.05 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 69.91 | 65.23 | 77.17 | 19.60 | 23.73 | 0 | 266 | 0 | 266 | 0 | 1342376 | 3.58345 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 12.2411 |
182.832 |
1199.86 |