variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
840 | 81212 | 71.42 | 78.22 | 99.97 | 28.54 | 21.74 |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 71.42 | 78.22 | 99.97 | 28.54 | 21.74 | 0 | 0 | 0 | 0 | 0 | 26628472 | 11.3443 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 71.42 | 78.22 | 99.97 | 28.54 | 21.74 | 0 | 0 | 0 | 0 | 0 | 5820208 | 2.43263 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 71.42 | 78.22 | 99.97 | 28.54 | 21.74 | 0 | 0 | 0 | 0 | 0 | 840 | 0.036994 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 71.42 | 78.22 | 99.97 | 28.54 | 21.74 | 0 | 0 | 0 | 0 | 0 | 840 | 0.027995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 71.42 | 78.22 | 99.97 | 28.54 | 21.74 | 0 | 0 | 0 | 0 | 0 | 840 | 0.052991 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 71.42 | 78.22 | 99.97 | 28.54 | 21.74 | 0 | 0 | 0 | 0 | 0 | 840 | 0.026995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 71.42 | 78.22 | 99.97 | 28.54 | 21.74 | 0 | 0 | 0 | 0 | 0 | 840 | 0.040993 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 71.42 | 78.22 | 99.97 | 28.54 | 21.74 | 0 | 0 | 0 | 0 | 0 | 840 | 0.027995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |