variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
90300 | 179701 | 31.23 | 31.22 | 0.17 | 6.27 | 6.24 |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
8.29674 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 31.23 | 31.22 | 0.17 | 6.27 | 6.24 | 0 | 0 | 0 | 0 | 0 | 1077585 | 2.23166 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
8.29674 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 31.23 | 31.22 | 0.17 | 6.27 | 6.24 | 0 | 0 | 0 | 0 | 0 | 741675 | 1.64575 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
8.29674 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 31.23 | 31.22 | 0.17 | 6.27 | 6.24 | 0 | 0 | 0 | 0 | 0 | 1076983 | 2.23866 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
8.29674 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 31.23 | 31.22 | 0.17 | 6.27 | 6.24 | 0 | 0 | 0 | 0 | 0 | 741545 | 1.63875 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
8.29674 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 31.23 | 31.22 | 0.17 | 6.27 | 6.24 | 0 | 0 | 0 | 0 | 0 | 7767 | 0.341948 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
8.29674 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 31.23 | 31.22 | 0.17 | 6.27 | 6.24 | 0 | 0 | 0 | 0 | 0 | 5910 | 0.297954 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
8.29674 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 31.23 | 31.22 | 0.17 | 6.27 | 6.24 | 0 | 0 | 0 | 0 | 0 | 7767 | 0.349946 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
8.29674 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 31.23 | 31.22 | 0.17 | 6.27 | 6.24 | 0 | 0 | 0 | 0 | 0 | 5910 | 0.296954 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
8.29674 |