| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2969 | 18718 | 14.82 | 13.50 | 2.55 | 2.82 | 2.85 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 12.61 | 11.05 | 0.99 | 2.15 | 2.38 | 0 | 3031 | 16 | 3031 | 16 | 236351 | 1.50777 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 16.97 | 10.78 | 2.40 | 2.07 | 3.40 | 0 | 2373 | 13 | 2373 | 13 | 202920 | 1.43178 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 13.88 | 12.37 | 2.98 | 2.62 | 2.82 | 0 | 2709 | 14 | 2709 | 14 | 228655 | 1.45878 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 16.88 | 11.24 | 2.90 | 2.57 | 3.38 | 0 | 2289 | 12 | 2289 | 12 | 207159 | 1.39579 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 13.88 | 12.37 | 2.98 | 2.62 | 2.82 | 0 | 2707 | 14 | 2707 | 14 | 154467 | 0.884865 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 16.88 | 11.24 | 2.90 | 2.57 | 3.38 | 0 | 2288 | 12 | 2288 | 12 | 142977 | 0.872867 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 13.88 | 12.37 | 2.98 | 2.62 | 2.82 | 0 | 2707 | 14 | 2707 | 14 | 154341 | 0.886865 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 16.88 | 11.24 | 2.90 | 2.57 | 3.38 | 0 | 2288 | 12 | 2288 | 12 | 142959 | 0.892864 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |