| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1024 | 11657 | 65.25 | 65.55 | 63.28 | 20.02 | 19.73 |
|---|
| zChaff | minisat | SatELite |
| 17.5583 |
1.61375 |
17.1474 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.38 | 65.86 | 64.21 | 20.94 | 20.76 | 0 | 168 | 1 | 168 | 1 | 394216 | 0.321951 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 18.7472 |
1.73474 |
19.515 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 64.97 | 66.08 | 63.80 | 20.96 | 20.63 | 0 | 94 | 1 | 94 | 1 | 143394 | 0.114982 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 18.5352 |
1.62175 |
18.0693 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 65.38 | 65.86 | 64.21 | 20.94 | 20.76 | 0 | 168 | 1 | 168 | 1 | 180562 | 0.146977 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 18.4472 |
1.61275 |
17.5683 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 64.97 | 66.08 | 63.80 | 20.96 | 20.63 | 0 | 94 | 1 | 94 | 1 | 90818 | 0.076988 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 18.4342 |
1.60776 |
16.9334 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 65.38 | 65.86 | 64.21 | 20.94 | 20.76 | 0 | 168 | 1 | 168 | 1 | 181220 | 0.146977 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 19.4081 |
1.61475 |
16.8924 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 64.97 | 66.08 | 63.80 | 20.96 | 20.63 | 0 | 94 | 1 | 94 | 1 | 90952 | 0.073988 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 18.5632 |
1.60776 |
17.1294 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 65.38 | 65.86 | 64.21 | 20.94 | 20.76 | 0 | 168 | 1 | 168 | 1 | 180562 | 0.149977 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 18.4462 |
1.61375 |
18.0643 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 64.97 | 66.08 | 63.80 | 20.96 | 20.63 | 0 | 94 | 1 | 94 | 1 | 90818 | 0.070989 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 18.5652 |
1.62175 |
17.1304 |