variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
2880 | 152700 | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 |
---|
zChaff | minisat | SatELite |
8517.67 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 24321600 | 17.1414 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8517.67 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 5796402 | 4.03039 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8517.67 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.080987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8517.67 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.050992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8517.67 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.096985 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8517.67 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.058991 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8517.67 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.082987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8517.67 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 76.15 | 73.65 | 99.96 | 23.81 | 26.31 | 0 | 0 | 0 | 0 | 0 | 2880 | 0.054991 | UNKNOWN |
---|
zChaff | minisat | SatELite |
8517.67 |
TimeOut |
TimeOut |