variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
900 | 3357 | 48.26 | 51.74 | 0.00 | 12.30 | 11.83 |
---|
zChaff | minisat | SatELite |
2.46263 |
5.9401 |
9.60454 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 48.44 | 51.56 | 0.00 | 12.30 | 11.93 | 5 | 64 | 2 | 64 | 2 | 11865 | 0.013997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8.27174 |
2.77958 |
2.92056 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 47.87 | 52.13 | 0.00 | 12.39 | 11.79 | 5 | 25 | 1 | 25 | 1 | 5719 | 0.006998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.50962 |
23.3195 |
30.6813 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 48.44 | 51.56 | 0.00 | 12.30 | 11.93 | 5 | 64 | 2 | 64 | 2 | 11865 | 0.014997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8.78166 |
2.99154 |
2.92256 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 47.87 | 52.13 | 0.00 | 12.39 | 11.79 | 5 | 25 | 1 | 25 | 1 | 5719 | 0.008998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.49762 |
23.3524 |
30.7083 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 48.26 | 51.74 | 0.00 | 12.30 | 11.83 | 5 | 0 | 0 | 0 | 0 | 0 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.46263 |
5.9401 |
9.60454 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 48.26 | 51.74 | 0.00 | 12.30 | 11.83 | 5 | 0 | 0 | 0 | 0 | 0 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.46263 |
5.9401 |
9.60454 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 48.26 | 51.74 | 0.00 | 12.30 | 11.83 | 5 | 0 | 0 | 0 | 0 | 0 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.46263 |
5.9401 |
9.60454 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 48.26 | 51.74 | 0.00 | 12.30 | 11.83 | 5 | 0 | 0 | 0 | 0 | 0 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.46263 |
5.9401 |
9.60454 |