| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2703 | 18312 | 15.96 | 14.44 | 3.22 | 3.15 | 3.54 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 13.59 | 12.21 | 1.66 | 2.50 | 2.83 | 0 | 3461 | 19 | 3461 | 19 | 248241 | 1.52677 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 18.76 | 11.56 | 3.27 | 2.51 | 4.33 | 0 | 2730 | 15 | 2730 | 15 | 211844 | 1.46078 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 15.04 | 13.51 | 3.88 | 2.97 | 3.48 | 0 | 3118 | 17 | 3118 | 17 | 240081 | 1.54976 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 18.66 | 12.01 | 3.76 | 3.00 | 4.30 | 0 | 2651 | 14 | 2651 | 14 | 215449 | 1.44978 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 15.10 | 13.63 | 3.84 | 3.03 | 3.50 | 0 | 2991 | 16 | 2991 | 16 | 159348 | 0.911861 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 18.55 | 12.17 | 3.74 | 3.06 | 4.28 | 0 | 2552 | 14 | 2552 | 14 | 145413 | 0.878866 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 15.10 | 13.63 | 3.84 | 3.03 | 3.50 | 0 | 2991 | 16 | 2991 | 16 | 159222 | 0.872867 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 18.55 | 12.17 | 3.74 | 3.06 | 4.28 | 0 | 2552 | 14 | 2552 | 14 | 145387 | 0.886865 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |