| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1201 | 6563 | 44.72 | 44.63 | 12.81 | 12.28 | 11.08 |
|---|
| zChaff | minisat | SatELite |
| 655.274 |
12.0352 |
21.9167 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 44.73 | 44.64 | 12.82 | 12.62 | 11.37 | 0 | 1 | 0 | 1 | 0 | 54348 | 0.083987 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 95.4885 |
56.9663 |
23.9944 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 44.73 | 44.64 | 12.82 | 12.62 | 11.37 | 0 | 1 | 0 | 1 | 0 | 28349 | 0.048992 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 97.7781 |
57.5043 |
22.3366 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 44.73 | 44.64 | 12.82 | 12.62 | 11.37 | 0 | 1 | 0 | 1 | 0 | 36707 | 0.066989 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 97.7641 |
60.3458 |
24.1633 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 44.73 | 44.64 | 12.82 | 12.62 | 11.37 | 0 | 1 | 0 | 1 | 0 | 22233 | 0.039993 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 98.1111 |
56.9143 |
22.7395 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 44.73 | 44.64 | 12.82 | 12.62 | 11.37 | 0 | 1 | 0 | 1 | 0 | 14686 | 0.029995 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 96.2044 |
62.4085 |
24.1013 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 44.73 | 44.64 | 12.82 | 12.62 | 11.37 | 0 | 1 | 0 | 1 | 0 | 9322 | 0.019996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 93.7857 |
60.0509 |
23.5824 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 44.73 | 44.64 | 12.82 | 12.62 | 11.37 | 0 | 1 | 0 | 1 | 0 | 14685 | 0.028995 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 96.0684 |
57.2413 |
22.3776 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 44.73 | 44.64 | 12.82 | 12.62 | 11.37 | 0 | 1 | 0 | 1 | 0 | 9322 | 0.020996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 93.1938 |
61.4287 |
22.8575 |