variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
42368 | 139248 | 65.99 | 65.71 | 68.15 | 20.35 | 20.67 |
---|
zChaff | minisat | SatELite |
21.1518 |
6.03608 |
11.2203 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 65.91 | 65.89 | 67.62 | 20.43 | 20.63 | 0 | 31210 | 22 | 31210 | 22 | 45727887 | 66.8818 | UNKNOWN |
---|
zChaff | minisat | SatELite |
24.5163 |
5.41718 |
9.80751 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 71.50 | 63.70 | 69.49 | 17.00 | 22.41 | 0 | 10728 | 8 | 10728 | 8 | 16258885 | 25.7941 | UNKNOWN |
---|
zChaff | minisat | SatELite |
25.2682 |
7.02993 |
9.26459 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 67.52 | 67.31 | 73.07 | 21.12 | 21.49 | 0 | 9367 | 7 | 9367 | 7 | 14339159 | 22.1396 | UNKNOWN |
---|
zChaff | minisat | SatELite |
25.4201 |
5.82012 |
10.3194 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 68.54 | 65.20 | 70.78 | 20.46 | 21.49 | 0 | 5172 | 4 | 5172 | 4 | 8057435 | 12.919 | UNKNOWN |
---|
zChaff | minisat | SatELite |
24.0163 |
8.5427 |
9.31558 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 66.51 | 66.42 | 69.60 | 20.67 | 20.94 | 0 | 24175 | 17 | 24175 | 17 | 37295436 | 52.883 | UNKNOWN |
---|
zChaff | minisat | SatELite |
22.8625 |
5.71013 |
10.3574 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 70.56 | 64.18 | 69.89 | 18.10 | 22.12 | 0 | 9007 | 6 | 9007 | 6 | 14019232 | 22.0277 | UNKNOWN |
---|
zChaff | minisat | SatELite |
25.9721 |
5.07523 |
9.8775 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 67.52 | 67.31 | 73.07 | 21.12 | 21.49 | 0 | 9367 | 7 | 9367 | 7 | 14339159 | 22.1856 | UNKNOWN |
---|
zChaff | minisat | SatELite |
25.4541 |
6.10707 |
9.78251 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 68.54 | 65.20 | 70.78 | 20.46 | 21.49 | 0 | 5172 | 4 | 5172 | 4 | 8057435 | 12.7801 | UNKNOWN |
---|
zChaff | minisat | SatELite |
23.3255 |
9.42957 |
9.50955 |