## 17 rand instances are selected out of 360: XCSP17/BinPacking/BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml XCSP17/BinPacking/BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml XCSP17/BinPacking/BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml XCSP17/BinPacking/BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml XCSP17/BinPacking/BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml XCSP17/BinPacking/BinPacking-mdd-sw100/BinPacking-mdd-sw100-03.xml XCSP17/BinPacking/BinPacking-mdd-sw100/BinPacking-mdd-sw100-43.xml XCSP17/BinPacking/BinPacking-mdd-sw100/BinPacking-mdd-sw100-63.xml XCSP17/BinPacking/BinPacking-mdd-sw100/BinPacking-mdd-sw100-70.xml XCSP17/BinPacking/BinPacking-mdd-sw100/BinPacking-mdd-sw100-75.xml XCSP17/BinPacking/BinPacking-mdd-sw100/BinPacking-mdd-sw100-92.xml XCSP17/BinPacking/BinPacking-mdd-sw120/BinPacking-mdd-sw120-20.xml XCSP17/BinPacking/BinPacking-mdd-sw120/BinPacking-mdd-sw120-30.xml XCSP17/BinPacking/BinPacking-mdd-sw120/BinPacking-mdd-sw120-63.xml XCSP17/BinPacking/BinPacking-mdd-sw120/BinPacking-mdd-sw120-83.xml XCSP17/BinPacking/BinPacking-mdd-sw120/BinPacking-mdd-sw120-91.xml XCSP17/BinPacking/BinPacking-mdd-sw120/BinPacking-mdd-sw120-99.xml # done (17 instances selected) ## 17 rand instances are selected out of 1615: XCSP17/BinPacking/BinPacking-sum-ft/BinPacking-sum-ft060-11.xml XCSP17/BinPacking/BinPacking-sum-s28/BinPacking-sum-s28-561.xml XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n1c3w4d.xml XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n1c3w4r.xml XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n3c3w4h.xml XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n4c2w2n.xml XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n4c3w4o.xml XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n1w4b2r0.xml XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n1w4b3r4.xml XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n2w3b3r1.xml XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n2w4b2r4.xml XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n3w3b3r7.xml XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n3w4b3r3.xml XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n4w2b3r4.xml XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n4w3b2r8.xml XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n4w4b3r4.xml XCSP17/BinPacking/BinPacking-sum-sw100/BinPacking-sum-sw100-11.xml # done (34 instances selected) ## 17 rand instances are selected out of 360: XCSP17/BinPacking/BinPacking-tab-ft/BinPacking-tab-ft060-06.xml XCSP17/BinPacking/BinPacking-tab-ft/BinPacking-tab-ft120-10.xml XCSP17/BinPacking/BinPacking-tab-ft/BinPacking-tab-ft120-15.xml XCSP17/BinPacking/BinPacking-tab-ft/BinPacking-tab-ft120-19.xml XCSP17/BinPacking/BinPacking-tab-ft/BinPacking-tab-ft249-06.xml XCSP17/BinPacking/BinPacking-tab-ft/BinPacking-tab-ft249-09.xml XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml XCSP17/BinPacking/BinPacking-tab-sw100/BinPacking-tab-sw100-15.xml XCSP17/BinPacking/BinPacking-tab-sw100/BinPacking-tab-sw100-74.xml XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-10.xml XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-31.xml XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-41.xml XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-50.xml # done (51 instances selected) ## 10 rand instances are selected out of 10: XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-c1.xml XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-c1a.xml XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r1.xml XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r1a.xml XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r2.xml XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r3.xml XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r4.xml XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r5.xml XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-t1.xml XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-t2.xml # done (61 instances selected) ## 17 rand instances are selected out of 40: XCSP17/ChessboardColoration/ChessboardColoration-m1-s1/ChessboardColoration-05-05.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s1/ChessboardColoration-11-11.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s1/ChessboardColoration-12-12.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s1/ChessboardColoration-13-13.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s1/ChessboardColoration-15-15.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s1/ChessboardColoration-20-20.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s1/ChessboardColoration-25-25.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s1/ChessboardColoration-35-35.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s1/ChessboardColoration-40-40.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s2/ChessboardColoration-04-06.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s2/ChessboardColoration-07-09.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s2/ChessboardColoration-09-11.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s2/ChessboardColoration-15-17.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s2/ChessboardColoration-16-18.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s2/ChessboardColoration-17-19.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s2/ChessboardColoration-23-25.xml XCSP17/ChessboardColoration/ChessboardColoration-m1-s2/ChessboardColoration-28-30.xml # done (78 instances selected) ## 17 rand instances are selected out of 121: XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t02-3.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t02-6.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-1.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-6.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t07-8.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-5.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-9.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-1.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-2.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-3.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-7.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t16-0.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t16-1.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t16-5.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t16-6.xml XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t16-7.xml # done (95 instances selected) ## 17 rand instances are selected out of 89: XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff06.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff15.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff16.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff18.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff32.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff37.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff41.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff44.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff46.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff54.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff57.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff65.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff69.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff71.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff76.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff77.xml XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff84.xml # done (112 instances selected) ## 17 rand instances are selected out of 25: XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-05-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-06-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-07-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-08-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-09-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-10-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-12-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-14-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-15-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-16-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-17-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-19-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-21-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-25-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-26-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-27-a3.xml XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-28-a3.xml # done (129 instances selected) ## 17 rand instances are selected out of 25: XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-05-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-06-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-09-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-10-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-12-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-13-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-14-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-15-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-17-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-18-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-19-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-21-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-23-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-24-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-25-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-27-a4.xml XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-28-a4.xml # done (146 instances selected) ## 17 rand instances are selected out of 144: XCSP17/GraphColoring/GraphColoring-m1-fixed/GraphColoring-qwhdec-o50-h825-bal-1.xml XCSP17/GraphColoring/GraphColoring-m1-fixed/GraphColoring-qwhopt-o5-h10-1.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-2-fullins-3.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-3-fullins-3.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-3-fullins-5.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-4-insertions-3.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-ash331GPIA.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-250-1.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-250-9.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-500-5.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-games120.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-25d.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-mug100-25.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-queen8-8.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap01a.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap06a.xml XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-zeroin-i-3.xml # done (163 instances selected) ## 17 rand instances are selected out of 80: XCSP17/Knapsack/Knapsack-m1-s30/Knapsack-30-100-04.xml XCSP17/Knapsack/Knapsack-m1-s30/Knapsack-30-100-06.xml XCSP17/Knapsack/Knapsack-m1-s30/Knapsack-30-100-16.xml XCSP17/Knapsack/Knapsack-m1-s40/Knapsack-40-150-00.xml XCSP17/Knapsack/Knapsack-m1-s40/Knapsack-40-150-07.xml XCSP17/Knapsack/Knapsack-m1-s40/Knapsack-40-150-08.xml XCSP17/Knapsack/Knapsack-m1-s40/Knapsack-40-150-12.xml XCSP17/Knapsack/Knapsack-m1-s40/Knapsack-40-150-16.xml XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-16.xml XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-17.xml XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-18.xml XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-03.xml XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-05.xml XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-06.xml XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-07.xml XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-13.xml XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-17.xml # done (180 instances selected) ## 17 rand instances are selected out of 95: XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-004.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-011.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-013.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-015.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-020.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-033.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-036.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-038.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-040.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-042.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-054.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-055.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-057.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-069.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-081.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-084.xml XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-096.xml # done (197 instances selected) ## 0 rand instances are selected out of 10: # done (197 instances selected) ## 17 rand instances are selected out of 77: XCSP17/Opd/Opd-sum-large/Opd-02-350-100.xml XCSP17/Opd/Opd-sum-large/Opd-03-035-010.xml XCSP17/Opd/Opd-sum-large/Opd-07-035-010.xml XCSP17/Opd/Opd-sum-large/Opd-07-350-100.xml XCSP17/Opd/Opd-sum-large/Opd-10-325-100.xml XCSP17/Opd/Opd-sum-large/Opd-10-360-120.xml XCSP17/Opd/Opd-sum-large/Opd-12-350-100.xml XCSP17/Opd/Opd-sum-large/Opd-13-035-010.xml XCSP17/Opd/Opd-sum-large/Opd-14-035-010.xml XCSP17/Opd/Opd-sum-large/Opd-29-350-100.xml XCSP17/Opd/Opd-sum-large/Opd-46-035-010.xml XCSP17/Opd/Opd-sum-large/Opd-46-350-100.xml XCSP17/Opd/Opd-sum-small/Opd-09-037-012.xml XCSP17/Opd/Opd-sum-small/Opd-10-026-004.xml XCSP17/Opd/Opd-sum-small/Opd-10-031-009.xml XCSP17/Opd/Opd-sum-small/Opd-10-038-010.xml XCSP17/Opd/Opd-sum-small/Opd-19-019-009.xml # done (214 instances selected) ## 17 rand instances are selected out of 47: XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-10-10-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-10-20-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-15-15-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-20-10-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-20-20-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-30-15-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-sp-4-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-15-15-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-15-30-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-30-10-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-30-15-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-30-30-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-10-10-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-15-30-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-20-20-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-30-30-1.xml XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbp-30-10-1.xml # done (231 instances selected) ## 17 rand instances are selected out of 30: XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-Miller-19.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-gp-100-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-nrwsSmall-4-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-pb-10-10-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-pb-10-20-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-pb-20-20-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-sp-4-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-tiny.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-wbo-10-10-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-wbo-10-20-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-wbo-10-30-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-wbo-15-30-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-wbop-10-20-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-wbop-10-30-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-wbp-10-20-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-wbp-15-15-1.xml XCSP17/OpenStacks/OpenStacks-m2-s1/OpenStacks-m2-wbp-15-30-1.xml # done (248 instances selected) ## 17 rand instances are selected out of 80: XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-15-3-5-1.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-15-3-5-2.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-18-3-6-7.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-20-4-5-5.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-20-4-5-9.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-0.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-4.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-7.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-25-5-5-2.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-28-4-7-2.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-28-4-7-7.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-30-5-6-0.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-30-5-6-1.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-32-4-8-0.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-32-4-8-1.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-32-4-8-2.xml XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-32-4-8-8.xml # done (265 instances selected) ## 17 rand instances are selected out of 675: XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-aim-050-3-4-yes1-1.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-ii08a1.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-ii8d2.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-domset/Pb-domset-v500-e2000-w30-mw19-11.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-factor/Pb-factor-S9-P071-Q409.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-factor/Pb-factor-S9-P167-Q347.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-factor/Pb-factor-S9-P251-Q379.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-factor/Pb-factor-S9-P409-Q499.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-fs/Pb-fs-50-250-0-45-90-4-1000.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-gr/Pb-gr-05.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-logicSynthesis/Pb-logic-m100-100-30-30-r.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-marketSplit/Pb-msplit-7-60-4.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-mps/Pb-mps-v2-20-10-l152lav.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-mps/Pb-mps-v2-20-10-sentoy.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-radar/Pb-radar-10-10-45-095-100.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-routing/Pb-routing-s3-3-3-1.xml XCSP17/PseudoBoolean/PseudoBoolean-opt-vtxcov/Pb-vtxcov-v2000-e4000-05.xml # done (282 instances selected) ## 17 rand instances are selected out of 135: XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-bur26g.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr15c.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr20b.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc16d.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc32a.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc32d.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa20b.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug20.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug21.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug30.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko100a.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko81.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-ste36c.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai10b.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai12a.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai15a.xml XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml # done (299 instances selected) ## 17 rand instances are selected out of 18: XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-03.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-04.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-06.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-07.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-08.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-09.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-10.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-11.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-12.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-13.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-14.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-15.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-16.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-17.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-18.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-19.xml XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-20.xml # done (316 instances selected) ## 4 rand instances are selected out of 4: XCSP17/Rack/Rack-m1-s1/Rack-r1.xml XCSP17/Rack/Rack-m1-s1/Rack-r2.xml XCSP17/Rack/Rack-m1-s1/Rack-r3.xml XCSP17/Rack/Rack-m1-s1/Rack-r4.xml # done (320 instances selected) ## 17 rand instances are selected out of 43: XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-09.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-10.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-11.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-14.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-15.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-18.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-21.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-24.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-27.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-34.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-38.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-40.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-41.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-44.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-46.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-47.xml XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-49.xml # done (337 instances selected) ## 17 rand instances are selected out of 2040: XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-02-03.xml XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-02-05.xml XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-23-09.xml XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-46-04.xml XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-50-04.xml XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-50-05.xml XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-22-06.xml XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-36-01.xml XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-40-08.xml XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-43-06.xml XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-13-09.xml XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-24-03.xml XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-36-08.xml XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-07-04.xml XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-09-06.xml XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-26-08.xml XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-37-03.xml # done (354 instances selected) ## 17 rand instances are selected out of 110: XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-020-05-0.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-020-05-2.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-020-05-8.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-020-10-7.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-050-05-1.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-050-05-8.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-050-05-9.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-050-10-6.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-050-10-9.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-050-20-1.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-05-1.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-05-3.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-05-7.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-10-5.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-20-3.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-20-6.xml XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-200-10-2.xml # done (371 instances selected) ## 17 rand instances are selected out of 80: XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-2.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-4.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-7.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-9.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-15-1.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-15-4.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-15-9.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-20-2.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-20-3.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-20-7.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-20-8.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-030-15-9.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-030-20-6.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-030-20-8.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-050-15-0.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-050-20-7.xml XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-050-20-9.xml # done (388 instances selected) ## 17 rand instances are selected out of 60: XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-04-04-3.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-04-04-6.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-04-04-8.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-9.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-5.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-6.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-8.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-9.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-0.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-1.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-2.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-6.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-9.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-15-15-2.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-15-15-8.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-20-20-8.xml XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-20-20-9.xml # done (405 instances selected) ## 17 rand instances are selected out of 381: XCSP17/SteelMillSlab/SteelMillSlab-bench_11_8.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_13_18.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_15_0.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_15_18.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_15_4.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_16_9.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_20_18.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_20_19.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_2_18.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_3_2.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_4_10.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_5_0.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_5_5.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_5_6.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_7_3.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_8_16.xml XCSP17/SteelMillSlab/SteelMillSlab-bench_9_5.xml # done (422 instances selected) ## 17 rand instances are selected out of 91: XCSP17/StillLife/StillLife-m1-s1/StillLife-03-05.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-03-06.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-03-10.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-03-11.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-04-05.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-05-06.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-06-13.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-08-10.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-08-13.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-09-12.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-10-11.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-10-12.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-10-14.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-11-12.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-11-14.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-11-15.xml XCSP17/StillLife/StillLife-m1-s1/StillLife-12-12.xml # done (439 instances selected) ## 17 rand instances are selected out of 48: XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-03.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-07.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-08.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-09.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-14.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-15.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-26.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-42.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-44.xml XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml # done (456 instances selected) ## 0 rand instances are selected out of 20: # done (456 instances selected) ## 17 rand instances are selected out of 220: XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-00.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-05.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-08.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n15/TravellingSalesman-15-30-13.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-14.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-15.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n20/TravellingSalesman-20-30-02.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n20/TravellingSalesman-20-30-09.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n20/TravellingSalesman-20-30-18.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n30/TravellingSalesman-30-30-18.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n40/TravellingSalesman-40-30-19.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n45/TravellingSalesman-45-30-04.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n45/TravellingSalesman-45-30-09.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n50/TravellingSalesman-50-30-01.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n50/TravellingSalesman-50-30-05.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n75/TravellingSalesman-75-50-02.xml XCSP17/TravellingSalesman/TravellingSalesman-m1-n75/TravellingSalesman-75-50-15.xml # done (473 instances selected) ## 17 rand instances are selected out of 74: XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k5.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k6.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-k5.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n36-k5.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n60-k9.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n61-k9.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n31-k5.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k5.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k6.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n50-k8.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n57-k9.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n67-k10.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n68-k9.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n78-k10.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n50-k10.xml XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n65-k10.xml # done (490 instances selected) ## 7 rand instances are selected out of 7: XCSP17/Warehouse/Warehouse-m1-s1/Warehouse-cap044.xml XCSP17/Warehouse/Warehouse-m1-s1/Warehouse-cap063.xml XCSP17/Warehouse/Warehouse-m1-s1/Warehouse-cap071.xml XCSP17/Warehouse/Warehouse-m1-s1/Warehouse-cap101.xml XCSP17/Warehouse/Warehouse-m1-s1/Warehouse-cap131.xml XCSP17/Warehouse/Warehouse-m1-s1/Warehouse-exem.xml XCSP17/Warehouse/Warehouse-m1-s1/Warehouse-opl.xml # done (497 instances selected) ## 6 rand instances are selected out of 32: XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-007.xml XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-012.xml XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-016.xml XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-035.xml XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-050.xml XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-080.xml # done (503 instances selected) ## 0 rand instances are selected out of 6: # done (503 instances selected) ## 6 rand instances are selected out of 126: XCSP17/Bibd/Bibd-sc-mini/Bibd-sc-03-03-01.xml XCSP17/Bibd/Bibd-sc-open/Bibd-sc-56-088-33-21-12.xml XCSP17/Bibd/Bibd-sc-open/Bibd-sc-65-104-40-25-15.xml XCSP17/Bibd/Bibd-sc-open/Bibd-sc-85-085-36-36-15.xml XCSP17/Bibd/Bibd-sc-stab2/Bibd-sc-06-03-06.xml XCSP17/Bibd/Bibd-sc-stab2/Bibd-sc-10-05-04.xml # done (509 instances selected) ## 6 rand instances are selected out of 126: XCSP17/Bibd/Bibd-sum-open/Bibd-sum-39-057-19-13-06.xml XCSP17/Bibd/Bibd-sum-open/Bibd-sum-55-099-27-15-07.xml XCSP17/Bibd/Bibd-sum-stab1/Bibd-sum-12-03-04.xml XCSP17/Bibd/Bibd-sum-stab2/Bibd-sum-07-03-09.xml XCSP17/Bibd/Bibd-sum-sym/Bibd-sum-07-077-33-03-11.xml XCSP17/Bibd/Bibd-sum-sym/Bibd-sum-09-084-28-03-07.xml # done (515 instances selected) ## 6 rand instances are selected out of 80: XCSP17/Blackhole/Blackhole-m1-s04/Blackhole-04-3-07.xml XCSP17/Blackhole/Blackhole-m1-s04/Blackhole-04-3-09.xml XCSP17/Blackhole/Blackhole-m1-s07/Blackhole-07-3-10.xml XCSP17/Blackhole/Blackhole-m1-s10/Blackhole-10-3-01.xml XCSP17/Blackhole/Blackhole-m1-s10/Blackhole-10-3-04.xml XCSP17/Blackhole/Blackhole-m1-s13/Blackhole-13-3-01.xml # done (521 instances selected) ## 6 rand instances are selected out of 37: XCSP17/Blackhole/Blackhole-xcsp2-s04/Blackhole-4-04-2_X2.xml XCSP17/Blackhole/Blackhole-xcsp2-s04/Blackhole-4-04-9_X2.xml XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-6_X2.xml XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-5_X2.xml XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-9_X2.xml XCSP17/Blackhole/Blackhole-xcsp2-s13/Blackhole-4-13-2_X2.xml # done (527 instances selected) ## 6 rand instances are selected out of 52: XCSP17/CarSequencing/CarSequencing-m1-gagne/CarSequencing-200-01.xml XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-04-72.xml XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-19-71.xml XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-60-02.xml XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-80-02.xml XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-85-05.xml # done (533 instances selected) ## 6 rand instances are selected out of 17: XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-03.xml XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-10.xml XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-11.xml XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-12.xml XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-14.xml XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-19.xml # done (539 instances selected) ## 6 rand instances are selected out of 11: XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-10.xml XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-11.xml XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-13.xml XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-15.xml XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-16.xml XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-18.xml # done (545 instances selected) ## 6 rand instances are selected out of 16: XCSP17/CoveringArray/CoveringArray-dec-s1/CoveringArray-3-04-2-08.xml XCSP17/CoveringArray/CoveringArray-dec-s1/CoveringArray-3-04-2-09.xml XCSP17/CoveringArray/CoveringArray-dec-s1/CoveringArray-3-06-2-12.xml XCSP17/CoveringArray/CoveringArray-dec-s1/CoveringArray-3-07-2-12.xml XCSP17/CoveringArray/CoveringArray-dec-s1/CoveringArray-3-09-2-12.xml XCSP17/CoveringArray/CoveringArray-dec-s1/CoveringArray-3-10-2-12.xml # done (551 instances selected) ## 6 rand instances are selected out of 669: XCSP17/Crossword/Crossword-m1-lex-herald/Crossword-lex-h1501.xml XCSP17/Crossword/Crossword-m1-ogd-herald/Crossword-ogd-h2310.xml XCSP17/Crossword/Crossword-m1-ogd2008-vg/Crossword-ogd2008-vg-11-12.xml XCSP17/Crossword/Crossword-m1-ogd2008-vg/Crossword-ogd2008-vg-13-13.xml XCSP17/Crossword/Crossword-m1-uk-vg/Crossword-uk-vg-4-8.xml XCSP17/Crossword/Crossword-m1-words-puzzle/Crossword-words-p20.xml # done (557 instances selected) ## 6 rand instances are selected out of 10: XCSP17/CryptoPuzzle/CryptoPuzzle-m1-s1/CryptoPuzzle-black-green-orange.xml XCSP17/CryptoPuzzle/CryptoPuzzle-m1-s1/CryptoPuzzle-cross-roads-danger.xml XCSP17/CryptoPuzzle/CryptoPuzzle-m1-s1/CryptoPuzzle-kyoto-osaka-tokyo.xml XCSP17/CryptoPuzzle/CryptoPuzzle-m1-s1/CryptoPuzzle-monitor-network-internet.xml XCSP17/CryptoPuzzle/CryptoPuzzle-m1-s1/CryptoPuzzle-no-no-yes.xml XCSP17/CryptoPuzzle/CryptoPuzzle-m1-s1/CryptoPuzzle-summer-school-coolest.xml # done (563 instances selected) ## 6 rand instances are selected out of 18: XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-02.xml XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-04.xml XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-05.xml XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-06.xml XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-04-05.xml # done (569 instances selected) ## 6 rand instances are selected out of 41: XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-013.xml XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-016.xml XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-025.xml XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-027.xml XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-039.xml XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-055.xml # done (575 instances selected) ## 6 rand instances are selected out of 15: XCSP17/DistinctVectors/DistinctVectors-m1-s1/DistinctVectors-30-200-02.xml XCSP17/DistinctVectors/DistinctVectors-m1-s2/DistinctVectors-05-100-02.xml XCSP17/DistinctVectors/DistinctVectors-m1-s2/DistinctVectors-30-100-02.xml XCSP17/DistinctVectors/DistinctVectors-m1-s3/DistinctVectors-40-100-08.xml XCSP17/DistinctVectors/DistinctVectors-m1-s3/DistinctVectors-40-100-16.xml XCSP17/DistinctVectors/DistinctVectors-m1-s3/DistinctVectors-40-100-24.xml # done (581 instances selected) ## 6 rand instances are selected out of 37: XCSP17/Domino/Domino-m1-s1/Domino-100-300.xml XCSP17/Domino/Domino-m1-s1/Domino-100-500.xml XCSP17/Domino/Domino-m1-s1/Domino-200-100.xml XCSP17/Domino/Domino-m1-s1/Domino-200-200.xml XCSP17/Domino/Domino-m1-s1/Domino-300-300.xml XCSP17/Domino/Domino-m1-s1/Domino-700-100.xml # done (587 instances selected) ## 6 rand instances are selected out of 7: XCSP17/Driver/Driver-m1-s1/driverlogw-01c.xml XCSP17/Driver/Driver-m1-s1/driverlogw-02c.xml XCSP17/Driver/Driver-m1-s1/driverlogw-04c.xml XCSP17/Driver/Driver-m1-s1/driverlogw-08c.xml XCSP17/Driver/Driver-m1-s1/driverlogw-08cc.xml XCSP17/Driver/Driver-m1-s1/driverlogw-09.xml # done (593 instances selected) ## 6 rand instances are selected out of 30: XCSP17/Dubois/Dubois-m1-s1/Dubois-021.xml XCSP17/Dubois/Dubois-m1-s1/Dubois-022.xml XCSP17/Dubois/Dubois-m1-s1/Dubois-025.xml XCSP17/Dubois/Dubois-m1-s1/Dubois-050.xml XCSP17/Dubois/Dubois-m1-s1/Dubois-080.xml XCSP17/Dubois/Dubois-m1-s1/Dubois-090.xml # done (599 instances selected) ## 6 rand instances are selected out of 121: XCSP17/Fischer/Fischer-m1-s1/Fischer-04-04-fair.xml XCSP17/Fischer/Fischer-m1-s1/Fischer-05-03-fair.xml XCSP17/Fischer/Fischer-m1-s1/Fischer-06-09-fair.xml XCSP17/Fischer/Fischer-m1-s1/Fischer-08-07-fair.xml XCSP17/Fischer/Fischer-m1-s1/Fischer-11-12-fair.xml XCSP17/Fischer/Fischer-m1-s1/Fischer-11-14-fair.xml # done (605 instances selected) ## 6 rand instances are selected out of 104: XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K03-P04.xml XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P04.xml XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P09.xml XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K11-P04.xml XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K12-P09.xml XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K14-P07.xml # done (611 instances selected) ## 6 rand instances are selected out of 7: XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-03.xml XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-04.xml XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-06.xml XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-07.xml XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-08.xml XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-09.xml # done (617 instances selected) ## 6 rand instances are selected out of 51: XCSP17/Haystacks/Haystacks-m1-s1/Haystacks-32.xml XCSP17/Haystacks/Haystacks-m1-s1/Haystacks-42.xml XCSP17/Haystacks/Haystacks-m1-s1/Haystacks-44.xml XCSP17/Haystacks/Haystacks-m1-s1/Haystacks-45.xml XCSP17/Haystacks/Haystacks-m1-s1/Haystacks-46.xml XCSP17/Haystacks/Haystacks-m1-s1/Haystacks-47.xml # done (623 instances selected) ## 6 rand instances are selected out of 551: XCSP17/Kakuro/Kakuro-ext-easy/Kakuro-easy-084-ext.xml XCSP17/Kakuro/Kakuro-ext-easy/Kakuro-easy-109-ext.xml XCSP17/Kakuro/Kakuro-ext-easy/Kakuro-easy-150-ext.xml XCSP17/Kakuro/Kakuro-ext-medium/Kakuro-medium-016-ext.xml XCSP17/Kakuro/Kakuro-ext-medium/Kakuro-medium-020-ext.xml XCSP17/Kakuro/Kakuro-ext-medium/Kakuro-medium-162-ext.xml # done (629 instances selected) ## 6 rand instances are selected out of 551: XCSP17/Kakuro/Kakuro-sumdiff-easy/Kakuro-easy-015-sumdiff.xml XCSP17/Kakuro/Kakuro-sumdiff-easy/Kakuro-easy-079-sumdiff.xml XCSP17/Kakuro/Kakuro-sumdiff-easy/Kakuro-easy-164-sumdiff.xml XCSP17/Kakuro/Kakuro-sumdiff-hard/Kakuro-hard-179-sumdiff.xml XCSP17/Kakuro/Kakuro-sumdiff-medium/Kakuro-medium-055-sumdiff.xml XCSP17/Kakuro/Kakuro-sumdiff-medium/Kakuro-medium-191-sumdiff.xml # done (635 instances selected) ## 6 rand instances are selected out of 31: XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-04-ext02.xml XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-10-ext02.xml XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-10-ext06.xml XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-14-ext03.xml XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-15-ext06.xml XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-16-ext02.xml # done (641 instances selected) ## 6 rand instances are selected out of 14: XCSP17/KnightTour/KnightTour-int-s1/KnightTour-06-int.xml XCSP17/KnightTour/KnightTour-int-s1/KnightTour-07-int.xml XCSP17/KnightTour/KnightTour-int-s1/KnightTour-10-int.xml XCSP17/KnightTour/KnightTour-int-s1/KnightTour-11-int.xml XCSP17/KnightTour/KnightTour-int-s1/KnightTour-13-int.xml XCSP17/KnightTour/KnightTour-int-s1/KnightTour-14-int.xml # done (647 instances selected) ## 6 rand instances are selected out of 19: XCSP17/Knights/Knights-m1-s1/Knights-012-05.xml XCSP17/Knights/Knights-m1-s1/Knights-025-05.xml XCSP17/Knights/Knights-m1-s1/Knights-025-09.xml XCSP17/Knights/Knights-m1-s1/Knights-050-09.xml XCSP17/Knights/Knights-m1-s1/Knights-080-25.xml XCSP17/Knights/Knights-m1-s1/Knights-100-05.xml # done (653 instances selected) ## 6 rand instances are selected out of 99: XCSP17/Langford/Langford-m1-k2/Langford-2-18.xml XCSP17/Langford/Langford-m1-k3/Langford-3-05.xml XCSP17/Langford/Langford-m1-k3/Langford-3-70.xml XCSP17/Langford/Langford-m1-k4/Langford-4-04.xml XCSP17/Langford/Langford-m1-k4/Langford-4-05.xml XCSP17/Langford/Langford-m1-k4/Langford-4-35.xml # done (659 instances selected) ## 6 rand instances are selected out of 33: XCSP17/Langford/Langford-m2-s1/LangfordBin-16.xml XCSP17/Langford/Langford-m2-s1/LangfordBin-18.xml XCSP17/Langford/Langford-m2-s1/LangfordBin-19.xml XCSP17/Langford/Langford-m2-s1/LangfordBin-30.xml XCSP17/Langford/Langford-m2-s1/LangfordBin-45.xml XCSP17/Langford/Langford-m2-s1/LangfordBin-90.xml # done (665 instances selected) ## 6 rand instances are selected out of 65: XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-13.xml XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-15.xml XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-04.xml XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-12.xml XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-17.xml XCSP17/LatinSquare/LatinSquare-m1-gs/qwh-o035-h405.xml # done (671 instances selected) ## 6 rand instances are selected out of 298: XCSP17/LatinSquare/LatinSquare-xcsp2-bqwh15-106/bqwh-15-106-35_X2.xml XCSP17/LatinSquare/LatinSquare-xcsp2-bqwh15-106/bqwh-15-106-36_X2.xml XCSP17/LatinSquare/LatinSquare-xcsp2-bqwh18-141/bqwh-18-141-09_X2.xml XCSP17/LatinSquare/LatinSquare-xcsp2-bqwh18-141/bqwh-18-141-31_X2.xml XCSP17/LatinSquare/LatinSquare-xcsp2-bqwh18-141/bqwh-18-141-83_X2.xml XCSP17/LatinSquare/LatinSquare-xcsp2-qwh10/qwh-10-57-7_X2.xml # done (677 instances selected) ## 6 rand instances are selected out of 182: XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-02-0000.xml XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-08-0051.xml XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-08-0081.xml XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-10-m021.xml XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-11-0066.xml XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-11-m186.xml # done (683 instances selected) ## 6 rand instances are selected out of 43: XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-006-ca.xml XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-013-ca.xml XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-018-ca.xml XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-070-ca.xml XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-090-ca.xml XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-300-ca.xml # done (689 instances selected) ## 6 rand instances are selected out of 43: XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-004-co.xml XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-012-co.xml XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-080-co.xml XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-090-co.xml XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-1000-co.xml XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-600-co.xml # done (695 instances selected) ## 6 rand instances are selected out of 40: XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f10-12.xml XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f10-13.xml XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f10-20.xml XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f50-01.xml XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f50-12.xml XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f50-19.xml # done (701 instances selected) ## 6 rand instances are selected out of 14: XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-13-mdd.xml XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-15-mdd.xml XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-3-mdd.xml XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-4-mdd.xml XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-6-mdd.xml XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-7-mdd.xml # done (707 instances selected) ## 6 rand instances are selected out of 28: XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-18-sum.xml XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-22-sum.xml XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-23-sum.xml XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-25-sum.xml XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-26-sum.xml XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-3-sum.xml # done (713 instances selected) ## 4 rand instances are selected out of 4: XCSP17/MagicSquare/MagicSquare-table-s1/MagicSquare-3-table.xml XCSP17/MagicSquare/MagicSquare-table-s1/MagicSquare-4-table.xml XCSP17/MagicSquare/MagicSquare-table-s1/MagicSquare-5-table.xml XCSP17/MagicSquare/MagicSquare-table-s1/MagicSquare-6-table.xml # done (717 instances selected) ## 6 rand instances are selected out of 10: XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-03.xml XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-05.xml XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-07.xml XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-08.xml XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-09.xml XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-10.xml # done (723 instances selected) ## 0 rand instances are selected out of 4214: # done (723 instances selected) ## 6 rand instances are selected out of 18: XCSP17/Mixed/Mixed-xcsp2-cril/cril-1_X2.xml XCSP17/Mixed/Mixed-xcsp2-cril/cril-3_X2.xml XCSP17/Mixed/Mixed-xcsp2-cril/cril-5_X2.xml XCSP17/Mixed/Mixed-xcsp2-cril/cril-7_X2.xml XCSP17/Mixed/Mixed-xcsp2-nengfa/color_X2.xml XCSP17/Mixed/Mixed-xcsp2-nengfa/sudoku368_X2.xml # done (729 instances selected) ## 6 rand instances are selected out of 25: XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-1-03.xml XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-2-16.xml XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-2-21.xml XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-2-22.xml XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-2-41.xml XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-2-48.xml # done (735 instances selected) ## 2 rand instances are selected out of 2: XCSP17/MultiKnapsack/MultiKnapsack-xcsp2-s1/MultiKnapsack-1-5_X2.xml XCSP17/MultiKnapsack/MultiKnapsack-xcsp2-s1/MultiKnapsack-1-6_X2.xml # done (737 instances selected) ## 6 rand instances are selected out of 174: XCSP17/Nonogram/Nonogram-regular-gp/Nonogram-008-regular.xml XCSP17/Nonogram/Nonogram-regular-gp/Nonogram-040-regular.xml XCSP17/Nonogram/Nonogram-regular-gp/Nonogram-085-regular.xml XCSP17/Nonogram/Nonogram-regular-gp/Nonogram-108-regular.xml XCSP17/Nonogram/Nonogram-regular-gp/Nonogram-109-regular.xml XCSP17/Nonogram/Nonogram-regular-gp/Nonogram-124-regular.xml # done (743 instances selected) ## 6 rand instances are selected out of 170: XCSP17/Nonogram/Nonogram-table-s1/Nonogram-018-table.xml XCSP17/Nonogram/Nonogram-table-s1/Nonogram-035-table.xml XCSP17/Nonogram/Nonogram-table-s1/Nonogram-096-table.xml XCSP17/Nonogram/Nonogram-table-s1/Nonogram-168-table.xml XCSP17/Nonogram/Nonogram-table-s1/Nonogram-177-table.xml XCSP17/Nonogram/Nonogram-table-s1/Nonogram-180-table.xml # done (749 instances selected) ## 6 rand instances are selected out of 52: XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-048.xml XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-080.xml XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-088.xml XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-124.xml XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-136.xml XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-188.xml # done (755 instances selected) ## 6 rand instances are selected out of 28: XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-009.xml XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-016.xml XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-018.xml XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-019.xml XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-024.xml XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-028.xml # done (761 instances selected) ## 6 rand instances are selected out of 38: XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-07-05.xml XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-07-08.xml XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-07-09.xml XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-08-04.xml XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-09-03.xml XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-11-04.xml # done (767 instances selected) ## 6 rand instances are selected out of 160: XCSP17/Primes/Primes-m1-p10/Primes-10-20-3-3.xml XCSP17/Primes/Primes-m1-p10/Primes-10-60-3-3.xml XCSP17/Primes/Primes-m1-p15/Primes-15-20-2-5.xml XCSP17/Primes/Primes-m1-p15/Primes-15-60-3-5.xml XCSP17/Primes/Primes-m1-p20/Primes-20-40-2-1.xml XCSP17/Primes/Primes-m1-p30/Primes-30-60-3-1.xml # done (773 instances selected) ## 6 rand instances are selected out of 16: XCSP17/PropStress/PropStress-m1-s1/PropStress-0020.xml XCSP17/PropStress/PropStress-m1-s1/PropStress-0100.xml XCSP17/PropStress/PropStress-m1-s1/PropStress-0150.xml XCSP17/PropStress/PropStress-m1-s1/PropStress-0250.xml XCSP17/PropStress/PropStress-m1-s1/PropStress-0450.xml XCSP17/PropStress/PropStress-m1-s1/PropStress-0600.xml # done (779 instances selected) ## 6 rand instances are selected out of 337: XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl15-16.xml XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-card-085-080.xml XCSP17/PseudoBoolean/PseudoBoolean-dec-queen/Pb-queen-0974553.xml XCSP17/PseudoBoolean/PseudoBoolean-dec-spng/Pb-NG-K145.xml XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K097.xml XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K108.xml # done (785 instances selected) ## 4 rand instances are selected out of 70: XCSP17/QRandom/QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-08.xml XCSP17/QRandom/QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-16.xml XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-06.xml XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-24.xml # done (789 instances selected) ## 4 rand instances are selected out of 90: XCSP17/QRandom/QRandom-composed-s25/composed-25-01-25-3.xml XCSP17/QRandom/QRandom-composed-s25/composed-25-01-25-4.xml XCSP17/QRandom/QRandom-composed-s25/composed-25-10-20-5.xml XCSP17/QRandom/QRandom-composed-s75/composed-75-01-25-6.xml # done (793 instances selected) ## 4 rand instances are selected out of 200: XCSP17/QRandom/QRandom-ehi-s85/ehi-85-297-30.xml XCSP17/QRandom/QRandom-ehi-s85/ehi-85-297-98.xml XCSP17/QRandom/QRandom-ehi-s90/ehi-90-315-13.xml XCSP17/QRandom/QRandom-ehi-s90/ehi-90-315-37.xml # done (797 instances selected) ## 4 rand instances are selected out of 100: XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-03.xml XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-14.xml XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-46.xml XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-54.xml # done (801 instances selected) ## 4 rand instances are selected out of 10: XCSP17/QRandom/QRandom-m1-lard/lard-83-83.xml XCSP17/QRandom/QRandom-m1-lard/lard-85-85.xml XCSP17/QRandom/QRandom-m1-lard/lard-90-90.xml XCSP17/QRandom/QRandom-m1-lard/lard-92-92.xml # done (805 instances selected) ## 4 rand instances are selected out of 44: XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-4.xml XCSP17/QRandom/QRandom-mdd-7-25-5-p9/mdd-7-25-5-ps05-psh09-3.xml XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-02.xml XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-16.xml # done (809 instances selected) ## 4 rand instances are selected out of 100: XCSP17/QRandom/QRandom-reg2ext-s1/reg-s20-p03-c20-d10-n10-l5-24.xml XCSP17/QRandom/QRandom-reg2ext-s1/reg-s20-p03-c20-d10-n10-l5-30.xml XCSP17/QRandom/QRandom-reg2ext-s1/reg-s20-p03-c20-d10-n10-l5-40.xml XCSP17/QRandom/QRandom-reg2ext-s1/reg-s20-p03-c20-d10-n10-l5-73.xml # done (813 instances selected) ## 6 rand instances are selected out of 148: XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-08.xml XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-17.xml XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-24.xml XCSP17/QuasiGroups/QuasiGroups-elt-qg5/QuasiGroup-5-07.xml XCSP17/QuasiGroups/QuasiGroups-elt-qg7/QuasiGroup-7-23.xml XCSP17/QuasiGroups/QuasiGroups-elt-qg7/QuasiGroup-7-28.xml # done (819 instances selected) ## 6 rand instances are selected out of 10: XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-05_X2.xml XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-07_X2.xml XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-08_X2.xml XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-09_X2.xml XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-10_X2.xml XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-11_X2.xml # done (825 instances selected) ## 6 rand instances are selected out of 24: XCSP17/Queens/Queens-m1-s1/Queens-0015-m1.xml XCSP17/Queens/Queens-m1-s1/Queens-0050-m1.xml XCSP17/Queens/Queens-m1-s1/Queens-0100-m1.xml XCSP17/Queens/Queens-m1-s1/Queens-0120-m1.xml XCSP17/Queens/Queens-m1-s1/Queens-0150-m1.xml XCSP17/Queens/Queens-m1-s1/Queens-0200-m1.xml # done (831 instances selected) ## 6 rand instances are selected out of 18: XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-008-05-mul.xml XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-012-05-mul.xml XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-015-05-mul.xml XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-020-05-add.xml XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-020-05-mul.xml XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-080-05-mul.xml # done (837 instances selected) ## 6 rand instances are selected out of 150: XCSP17/RadarSurveillance/RadarSurveillance-m1-s8-24/RadarSurveillance-8-24-3-2-14.xml XCSP17/RadarSurveillance/RadarSurveillance-m1-s8-24/RadarSurveillance-8-24-3-2-20.xml XCSP17/RadarSurveillance/RadarSurveillance-m1-s8-24/RadarSurveillance-8-24-3-2-26.xml XCSP17/RadarSurveillance/RadarSurveillance-m1-s8-30/RadarSurveillance-8-30-3-0-02.xml XCSP17/RadarSurveillance/RadarSurveillance-m1-s8-30/RadarSurveillance-8-30-3-0-10.xml XCSP17/RadarSurveillance/RadarSurveillance-m1-s8-30/RadarSurveillance-8-30-3-0-28.xml # done (843 instances selected) ## 4 rand instances are selected out of 50: XCSP17/Random/Random-B-2-23-23/rand-2-23-23-253-131-0.xml XCSP17/Random/Random-B-2-23-23/rand-2-23-23-253-131-1.xml XCSP17/Random/Random-B-2-25-25/rand-2-25-25-300-147-6.xml XCSP17/Random/Random-B-2-26-26/rand-2-26-26-325-155-2.xml # done (847 instances selected) ## 4 rand instances are selected out of 700: XCSP17/Random/Random-D-t020/rand-2-40-11-414-020-23.xml XCSP17/Random/Random-D-t020/rand-2-40-11-414-020-35.xml XCSP17/Random/Random-D-t080/rand-2-40-80-103-080-39.xml XCSP17/Random/Random-D-t090/rand-2-40-180-84-090-51.xml # done (851 instances selected) ## 4 rand instances are selected out of 680: XCSP17/Random/Random-RB-2-30-15f/rand-2-30-15-306-230f-09.xml XCSP17/Random/Random-RB-2-40-19/rand-2-40-19-443-230-30.xml XCSP17/Random/Random-RB-3-20-20/rand-3-20-20-60-632-40.xml XCSP17/Random/Random-RB-3-28-28f/rand-3-28-28-93-632f-05.xml # done (855 instances selected) ## 4 rand instances are selected out of 525: XCSP17/Random/Random-m1-15-23-3/rand-15-23-3-16-150000-18.xml XCSP17/Random/Random-m1-5-12-12/rand-5-12-12-200-12442-38.xml XCSP17/Random/Random-m1-5-12-12t/rand-5-12-12-200-t95-3.xml XCSP17/Random/Random-m1-5-2X-05c/rand-5-2X-05c-15.xml # done (859 instances selected) ## 6 rand instances are selected out of 204: XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-022.xml XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-053.xml XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-083.xml XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-096.xml XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-129.xml XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-189.xml # done (865 instances selected) ## 6 rand instances are selected out of 14: XCSP17/Renault/Renault-m1-s1/Renault-medium-pos.xml XCSP17/Renault/Renault-m1-s1/Renault-megane-pos.xml XCSP17/Renault/Renault-m1-s1/Renault-mgd.xml XCSP17/Renault/Renault-m1-s1/Renault-small.xml XCSP17/Renault/Renault-m1-s1/Renault-souffleuse.xml XCSP17/Renault/Renault-m1-s1/Renault.xml # done (871 instances selected) ## 6 rand instances are selected out of 50: XCSP17/RenaultMod/RenaultMod-m1-s1/RenaultMod-09.xml XCSP17/RenaultMod/RenaultMod-m1-s1/RenaultMod-12.xml XCSP17/RenaultMod/RenaultMod-m1-s1/RenaultMod-18.xml XCSP17/RenaultMod/RenaultMod-m1-s1/RenaultMod-21.xml XCSP17/RenaultMod/RenaultMod-m1-s1/RenaultMod-24.xml XCSP17/RenaultMod/RenaultMod-m1-s1/RenaultMod-40.xml # done (877 instances selected) ## 6 rand instances are selected out of 69: XCSP17/Rlfap/Rlfap-m1-graphsMod/Rlfap-graph-02-f24.xml XCSP17/Rlfap/Rlfap-m1-scens/Rlfap-scen-05.xml XCSP17/Rlfap/Rlfap-m1-scens/Rlfap-scen-06.xml XCSP17/Rlfap/Rlfap-m1-scens11/Rlfap-scen-11-f03.xml XCSP17/Rlfap/Rlfap-m1-scens11/Rlfap-scen-11-f05.xml XCSP17/Rlfap/Rlfap-m1-scensMod/Rlfap-scen-09-w1-f03.xml # done (883 instances selected) ## 6 rand instances are selected out of 34: XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr0004-int.xml XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr0006-int.xml XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr0008-int.xml XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr0050-int.xml XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr0090-int.xml XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000b-int.xml # done (889 instances selected) ## 0 rand instances are selected out of 100: # done (889 instances selected) ## 6 rand instances are selected out of 100: XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-06-dual.xml XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-14-dual.xml XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-32-dual.xml XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-55-dual.xml XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-67-dual.xml XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-80-dual.xml # done (895 instances selected) ## 6 rand instances are selected out of 147: XCSP17/Sat/Sat-m1-aim050/aim-50-2-0-unsat-2.xml XCSP17/Sat/Sat-m1-aim100/aim-100-2-0-unsat-2.xml XCSP17/Sat/Sat-m1-aim200/aim-200-1-6-sat-3.xml XCSP17/Sat/Sat-m1-jnh/jnh-012.xml XCSP17/Sat/Sat-m1-jnh/jnh-213.xml XCSP17/Sat/Sat-m1-jnh/jnh-302.xml # done (901 instances selected) ## 6 rand instances are selected out of 100: XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-13-sum.xml XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-23-sum.xml XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-24-sum.xml XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-37-sum.xml XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-65-sum.xml XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-67-sum.xml # done (907 instances selected) ## 6 rand instances are selected out of 24: XCSP17/Sat/Sat-xcsp2-bmc/bmc-ibm-2-02_X2.xml XCSP17/Sat/Sat-xcsp2-bmc/bmc-ibm-2-04_X2.xml XCSP17/Sat/Sat-xcsp2-bmc/bmc-ibm-4-02_X2.xml XCSP17/Sat/Sat-xcsp2-bmc/bmc-ibm-5-04_X2.xml XCSP17/Sat/Sat-xcsp2-bmc/bmc-ibm-7-02_X2.xml XCSP17/Sat/Sat-xcsp2-bmc/bmc-ibm-7-16_X2.xml # done (913 instances selected) ## 6 rand instances are selected out of 47: XCSP17/Scheduling/Scheduling-jsdec-sadeh/Sadeh-e0ddr1-9.xml XCSP17/Scheduling/Scheduling-jsdec-sadeh/Sadeh-e0ddr2-0.xml XCSP17/Scheduling/Scheduling-jsdec-sadeh/Sadeh-enddr1-3.xml XCSP17/Scheduling/Scheduling-jsdec-sadeh/Sadeh-enddr1-4.xml XCSP17/Scheduling/Scheduling-jsdec-sadeh/Sadeh-ewddr1-9.xml XCSP17/Scheduling/Scheduling-jsdec-sadeh/Sadeh-ewddr2-4.xml # done (919 instances selected) ## 6 rand instances are selected out of 70: XCSP17/Scheduling/Scheduling-xcsp2-cabinet/Cabinet-5567_X2.xml XCSP17/Scheduling/Scheduling-xcsp2-cabinet/Cabinet-5575_X2.xml XCSP17/Scheduling/Scheduling-xcsp2-cabinet/Cabinet-5580_X2.xml XCSP17/Scheduling/Scheduling-xcsp2-cabinet/Cabinet-5585_X2.xml XCSP17/Scheduling/Scheduling-xcsp2-cjss/la03x2-593_X2.xml XCSP17/Scheduling/Scheduling-xcsp2-os-gp/gp10-05-1070_X2.xml # done (925 instances selected) ## 6 rand instances are selected out of 6: XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-012-9-mod.xml XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-015-9-mod.xml XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-020-9-mod.xml XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-030-9-mod.xml XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-050-9-mod.xml XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-100-9-mod.xml # done (931 instances selected) ## 4 rand instances are selected out of 4: XCSP17/SchurrLemma/SchurrLemma-nor-s1/SchurrLemma-023-3.xml XCSP17/SchurrLemma/SchurrLemma-nor-s1/SchurrLemma-024-3.xml XCSP17/SchurrLemma/SchurrLemma-nor-s1/SchurrLemma-066-4.xml XCSP17/SchurrLemma/SchurrLemma-nor-s1/SchurrLemma-067-4.xml # done (935 instances selected) ## 6 rand instances are selected out of 448: XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-2-3-3-cp.xml XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-3-9-4-cp.xml XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-4-2-9-cp.xml XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-5-2-4-cp.xml XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-6-2-6-cp.xml XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-9-3-5-cp.xml # done (941 instances selected) ## 6 rand instances are selected out of 12: XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-06-3-5_X2.xml XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-06-3-6_X2.xml XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-06-3-8_X2.xml XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-06-4-6_X2.xml XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-08-4-8_X2.xml XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-09-4-8_X2.xml # done (947 instances selected) ## 6 rand instances are selected out of 19: XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-14.xml XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-26.xml XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-28.xml XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-30.xml XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-32.xml XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-34.xml # done (953 instances selected) ## 6 rand instances are selected out of 10: XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-06.xml XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-08.xml XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-09.xml XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-10.xml XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-11.xml XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-14.xml # done (959 instances selected) ## 6 rand instances are selected out of 75: XCSP17/StripPacking/StripPacking-m1-series1/StripPacking-C4P1.xml XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N1c.xml XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N3d.xml XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N7a.xml XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N7e.xml XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T1e.xml # done (965 instances selected) ## 6 rand instances are selected out of 2446: XCSP17/Subisomorphism/Subisomorphism-m1-LV/Subisomorphism-g07-g39.xml XCSP17/Subisomorphism/Subisomorphism-m1-LV/Subisomorphism-g08-g31.xml XCSP17/Subisomorphism/Subisomorphism-m1-LV/Subisomorphism-g10-g35.xml XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-A-15.xml XCSP17/Subisomorphism/Subisomorphism-m1-si2-bvg/Subisomorphism-si2-b09-m200-02.xml XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b03-m800-07.xml # done (971 instances selected) ## 6 rand instances are selected out of 46: XCSP17/Sudoku/Sudoku-alldiff-s1/Sudoku-s01a-alldiff.xml XCSP17/Sudoku/Sudoku-alldiff-s1/Sudoku-s09b-alldiff.xml XCSP17/Sudoku/Sudoku-alldiff-s1/Sudoku-s10b-alldiff.xml XCSP17/Sudoku/Sudoku-alldiff-s1/Sudoku-s11a-alldiff.xml XCSP17/Sudoku/Sudoku-alldiff-s1/Sudoku-s12a-alldiff.xml XCSP17/Sudoku/Sudoku-alldiff-s1/Sudoku-s13b-alldiff.xml # done (977 instances selected) ## 6 rand instances are selected out of 46: XCSP17/Sudoku/Sudoku-table-s1/Sudoku-s03c-table.xml XCSP17/Sudoku/Sudoku-table-s1/Sudoku-s05c-table.xml XCSP17/Sudoku/Sudoku-table-s1/Sudoku-s11b-table.xml XCSP17/Sudoku/Sudoku-table-s1/Sudoku-s12b-table.xml XCSP17/Sudoku/Sudoku-table-s1/Sudoku-s14b-table.xml XCSP17/Sudoku/Sudoku-table-s1/Sudoku-s16-table.xml # done (983 instances selected) ## 6 rand instances are selected out of 14: XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-02.xml XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-05.xml XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-07.xml XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-12.xml XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-13.xml XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-14.xml # done (989 instances selected) ## 6 rand instances are selected out of 46: XCSP17/SuperSolutions/SuperSolutions-Sadeh-js/SuperSadeh-js-e0ddr1-1.xml XCSP17/SuperSolutions/SuperSolutions-Sadeh-js/SuperSadeh-js-e0ddr2-1.xml XCSP17/SuperSolutions/SuperSolutions-Sadeh-js/SuperSadeh-js-e0ddr2-7.xml XCSP17/SuperSolutions/SuperSolutions-Sadeh-js/SuperSadeh-js-enddr1-5.xml XCSP17/SuperSolutions/SuperSolutions-Sadeh-js/SuperSadeh-js-enddr1-9.xml XCSP17/SuperSolutions/SuperSolutions-Sadeh-js/SuperSadeh-js-ewddr2-3.xml # done (995 instances selected) ## 6 rand instances are selected out of 270: XCSP17/SuperSolutions/SuperSolutions-Taillard-js20-15/SuperTaillard-js-20-15-15.xml XCSP17/SuperSolutions/SuperSolutions-Taillard-os04/SuperTaillard-os-04-26.xml XCSP17/SuperSolutions/SuperSolutions-Taillard-os07/SuperTaillard-os-07-26.xml XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-11.xml XCSP17/SuperSolutions/SuperSolutions-Taillard-os15/SuperTaillard-os-15-22.xml XCSP17/SuperSolutions/SuperSolutions-Taillard-os20/SuperTaillard-os-20-17.xml # done (1001 instances selected) ## 6 rand instances are selected out of 45: XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20/TravellingSalesman-20-076_X2.xml XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20/TravellingSalesman-20-142_X2.xml XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-001-a4_X2.xml XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-727-a4_X2.xml XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s25/TravellingSalesman-25-003_X2.xml XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s25/TravellingSalesman-25-066_X2.xml # done (1007 instances selected) ## 6 rand instances are selected out of 401: XCSP17/Wwtpp/Wwtpp-jok-s1/Wwtpp-jok-ex02280.xml XCSP17/Wwtpp/Wwtpp-jok-s1/Wwtpp-jok-ex03380.xml XCSP17/Wwtpp/Wwtpp-jok-s1/Wwtpp-jok-ex05480.xml XCSP17/Wwtpp/Wwtpp-jok-s1/Wwtpp-jok-ex06460.xml XCSP17/Wwtpp/Wwtpp-jok-s1/Wwtpp-jok-ex07180.xml XCSP17/Wwtpp/Wwtpp-jok-s1/Wwtpp-jok-ex08540.xml # done (1013 instances selected)