| 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 |