variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
51673 | 213684 | 81.44 | 77.50 | 78.07 | 5.69 | 9.41 |
---|
zChaff | minisat | SatELite |
1.74773 |
0.500923 |
7.02593 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 80.30 | 76.21 | 76.36 | 6.21 | 10.26 | 3 | 18828 | 9 | 18828 | 9 | 43538904 | 30.9753 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1.59476 |
1.26381 |
6.42602 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 82.02 | 77.67 | 78.26 | 5.59 | 9.87 | 0 | 1508 | 1 | 1508 | 1 | 8699174 | 5.98909 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1.2988 |
0.307953 |
8.42472 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 81.74 | 77.77 | 78.36 | 5.93 | 9.84 | 0 | 805 | 0 | 805 | 0 | 5392231 | 3.90341 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.515921 |
0.482926 |
8.80266 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 81.73 | 77.75 | 78.34 | 5.93 | 9.84 | 0 | 740 | 0 | 740 | 0 | 4559188 | 3.15152 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1.09183 |
0.435933 |
7.73982 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 81.51 | 77.72 | 77.73 | 5.80 | 9.53 | 3 | 6881 | 3 | 6881 | 3 | 28228082 | 19.737 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.08268 |
0.752885 |
6.53701 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 82.02 | 77.67 | 78.26 | 5.59 | 9.87 | 0 | 1508 | 1 | 1508 | 1 | 8669438 | 6.04108 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1.3258 |
0.301954 |
8.41072 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 81.74 | 77.77 | 78.36 | 5.93 | 9.84 | 0 | 805 | 0 | 805 | 0 | 5392231 | 3.9394 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.539919 |
0.477927 |
8.23875 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 81.73 | 77.75 | 78.34 | 5.93 | 9.84 | 0 | 740 | 0 | 740 | 0 | 4559188 | 3.14152 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1.10483 |
0.436933 |
7.82481 |