variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
117426 | 469472 | 24.29 | 75.72 | 0.03 | 3.98 | 24.28 |
---|
zChaff | minisat | SatELite |
3192.01 |
35.4476 |
45.2261 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 24.24 | 75.78 | 0.03 | 3.99 | 24.24 | 345 | 1004 | 0 | 1004 | 0 | 1521048 | 23.9754 | UNKNOWN |
---|
zChaff | minisat | SatELite |
5334.2 |
44.5332 |
44.7522 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 24.21 | 75.80 | 0.03 | 3.99 | 24.21 | 345 | 502 | 0 | 502 | 0 | 371321 | 7.2499 | UNKNOWN |
---|
zChaff | minisat | SatELite |
4701.37 |
46.314 |
44.8422 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 24.24 | 75.78 | 0.03 | 3.99 | 24.24 | 345 | 1004 | 0 | 1004 | 0 | 1520787 | 23.8574 | UNKNOWN |
---|
zChaff | minisat | SatELite |
5334.11 |
46.281 |
44.3893 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 24.21 | 75.80 | 0.03 | 3.99 | 24.21 | 345 | 502 | 0 | 502 | 0 | 371123 | 7.43687 | UNKNOWN |
---|
zChaff | minisat | SatELite |
5029.73 |
46.137 |
47.7337 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 24.29 | 75.72 | 0.03 | 3.98 | 24.29 | 345 | 5 | 0 | 5 | 0 | 121779 | 2.85357 | UNKNOWN |
---|
zChaff | minisat | SatELite |
4534.28 |
46.076 |
44.6462 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 24.29 | 75.72 | 0.03 | 3.98 | 24.29 | 345 | 0 | 0 | 0 | 0 | 0 | 0.272958 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3192.01 |
35.4476 |
45.2261 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 24.29 | 75.72 | 0.03 | 3.98 | 24.29 | 345 | 5 | 0 | 5 | 0 | 121779 | 2.66759 | UNKNOWN |
---|
zChaff | minisat | SatELite |
4420.83 |
44.4012 |
45.4811 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 24.29 | 75.72 | 0.03 | 3.98 | 24.29 | 345 | 0 | 0 | 0 | 0 | 0 | 0.263959 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3192.01 |
35.4476 |
45.2261 |