| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 3176 | 10313 | 58.52 | 57.64 | 30.57 | 16.04 | 15.68 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 59.23 | 58.16 | 32.92 | 17.04 | 16.73 | 0 | 735 | 7 | 735 | 7 | 136316 | 0.135979 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 60.93 | 55.89 | 31.83 | 16.49 | 17.07 | 0 | 408 | 4 | 408 | 4 | 59072 | 0.065989 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 59.23 | 58.16 | 32.92 | 17.04 | 16.73 | 0 | 735 | 7 | 735 | 7 | 104307 | 0.112982 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 60.93 | 55.89 | 31.83 | 16.49 | 17.07 | 0 | 408 | 4 | 408 | 4 | 52025 | 0.05999 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 59.23 | 58.16 | 32.92 | 17.04 | 16.73 | 0 | 735 | 7 | 735 | 7 | 113917 | 0.111982 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 60.93 | 55.89 | 31.83 | 16.49 | 17.07 | 0 | 408 | 4 | 408 | 4 | 50831 | 0.049992 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 59.23 | 58.16 | 32.92 | 17.04 | 16.73 | 0 | 735 | 7 | 735 | 7 | 90927 | 0.099984 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 60.93 | 55.89 | 31.83 | 16.49 | 17.07 | 0 | 408 | 4 | 408 | 4 | 45278 | 0.051992 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |