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 CPLEXgenerated 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).