variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
275013 | 9777 | 75.45 | 44.58 | 71.68 | 1.73 | 34.58 |
---|
zChaff | minisat | SatELite |
0.207968 |
0.092985 |
1.45878 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 96.82 | 61.51 | 96.73 | 2.29 | 37.60 | 273518 | 5620 | 57 | 5379 | 55 | 1549270 | 0.684895 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.006999 |
0.007998 |
0.444932 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 98.22 | 48.67 | 93.15 | 1.31 | 46.54 | 273518 | 2512 | 26 | 2271 | 23 | 417194 | 0.354946 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004999 |
0.005999 |
0.432934 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 98.09 | 51.22 | 98.03 | 1.38 | 48.24 | 273518 | 2874 | 29 | 2633 | 27 | 470215 | 0.348946 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004999 |
0.007998 |
0.39094 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 98.22 | 48.67 | 93.15 | 1.31 | 46.54 | 273518 | 2512 | 26 | 2271 | 23 | 417194 | 0.365944 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004999 |
0.007998 |
0.439933 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 96.82 | 61.51 | 96.73 | 2.29 | 37.60 | 273518 | 5620 | 57 | 5379 | 55 | 1549270 | 0.633903 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.006999 |
0.009998 |
0.470928 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 98.22 | 48.67 | 93.15 | 1.31 | 46.54 | 273518 | 2512 | 26 | 2271 | 23 | 417194 | 0.359945 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005 |
0.005999 |
0.435933 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 98.09 | 51.22 | 98.03 | 1.38 | 48.24 | 273518 | 2874 | 29 | 2633 | 27 | 470215 | 0.381941 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004999 |
0.009998 |
0.397939 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 98.22 | 48.67 | 93.15 | 1.31 | 46.54 | 273518 | 2512 | 26 | 2271 | 23 | 417194 | 0.368943 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004 |
0.007998 |
0.431934 |