variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
252 | 3798 | 78.49 | 70.59 | 99.53 | 21.04 | 28.94 |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 78.49 | 70.59 | 99.53 | 21.04 | 28.94 | 0 | 0 | 0 | 0 | 0 | 173124 | 0.055991 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 78.49 | 70.59 | 99.53 | 21.04 | 28.94 | 0 | 0 | 0 | 0 | 0 | 36796 | 0.010998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 78.49 | 70.59 | 99.53 | 21.04 | 28.94 | 0 | 0 | 0 | 0 | 0 | 252 | 0.000999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 78.49 | 70.59 | 99.53 | 21.04 | 28.94 | 0 | 0 | 0 | 0 | 0 | 252 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 78.49 | 70.59 | 99.53 | 21.04 | 28.94 | 0 | 0 | 0 | 0 | 0 | 252 | 0.000999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 78.49 | 70.59 | 99.53 | 21.04 | 28.94 | 0 | 0 | 0 | 0 | 0 | 252 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 78.49 | 70.59 | 99.53 | 21.04 | 28.94 | 0 | 0 | 0 | 0 | 0 | 252 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 78.49 | 70.59 | 99.53 | 21.04 | 28.94 | 0 | 0 | 0 | 0 | 0 | 252 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |