-
Notifications
You must be signed in to change notification settings - Fork 0
/
Results.txt
175 lines (128 loc) · 2.04 KB
/
Results.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
All results were obtained with 1 thread used.
b15.gph
There are 25 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 214
TIME: 0s
WALL: 0.0002344s
***
i640-345.gph
There are 115 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 14156
TIME: 0.01s
WALL: 0.006286s
***
es10kaz.gph
There are 5442 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 489217756
TIME: 0.06s
WALL: 0.06315s
***
world666.gph
There are 121 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 117613
TIME: 0.02s
WALL: 0.01729s
***
big8.gph
There are 5133 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 672340
TIME: 0.13s
WALL: 0.1363s
***
acycpos-1.gph
There are 12251 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 97850
TIME: 0.55s
WALL: 0.5751s
***
phard-x.gph
There are 155611 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 18665398
TIME: 2.6s
WALL: 2.787s
***
ssquare-1.gph
There are 82025 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 689277609
TIME: 0.97s
WALL: 1.03s
***
rand14-5.gph
There are 564 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 1336
TIME: 0.21s
WALL: 0.2595s
***
rand4-1.gph
There are 82025 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 899483
TIME: 2.22s
WALL: 2.297s
***
ssquare-s-5.gph
There are 82025 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 687822485
TIME: 1.07s
WALL: 1.127s
***
phard-x.gph
There are 155611 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 18665398
TIME: 2.59s
WALL: 2.796s
***
acycpos-x.gph
There are 53228 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 411524
TIME: 4.86s
WALL: 5.209s
***
rand4-x.gph
There are 3512 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 8815
TIME: 3.59s
WALL: 3.965s
***
ssquare-x.gph
There are 1077871 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 23092454892
TIME: 28.9s
WALL: 41.6s
***
ssquare-s-x.gph
There are 1077871 terminals.
Solution is a tree.
Solution is feasible.
TLEN: 23071754551
TIME: 27.72s
WALL: 72.03s