variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
23910 | 751118 | 74.40 | 71.18 | 96.16 | 22.59 | 25.83 |
---|
zChaff | minisat | SatELite |
456.423 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 74.28 | 70.89 | 95.67 | 22.41 | 25.83 | 26 | 145589 | 19 | 145589 | 19 | 1507463306 | 10791.1 | uncomplete |
---|
zChaff | minisat | SatELite |
442.691 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 80.73 | 69.10 | 96.21 | 16.38 | 28.03 | 6 | 58892 | 8 | 58892 | 8 | 575960139 | 6182.52 | UNKNOWN |
---|
zChaff | minisat | SatELite |
443.661 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 74.66 | 71.43 | 96.49 | 22.66 | 25.92 | 0 | 2601 | 0 | 2601 | 0 | 62734656 | 417.407 | UNKNOWN |
---|
zChaff | minisat | SatELite |
427.211 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 74.66 | 71.43 | 96.49 | 22.66 | 25.92 | 0 | 2599 | 0 | 2599 | 0 | 55042873 | 456.283 | UNKNOWN |
---|
zChaff | minisat | SatELite |
442.038 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 74.66 | 71.42 | 96.49 | 22.66 | 25.92 | 0 | 3278 | 0 | 3278 | 0 | 66563730 | 454.182 | UNKNOWN |
---|
zChaff | minisat | SatELite |
438.573 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 74.68 | 71.42 | 96.49 | 22.65 | 25.92 | 0 | 2775 | 0 | 2775 | 0 | 52794510 | 464.021 | UNKNOWN |
---|
zChaff | minisat | SatELite |
379.176 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 74.66 | 71.43 | 96.49 | 22.66 | 25.92 | 0 | 2596 | 0 | 2596 | 0 | 50132172 | 371.108 | UNKNOWN |
---|
zChaff | minisat | SatELite |
392.134 |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 74.66 | 71.43 | 96.49 | 22.66 | 25.92 | 0 | 2596 | 0 | 2596 | 0 | 48660514 | 416.765 | UNKNOWN |
---|
zChaff | minisat | SatELite |
385.264 |
TimeOut |
TimeOut |