-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathseeds.py
42 lines (42 loc) · 3.95 KB
/
seeds.py
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
seeds = {
'brigande': [5928, 5931, 5932, 5933, 5934, 5936, 5938, 5939, 5942, 5943, 5944, 5945, 5947, 5948, 5949, 5951,
5954, 5959, 5960, 5962, 5965, 5966, 5967, 5968, 5969, 5976, 5977, 5978, 5980, 5982] +
[5034, 5036, 5038, 5039, 5040, 5041, 5042, 5043, 5044, 5045, 5046, 5047, 5048, 5049, 5050, 5051, 5052,
5053, 5054, 5055, 5056, 5057, 5058, 5059, 5060, 5061, 5062, 5063, 5064, 5065, 5066, 5067, 5068, 5069,
5071, 5072, 5073, 5075, 5077, 5078, 5079, 5080, 5081, 5082, 5083, 5084, 5086, 5088, 5089, 5090, 5091,
5092, 5094, 5095, 5096, 5097, 5098, 5099, 5101, 5102, 5103, 5104, 5105, 5106, 5107, 5108, 5109, 5110,
5111, 5112, 5114, 5116, 5117, 5118, 5119, 5120, 5121, 5122, 5123, 5124, 5125, 5127, 5128, 5131, 5132,
5133, 5134, 5135, 5136, 5137, 5138, 5140, 5142, 5143, 5144, 5145, 5146, 5147, 5148, 5149],
'simbench_mixed': [1266, 1267, 1269, 1272, 1274, 1277, 1278, 1279, 1280, 1283, 1285, 1289, 1290, 1291, 1293,
1294, 1297, 1299, 1301, 1302, 1312, 1316, 1318, 1319, 1320, 1322, 1323, 1324, 1325, 1326] +
[9315, 9317, 9319, 9323, 9324, 9326, 9327, 9329, 9330, 9332, 9334, 9335, 9336, 9338, 9343, 9344,
9355, 9357, 9360, 9361,
9367, 9371, 9372, 9373, 9374, 9375, 9379, 9381, 9386, 9388,
9389, 9392, 9393, 9396, 9397, 9398,
9404, 9406, 9407, 9408, 9409, 9411, 9413, 9414, 9415, 9420, 9421, 9422, 9423, 9425, 9426, 9428,
9429, 9437, 9440, 9443,
9445, 9447, 9451, 9452, 9453, 9454, 9455, 9456, 9458, 9460, 9461, 9463,
9466, 9467, 9468, 9469, 9472, 9473, 9476, 9477, 9478, 9482, 9483, 9491, 9492, 9497, 9498, 9501,
9503, 9505, 9506, 9507, 9509, 9510, 9511, 9513, 9514, 9516, 9521, 9522, 9523, 9525, 9526, 9529],
'simbench_urban': [2369, 2370, 2372, 2379, 2383, 2384, 2388, 2393, 2394, 2395, 2398, 2399, 2404, 2405, 2406,
2407, 2410, 2411, 2412, 2414, 2415, 2416, 2417, 2418, 2421, 2423, 2424, 2425, 2429, 2431] +
[704, 706, 709, 711, 712, 714, 715, 716,
717, 718, 720, 721, 723, 724, 725, 726, 727, 729, 730,
732, 733, 735, 738, 739, 740, 741, 742, 745, 747, 748, 749,
752, 753, 754, 755, 756, 757, 758,
760, 763, 765, 769, 770, 771, 772, 774, 775, 777, 778, 779, 780, 782, 783, 784, 785, 787, 788,
789, 790, 791, 792, 793, 795, 796, 799, 800, 802, 804, 805, 806, 807, 808, 809, 811, 812, 813,
814, 815, 816, 818, 819, 820, 821, 822, 823, 826, 827, 828, 829, 830, 832, 833, 834, 835, 837,
838, 839, 840, 841, 843],
'rts': [427, 600, 293, 302, 335, 354, 369, 399, 448, 272, 349, 359, 371, 374, 379, 406, 464, 469, 518, 521, 679,
680, 681, 682, 684, 686, 689, 690, 691, 692]
+ [601, 602, 603, 604, 605, 606, 607, 608, 609, 610, 611, 612,
613, 614, 617, 618, 619, 620, 621, 622, 624, 625, 626, 627,
628, 629, 631, 632, 633, 634, 635, 637, 638, 639, 641, 642,
643, 645, 647, 649, 650, 651, 652, 655, 656, 657, 658, 659,
660, 661, 663, 664, 665, 669, 670, 671, 674, 675, 676, 678,
679, 680, 681, 682, 683, 684, 685, 686, 688, 689, 690, 691,
692, 694, 695, 697, 698, 699, 701, 702, 703, 704, 705, 707,
708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719,
720, 721, 723, 724]
}