variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
5428 | 17845 | 60.62 | 59.94 | 41.00 | 17.74 | 17.46 |
---|
zChaff | minisat | SatELite |
56.8424 |
3.55546 |
17.0734 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 348562 | 0.283956 | UNKNOWN |
---|
zChaff | minisat | SatELite |
56.8424 |
3.55546 |
17.0734 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 118809 | 0.101984 | UNKNOWN |
---|
zChaff | minisat | SatELite |
56.8424 |
3.55546 |
17.0734 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 132903 | 0.13098 | UNKNOWN |
---|
zChaff | minisat | SatELite |
56.8424 |
3.55546 |
17.0734 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 65902 | 0.065989 | UNKNOWN |
---|
zChaff | minisat | SatELite |
56.8424 |
3.55546 |
17.0734 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 289871 | 0.228965 | UNKNOWN |
---|
zChaff | minisat | SatELite |
56.8424 |
3.55546 |
17.0734 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 105470 | 0.092985 | UNKNOWN |
---|
zChaff | minisat | SatELite |
56.8424 |
3.55546 |
17.0734 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 132501 | 0.12798 | UNKNOWN |
---|
zChaff | minisat | SatELite |
56.8424 |
3.55546 |
17.0734 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 60.62 | 59.94 | 41.00 | 17.88 | 17.67 | 0 | 0 | 0 | 0 | 0 | 65728 | 0.068989 | UNKNOWN |
---|
zChaff | minisat | SatELite |
56.8424 |
3.55546 |
17.0734 |