variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
62750 | 124751 | 31.35 | 31.39 | 0.20 | 6.32 | 6.31 |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7.10892 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 31.35 | 31.39 | 0.20 | 6.32 | 6.31 | 0 | 0 | 0 | 0 | 0 | 747984 | 1.43878 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7.10892 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 31.35 | 31.39 | 0.20 | 6.32 | 6.31 | 0 | 0 | 0 | 0 | 0 | 513642 | 1.00485 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7.10892 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 31.35 | 31.39 | 0.20 | 6.32 | 6.31 | 0 | 0 | 0 | 0 | 0 | 747482 | 1.43178 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7.10892 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 31.35 | 31.39 | 0.20 | 6.32 | 6.31 | 0 | 0 | 0 | 0 | 0 | 513520 | 1.00585 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7.10892 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 31.35 | 31.39 | 0.20 | 6.32 | 6.31 | 0 | 0 | 0 | 0 | 0 | 6466 | 0.223965 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7.10892 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 31.35 | 31.39 | 0.20 | 6.32 | 6.31 | 0 | 0 | 0 | 0 | 0 | 4307 | 0.181972 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7.10892 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 31.35 | 31.39 | 0.20 | 6.32 | 6.31 | 0 | 0 | 0 | 0 | 0 | 6466 | 0.222966 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7.10892 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 31.35 | 31.39 | 0.20 | 6.32 | 6.31 | 0 | 0 | 0 | 0 | 0 | 4307 | 0.19397 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
7.10892 |