| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2125 | 12677 | 43.17 | 43.33 | 8.04 | 10.22 | 10.21 |
|---|
| zChaff | minisat | SatELite |
| 790.967 |
755.904 |
1664.94 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 43.69 | 43.89 | 9.12 | 10.66 | 10.69 | 0 | 1502 | 12 | 1502 | 12 | 1906343 | 1.66175 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 137.262 |
225.451 |
2935.61 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 41.44 | 46.74 | 8.67 | 11.22 | 10.20 | 0 | 926 | 7 | 926 | 7 | 1057058 | 1.04984 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 155.322 |
246.979 |
1926.54 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 43.69 | 43.89 | 9.12 | 10.66 | 10.69 | 0 | 1502 | 12 | 1502 | 12 | 1882427 | 1.64375 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 134.911 |
233.736 |
2934.61 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 41.44 | 46.74 | 8.67 | 11.22 | 10.20 | 0 | 926 | 7 | 926 | 7 | 1051250 | 1.03684 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 157.44 |
243.39 |
1924.24 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 43.17 | 43.41 | 8.08 | 10.45 | 10.45 | 0 | 60 | 0 | 60 | 0 | 205617 | 0.216967 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 839.545 |
745.804 |
1701.57 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 43.12 | 43.48 | 8.07 | 10.44 | 10.43 | 0 | 44 | 0 | 44 | 0 | 137747 | 0.150977 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 811.379 |
738.831 |
1698.4 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 43.17 | 43.41 | 8.08 | 10.45 | 10.45 | 0 | 60 | 0 | 60 | 0 | 205617 | 0.218966 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 791.977 |
773.192 |
1745.22 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 43.12 | 43.48 | 8.07 | 10.44 | 10.43 | 0 | 44 | 0 | 44 | 0 | 137747 | 0.146977 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 813.055 |
779.379 |
1723.25 |