variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1755 | 10446 | 43.07 | 43.01 | 8.10 | 11.09 | 10.71 |
---|
zChaff | minisat | SatELite |
1814.3 |
58.0112 |
260.512 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 43.96 | 43.86 | 9.14 | 11.45 | 11.04 | 0 | 1188 | 11 | 1188 | 11 | 1353629 | 1.11883 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1420.43 |
146.186 |
119.339 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 46.51 | 41.84 | 8.75 | 10.96 | 11.83 | 0 | 772 | 7 | 772 | 7 | 774756 | 0.735888 | UNKNOWN |
---|
zChaff | minisat | SatELite |
95.6715 |
62.2725 |
119.255 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 43.96 | 43.86 | 9.14 | 11.45 | 11.04 | 0 | 1188 | 11 | 1188 | 11 | 1335506 | 1.15182 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1486.86 |
137.423 |
111.469 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 46.51 | 41.84 | 8.75 | 10.96 | 11.83 | 0 | 772 | 7 | 772 | 7 | 769718 | 0.710891 | UNKNOWN |
---|
zChaff | minisat | SatELite |
96.1154 |
58.5751 |
119.475 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 43.19 | 43.00 | 8.14 | 11.26 | 11.00 | 0 | 48 | 0 | 48 | 0 | 136424 | 0.153976 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1888.75 |
58.875 |
266.683 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 43.23 | 42.97 | 8.13 | 11.25 | 10.99 | 0 | 40 | 0 | 40 | 0 | 100424 | 0.106983 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1884.8 |
59.6399 |
262.037 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 43.19 | 43.00 | 8.14 | 11.26 | 11.00 | 0 | 48 | 0 | 48 | 0 | 136424 | 0.138978 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1865.27 |
59.489 |
262.705 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 43.23 | 42.97 | 8.13 | 11.25 | 10.99 | 0 | 40 | 0 | 40 | 0 | 100424 | 0.100984 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1869.16 |
58.929 |
267.157 |