| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2901 | 18243 | 14.45 | 13.84 | 2.35 | 3.21 | 2.64 |
|---|
| zChaff | minisat | SatELite |
| 320.443 |
71.5171 |
166.916 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 12.49 | 11.10 | 0.83 | 2.30 | 2.19 | 0 | 2969 | 16 | 2969 | 16 | 218957 | 1.43278 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 526.184 |
17.6003 |
98.803 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 16.64 | 10.71 | 2.04 | 2.22 | 3.12 | 0 | 2393 | 13 | 2393 | 13 | 188856 | 1.36579 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 364.902 |
126.464 |
169.772 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 13.53 | 12.54 | 2.75 | 2.94 | 2.45 | 0 | 2667 | 15 | 2667 | 15 | 211944 | 1.40279 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 282.899 |
85.204 |
95.7804 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 16.53 | 11.30 | 2.69 | 2.87 | 3.10 | 0 | 2287 | 13 | 2287 | 13 | 192301 | 1.3478 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 445.896 |
123.258 |
170.209 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 13.52 | 12.54 | 2.75 | 2.94 | 2.45 | 0 | 2668 | 15 | 2668 | 15 | 146966 | 0.84887 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 267.195 |
85.222 |
98.824 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 16.53 | 11.30 | 2.69 | 2.87 | 3.10 | 0 | 2287 | 13 | 2287 | 13 | 135816 | 0.835872 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 438.854 |
122.602 |
172.037 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 13.53 | 12.54 | 2.75 | 2.94 | 2.45 | 0 | 2667 | 15 | 2667 | 15 | 146841 | 0.838872 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 267.593 |
84.1582 |
96.7363 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 16.53 | 11.30 | 2.69 | 2.87 | 3.10 | 0 | 2287 | 13 | 2287 | 13 | 135792 | 0.84987 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 419.048 |
126.937 |
170.406 |