Data set
|
n
|
m
|
U
|
%U
|
N
|
Sol. (sec)
|
Verif. (sec)
|
---|
Original
|
121
|
188
|
12620
|
55.4
|
2.63e12
|
N/A
|
N/A
|
Reduced
|
19
|
24
|
188
|
41.2
|
7.1e6
|
6.51
|
156.2
|
Sat. 1
|
10
|
8
|
42
|
52.5
|
1.1e5
|
0.05
|
0.07
|
Sat. 2
|
22
|
29
|
129
|
20.2
|
1.2e6
|
0.09
|
1.06
|
Satellite 3 (reduced)
|
23
|
39
|
370
|
41.3
|
5.1e7
|
52.3
|
6110
|
Subsatellite 3.1
|
30
|
42
|
196
|
15.6
|
6.8e5
|
0.06
|
0.04
|
Subsatellite 3.2
|
4
|
2
|
0
|
0
|
0
|
0.00
|
0.00
|
Subsatellite 3.3
|
19
|
20
|
113
|
29.7
|
9.5e5
|
0.17
|
0.06
|
- Size and solution times for all seven trees in Kennedy and Page's seabirds data set [17] without and with data reduction. The notation is the same as in Table 3. The solution and verification times for the original profile are not available (N/A), since the model was too big to be solved.