| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 8400 | 25061 | 66.50 | 66.18 | 65.92 | 21.00 | 20.81 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1013.44 |
8791.53 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.86 | 65.48 | 63.13 | 20.62 | 20.44 | 0 | 1896 | 8 | 1896 | 8 | 16486581 | 11.6762 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
576.596 |
3351.21 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 67.83 | 65.50 | 65.24 | 19.42 | 21.23 | 0 | 493 | 2 | 493 | 2 | 5562781 | 3.74843 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
345.271 |
4531.38 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 66.50 | 66.18 | 65.92 | 21.00 | 20.81 | 0 | 0 | 0 | 0 | 0 | 5730760 | 3.9714 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1013.44 |
8791.53 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 66.50 | 66.18 | 65.92 | 21.00 | 20.81 | 0 | 0 | 0 | 0 | 0 | 2812675 | 1.9717 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1013.44 |
8791.53 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 65.94 | 65.63 | 63.53 | 20.69 | 20.44 | 0 | 1643 | 7 | 1643 | 7 | 15317057 | 9.94349 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
628.136 |
5234.9 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 67.63 | 65.60 | 65.34 | 19.66 | 21.16 | 0 | 421 | 2 | 421 | 2 | 5223453 | 3.46547 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
517.268 |
6407.18 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 66.50 | 66.18 | 65.92 | 21.00 | 20.81 | 0 | 0 | 0 | 0 | 0 | 5698058 | 3.75243 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1013.44 |
8791.53 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 66.50 | 66.18 | 65.92 | 21.00 | 20.81 | 0 | 0 | 0 | 0 | 0 | 2795999 | 2.11568 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1013.44 |
8791.53 |