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 |