variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
701 | 6661 | 96.97 | 16.02 | 96.97 | 0.00 | 83.98 |
---|
zChaff | minisat | SatELite |
0.023996 |
0.005999 |
0.104984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 96.63 | 17.69 | 96.63 | 0.23 | 82.31 | 0 | 675 | 10 | 675 | 10 | 759330 | 0.188971 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009998 |
0.003999 |
0.094985 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 96.97 | 16.02 | 96.97 | 0.21 | 83.98 | 0 | 0 | 0 | 0 | 0 | 777 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.023996 |
0.005999 |
0.104984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 96.97 | 16.02 | 96.97 | 0.21 | 83.98 | 0 | 0 | 0 | 0 | 0 | 777 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.023996 |
0.005999 |
0.104984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 96.97 | 16.02 | 96.97 | 0.21 | 83.98 | 0 | 0 | 0 | 0 | 0 | 777 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.023996 |
0.005999 |
0.104984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 96.90 | 16.26 | 96.90 | 0.21 | 83.74 | 0 | 149 | 2 | 149 | 2 | 36172 | 0.010998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.021996 |
0.004999 |
0.100984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 96.97 | 16.02 | 96.97 | 0.21 | 83.98 | 0 | 0 | 0 | 0 | 0 | 777 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.023996 |
0.005999 |
0.104984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 96.97 | 16.02 | 96.97 | 0.21 | 83.98 | 0 | 0 | 0 | 0 | 0 | 777 | 0.005999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.023996 |
0.005999 |
0.104984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 96.97 | 16.02 | 96.97 | 0.21 | 83.98 | 0 | 0 | 0 | 0 | 0 | 777 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.023996 |
0.005999 |
0.104984 |