variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
50258 | 257315 | 81.07 | 79.06 | 77.03 | 9.23 | 5.93 |
---|
zChaff | minisat | SatELite |
419.881 |
209.916 |
101.017 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 81.09 | 77.80 | 75.32 | 8.49 | 6.17 | 0 | 17785 | 7 | 17785 | 7 | 35276692 | 26.424 | UNKNOWN |
---|
zChaff | minisat | SatELite |
215.581 |
86.0759 |
582.792 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 82.23 | 78.76 | 76.70 | 7.93 | 6.11 | 0 | 3623 | 1 | 3623 | 1 | 5416046 | 3.81442 | UNKNOWN |
---|
zChaff | minisat | SatELite |
594.219 |
38.7781 |
48.6946 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 81.07 | 79.06 | 77.03 | 9.23 | 6.02 | 0 | 0 | 0 | 0 | 0 | 3570300 | 2.88056 | UNKNOWN |
---|
zChaff | minisat | SatELite |
419.881 |
209.916 |
101.017 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 81.07 | 79.06 | 77.03 | 9.23 | 6.02 | 0 | 0 | 0 | 0 | 0 | 2642656 | 2.14367 | UNKNOWN |
---|
zChaff | minisat | SatELite |
419.881 |
209.916 |
101.017 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 81.84 | 78.68 | 76.20 | 8.11 | 5.87 | 0 | 8974 | 3 | 8974 | 3 | 14921153 | 11.6812 | UNKNOWN |
---|
zChaff | minisat | SatELite |
920.343 |
86.3349 |
68.3956 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 82.23 | 78.76 | 76.70 | 7.94 | 6.11 | 0 | 3611 | 1 | 3611 | 1 | 5373686 | 3.99939 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1139.27 |
40.1969 |
48.7796 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 81.07 | 79.06 | 77.03 | 9.23 | 6.02 | 0 | 0 | 0 | 0 | 0 | 3512848 | 2.68559 | UNKNOWN |
---|
zChaff | minisat | SatELite |
419.881 |
209.916 |
101.017 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 81.07 | 79.06 | 77.03 | 9.23 | 6.02 | 0 | 0 | 0 | 0 | 0 | 2619616 | 2.05969 | UNKNOWN |
---|
zChaff | minisat | SatELite |
419.881 |
209.916 |
101.017 |