variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
679 | 16124 | 74.50 | 69.11 | 94.23 | 21.29 | 26.56 |
---|
zChaff | minisat | SatELite |
0.011998 |
0.015997 |
0.25896 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 74.32 | 69.50 | 94.19 | 21.74 | 26.35 | 0 | 4389 | 27 | 4389 | 27 | 1989050 | 1.35579 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.013998 |
0.010998 |
0.336948 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 82.28 | 67.12 | 95.06 | 14.46 | 29.33 | 0 | 1525 | 9 | 1525 | 9 | 543523 | 0.486925 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.010998 |
0.306953 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 75.50 | 70.01 | 95.70 | 21.58 | 26.92 | 0 | 249 | 2 | 249 | 2 | 100551 | 0.077988 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004999 |
0.014997 |
0.440932 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 75.66 | 69.96 | 95.69 | 21.55 | 26.97 | 0 | 247 | 2 | 247 | 2 | 78179 | 0.069989 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.011998 |
0.015997 |
0.360945 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 75.53 | 69.81 | 95.60 | 21.48 | 27.05 | 0 | 610 | 4 | 610 | 4 | 194828 | 0.167974 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.010998 |
0.015997 |
0.433934 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 76.11 | 69.78 | 95.67 | 21.09 | 27.13 | 0 | 341 | 2 | 341 | 2 | 103359 | 0.090986 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.011999 |
0.014997 |
0.387941 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 75.50 | 70.01 | 95.70 | 21.58 | 26.92 | 0 | 249 | 2 | 249 | 2 | 100551 | 0.079987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.015997 |
0.430934 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 75.66 | 69.96 | 95.69 | 21.55 | 26.97 | 0 | 247 | 2 | 247 | 2 | 78179 | 0.066989 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.011998 |
0.015997 |
0.362944 |