variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1770 | 10608 | 50.07 | 50.87 | 11.68 | 12.97 | 12.42 |
---|
zChaff | minisat | SatELite |
0.024996 |
0.013997 |
0.12798 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 47.16 | 49.22 | 7.80 | 12.88 | 11.81 | 1225 | 4336 | 41 | 4336 | 41 | 145524 | 0.374943 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.007998 |
0.082987 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 35.80 | 65.90 | 11.94 | 17.59 | 8.38 | 1225 | 2420 | 23 | 2420 | 23 | 60373 | 0.210967 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.008998 |
0.103984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 49.90 | 52.08 | 17.64 | 14.43 | 13.13 | 1225 | 3586 | 34 | 3586 | 34 | 84366 | 0.294955 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008998 |
0.008998 |
0.084987 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 37.78 | 63.87 | 14.66 | 17.04 | 11.21 | 1225 | 2159 | 20 | 2159 | 20 | 45624 | 0.185971 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.007 |
0.010998 |
0.104984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 49.93 | 52.05 | 17.63 | 14.41 | 13.12 | 1225 | 3580 | 34 | 3580 | 34 | 84171 | 0.295955 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.006999 |
0.008998 |
0.083987 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 37.82 | 63.83 | 14.66 | 17.03 | 11.20 | 1225 | 2154 | 20 | 2154 | 20 | 45317 | 0.183972 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.007998 |
0.107983 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 49.93 | 52.05 | 17.63 | 14.41 | 13.12 | 1225 | 3580 | 34 | 3580 | 34 | 83913 | 0.299954 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.006999 |
0.006998 |
0.081987 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 37.82 | 63.83 | 14.66 | 17.03 | 11.20 | 1225 | 2154 | 20 | 2154 | 20 | 45273 | 0.184971 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.006999 |
0.008998 |
0.104984 |