| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2511 | 18906 | 68.79 | 73.15 | 92.61 | 25.80 | 21.26 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3839.78 |
5808 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 68.62 | 73.07 | 92.44 | 25.84 | 21.21 | 0 | 517 | 3 | 517 | 3 | 674589 | 0.468928 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4595.23 |
5510.16 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 68.58 | 73.67 | 92.57 | 25.98 | 20.72 | 0 | 132 | 1 | 132 | 1 | 163810 | 0.118981 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3317.95 |
697.233 |
2069.78 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 68.80 | 73.16 | 92.64 | 25.80 | 21.27 | 0 | 6 | 0 | 6 | 0 | 12803 | 0.022996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
6051.47 |
9608.25 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 68.79 | 73.16 | 92.63 | 25.81 | 21.26 | 0 | 3 | 0 | 3 | 0 | 10204 | 0.012998 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4611.11 |
332.453 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 68.81 | 73.15 | 92.62 | 25.78 | 21.26 | 0 | 56 | 0 | 56 | 0 | 61655 | 0.053991 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1601.97 |
7232.95 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 68.77 | 73.21 | 92.62 | 25.82 | 21.21 | 0 | 16 | 0 | 16 | 0 | 20284 | 0.021996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
239.739 |
1589.67 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 68.80 | 73.16 | 92.64 | 25.80 | 21.27 | 0 | 6 | 0 | 6 | 0 | 12803 | 0.017997 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
6145.97 |
9937.68 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 68.79 | 73.16 | 92.63 | 25.81 | 21.26 | 0 | 3 | 0 | 3 | 0 | 10204 | 0.013997 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4630.88 |
324.017 |