variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
606 | 1878 | 57.14 | 71.88 | 44.36 | 7.67 | 18.74 |
---|
zChaff | minisat | SatELite |
0.296955 |
0.303953 |
0.712891 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 57.14 | 71.88 | 44.36 | 7.72 | 18.74 | 0 | 0 | 0 | 0 | 0 | 50934 | 0.019996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.296955 |
0.303953 |
0.712891 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 57.14 | 71.88 | 44.36 | 7.72 | 18.74 | 0 | 0 | 0 | 0 | 0 | 17808 | 0.009998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.296955 |
0.303953 |
0.712891 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 57.14 | 71.88 | 44.36 | 7.72 | 18.74 | 0 | 0 | 0 | 0 | 0 | 26245 | 0.011998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.296955 |
0.303953 |
0.712891 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 57.14 | 71.88 | 44.36 | 7.72 | 18.74 | 0 | 0 | 0 | 0 | 0 | 16368 | 0.008998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.296955 |
0.303953 |
0.712891 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 57.14 | 71.88 | 44.36 | 7.72 | 18.74 | 0 | 0 | 0 | 0 | 0 | 47589 | 0.017997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.296955 |
0.303953 |
0.712891 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 57.14 | 71.88 | 44.36 | 7.72 | 18.74 | 0 | 0 | 0 | 0 | 0 | 17312 | 0.009998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.296955 |
0.303953 |
0.712891 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 57.14 | 71.88 | 44.36 | 7.72 | 18.74 | 0 | 0 | 0 | 0 | 0 | 24453 | 0.010998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.296955 |
0.303953 |
0.712891 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 57.14 | 71.88 | 44.36 | 7.72 | 18.74 | 0 | 0 | 0 | 0 | 0 | 15872 | 0.007998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.296955 |
0.303953 |
0.712891 |