variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1024 | 11657 | 65.25 | 65.55 | 63.28 | 20.02 | 19.73 |
---|
zChaff | minisat | SatELite |
17.5583 |
1.61375 |
17.1474 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 65.38 | 65.86 | 64.21 | 20.94 | 20.76 | 0 | 168 | 1 | 168 | 1 | 394216 | 0.321951 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.7472 |
1.73474 |
19.515 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 64.97 | 66.08 | 63.80 | 20.96 | 20.63 | 0 | 94 | 1 | 94 | 1 | 143394 | 0.114982 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.5352 |
1.62175 |
18.0693 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 65.38 | 65.86 | 64.21 | 20.94 | 20.76 | 0 | 168 | 1 | 168 | 1 | 180562 | 0.146977 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.4472 |
1.61275 |
17.5683 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 64.97 | 66.08 | 63.80 | 20.96 | 20.63 | 0 | 94 | 1 | 94 | 1 | 90818 | 0.076988 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.4342 |
1.60776 |
16.9334 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 65.38 | 65.86 | 64.21 | 20.94 | 20.76 | 0 | 168 | 1 | 168 | 1 | 181220 | 0.146977 | UNKNOWN |
---|
zChaff | minisat | SatELite |
19.4081 |
1.61475 |
16.8924 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 64.97 | 66.08 | 63.80 | 20.96 | 20.63 | 0 | 94 | 1 | 94 | 1 | 90952 | 0.073988 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.5632 |
1.60776 |
17.1294 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 65.38 | 65.86 | 64.21 | 20.94 | 20.76 | 0 | 168 | 1 | 168 | 1 | 180562 | 0.149977 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.4462 |
1.61375 |
18.0643 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 64.97 | 66.08 | 63.80 | 20.96 | 20.63 | 0 | 94 | 1 | 94 | 1 | 90818 | 0.070989 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.5652 |
1.62175 |
17.1304 |