| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1755 | 10446 | 43.07 | 43.01 | 8.10 | 11.09 | 10.71 |
|---|
| zChaff | minisat | SatELite |
| 1814.3 |
58.0112 |
260.512 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 43.96 | 43.86 | 9.14 | 11.45 | 11.04 | 0 | 1188 | 11 | 1188 | 11 | 1353629 | 1.11883 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1420.43 |
146.186 |
119.339 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 46.51 | 41.84 | 8.75 | 10.96 | 11.83 | 0 | 772 | 7 | 772 | 7 | 774756 | 0.735888 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 95.6715 |
62.2725 |
119.255 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 43.96 | 43.86 | 9.14 | 11.45 | 11.04 | 0 | 1188 | 11 | 1188 | 11 | 1335506 | 1.15182 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1486.86 |
137.423 |
111.469 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 46.51 | 41.84 | 8.75 | 10.96 | 11.83 | 0 | 772 | 7 | 772 | 7 | 769718 | 0.710891 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 96.1154 |
58.5751 |
119.475 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 43.19 | 43.00 | 8.14 | 11.26 | 11.00 | 0 | 48 | 0 | 48 | 0 | 136424 | 0.153976 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1888.75 |
58.875 |
266.683 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 43.23 | 42.97 | 8.13 | 11.25 | 10.99 | 0 | 40 | 0 | 40 | 0 | 100424 | 0.106983 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1884.8 |
59.6399 |
262.037 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 43.19 | 43.00 | 8.14 | 11.26 | 11.00 | 0 | 48 | 0 | 48 | 0 | 136424 | 0.138978 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1865.27 |
59.489 |
262.705 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 43.23 | 42.97 | 8.13 | 11.25 | 10.99 | 0 | 40 | 0 | 40 | 0 | 100424 | 0.100984 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1869.16 |
58.929 |
267.157 |