Skip to content

Commit

Permalink
Minor refactoring of a few models
Browse files Browse the repository at this point in the history
  • Loading branch information
@lecoutre
lecoutre committed Jul 25, 2024
1 parent aecd555 commit 0613d9b
Show file tree
Hide file tree
Showing 62 changed files with 1,369 additions and 4,465 deletions.
6 changes: 5 additions & 1 deletion crafted/LargeScaleScheduling/00100-0.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1,5 @@
{"limit": 100, "durations": [1460, 6048, 8129, 16547, 3615, 1153, 14591, 9861, 18819, 12954, 1177, 12777, 7573, 4362, 11195, 8944, 10184, 7975, 17341, 7420, 19243, 4988, 4624, 2047, 4752, 11360, 3603, 17982, 14792, 10323, 19845, 5345, 12137, 2487, 11702, 15962, 18225, 15753, 18038, 2735, 1060, 12475, 4655, 5830, 1298, 3791, 12174, 19436, 12212, 2162, 3419, 10977, 18516, 9746, 7307, 11716, 13708, 19837, 15243, 9847, 12487, 888, 10205, 5358, 17508, 6617, 3551, 1818, 14458, 1218, 12838, 8172, 1557, 18651, 6826, 12680, 2397, 18762, 14235, 5320, 1367, 13873, 15217, 1769, 8005, 17252, 13889, 343, 9001, 6341, 17323, 2480, 13768, 3614, 8016, 823, 2057, 11322, 4705, 12471], "heights": [17, 6, 40, 14, 28, 28, 12, 18, 9, 4, 11, 6, 19, 22, 38, 38, 7, 2, 11, 32, 32, 15, 11, 26, 27, 5, 25, 3, 33, 11, 29, 34, 10, 6, 22, 31, 6, 23, 15, 20, 38, 32, 32, 24, 18, 19, 37, 32, 36, 22, 27, 34, 34, 38, 39, 39, 17, 39, 1, 36, 36, 6, 29, 30, 36, 36, 34, 31, 2, 7, 19, 33, 39, 22, 28, 30, 20, 32, 23, 2, 38, 2, 19, 22, 25, 4, 30, 33, 21, 14, 33, 36, 14, 12, 34, 3, 21, 35, 15, 19]}
{
"limit": 100,
"durations": [1460, 6048, 8129, 16547, 3615, 1153, 14591, 9861, 18819, 12954, 1177, 12777, 7573, 4362, 11195, 8944, 10184, 7975, 17341, 7420, 19243, 4988, 4624, 2047, 4752, 11360, 3603, 17982, 14792, 10323, 19845, 5345, 12137, 2487, 11702, 15962, 18225, 15753, 18038, 2735, 1060, 12475, 4655, 5830, 1298, 3791, 12174, 19436, 12212, 2162, 3419, 10977, 18516, 9746, 7307, 11716, 13708, 19837, 15243, 9847, 12487, 888, 10205, 5358, 17508, 6617, 3551, 1818, 14458, 1218, 12838, 8172, 1557, 18651, 6826, 12680, 2397, 18762, 14235, 5320, 1367, 13873, 15217, 1769, 8005, 17252, 13889, 343, 9001, 6341, 17323, 2480, 13768, 3614, 8016, 823, 2057, 11322, 4705, 12471],
"heights": [17, 6, 40, 14, 28, 28, 12, 18, 9, 4, 11, 6, 19, 22, 38, 38, 7, 2, 11, 32, 32, 15, 11, 26, 27, 5, 25, 3, 33, 11, 29, 34, 10, 6, 22, 31, 6, 23, 15, 20, 38, 32, 32, 24, 18, 19, 37, 32, 36, 22, 27, 34, 34, 38, 39, 39, 17, 39, 1, 36, 36, 6, 29, 30, 36, 36, 34, 31, 2, 7, 19, 33, 39, 22, 28, 30, 20, 32, 23, 2, 38, 2, 19, 22, 25, 4, 30, 33, 21, 14, 33, 36, 14, 12, 34, 3, 21, 35, 15, 19]
}
13 changes: 12 additions & 1 deletion crafted/MultiKnapsack/01-06.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1,12 @@
{"weights": [[40, 91, 10, 30, 160, 20, 3, 12, 3, 18, 9, 25, 1, 1, 10, 280, 10, 8, 1, 1, 49, 8, 21, 6, 1, 5, 10, 8, 2, 1, 0, 10, 42, 6, 4, 8, 0, 10, 1, 40, 86, 11, 120, 8, 3, 32, 28, 13, 2, 4], [16, 92, 41, 16, 150, 23, 4, 18, 6, 0, 12, 8, 2, 1, 0, 200, 20, 6, 2, 1, 70, 9, 22, 4, 1, 5, 10, 6, 4, 0, 4, 12, 8, 4, 3, 0, 10, 0, 6, 28, 93, 9, 30, 22, 0, 36, 45, 13, 2, 2], [38, 39, 32, 71, 80, 26, 5, 40, 8, 12, 30, 15, 0, 1, 23, 100, 0, 20, 3, 0, 40, 6, 8, 0, 6, 4, 22, 4, 6, 1, 5, 14, 8, 2, 8, 0, 20, 0, 0, 6, 12, 6, 80, 13, 6, 22, 14, 0, 1, 2], [8, 71, 30, 60, 200, 18, 6, 30, 4, 8, 31, 6, 3, 0, 18, 60, 21, 4, 0, 2, 32, 15, 31, 2, 2, 7, 8, 2, 8, 0, 2, 8, 6, 7, 1, 0, 0, 20, 8, 14, 20, 2, 40, 6, 1, 14, 20, 12, 0, 1], [38, 52, 30, 42, 170, 9, 7, 20, 0, 3, 21, 4, 1, 2, 14, 310, 8, 4, 6, 1, 18, 15, 38, 10, 4, 8, 6, 0, 0, 3, 0, 10, 6, 1, 3, 0, 3, 5, 4, 0, 30, 12, 16, 18, 3, 16, 22, 30, 4, 0]], "profits": [560, 1125, 300, 620, 2100, 431, 68, 328, 47, 122, 322, 196, 41, 25, 425, 4260, 416, 115, 82, 22, 631, 132, 420, 86, 42, 103, 215, 81, 91, 26, 49, 420, 316, 72, 71, 49, 108, 116, 90, 738, 1811, 430, 3060, 215, 58, 296, 620, 418, 47, 81], "binSizes": [800, 650, 550, 550, 650], "opt": 16537}
{
"weights": [
[40, 91, 10, 30, 160, 20, 3, 12, 3, 18, 9, 25, 1, 1, 10, 280, 10, 8, 1, 1, 49, 8, 21, 6, 1, 5, 10, 8, 2, 1, 0, 10, 42, 6, 4, 8, 0, 10, 1, 40, 86, 11, 120, 8, 3, 32, 28, 13, 2, 4],
[16, 92, 41, 16, 150, 23, 4, 18, 6, 0, 12, 8, 2, 1, 0, 200, 20, 6, 2, 1, 70, 9, 22, 4, 1, 5, 10, 6, 4, 0, 4, 12, 8, 4, 3, 0, 10, 0, 6, 28, 93, 9, 30, 22, 0, 36, 45, 13, 2, 2],
[38, 39, 32, 71, 80, 26, 5, 40, 8, 12, 30, 15, 0, 1, 23, 100, 0, 20, 3, 0, 40, 6, 8, 0, 6, 4, 22, 4, 6, 1, 5, 14, 8, 2, 8, 0, 20, 0, 0, 6, 12, 6, 80, 13, 6, 22, 14, 0, 1, 2],
[8, 71, 30, 60, 200, 18, 6, 30, 4, 8, 31, 6, 3, 0, 18, 60, 21, 4, 0, 2, 32, 15, 31, 2, 2, 7, 8, 2, 8, 0, 2, 8, 6, 7, 1, 0, 0, 20, 8, 14, 20, 2, 40, 6, 1, 14, 20, 12, 0, 1],
[38, 52, 30, 42, 170, 9, 7, 20, 0, 3, 21, 4, 1, 2, 14, 310, 8, 4, 6, 1, 18, 15, 38, 10, 4, 8, 6, 0, 0, 3, 0, 10, 6, 1, 3, 0, 3, 5, 4, 0, 30, 12, 16, 18, 3, 16, 22, 30, 4, 0]
],
"profits": [560, 1125, 300, 620, 2100, 431, 68, 328, 47, 122, 322, 196, 41, 25, 425, 4260, 416, 115, 82, 22, 631, 132, 420, 86, 42, 103, 215, 81, 91, 26, 49, 420, 316, 72, 71, 49, 108, 116, 90, 738, 1811, 430, 3060, 215, 58, 296, 620, 418, 47, 81],
"binSizes": [800, 650, 550, 550, 650],
"opt": 16537
}
11 changes: 10 additions & 1 deletion crafted/MultiKnapsack/OR05x100-25-1.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1,10 @@
{"coefficients": [504, 803, 667, 1103, 834, 585, 811, 856, 690, 832, 846, 813, 868, 793, 825, 1002, 860, 615, 540, 797, 616, 660, 707, 866, 647, 746, 1006, 608, 877, 900, 573, 788, 484, 853, 942, 630, 591, 630, 640, 1169, 932, 1034, 957, 798, 669, 625, 467, 1051, 552, 717, 654, 388, 559, 555, 1104, 783, 959, 668, 507, 855, 986, 831, 821, 825, 868, 852, 832, 828, 799, 686, 510, 671, 575, 740, 510, 675, 996, 636, 826, 1022, 1140, 654, 909, 799, 1162, 653, 814, 625, 599, 476, 767, 954, 906, 904, 649, 873, 565, 853, 1008, 632], "constraints": [{"coeffs": [42, 41, 523, 215, 819, 551, 69, 193, 582, 375, 367, 478, 162, 898, 550, 553, 298, 577, 493, 183, 260, 224, 852, 394, 958, 282, 402, 604, 164, 308, 218, 61, 273, 772, 191, 117, 276, 877, 415, 873, 902, 465, 320, 870, 244, 781, 86, 622, 665, 155, 680, 101, 665, 227, 597, 354, 597, 79, 162, 998, 849, 136, 112, 751, 735, 884, 71, 449, 266, 420, 797, 945, 746, 46, 44, 545, 882, 72, 383, 714, 987, 183, 731, 301, 718, 91, 109, 567, 708, 507, 983, 808, 766, 615, 554, 282, 995, 946, 651, 298], "limit": 11927}, {"coeffs": [509, 883, 229, 569, 706, 639, 114, 727, 491, 481, 681, 948, 687, 941, 350, 253, 573, 40, 124, 384, 660, 951, 739, 329, 146, 593, 658, 816, 638, 717, 779, 289, 430, 851, 937, 289, 159, 260, 930, 248, 656, 833, 892, 60, 278, 741, 297, 967, 86, 249, 354, 614, 836, 290, 893, 857, 158, 869, 206, 504, 799, 758, 431, 580, 780, 788, 583, 641, 32, 653, 252, 709, 129, 368, 440, 314, 287, 854, 460, 594, 512, 239, 719, 751, 708, 670, 269, 832, 137, 356, 960, 651, 398, 893, 407, 477, 552, 805, 881, 850], "limit": 13727}, {"coeffs": [806, 361, 199, 781, 596, 669, 957, 358, 259, 888, 319, 751, 275, 177, 883, 749, 229, 265, 282, 694, 819, 77, 190, 551, 140, 442, 867, 283, 137, 359, 445, 58, 440, 192, 485, 744, 844, 969, 50, 833, 57, 877, 482, 732, 968, 113, 486, 710, 439, 747, 174, 260, 877, 474, 841, 422, 280, 684, 330, 910, 791, 322, 404, 403, 519, 148, 948, 414, 894, 147, 73, 297, 97, 651, 380, 67, 582, 973, 143, 732, 624, 518, 847, 113, 382, 97, 905, 398, 859, 4, 142, 110, 11, 213, 398, 173, 106, 331, 254, 447], "limit": 11551}, {"coeffs": [404, 197, 817, 1000, 44, 307, 39, 659, 46, 334, 448, 599, 931, 776, 263, 980, 807, 378, 278, 841, 700, 210, 542, 636, 388, 129, 203, 110, 817, 502, 657, 804, 662, 989, 585, 645, 113, 436, 610, 948, 919, 115, 967, 13, 445, 449, 740, 592, 327, 167, 368, 335, 179, 909, 825, 614, 987, 350, 179, 415, 821, 525, 774, 283, 427, 275, 659, 392, 73, 896, 68, 982, 697, 421, 246, 672, 649, 731, 191, 514, 983, 886, 95, 846, 689, 206, 417, 14, 735, 267, 822, 977, 302, 687, 118, 990, 323, 993, 525, 322], "limit": 13056}, {"coeffs": [475, 36, 287, 577, 45, 700, 803, 654, 196, 844, 657, 387, 518, 143, 515, 335, 942, 701, 332, 803, 265, 922, 908, 139, 995, 845, 487, 100, 447, 653, 649, 738, 424, 475, 425, 926, 795, 47, 136, 801, 904, 740, 768, 460, 76, 660, 500, 915, 897, 25, 716, 557, 72, 696, 653, 933, 420, 582, 810, 861, 758, 647, 237, 631, 271, 91, 75, 756, 409, 440, 483, 336, 765, 637, 981, 980, 202, 35, 594, 689, 602, 76, 767, 693, 893, 160, 785, 311, 417, 748, 375, 362, 617, 553, 474, 915, 457, 261, 350, 635], "limit": 13460}]}
{
"coefficients": [504, 803, 667, 1103, 834, 585, 811, 856, 690, 832, 846, 813, 868, 793, 825, 1002, 860, 615, 540, 797, 616, 660, 707, 866, 647, 746, 1006, 608, 877, 900, 573, 788, 484, 853, 942, 630, 591, 630, 640, 1169, 932, 1034, 957, 798, 669, 625, 467, 1051, 552, 717, 654, 388, 559, 555, 1104, 783, 959, 668, 507, 855, 986, 831, 821, 825, 868, 852, 832, 828, 799, 686, 510, 671, 575, 740, 510, 675, 996, 636, 826, 1022, 1140, 654, 909, 799, 1162, 653, 814, 625, 599, 476, 767, 954, 906, 904, 649, 873, 565, 853, 1008, 632],
"constraints": [
{"coeffs": [42, 41, 523, 215, 819, 551, 69, 193, 582, 375, 367, 478, 162, 898, 550, 553, 298, 577, 493, 183, 260, 224, 852, 394, 958, 282, 402, 604, 164, 308, 218, 61, 273, 772, 191, 117, 276, 877, 415, 873, 902, 465, 320, 870, 244, 781, 86, 622, 665, 155, 680, 101, 665, 227, 597, 354, 597, 79, 162, 998, 849, 136, 112, 751, 735, 884, 71, 449, 266, 420, 797, 945, 746, 46, 44, 545, 882, 72, 383, 714, 987, 183, 731, 301, 718, 91, 109, 567, 708, 507, 983, 808, 766, 615, 554, 282, 995, 946, 651, 298], "limit": 11927},
{"coeffs": [509, 883, 229, 569, 706, 639, 114, 727, 491, 481, 681, 948, 687, 941, 350, 253, 573, 40, 124, 384, 660, 951, 739, 329, 146, 593, 658, 816, 638, 717, 779, 289, 430, 851, 937, 289, 159, 260, 930, 248, 656, 833, 892, 60, 278, 741, 297, 967, 86, 249, 354, 614, 836, 290, 893, 857, 158, 869, 206, 504, 799, 758, 431, 580, 780, 788, 583, 641, 32, 653, 252, 709, 129, 368, 440, 314, 287, 854, 460, 594, 512, 239, 719, 751, 708, 670, 269, 832, 137, 356, 960, 651, 398, 893, 407, 477, 552, 805, 881, 850], "limit": 13727},
{"coeffs": [806, 361, 199, 781, 596, 669, 957, 358, 259, 888, 319, 751, 275, 177, 883, 749, 229, 265, 282, 694, 819, 77, 190, 551, 140, 442, 867, 283, 137, 359, 445, 58, 440, 192, 485, 744, 844, 969, 50, 833, 57, 877, 482, 732, 968, 113, 486, 710, 439, 747, 174, 260, 877, 474, 841, 422, 280, 684, 330, 910, 791, 322, 404, 403, 519, 148, 948, 414, 894, 147, 73, 297, 97, 651, 380, 67, 582, 973, 143, 732, 624, 518, 847, 113, 382, 97, 905, 398, 859, 4, 142, 110, 11, 213, 398, 173, 106, 331, 254, 447], "limit": 11551},
{"coeffs": [404, 197, 817, 1000, 44, 307, 39, 659, 46, 334, 448, 599, 931, 776, 263, 980, 807, 378, 278, 841, 700, 210, 542, 636, 388, 129, 203, 110, 817, 502, 657, 804, 662, 989, 585, 645, 113, 436, 610, 948, 919, 115, 967, 13, 445, 449, 740, 592, 327, 167, 368, 335, 179, 909, 825, 614, 987, 350, 179, 415, 821, 525, 774, 283, 427, 275, 659, 392, 73, 896, 68, 982, 697, 421, 246, 672, 649, 731, 191, 514, 983, 886, 95, 846, 689, 206, 417, 14, 735, 267, 822, 977, 302, 687, 118, 990, 323, 993, 525, 322], "limit": 13056},
{"coeffs": [475, 36, 287, 577, 45, 700, 803, 654, 196, 844, 657, 387, 518, 143, 515, 335, 942, 701, 332, 803, 265, 922, 908, 139, 995, 845, 487, 100, 447, 653, 649, 738, 424, 475, 425, 926, 795, 47, 136, 801, 904, 740, 768, 460, 76, 660, 500, 915, 897, 25, 716, 557, 72, 696, 653, 933, 420, 582, 810, 861, 758, 647, 237, 631, 271, 91, 75, 756, 409, 440, 483, 336, 765, 637, 981, 980, 202, 35, 594, 689, 602, 76, 767, 693, 893, 160, 785, 311, 417, 748, 375, 362, 617, 553, 474, 915, 457, 261, 350, 635], "limit": 13460}
]
}
5 changes: 4 additions & 1 deletion crafted/NFC/12-2-05.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1,4 @@
{"shift": 2, "workers": [75, 89, 96, 114, 89, 111, 3, 56, 114, 78, 109, 13]}
{
"shift": 2,
"workers": [75, 89, 96, 114, 89, 111, 3, 56, 114, 78, 109, 13]
}
11 changes: 10 additions & 1 deletion crafted/NurseRostering_p/roster-5-00-02.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1,10 @@
{"preset": [[7, 5, 8], [7, 0, 8], [3, 5, 5], [0, 5, 4], [1, 7, 7]], "forbidden": []}
{
"preset": [
[7, 5, 8],
[7, 0, 8],
[3, 5, 5],
[0, 5, 4],
[1, 7, 7]
],
"forbidden": []
}
9 changes: 8 additions & 1 deletion crafted/ShortestPath/00.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1,8 @@
{"n": 64, "edges": [[2, 20, 50], [2, 39, 16], [20, 2, 16], [20, 19, 15], [20, 23, 35], [19, 20, 32], [19, 14, 36], [19, 43, 64], [14, 19, 10], [14, 33, 25], [14, 53, 42], [33, 14, 61], [33, 27, 50], [33, 42, 18], [27, 33, 60], [27, 47, 8], [27, 57, 10], [47, 27, 56], [47, 55, 56], [47, 34, 22], [55, 47, 51], [55, 21, 41], [55, 28, 49], [21, 55, 10], [21, 25, 40], [21, 44, 55], [25, 21, 34], [25, 62, 32], [25, 15, 45], [62, 25, 24], [62, 12, 38], [62, 13, 4], [12, 62, 23], [12, 24, 20], [12, 5, 16], [24, 12, 46], [24, 61, 61], [24, 37, 48], [61, 24, 64], [61, 9, 51], [61, 46, 5], [9, 61, 15], [9, 22, 11], [9, 32, 12], [22, 9, 10], [22, 17, 56], [39, 23, 53], [39, 2, 52], [39, 10, 2], [23, 39, 19], [23, 43, 32], [23, 20, 12], [23, 59, 46], [43, 23, 3], [43, 53, 27], [43, 19, 17], [43, 38, 21], [53, 43, 47], [53, 42, 60], [53, 14, 7], [53, 51, 39], [42, 53, 26], [42, 57, 54], [42, 33, 53], [42, 18, 16], [57, 42, 52], [57, 34, 33], [57, 27, 54], [57, 26, 16], [34, 57, 45], [34, 28, 5], [34, 47, 2], [34, 3, 14], [28, 34, 55], [28, 44, 45], [28, 55, 10], [28, 8, 14], [44, 28, 31], [44, 15, 56], [44, 21, 42], [44, 6, 37], [15, 44, 24], [15, 13, 25], [15, 25, 9], [15, 52, 40], [13, 15, 37], [13, 5, 40], [13, 62, 59], [13, 35, 16], [5, 13, 12], [5, 37, 53], [5, 12, 53], [5, 0, 30], [37, 5, 36], [37, 46, 14], [37, 24, 9], [37, 45, 22], [46, 37, 59], [46, 32, 55], [46, 61, 30], [46, 41, 5], [32, 46, 55], [32, 17, 19], [32, 9, 55], [32, 49, 21], [17, 32, 18], [17, 22, 5], [17, 48, 18], [10, 59, 60], [10, 39, 6], [10, 40, 39], [59, 10, 12], [59, 38, 25], [59, 23, 15], [59, 36, 26], [38, 59, 15], [38, 51, 4], [38, 43, 11], [38, 58, 27], [51, 38, 54], [51, 18, 50], [51, 53, 35], [51, 16, 3], [18, 51, 54], [18, 26, 16], [18, 42, 1], [18, 1, 12], [26, 18, 7], [26, 3, 50], [26, 57, 54], [26, 30, 24], [3, 26, 26], [3, 8, 16], [3, 34, 57], [3, 60, 9], [8, 3, 64], [8, 6, 59], [8, 28, 46], [8, 54, 50], [6, 8, 25], [6, 52, 44], [6, 44, 23], [6, 7, 31], [52, 6, 22], [52, 35, 44], [52, 15, 48], [52, 4, 28], [35, 52, 9], [35, 0, 6], [35, 13, 36], [35, 50, 27], [0, 35, 19], [0, 45, 36], [0, 5, 15], [0, 11, 57], [45, 0, 8], [45, 41, 11], [45, 37, 12], [45, 29, 40], [41, 45, 12], [41, 49, 41], [41, 46, 49], [41, 31, 28], [49, 41, 41], [49, 48, 52], [49, 32, 54], [49, 63, 31], [48, 49, 33], [48, 17, 6], [48, 56, 15], [40, 36, 26], [40, 10, 50], [36, 40, 38], [36, 58, 49], [36, 59, 45], [58, 36, 50], [58, 16, 18], [58, 38, 5], [16, 58, 60], [16, 1, 49], [16, 51, 41], [1, 16, 52], [1, 30, 3], [1, 18, 17], [30, 1, 45], [30, 60, 51], [30, 26, 6], [60, 30, 20], [60, 54, 43], [60, 3, 43], [54, 60, 35], [54, 7, 43], [54, 8, 61], [7, 54, 37], [7, 4, 22], [7, 6, 12], [4, 7, 8], [4, 50, 51], [4, 52, 52], [50, 4, 4], [50, 11, 24], [50, 35, 11], [11, 50, 6], [11, 29, 57], [11, 0, 33], [29, 11, 5], [29, 31, 61], [29, 45, 44], [31, 29, 28], [31, 63, 13], [31, 41, 14], [63, 31, 1], [63, 56, 47], [63, 49, 39], [56, 63, 23], [56, 48, 47]], "start": 0, "end": 63}
{
"n": 64,
"edges": [
[2, 20, 50], [2, 39, 16], [20, 2, 16], [20, 19, 15], [20, 23, 35], [19, 20, 32], [19, 14, 36], [19, 43, 64], [14, 19, 10], [14, 33, 25], [14, 53, 42], [33, 14, 61], [33, 27, 50], [33, 42, 18], [27, 33, 60], [27, 47, 8], [27, 57, 10], [47, 27, 56], [47, 55, 56], [47, 34, 22], [55, 47, 51], [55, 21, 41], [55, 28, 49], [21, 55, 10], [21, 25, 40], [21, 44, 55], [25, 21, 34], [25, 62, 32], [25, 15, 45], [62, 25, 24], [62, 12, 38], [62, 13, 4], [12, 62, 23], [12, 24, 20], [12, 5, 16], [24, 12, 46], [24, 61, 61], [24, 37, 48], [61, 24, 64], [61, 9, 51], [61, 46, 5], [9, 61, 15], [9, 22, 11], [9, 32, 12], [22, 9, 10], [22, 17, 56], [39, 23, 53], [39, 2, 52], [39, 10, 2], [23, 39, 19], [23, 43, 32], [23, 20, 12], [23, 59, 46], [43, 23, 3], [43, 53, 27], [43, 19, 17], [43, 38, 21], [53, 43, 47], [53, 42, 60], [53, 14, 7], [53, 51, 39], [42, 53, 26], [42, 57, 54], [42, 33, 53], [42, 18, 16], [57, 42, 52], [57, 34, 33], [57, 27, 54], [57, 26, 16], [34, 57, 45], [34, 28, 5], [34, 47, 2], [34, 3, 14], [28, 34, 55], [28, 44, 45], [28, 55, 10], [28, 8, 14], [44, 28, 31], [44, 15, 56], [44, 21, 42], [44, 6, 37], [15, 44, 24], [15, 13, 25], [15, 25, 9], [15, 52, 40], [13, 15, 37], [13, 5, 40], [13, 62, 59], [13, 35, 16], [5, 13, 12], [5, 37, 53], [5, 12, 53], [5, 0, 30], [37, 5, 36], [37, 46, 14], [37, 24, 9], [37, 45, 22], [46, 37, 59], [46, 32, 55], [46, 61, 30], [46, 41, 5], [32, 46, 55], [32, 17, 19], [32, 9, 55], [32, 49, 21], [17, 32, 18], [17, 22, 5], [17, 48, 18], [10, 59, 60], [10, 39, 6], [10, 40, 39], [59, 10, 12], [59, 38, 25], [59, 23, 15], [59, 36, 26], [38, 59, 15], [38, 51, 4], [38, 43, 11], [38, 58, 27], [51, 38, 54], [51, 18, 50], [51, 53, 35], [51, 16, 3], [18, 51, 54], [18, 26, 16], [18, 42, 1], [18, 1, 12], [26, 18, 7], [26, 3, 50], [26, 57, 54], [26, 30, 24], [3, 26, 26], [3, 8, 16], [3, 34, 57], [3, 60, 9], [8, 3, 64], [8, 6, 59], [8, 28, 46], [8, 54, 50], [6, 8, 25], [6, 52, 44], [6, 44, 23], [6, 7, 31], [52, 6, 22], [52, 35, 44], [52, 15, 48], [52, 4, 28], [35, 52, 9], [35, 0, 6], [35, 13, 36], [35, 50, 27], [0, 35, 19], [0, 45, 36], [0, 5, 15], [0, 11, 57], [45, 0, 8], [45, 41, 11], [45, 37, 12], [45, 29, 40], [41, 45, 12], [41, 49, 41], [41, 46, 49], [41, 31, 28], [49, 41, 41], [49, 48, 52], [49, 32, 54], [49, 63, 31], [48, 49, 33], [48, 17, 6], [48, 56, 15], [40, 36, 26], [40, 10, 50], [36, 40, 38], [36, 58, 49], [36, 59, 45], [58, 36, 50], [58, 16, 18], [58, 38, 5], [16, 58, 60], [16, 1, 49], [16, 51, 41], [1, 16, 52], [1, 30, 3], [1, 18, 17], [30, 1, 45], [30, 60, 51], [30, 26, 6], [60, 30, 20], [60, 54, 43], [60, 3, 43], [54, 60, 35], [54, 7, 43], [54, 8, 61], [7, 54, 37], [7, 4, 22], [7, 6, 12], [4, 7, 8], [4, 50, 51], [4, 52, 52], [50, 4, 4], [50, 11, 24], [50, 35, 11], [11, 50, 6], [11, 29, 57], [11, 0, 33], [29, 11, 5], [29, 31, 61], [29, 45, 44], [31, 29, 28], [31, 63, 13], [31, 41, 14], [63, 31, 1], [63, 56, 47], [63, 49, 39], [56, 63, 23], [56, 48, 47]
],
"start": 0,
"end": 63
}
6 changes: 5 additions & 1 deletion crafted/Sugiyama/g3-8-8-2.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1,5 @@
{"widths": [8, 8, 2], "n": 18, "edges": [[8, 16], [0, 14], [11, 16], [7, 9], [8, 17], [4, 9], [12, 16], [5, 14], [4, 12], [4, 14], [7, 15], [5, 11], [11, 17], [3, 13], [5, 9], [6, 14]]}
{
"widths": [8, 8, 2],
"n": 18,
"edges": [[8, 16], [0, 14], [11, 16], [7, 9], [8, 17], [4, 9], [12, 16], [5, 14], [4, 12], [4, 14], [7, 15], [5, 11], [11, 17], [3, 13], [5, 9], [6, 14]]
}
8 changes: 7 additions & 1 deletion crafted/Trucking/01.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1,7 @@
{"costs": [30, 27, 23, 20], "loads": [20, 18, 15, 13], "demands": [27, 11, 14, 19, 25, 22], "truck1": 3, "truck2": 2}
{
"costs": [30, 27, 23, 20],
"loads": [20, 18, 15, 13],
"demands": [27, 11, 14, 19, 25, 22],
"truck1": 3,
"truck2": 2
}
33 changes: 32 additions & 1 deletion realistic/RACP/j30-13-6-1-25.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,38 @@
"horizon": 55,
"resourceCosts": [4, 10, 4, 1],
"durations": [7, 10, 7, 9, 2, 3, 8, 2, 3, 6, 8, 9, 2, 3, 8, 6, 9, 8, 1, 2, 7, 10, 1, 1, 5, 7, 6, 3, 5, 1],
"successors": [[3, 7, 13], [6, 8], [4, 5, 20], [14, 16, 24], [22], [11, 12, 15], [9, 23], [10], [16], [17], [18, 29], [23], [13, 17], [21, 27], [22], [27], [25], [19, 28], [22], [25, 26], [24], [28], [25], [28], [26], [27], [29], [], [], []],
"successors": [
[3, 7, 13],
[6, 8],
[4, 5, 20],
[14, 16, 24],
[22],
[11, 12, 15],
[9, 23],
[10],
[16],
[17],
[18, 29],
[23],
[13, 17],
[21, 27],
[22],
[27],
[25],
[19, 28],
[22],
[25, 26],
[24],
[28],
[25],
[28],
[26],
[27],
[29],
[],
[],
[]
],
"resourcesRequirements": [
[3, 9, 9, 3, 4, 7, 7, 2, 7, 3, 10, 2, 7, 4, 1, 10, 1, 7, 5, 9, 9, 6, 3, 3, 3, 2, 10, 9, 5, 8],
[8, 9, 4, 1, 9, 4, 1, 6, 10, 9, 6, 10, 5, 8, 6, 5, 8, 6, 7, 1, 1, 6, 8, 8, 6, 4, 5, 1, 7, 3],
Expand Down
Loading

0 comments on commit 0613d9b

Please sign in to comment.