variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1331 | 64377 | 58.05 | 57.71 | 31.77 | 16.21 | 16.13 |
---|
zChaff | minisat | SatELite |
0.345947 |
0.096985 |
0.553915 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 61.48 | 58.59 | 42.04 | 16.71 | 18.49 | 0 | 34980 | 54 | 34980 | 54 | 3822686 | 15.7966 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.515921 |
0.131979 |
0.801878 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 78.48 | 42.87 | 39.39 | 11.79 | 22.17 | 0 | 16753 | 26 | 16753 | 26 | 1887785 | 10.0355 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.448931 |
0.119981 |
0.541917 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 64.19 | 62.95 | 54.55 | 19.21 | 19.50 | 0 | 26884 | 42 | 26884 | 42 | 3048102 | 13.159 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.408938 |
0.149977 |
0.677896 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 77.37 | 43.69 | 42.34 | 14.41 | 21.86 | 0 | 16071 | 25 | 16071 | 25 | 1590620 | 8.35973 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.352946 |
0.121981 |
0.510922 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 64.17 | 62.93 | 54.54 | 19.21 | 19.49 | 0 | 26895 | 42 | 26895 | 42 | 3069112 | 12.981 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.405938 |
0.152976 |
0.678896 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 76.38 | 44.39 | 41.70 | 14.59 | 21.58 | 0 | 15449 | 24 | 15449 | 24 | 1750723 | 8.99963 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.465928 |
0.12698 |
0.536918 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 64.19 | 62.95 | 54.55 | 19.21 | 19.50 | 0 | 26884 | 42 | 26884 | 42 | 3048102 | 13.417 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.413937 |
0.148977 |
0.679896 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 77.37 | 43.69 | 42.34 | 14.41 | 21.86 | 0 | 16071 | 25 | 16071 | 25 | 1590620 | 8.60969 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.354946 |
0.124981 |
0.545917 |