variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
104371 | 353919 | 67.35 | 67.31 | 70.85 | 21.11 | 21.23 |
---|
zChaff | minisat | SatELite |
68.3116 |
7.67883 |
212.204 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 67.22 | 67.19 | 70.34 | 21.07 | 21.20 | 0 | 15778 | 4 | 15778 | 4 | 129752224 | 225.823 | UNKNOWN |
---|
zChaff | minisat | SatELite |
31.6812 |
9.57954 |
200.506 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 68.28 | 66.93 | 70.89 | 20.39 | 21.55 | 0 | 4823 | 1 | 4823 | 1 | 44239802 | 77.7422 | UNKNOWN |
---|
zChaff | minisat | SatELite |
23.0645 |
9.62754 |
199.604 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 67.52 | 67.49 | 71.43 | 21.21 | 21.35 | 0 | 2893 | 1 | 2893 | 1 | 43987375 | 80.4968 | UNKNOWN |
---|
zChaff | minisat | SatELite |
83.4663 |
8.12776 |
199.036 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 67.64 | 67.23 | 71.16 | 21.13 | 21.35 | 0 | 1544 | 0 | 1544 | 0 | 22539670 | 39.641 | UNKNOWN |
---|
zChaff | minisat | SatELite |
65.977 |
8.40872 |
199.718 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 67.29 | 67.25 | 70.55 | 21.09 | 21.25 | 0 | 13384 | 4 | 13384 | 4 | 124499606 | 214.201 | UNKNOWN |
---|
zChaff | minisat | SatELite |
65.3171 |
9.47856 |
197.767 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 68.18 | 66.98 | 70.93 | 20.51 | 21.52 | 0 | 4300 | 1 | 4300 | 1 | 42825617 | 74.2207 | UNKNOWN |
---|
zChaff | minisat | SatELite |
48.0617 |
8.43272 |
204.486 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 67.52 | 67.49 | 71.43 | 21.21 | 21.35 | 0 | 2893 | 1 | 2893 | 1 | 43986386 | 77.8142 | UNKNOWN |
---|
zChaff | minisat | SatELite |
83.5153 |
8.12976 |
199.031 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 67.64 | 67.23 | 71.16 | 21.13 | 21.35 | 0 | 1544 | 0 | 1544 | 0 | 22539670 | 39.73 | UNKNOWN |
---|
zChaff | minisat | SatELite |
66.059 |
8.46871 |
199.69 |