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 |