| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 24435 | 85050 | 58.01 | 58.18 | 32.38 | 16.27 | 16.87 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 58.01 | 58.18 | 32.38 | 16.27 | 16.87 | 0 | 0 | 0 | 0 | 0 | 1727163 | 3.47847 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 58.01 | 58.18 | 32.38 | 16.27 | 16.87 | 0 | 0 | 0 | 0 | 0 | 545024 | 1.25681 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 58.01 | 58.18 | 32.38 | 16.27 | 16.87 | 0 | 0 | 0 | 0 | 0 | 308853 | 1.15982 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 58.01 | 58.18 | 32.38 | 16.27 | 16.87 | 0 | 0 | 0 | 0 | 0 | 150951 | 0.575912 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 58.01 | 58.18 | 32.38 | 16.27 | 16.87 | 0 | 0 | 0 | 0 | 0 | 525042 | 1.3308 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 58.01 | 58.18 | 32.38 | 16.27 | 16.87 | 0 | 0 | 0 | 0 | 0 | 174747 | 0.536918 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 58.01 | 58.18 | 32.38 | 16.27 | 16.87 | 0 | 0 | 0 | 0 | 0 | 160137 | 0.620905 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 58.01 | 58.18 | 32.38 | 16.27 | 16.87 | 0 | 0 | 0 | 0 | 0 | 76899 | 0.32495 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |