variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
7200 | 16800 | 71.19 | 71.57 | 85.71 | 23.40 | 23.17 |
---|
zChaff | minisat | SatELite |
18.3312 |
5.79812 |
61.9546 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 71.19 | 71.57 | 85.71 | 23.40 | 23.17 | 0 | 0 | 0 | 0 | 0 | 115200 | 0.066989 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.3312 |
5.79812 |
61.9546 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 71.19 | 71.57 | 85.71 | 23.40 | 23.17 | 0 | 0 | 0 | 0 | 0 | 30430 | 0.025996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.3312 |
5.79812 |
61.9546 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 71.19 | 71.57 | 85.71 | 23.40 | 23.17 | 0 | 0 | 0 | 0 | 0 | 7200 | 0.014997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.3312 |
5.79812 |
61.9546 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 71.19 | 71.57 | 85.71 | 23.40 | 23.17 | 0 | 0 | 0 | 0 | 0 | 3588 | 0.009998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.3312 |
5.79812 |
61.9546 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 71.19 | 71.57 | 85.71 | 23.40 | 23.17 | 0 | 0 | 0 | 0 | 0 | 7200 | 0.014997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.3312 |
5.79812 |
61.9546 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 71.19 | 71.57 | 85.71 | 23.40 | 23.17 | 0 | 0 | 0 | 0 | 0 | 3588 | 0.013997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.3312 |
5.79812 |
61.9546 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 71.19 | 71.57 | 85.71 | 23.40 | 23.17 | 0 | 0 | 0 | 0 | 0 | 7200 | 0.013997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.3312 |
5.79812 |
61.9546 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 71.19 | 71.57 | 85.71 | 23.40 | 23.17 | 0 | 0 | 0 | 0 | 0 | 3588 | 0.011998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
18.3312 |
5.79812 |
61.9546 |