| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 61304 | 275008 | 79.08 | 74.30 | 74.58 | 8.57 | 10.50 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
338.201 |
3796.81 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 78.05 | 74.06 | 72.69 | 8.73 | 9.73 | 1 | 19733 | 7 | 19733 | 7 | 55311487 | 58.2511 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
632.92 |
2774.46 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 79.66 | 74.11 | 74.43 | 7.98 | 10.70 | 0 | 2026 | 1 | 2026 | 1 | 6766615 | 6.85596 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
2321.78 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 79.10 | 74.32 | 74.63 | 8.62 | 10.63 | 0 | 214 | 0 | 214 | 0 | 5657982 | 5.81312 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
841.457 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 79.11 | 74.29 | 74.61 | 8.62 | 10.63 | 0 | 117 | 0 | 117 | 0 | 4250808 | 4.24835 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
819.295 |
6178.43 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 78.69 | 74.86 | 73.50 | 8.50 | 9.43 | 1 | 11636 | 4 | 11636 | 4 | 41449754 | 41.3937 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
179.64 |
982.608 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 79.64 | 74.12 | 74.41 | 8.01 | 10.70 | 0 | 1938 | 1 | 1938 | 1 | 6755220 | 6.85596 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1662.22 |
875.326 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 79.08 | 74.33 | 74.61 | 8.65 | 10.63 | 0 | 126 | 0 | 126 | 0 | 5637185 | 5.64914 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3111.72 |
2400.53 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 79.08 | 74.30 | 74.58 | 8.65 | 10.62 | 0 | 29 | 0 | 29 | 0 | 4239589 | 4.26935 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
2574.4 |
2818.71 |