| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2880 | 152700 | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 |
|---|
| zChaff | minisat | SatELite |
| 8517.67 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 24321600 | 17.1414 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8517.67 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 5796402 | 4.03039 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8517.67 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.080987 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8517.67 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.050992 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8517.67 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.096985 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8517.67 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.058991 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8517.67 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.082987 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8517.67 |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.054991 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8517.67 |
TimeOut |
TimeOut |