variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
648 | 10044 | 89.59 | 11.23 | 89.66 | 0.07 | 88.77 |
---|
zChaff | minisat | SatELite |
0.007998 |
0.010998 |
0.102984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 88.41 | 12.48 | 88.51 | 0.10 | 87.52 | 0 | 3135 | 31 | 3135 | 31 | 1073163 | 0.682896 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.389942 |
0.023996 |
0.555915 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 91.83 | 9.01 | 91.90 | 0.07 | 90.99 | 0 | 245 | 2 | 245 | 2 | 123285 | 0.070989 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.156977 |
0.008998 |
0.12598 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 91.83 | 9.01 | 91.90 | 0.07 | 90.99 | 0 | 245 | 2 | 245 | 2 | 134962 | 0.079987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.145978 |
0.008998 |
0.12698 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 91.83 | 9.01 | 91.90 | 0.07 | 90.99 | 0 | 245 | 2 | 245 | 2 | 123271 | 0.072988 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.146978 |
0.010998 |
0.123981 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 91.66 | 8.98 | 91.73 | 0.07 | 91.02 | 0 | 441 | 4 | 441 | 4 | 174673 | 0.102984 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.145977 |
0.007998 |
0.133979 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 91.83 | 9.01 | 91.90 | 0.07 | 90.99 | 0 | 245 | 2 | 245 | 2 | 123285 | 0.074988 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.146978 |
0.008998 |
0.132979 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 91.83 | 9.01 | 91.90 | 0.07 | 90.99 | 0 | 245 | 2 | 245 | 2 | 134962 | 0.079987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.146977 |
0.008998 |
0.124981 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 91.83 | 9.01 | 91.90 | 0.07 | 90.99 | 0 | 245 | 2 | 245 | 2 | 123271 | 0.075988 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.144978 |
0.009998 |
0.121981 |