variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
194762 | 530713 | 68.92 | 68.89 | 77.67 | 21.78 | 21.81 |
---|
zChaff | minisat | SatELite |
748.612 |
305.603 |
208.597 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 2 | 0 | 2 | 0 | 53777645 | 102.074 | UNKNOWN |
---|
zChaff | minisat | SatELite |
478.723 |
349.367 |
232.966 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 16244510 | 31.2622 | UNKNOWN |
---|
zChaff | minisat | SatELite |
748.612 |
305.603 |
208.597 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 8826703 | 18.7661 | UNKNOWN |
---|
zChaff | minisat | SatELite |
748.612 |
305.603 |
208.597 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 4951462 | 10.2654 | UNKNOWN |
---|
zChaff | minisat | SatELite |
748.612 |
305.603 |
208.597 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 2 | 0 | 2 | 0 | 51784699 | 93.5508 | UNKNOWN |
---|
zChaff | minisat | SatELite |
461.182 |
324.934 |
210.628 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 15757710 | 31.5912 | UNKNOWN |
---|
zChaff | minisat | SatELite |
748.612 |
305.603 |
208.597 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 8826703 | 19.0541 | UNKNOWN |
---|
zChaff | minisat | SatELite |
748.612 |
305.603 |
208.597 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 4951462 | 10.7064 | UNKNOWN |
---|
zChaff | minisat | SatELite |
748.612 |
305.603 |
208.597 |