| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 3303 | 51223 | 99.04 | 9.01 | 99.04 | 0.00 | 90.99 |
|---|
| zChaff | minisat | SatELite |
| 0.012998 |
0.033994 |
0.813876 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 93.07 | 65.27 | 93.07 | 0.11 | 34.73 | 1128 | 44151 | 86 | 44151 | 86 | 8266794 | 2.26066 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.015998 |
0.019996 |
0.203968 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 99.04 | 9.01 | 99.04 | 0.02 | 90.99 | 1128 | 0 | 0 | 0 | 0 | 27386 | 0.023996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.012998 |
0.033994 |
0.813876 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 99.04 | 9.01 | 99.04 | 0.02 | 90.99 | 1128 | 0 | 0 | 0 | 0 | 27386 | 0.033994 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.012998 |
0.033994 |
0.813876 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 99.04 | 9.01 | 99.04 | 0.02 | 90.99 | 1128 | 0 | 0 | 0 | 0 | 27386 | 0.023996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.012998 |
0.033994 |
0.813876 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 98.94 | 9.97 | 98.94 | 0.02 | 90.03 | 1128 | 4945 | 10 | 4945 | 10 | 1461056 | 0.420936 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.011998 |
0.029995 |
0.663899 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 99.04 | 9.01 | 99.04 | 0.02 | 90.99 | 1128 | 0 | 0 | 0 | 0 | 27386 | 0.019996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.012998 |
0.033994 |
0.813876 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 99.04 | 9.01 | 99.04 | 0.02 | 90.99 | 1128 | 0 | 0 | 0 | 0 | 27386 | 0.035994 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.012998 |
0.033994 |
0.813876 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 99.04 | 9.01 | 99.04 | 0.02 | 90.99 | 1128 | 0 | 0 | 0 | 0 | 27386 | 0.023996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.012998 |
0.033994 |
0.813876 |