variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
3500 | 10361 | 65.59 | 65.67 | 64.86 | 21.45 | 21.47 |
---|
zChaff | minisat | SatELite |
46.244 |
3.99639 |
25.985 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 65.18 | 64.98 | 62.27 | 20.90 | 21.20 | 0 | 712 | 7 | 712 | 7 | 2144493 | 1.20382 | UNKNOWN |
---|
zChaff | minisat | SatELite |
17.7683 |
5.22621 |
19.439 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 64.98 | 66.84 | 64.23 | 21.83 | 20.07 | 0 | 181 | 2 | 181 | 2 | 717396 | 0.414936 | UNKNOWN |
---|
zChaff | minisat | SatELite |
19.442 |
9.43956 |
26.537 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 65.59 | 65.67 | 64.86 | 21.45 | 21.47 | 0 | 0 | 0 | 0 | 0 | 761631 | 0.450931 | UNKNOWN |
---|
zChaff | minisat | SatELite |
46.244 |
3.99639 |
25.985 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 65.59 | 65.67 | 64.86 | 21.45 | 21.47 | 0 | 0 | 0 | 0 | 0 | 382320 | 0.223965 | UNKNOWN |
---|
zChaff | minisat | SatELite |
46.244 |
3.99639 |
25.985 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 65.30 | 65.06 | 62.60 | 20.90 | 21.25 | 0 | 625 | 6 | 625 | 6 | 1980980 | 1.12283 | UNKNOWN |
---|
zChaff | minisat | SatELite |
21.2618 |
4.25935 |
24.5443 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 65.06 | 66.68 | 64.32 | 21.78 | 20.26 | 0 | 157 | 2 | 157 | 2 | 674999 | 0.39094 | UNKNOWN |
---|
zChaff | minisat | SatELite |
24.9382 |
10.0465 |
26.349 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 65.59 | 65.67 | 64.86 | 21.45 | 21.47 | 0 | 0 | 0 | 0 | 0 | 734933 | 0.432934 | UNKNOWN |
---|
zChaff | minisat | SatELite |
46.244 |
3.99639 |
25.985 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 65.59 | 65.67 | 64.86 | 21.45 | 21.47 | 0 | 0 | 0 | 0 | 0 | 372895 | 0.218966 | UNKNOWN |
---|
zChaff | minisat | SatELite |
46.244 |
3.99639 |
25.985 |