| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 3100 | 26345 | 70.94 | 72.59 | 93.97 | 24.37 | 22.50 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
179.127 |
1039.52 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 70.91 | 72.51 | 93.88 | 24.33 | 22.50 | 0 | 388 | 1 | 388 | 1 | 903470 | 0.663899 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
286.935 |
122.573 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 70.83 | 72.85 | 93.95 | 24.46 | 22.22 | 0 | 94 | 0 | 94 | 0 | 221256 | 0.164974 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1460.65 |
322.469 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 70.94 | 72.59 | 93.97 | 24.37 | 22.50 | 0 | 0 | 0 | 0 | 0 | 12182 | 0.022996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
179.127 |
1039.52 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 70.94 | 72.59 | 93.97 | 24.37 | 22.50 | 0 | 0 | 0 | 0 | 0 | 10684 | 0.014997 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
179.127 |
1039.52 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 70.94 | 72.59 | 93.97 | 24.37 | 22.50 | 0 | 14 | 0 | 14 | 0 | 42205 | 0.046992 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
196.529 |
227.826 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 70.93 | 72.60 | 93.97 | 24.38 | 22.49 | 0 | 3 | 0 | 3 | 0 | 17299 | 0.024996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
217.087 |
452.932 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 70.94 | 72.59 | 93.97 | 24.37 | 22.50 | 0 | 0 | 0 | 0 | 0 | 12182 | 0.026995 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
179.127 |
1039.52 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 70.94 | 72.59 | 93.97 | 24.37 | 22.50 | 0 | 0 | 0 | 0 | 0 | 10684 | 0.020996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
179.127 |
1039.52 |