variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
10100 | 19901 | 31.44 | 31.29 | 0.51 | 6.30 | 6.22 |
---|
zChaff | minisat | SatELite |
269.501 |
331.059 |
1.08483 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 31.44 | 31.29 | 0.51 | 6.30 | 6.23 | 0 | 0 | 0 | 0 | 0 | 119176 | 0.132979 | UNKNOWN |
---|
zChaff | minisat | SatELite |
269.501 |
331.059 |
1.08483 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 31.44 | 31.29 | 0.51 | 6.30 | 6.23 | 0 | 0 | 0 | 0 | 0 | 81891 | 0.087986 | UNKNOWN |
---|
zChaff | minisat | SatELite |
269.501 |
331.059 |
1.08483 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 31.44 | 31.29 | 0.51 | 6.30 | 6.23 | 0 | 0 | 0 | 0 | 0 | 118974 | 0.12898 | UNKNOWN |
---|
zChaff | minisat | SatELite |
269.501 |
331.059 |
1.08483 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 31.44 | 31.29 | 0.51 | 6.30 | 6.23 | 0 | 0 | 0 | 0 | 0 | 81845 | 0.094985 | UNKNOWN |
---|
zChaff | minisat | SatELite |
269.501 |
331.059 |
1.08483 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 31.44 | 31.29 | 0.51 | 6.30 | 6.23 | 0 | 0 | 0 | 0 | 0 | 2558 | 0.027995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
269.501 |
331.059 |
1.08483 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 31.44 | 31.29 | 0.51 | 6.30 | 6.23 | 0 | 0 | 0 | 0 | 0 | 1747 | 0.019996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
269.501 |
331.059 |
1.08483 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 31.44 | 31.29 | 0.51 | 6.30 | 6.23 | 0 | 0 | 0 | 0 | 0 | 2558 | 0.028995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
269.501 |
331.059 |
1.08483 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 31.44 | 31.29 | 0.51 | 6.30 | 6.23 | 0 | 0 | 0 | 0 | 0 | 1747 | 0.024996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
269.501 |
331.059 |
1.08483 |