variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
480 | 6489 | 13.96 | 14.76 | 0.14 | 2.43 | 2.10 |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 13.96 | 14.76 | 0.14 | 2.50 | 2.17 | 0 | 0 | 0 | 0 | 0 | 41613 | 0.187971 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 13.96 | 14.76 | 0.14 | 2.50 | 2.17 | 0 | 0 | 0 | 0 | 0 | 36046 | 0.176973 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 13.96 | 14.76 | 0.14 | 2.50 | 2.17 | 0 | 0 | 0 | 0 | 0 | 41604 | 0.189971 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 13.96 | 14.76 | 0.14 | 2.50 | 2.17 | 0 | 0 | 0 | 0 | 0 | 36046 | 0.179972 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 13.96 | 14.76 | 0.14 | 2.50 | 2.17 | 0 | 0 | 0 | 0 | 0 | 0 | 0.008998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 13.96 | 14.76 | 0.14 | 2.50 | 2.17 | 0 | 0 | 0 | 0 | 0 | 0 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 13.96 | 14.76 | 0.14 | 2.50 | 2.17 | 0 | 0 | 0 | 0 | 0 | 0 | 0.006998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 13.96 | 14.76 | 0.14 | 2.50 | 2.17 | 0 | 0 | 0 | 0 | 0 | 0 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |