variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1199 | 11158 | 35.69 | 20.85 | 10.95 | 0.01 | 0.01 |
---|
zChaff | minisat | SatELite |
2004 |
1776.98 |
514.56 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 32.51 | 16.90 | 6.53 | 0.23 | 0.48 | 0 | 538 | 5 | 538 | 5 | 148110 | 0.440932 | UNKNOWN |
---|
zChaff | minisat | SatELite |
024 |
259.33 |
758.767 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 35.72 | 20.84 | 10.96 | 0.22 | 0.46 | 0 | 9 | 0 | 9 | 0 | 103340 | 0.297954 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
1740.73 |
502.896 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 35.72 | 20.84 | 10.96 | 0.22 | 0.46 | 0 | 9 | 0 | 9 | 0 | 125017 | 0.417936 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
1719.22 |
539.12 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 35.72 | 20.84 | 10.96 | 0.22 | 0.46 | 0 | 9 | 0 | 9 | 0 | 103340 | 0.296954 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
1792.74 |
509.094 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 35.71 | 20.85 | 10.96 | 0.22 | 0.46 | 0 | 8 | 0 | 8 | 0 | 72238 | 0.385941 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
1728.34 |
499.855 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 35.71 | 20.85 | 10.96 | 0.22 | 0.46 | 0 | 8 | 0 | 8 | 0 | 50480 | 0.266959 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
1740.44 |
502.536 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 35.71 | 20.85 | 10.96 | 0.22 | 0.46 | 0 | 8 | 0 | 8 | 0 | 72106 | 0.383941 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
1782.33 |
505.655 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 35.71 | 20.85 | 10.96 | 0.22 | 0.46 | 0 | 8 | 0 | 8 | 0 | 50480 | 0.267959 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
1824.39 |
508.611 |