variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
320 | 1366 | 34.33 | 34.63 | 12.15 | 8.13 | 7.76 |
---|
zChaff | minisat | SatELite |
1.13883 |
1.07484 |
9.33758 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 34.36 | 34.65 | 12.16 | 8.28 | 8.06 | 0 | 1 | 0 | 1 | 0 | 5882 | 0.007998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.30465 |
1.07584 |
9.35058 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 34.36 | 34.65 | 12.16 | 8.28 | 8.06 | 0 | 1 | 0 | 1 | 0 | 3998 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.31265 |
1.08783 |
9.31558 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 34.36 | 34.65 | 12.16 | 8.28 | 8.06 | 0 | 1 | 0 | 1 | 0 | 5552 | 0.007998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.28465 |
1.17082 |
9.37957 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 34.36 | 34.65 | 12.16 | 8.28 | 8.06 | 0 | 1 | 0 | 1 | 0 | 3908 | 0.006998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.31265 |
1.08083 |
9.32558 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 34.36 | 34.65 | 12.16 | 8.28 | 8.06 | 0 | 1 | 0 | 1 | 0 | 5554 | 0.007998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.31065 |
1.08883 |
9.38857 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 34.36 | 34.65 | 12.16 | 8.28 | 8.06 | 0 | 1 | 0 | 1 | 0 | 3908 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.28765 |
1.08083 |
9.43456 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 34.36 | 34.65 | 12.16 | 8.28 | 8.06 | 0 | 1 | 0 | 1 | 0 | 5552 | 0.008998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.30765 |
1.07984 |
9.38157 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 34.36 | 34.65 | 12.16 | 8.28 | 8.06 | 0 | 1 | 0 | 1 | 0 | 3908 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.30865 |
1.09183 |
9.39257 |