variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
686 | 6816 | 63.53 | 67.31 | 63.34 | 20.70 | 18.90 |
---|
zChaff | minisat | SatELite |
0.008999 |
0.004999 |
0.045993 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 65.66 | 68.49 | 70.35 | 22.97 | 20.89 | 0 | 866 | 13 | 866 | 13 | 192098 | 0.141978 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.007998 |
0.007998 |
0.045993 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 61.48 | 71.09 | 66.25 | 23.21 | 19.29 | 0 | 362 | 5 | 362 | 5 | 63749 | 0.051992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009998 |
0.006998 |
0.046992 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 66.07 | 68.49 | 70.99 | 22.86 | 21.18 | 0 | 735 | 11 | 735 | 11 | 80347 | 0.06099 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.007999 |
0.007998 |
0.045993 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 61.72 | 70.64 | 66.47 | 23.06 | 19.80 | 0 | 321 | 5 | 321 | 5 | 38668 | 0.031995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.008998 |
0.042993 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 66.03 | 68.45 | 70.95 | 22.84 | 21.14 | 0 | 743 | 11 | 743 | 11 | 81703 | 0.066989 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.007998 |
0.005999 |
0.047992 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 61.72 | 70.64 | 66.47 | 23.06 | 19.80 | 0 | 321 | 5 | 321 | 5 | 38960 | 0.032994 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009998 |
0.004999 |
0.046992 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 66.07 | 68.49 | 70.99 | 22.86 | 21.18 | 0 | 735 | 11 | 735 | 11 | 80347 | 0.06399 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.007998 |
0.005999 |
0.046992 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 61.72 | 70.64 | 66.47 | 23.06 | 19.80 | 0 | 321 | 5 | 321 | 5 | 38668 | 0.029995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.010998 |
0.006998 |
0.046992 |