| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 90219 | 370145 | 77.97 | 75.12 | 69.76 | 7.61 | 9.46 |
|---|
| zChaff | minisat | SatELite |
| 6656.28 |
194.536 |
212.279 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 77.16 | 74.85 | 68.43 | 7.89 | 9.26 | 0 | 17273 | 5 | 17273 | 5 | 86141334 | 68.3406 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
202.003 |
130.327 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.21 | 75.13 | 69.78 | 7.50 | 9.67 | 0 | 1151 | 0 | 1151 | 0 | 14399708 | 11.5732 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10028.4 |
134.68 |
155.485 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 78.04 | 75.20 | 69.86 | 7.69 | 9.63 | 0 | 517 | 0 | 517 | 0 | 14046413 | 10.6354 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
141.232 |
278.749 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 78.05 | 75.18 | 69.84 | 7.69 | 9.65 | 0 | 397 | 0 | 397 | 0 | 7950941 | 6.29604 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10139.8 |
235.392 |
213.251 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 77.67 | 75.65 | 69.13 | 7.72 | 8.81 | 0 | 9232 | 2 | 9232 | 2 | 50361516 | 38.9161 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
132.856 |
210.05 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 78.21 | 75.13 | 69.78 | 7.50 | 9.67 | 0 | 1151 | 0 | 1151 | 0 | 14396534 | 10.7294 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 9632.77 |
135.439 |
154.998 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 78.04 | 75.20 | 69.86 | 7.69 | 9.63 | 0 | 517 | 0 | 517 | 0 | 14031083 | 10.5864 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
144.628 |
273.112 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 78.05 | 75.18 | 69.84 | 7.69 | 9.65 | 0 | 397 | 0 | 397 | 0 | 7947767 | 6.07808 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 9792.27 |
227.34 |
201.385 |