| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 55753 | 3763369 | 75.15 | 74.59 | 99.83 | 24.69 | 25.24 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 75.02 | 74.45 | 99.64 | 24.63 | 25.19 | 0 | 2014962 | 54 | 2014962 | 54 | 1346833464 | 2058.86 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 92.93 | 68.58 | 99.79 | 6.86 | 31.22 | 0 | 720309 | 19 | 720309 | 19 | 396255209 | 664.798 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 75.15 | 74.59 | 99.83 | 24.69 | 25.24 | 0 | 0 | 0 | 0 | 0 | 55753 | 3.11653 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 75.15 | 74.59 | 99.83 | 24.69 | 25.24 | 0 | 0 | 0 | 0 | 0 | 54445 | 2.24966 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 75.15 | 74.59 | 99.83 | 24.69 | 25.24 | 0 | 0 | 0 | 0 | 0 | 55753 | 3.82642 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 75.15 | 74.59 | 99.83 | 24.69 | 25.24 | 0 | 0 | 0 | 0 | 0 | 54445 | 2.67959 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 75.15 | 74.59 | 99.83 | 24.69 | 25.24 | 0 | 0 | 0 | 0 | 0 | 55753 | 3.47547 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 75.15 | 74.59 | 99.83 | 24.69 | 25.24 | 0 | 0 | 0 | 0 | 0 | 54445 | 2.6326 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |