variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
100 | 850 | 27.41 | 30.71 | 9.65 | 8.35 | 5.76 |
---|
zChaff | minisat | SatELite |
0.001 |
0.002999 |
0.008998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 37.75 | 35.73 | 15.96 | 11.69 | 8.54 | 0 | 405 | 48 | 405 | 48 | 16387 | 0.027995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.000999 |
0.016997 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 31.63 | 47.71 | 14.44 | 12.98 | 6.76 | 0 | 303 | 36 | 303 | 36 | 12013 | 0.023996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.003999 |
0.007998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 38.82 | 36.84 | 17.98 | 11.84 | 8.77 | 0 | 394 | 46 | 394 | 46 | 15869 | 0.027995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.001999 |
0.012998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 32.06 | 47.54 | 14.94 | 12.93 | 7.29 | 0 | 301 | 35 | 301 | 35 | 12108 | 0.022996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.001999 |
0.007998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 37.34 | 37.12 | 16.16 | 12.01 | 8.30 | 0 | 392 | 46 | 392 | 46 | 15919 | 0.026995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.004999 |
0.014997 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 31.88 | 47.54 | 14.39 | 12.93 | 6.74 | 0 | 301 | 35 | 301 | 35 | 11862 | 0.023996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.002999 |
0.006998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 38.41 | 37.77 | 17.60 | 11.80 | 8.58 | 0 | 384 | 45 | 384 | 45 | 15542 | 0.027995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0 |
0.002999 |
0.011998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 32.30 | 47.37 | 14.88 | 12.89 | 7.26 | 0 | 299 | 35 | 299 | 35 | 11958 | 0.023996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0 |
0.000999 |
0.009998 |