variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
28418 | 665733 | 74.50 | 74.35 | 99.19 | 24.69 | 24.84 |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7573.77 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 74.50 | 74.35 | 99.19 | 24.69 | 24.84 | 0 | 0 | 0 | 0 | 0 | 52923506 | 83.0154 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7573.77 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 74.50 | 74.35 | 99.19 | 24.69 | 24.84 | 0 | 0 | 0 | 0 | 0 | 13203266 | 22.5246 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7573.77 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 74.50 | 74.35 | 99.19 | 24.69 | 24.84 | 0 | 0 | 0 | 0 | 0 | 85254 | 0.565913 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7573.77 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 74.50 | 74.35 | 99.19 | 24.69 | 24.84 | 0 | 0 | 0 | 0 | 0 | 85091 | 0.429934 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7573.77 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 74.50 | 74.35 | 99.19 | 24.69 | 24.84 | 0 | 0 | 0 | 0 | 0 | 85254 | 0.637903 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7573.77 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 74.50 | 74.35 | 99.19 | 24.69 | 24.84 | 0 | 0 | 0 | 0 | 0 | 85091 | 0.497924 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7573.77 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 74.50 | 74.35 | 99.19 | 24.69 | 24.84 | 0 | 0 | 0 | 0 | 0 | 85254 | 0.601908 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7573.77 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 74.50 | 74.35 | 99.19 | 24.69 | 24.84 | 0 | 0 | 0 | 0 | 0 | 85091 | 0.449931 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7573.77 |