Data set |
n
|
m
|
k
|
U
| %U |
N
| Sol. (sec) | Verif. (sec) |
---|
Drosophila A | 9 | 17 | 5 | 60 | 39.2 | 9.8 e5 | 0.83 | 1.6 |
Primates | 33 | 48 | 3 | 590 | 37.3 | 7.8 e7 | 15.83 | 2.86 |
Drosophila B | 40 | 55 | 4 | 1133 | 51.5 | 1.25 e9 | 362 | 19 |
Chordata A | 38 | 290 | 6 | 330 | 3 | 1.40 e8 | 120 | 258 |
Chordata B | 38 | 411 | 12 | 306 | 2 | 1.05 e8 | 986 | 1784 |
- Size and solution times for the ILP formulations of the various data sets. Here U denotes the number of question marks in M(P), the matrix representation of the input; N is the size of the CPLEX-generated reduced ILP; n, m, and k are as in Table 1. Shown are the time to solve the ILP and produce an optimal candidate supertree T* and the time to verify all the splits of T* to produce Maj+(P).