variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
4200 | 12461 | 66.31 | 66.17 | 65.16 | 20.91 | 20.68 |
---|
zChaff | minisat | SatELite |
TimeOut |
599.183 |
9820.97 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 66.07 | 65.76 | 64.03 | 20.74 | 20.66 | 0 | 392 | 3 | 392 | 3 | 2140580 | 1.21681 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
640.863 |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 66.86 | 65.89 | 64.87 | 20.25 | 20.85 | 0 | 103 | 1 | 103 | 1 | 721101 | 0.413937 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
747.161 |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 66.31 | 66.17 | 65.16 | 20.91 | 20.68 | 0 | 0 | 0 | 0 | 0 | 721063 | 0.410937 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
599.183 |
9820.97 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 66.31 | 66.17 | 65.16 | 20.91 | 20.68 | 0 | 0 | 0 | 0 | 0 | 356500 | 0.215967 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
599.183 |
9820.97 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 66.13 | 65.80 | 64.26 | 20.76 | 20.71 | 0 | 316 | 3 | 316 | 3 | 1960292 | 1.10283 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
194.705 |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 66.77 | 65.94 | 64.92 | 20.37 | 20.82 | 0 | 85 | 1 | 85 | 1 | 671351 | 0.387941 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
566.713 |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 66.31 | 66.17 | 65.16 | 20.91 | 20.68 | 0 | 0 | 0 | 0 | 0 | 699754 | 0.404938 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
599.183 |
9820.97 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 66.31 | 66.17 | 65.16 | 20.91 | 20.68 | 0 | 0 | 0 | 0 | 0 | 344880 | 0.200969 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
599.183 |
9820.97 |