variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1024 | 161664 | 99.96 | 0.10 | 39.33 | 0.04 | 39.27 |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 99.92 | 0.19 | 33.70 | 0.08 | 33.59 | 0 | 76602 | 47 | 76602 | 47 | 47524188 | 370.36 | UNKNOWN |
---|
zChaff | minisat | SatELite |
9721.38 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 99.96 | 0.10 | 39.33 | 0.04 | 39.27 | 0 | 0 | 0 | 0 | 0 | 2246 | 0.088986 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 99.95 | 0.13 | 53.00 | 0.05 | 52.92 | 0 | 41684 | 26 | 41684 | 26 | 38736272 | 334.133 | UNKNOWN |
---|
zChaff | minisat | SatELite |
9118.83 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 99.96 | 0.10 | 39.33 | 0.04 | 39.27 | 0 | 0 | 0 | 0 | 0 | 2246 | 0.091986 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 99.94 | 0.14 | 50.44 | 0.06 | 50.35 | 0 | 47879 | 30 | 47879 | 30 | 40452564 | 327.687 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 99.96 | 0.10 | 39.33 | 0.04 | 39.27 | 0 | 0 | 0 | 0 | 0 | 2246 | 0.090986 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 99.95 | 0.13 | 53.00 | 0.05 | 52.92 | 0 | 41684 | 26 | 41684 | 26 | 38736272 | 318.177 | UNKNOWN |
---|
zChaff | minisat | SatELite |
9301.33 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 99.96 | 0.10 | 39.33 | 0.04 | 39.27 | 0 | 0 | 0 | 0 | 0 | 2246 | 0.093985 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |