| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 207606 | 861175 | 81.65 | 77.06 | 77.94 | 5.48 | 9.83 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
4147.89 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.38 | 75.62 | 76.07 | 5.79 | 10.32 | 2 | 74156 | 9 | 74156 | 9 | 214347390 | 178.043 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.11 | 77.11 | 78.01 | 5.18 | 9.98 | 0 | 4817 | 1 | 4817 | 1 | 46926280 | 39.161 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
6294.92 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.80 | 77.19 | 78.09 | 5.54 | 9.94 | 0 | 1597 | 0 | 1597 | 0 | 23693488 | 21.4757 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.80 | 77.19 | 78.09 | 5.54 | 9.94 | 0 | 1595 | 0 | 1595 | 0 | 20991310 | 18.1022 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.60 | 77.21 | 77.48 | 5.39 | 9.57 | 2 | 24964 | 3 | 24964 | 3 | 151519671 | 129.623 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.11 | 77.11 | 78.01 | 5.18 | 9.98 | 0 | 4817 | 1 | 4817 | 1 | 46541920 | 40.1739 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
6142.79 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.80 | 77.19 | 78.09 | 5.54 | 9.94 | 0 | 1597 | 0 | 1597 | 0 | 23693488 | 21.5077 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.80 | 77.19 | 78.09 | 5.54 | 9.94 | 0 | 1595 | 0 | 1595 | 0 | 20991310 | 17.7943 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |