| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 5428 | 17845 | 60.62 | 59.94 | 41.00 | 17.74 | 17.46 |
|---|
| zChaff | minisat | SatELite |
| 56.8424 |
3.55546 |
17.0734 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 348562 | 0.283956 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 56.8424 |
3.55546 |
17.0734 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 118809 | 0.101984 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 56.8424 |
3.55546 |
17.0734 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 132903 | 0.13098 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 56.8424 |
3.55546 |
17.0734 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 65902 | 0.065989 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 56.8424 |
3.55546 |
17.0734 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 289871 | 0.228965 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 56.8424 |
3.55546 |
17.0734 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 105470 | 0.092985 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 56.8424 |
3.55546 |
17.0734 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 132501 | 0.12798 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 56.8424 |
3.55546 |
17.0734 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 65728 | 0.068989 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 56.8424 |
3.55546 |
17.0734 |