variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
61649 | 3157120 | 74.78 | 74.84 | 99.78 | 25.00 | 24.95 |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 74.61 | 74.64 | 99.55 | 24.96 | 24.93 | 0 | 1588961 | 50 | 1588961 | 50 | 708554771 | 950.246 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 69.26 | 91.23 | 99.73 | 30.48 | 8.50 | 0 | 567401 | 18 | 567401 | 18 | 205060692 | 310.592 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 74.78 | 74.84 | 99.78 | 25.00 | 24.95 | 0 | 0 | 0 | 0 | 0 | 61649 | 2.66359 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 74.78 | 74.84 | 99.78 | 25.00 | 24.95 | 0 | 0 | 0 | 0 | 0 | 60218 | 1.88671 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 74.78 | 74.84 | 99.78 | 25.00 | 24.95 | 0 | 0 | 0 | 0 | 0 | 61649 | 3.41848 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 74.78 | 74.84 | 99.78 | 25.00 | 24.95 | 0 | 0 | 0 | 0 | 0 | 60218 | 2.34664 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 74.78 | 74.84 | 99.78 | 25.00 | 24.95 | 0 | 0 | 0 | 0 | 0 | 61649 | 3.20251 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 74.78 | 74.84 | 99.78 | 25.00 | 24.95 | 0 | 0 | 0 | 0 | 0 | 60218 | 2.32265 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |