| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 34442 | 138747 | 78.16 | 72.05 | 80.67 | 8.26 | 16.30 |
|---|
| zChaff | minisat | SatELite |
| 6.36803 |
1.47078 |
5.65114 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 77.47 | 72.31 | 80.10 | 8.90 | 16.09 | 1 | 5989 | 4 | 5989 | 4 | 16232457 | 14.0329 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 9.05962 |
0.938857 |
5.8971 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.45 | 72.13 | 80.84 | 8.50 | 16.68 | 0 | 513 | 0 | 513 | 0 | 3094297 | 2.6376 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6.97494 |
1.80673 |
7.46886 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 78.29 | 72.21 | 80.90 | 8.63 | 16.66 | 0 | 390 | 0 | 390 | 0 | 2233786 | 1.9417 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4.48732 |
1.12383 |
4.91425 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 78.34 | 72.17 | 80.86 | 8.63 | 16.66 | 0 | 326 | 0 | 326 | 0 | 1758002 | 1.51377 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.06753 |
1.77273 |
12.7161 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 77.84 | 72.77 | 80.43 | 8.75 | 15.82 | 1 | 3750 | 3 | 3750 | 3 | 13770956 | 11.8132 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7.2249 |
0.925859 |
6.66399 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 78.45 | 72.13 | 80.84 | 8.50 | 16.68 | 0 | 513 | 0 | 513 | 0 | 2980099 | 2.56661 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6.95594 |
1.77573 |
7.42387 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 78.29 | 72.21 | 80.90 | 8.63 | 16.66 | 0 | 390 | 0 | 390 | 0 | 2232308 | 1.9527 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4.49632 |
1.11583 |
4.89126 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 78.34 | 72.17 | 80.86 | 8.63 | 16.66 | 0 | 326 | 0 | 326 | 0 | 1758002 | 1.55176 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.22751 |
1.74473 |
13.6139 |