| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 194762 | 530713 | 68.92 | 68.89 | 77.67 | 21.78 | 21.81 |
|---|
| zChaff | minisat | SatELite |
| 748.612 |
305.603 |
208.597 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 2 | 0 | 2 | 0 | 53777645 | 102.074 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 478.723 |
349.367 |
232.966 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 16244510 | 31.2622 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 748.612 |
305.603 |
208.597 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 8826703 | 18.7661 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 748.612 |
305.603 |
208.597 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 4951462 | 10.2654 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 748.612 |
305.603 |
208.597 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 2 | 0 | 2 | 0 | 51784699 | 93.5508 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 461.182 |
324.934 |
210.628 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 15757710 | 31.5912 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 748.612 |
305.603 |
208.597 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 8826703 | 19.0541 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 748.612 |
305.603 |
208.597 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 68.92 | 68.89 | 77.67 | 22.21 | 22.24 | 0 | 0 | 0 | 0 | 0 | 4951462 | 10.7064 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 748.612 |
305.603 |
208.597 |