variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
21000 | 113729 | 99.80 | 16.50 | 24.27 | 0.20 | 7.77 |
---|
zChaff | minisat | SatELite |
0.057991 |
0.080987 |
1.14783 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 99.80 | 16.50 | 24.27 | 0.32 | 7.77 | 2010 | 0 | 0 | 0 | 0 | 54387114 | 26.198 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.057991 |
0.080987 |
1.14783 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 99.80 | 16.50 | 24.27 | 0.32 | 7.77 | 2010 | 0 | 0 | 0 | 0 | 450 | 0.052991 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.057991 |
0.080987 |
1.14783 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 99.80 | 16.50 | 24.27 | 0.32 | 7.77 | 2010 | 0 | 0 | 0 | 0 | 49347729 | 26.031 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.057991 |
0.080987 |
1.14783 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 99.80 | 16.50 | 24.27 | 0.32 | 7.77 | 2010 | 0 | 0 | 0 | 0 | 0 | 0.050992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.057991 |
0.080987 |
1.14783 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 99.80 | 16.50 | 24.27 | 0.32 | 7.77 | 2010 | 0 | 0 | 0 | 0 | 54386624 | 28.1217 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.057991 |
0.080987 |
1.14783 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 99.80 | 16.50 | 24.27 | 0.32 | 7.77 | 2010 | 0 | 0 | 0 | 0 | 0 | 0.051992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.057991 |
0.080987 |
1.14783 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 99.80 | 16.50 | 24.27 | 0.32 | 7.77 | 2010 | 0 | 0 | 0 | 0 | 49347729 | 26.208 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.057991 |
0.080987 |
1.14783 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 99.80 | 16.50 | 24.27 | 0.32 | 7.77 | 2010 | 0 | 0 | 0 | 0 | 0 | 0.050992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.057991 |
0.080987 |
1.14783 |