variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
2180 | 6778 | 72.19 | 66.23 | 55.25 | 14.24 | 27.90 |
---|
zChaff | minisat | SatELite |
0.003999 |
0.004999 |
0.156976 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 76.62 | 75.07 | 69.24 | 16.21 | 21.80 | 1 | 1603 | 24 | 1603 | 24 | 1956864 | 0.639902 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004999 |
0.005999 |
0.134979 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 80.32 | 65.04 | 61.44 | 13.77 | 31.06 | 0 | 686 | 10 | 686 | 10 | 618032 | 0.223965 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003999 |
0.006998 |
0.149977 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 77.31 | 74.46 | 70.17 | 15.76 | 22.50 | 1 | 1441 | 21 | 1441 | 21 | 1233619 | 0.412937 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003999 |
0.006998 |
0.13098 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 80.29 | 65.05 | 61.45 | 13.80 | 31.05 | 0 | 684 | 10 | 684 | 10 | 494481 | 0.177972 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003999 |
0.005999 |
0.162975 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 76.63 | 75.05 | 69.19 | 16.20 | 21.81 | 1 | 1592 | 23 | 1592 | 23 | 1928342 | 0.618905 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003999 |
0.004999 |
0.12698 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 80.29 | 65.05 | 61.42 | 13.77 | 31.05 | 0 | 684 | 10 | 684 | 10 | 616079 | 0.217966 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003999 |
0.007998 |
0.147977 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 77.30 | 74.42 | 70.09 | 15.74 | 22.53 | 1 | 1435 | 21 | 1435 | 21 | 1228547 | 0.419936 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003999 |
0.007998 |
0.12898 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 80.27 | 65.06 | 61.43 | 13.80 | 31.04 | 0 | 682 | 10 | 682 | 10 | 492528 | 0.187971 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003999 |
0.005999 |
0.150977 |