| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 40753 | 168249 | 81.49 | 77.58 | 78.13 | 5.68 | 9.37 |
|---|
| zChaff | minisat | SatELite |
| 0.443933 |
0.174973 |
4.56731 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.35 | 76.30 | 76.43 | 6.26 | 10.34 | 3 | 14877 | 9 | 14877 | 9 | 32285233 | 22.2936 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.33195 |
0.26196 |
4.66529 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.06 | 77.75 | 78.32 | 5.64 | 9.95 | 0 | 1186 | 1 | 1186 | 1 | 6249297 | 4.14837 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.210968 |
0.176973 |
4.88726 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.78 | 77.86 | 78.43 | 5.98 | 9.92 | 0 | 644 | 0 | 644 | 0 | 3862510 | 2.77558 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.570913 |
0.208968 |
4.73628 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.77 | 77.83 | 78.40 | 5.98 | 9.91 | 0 | 583 | 0 | 583 | 0 | 3240411 | 2.21666 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.272959 |
0.217966 |
5.05123 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.56 | 77.81 | 77.80 | 5.85 | 9.61 | 3 | 5410 | 3 | 5410 | 3 | 20471245 | 13.7709 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.55076 |
0.45693 |
4.77727 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.06 | 77.75 | 78.32 | 5.64 | 9.95 | 0 | 1186 | 1 | 1186 | 1 | 6228596 | 4.13937 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.211969 |
0.185971 |
4.84826 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.78 | 77.86 | 78.43 | 5.98 | 9.92 | 0 | 644 | 0 | 644 | 0 | 3862510 | 2.75558 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.568913 |
0.199969 |
4.71428 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.77 | 77.83 | 78.40 | 5.98 | 9.91 | 0 | 583 | 0 | 583 | 0 | 3240411 | 2.21766 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.26496 |
0.228965 |
5.08923 |