| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 15800 | 394739 | 73.64 | 70.92 | 95.33 | 22.71 | 25.43 |
|---|
| zChaff | minisat | SatELite |
| 170.757 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 72.15 | 71.31 | 94.23 | 23.44 | 24.29 | 391 | 100350 | 25 | 100350 | 25 | 742796458 | 3906.83 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 166.672 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.08 | 69.56 | 95.44 | 18.43 | 26.96 | 335 | 22453 | 6 | 22453 | 6 | 188380851 | 1154.89 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 212.751 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 73.91 | 71.19 | 95.68 | 22.79 | 25.52 | 331 | 1448 | 0 | 1448 | 0 | 25268945 | 109.628 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 104.316 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 73.91 | 71.18 | 95.68 | 22.79 | 25.52 | 331 | 1445 | 0 | 1445 | 0 | 22043275 | 110.741 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 152.759 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 73.91 | 71.18 | 95.67 | 22.79 | 25.53 | 331 | 1898 | 0 | 1898 | 0 | 27887175 | 127.101 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 150.893 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 73.93 | 71.18 | 95.68 | 22.77 | 25.53 | 331 | 1573 | 0 | 1573 | 0 | 21596234 | 109.43 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 160.897 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 73.91 | 71.18 | 95.68 | 22.79 | 25.52 | 331 | 1444 | 0 | 1444 | 0 | 20349812 | 96.1804 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 151.043 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 73.91 | 71.18 | 95.68 | 22.79 | 25.52 | 331 | 1444 | 0 | 1444 | 0 | 19702324 | 103.05 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 148.753 |
TimeOut |
TimeOut |