| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 13818 | 69795 | 80.89 | 78.73 | 76.51 | 9.37 | 5.91 |
|---|
| zChaff | minisat | SatELite |
| 0.428935 |
0.570913 |
2.01469 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.89 | 77.52 | 74.84 | 8.68 | 6.25 | 0 | 4625 | 7 | 4625 | 7 | 8754772 | 6.95794 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.433935 |
0.414936 |
2.21766 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.99 | 78.44 | 76.19 | 8.14 | 6.19 | 0 | 943 | 1 | 943 | 1 | 1373586 | 1.02784 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.395939 |
0.812876 |
2.56661 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 80.89 | 78.73 | 76.51 | 9.38 | 6.11 | 0 | 0 | 0 | 0 | 0 | 907840 | 0.745886 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.428935 |
0.570913 |
2.01469 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 80.89 | 78.73 | 76.51 | 9.38 | 6.11 | 0 | 0 | 0 | 0 | 0 | 653756 | 0.52192 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.428935 |
0.570913 |
2.01469 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.61 | 78.36 | 75.70 | 8.32 | 5.95 | 0 | 2334 | 3 | 2334 | 3 | 3762853 | 2.93655 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.331949 |
0.372943 |
2.41463 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 81.98 | 78.45 | 76.19 | 8.15 | 6.19 | 0 | 931 | 1 | 931 | 1 | 1347826 | 0.946856 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.410938 |
0.813876 |
2.52962 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 80.89 | 78.73 | 76.51 | 9.38 | 6.11 | 0 | 0 | 0 | 0 | 0 | 892028 | 0.738887 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.428935 |
0.570913 |
2.01469 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 80.89 | 78.73 | 76.51 | 9.38 | 6.11 | 0 | 0 | 0 | 0 | 0 | 647316 | 0.476927 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.428935 |
0.570913 |
2.01469 |