| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1453 | 56740 | 19.68 | 14.98 | 3.76 | 3.33 | 4.49 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4923.14 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 12.20 | 7.47 | 1.39 | 1.43 | 2.25 | 0 | 9994 | 18 | 9994 | 18 | 1459869 | 83.1584 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3551.45 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 21.67 | 6.88 | 3.44 | 1.04 | 4.98 | 0 | 5230 | 9 | 5230 | 9 | 1188196 | 74.1017 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4675.16 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 14.19 | 9.49 | 4.42 | 2.10 | 3.00 | 0 | 8514 | 15 | 8514 | 15 | 1376663 | 81.8026 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3471.6 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 21.52 | 7.53 | 4.11 | 1.73 | 4.95 | 0 | 4870 | 9 | 4870 | 9 | 1192497 | 75.3955 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4476.82 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 12.24 | 7.52 | 1.45 | 1.45 | 2.26 | 0 | 9962 | 18 | 9962 | 18 | 1455873 | 84.8421 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4673.49 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 21.67 | 6.90 | 3.46 | 1.06 | 4.98 | 0 | 5215 | 9 | 5215 | 9 | 1182962 | 76.1534 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
8997.33 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 14.19 | 9.50 | 4.42 | 2.10 | 3.00 | 0 | 8508 | 15 | 8508 | 15 | 1375454 | 83.1094 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4751.3 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 21.52 | 7.53 | 4.11 | 1.73 | 4.95 | 0 | 4864 | 9 | 4864 | 9 | 1191311 | 76.5094 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
9004.35 |
TimeOut |