| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 34344 | 153808 | 79.10 | 74.35 | 74.54 | 8.58 | 10.42 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
7.43887 |
143.579 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 78.09 | 74.11 | 72.67 | 8.81 | 9.77 | 1 | 11013 | 7 | 11013 | 7 | 23256807 | 21.1558 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
803.8 |
1414.31 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 79.70 | 74.17 | 74.40 | 8.06 | 10.72 | 0 | 1146 | 1 | 1146 | 1 | 3302455 | 3.08053 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
35.6426 |
566.191 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 79.13 | 74.38 | 74.61 | 8.70 | 10.65 | 0 | 134 | 0 | 134 | 0 | 2672782 | 2.44363 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
490.276 |
440.291 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 79.14 | 74.35 | 74.58 | 8.69 | 10.65 | 0 | 77 | 0 | 77 | 0 | 1888688 | 1.73774 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
488.197 |
256.69 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 78.73 | 74.91 | 73.48 | 8.57 | 9.48 | 1 | 6476 | 4 | 6476 | 4 | 16818394 | 14.8307 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10325.4 |
157.764 |
6875.39 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 79.67 | 74.18 | 74.38 | 8.08 | 10.72 | 0 | 1098 | 1 | 1098 | 1 | 3295940 | 3.04354 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
227.123 |
107.117 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 79.11 | 74.39 | 74.58 | 8.73 | 10.65 | 0 | 86 | 0 | 86 | 0 | 2660945 | 2.42463 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
7.63284 |
505.066 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 79.12 | 74.36 | 74.56 | 8.72 | 10.64 | 0 | 29 | 0 | 29 | 0 | 1882349 | 1.73174 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
7.84981 |
212.311 |