| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 149953 | 622599 | 81.34 | 77.30 | 77.92 | 5.73 | 9.49 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3078.73 |
5564.1 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.20 | 75.98 | 76.21 | 6.09 | 10.07 | 3 | 54378 | 9 | 54378 | 9 | 187079274 | 150.346 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4220.31 |
3452.09 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.92 | 77.47 | 78.12 | 5.48 | 9.69 | 0 | 4411 | 1 | 4411 | 1 | 44550747 | 34.4408 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
6138.45 |
2467.94 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.63 | 77.56 | 78.21 | 5.82 | 9.66 | 0 | 2245 | 0 | 2245 | 0 | 27470086 | 22.8305 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1612.9 |
2609.88 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.62 | 77.55 | 78.19 | 5.82 | 9.66 | 0 | 2158 | 0 | 2158 | 0 | 24523736 | 19.864 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10618.3 |
4381.43 |
2231.07 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.40 | 77.49 | 77.56 | 5.68 | 9.35 | 3 | 20111 | 3 | 20111 | 3 | 137440562 | 112.305 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 9803.61 |
1170.68 |
2307.76 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 81.92 | 77.47 | 78.12 | 5.48 | 9.69 | 0 | 4411 | 1 | 4411 | 1 | 44382321 | 36.1285 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
6374.86 |
2456.04 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.63 | 77.56 | 78.21 | 5.82 | 9.66 | 0 | 2245 | 0 | 2245 | 0 | 27470086 | 23.6434 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1542.5 |
2652.19 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.62 | 77.55 | 78.19 | 5.82 | 9.66 | 0 | 2158 | 0 | 2158 | 0 | 24523736 | 19.68 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10512.5 |
4447.28 |
2237.09 |