| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 15184 | 239711 | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 12867759 | 18.5432 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 3143675 | 4.5683 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 45552 | 0.19297 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 44889 | 0.141978 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 45552 | 0.223965 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 44889 | 0.158975 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 45552 | 0.208968 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 44889 | 0.162975 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |