## 8 instances are selected out of 100: maxcsp/cnf/2-40-100-1000/normalized-cnf-2-40-300-182021_ext.xml maxcsp/cnf/2-40-100-1000/normalized-cnf-2-40-300-182022_ext.xml maxcsp/cnf/2-40-100-1000/normalized-cnf-2-40-300-182024_ext.xml maxcsp/cnf/2-40-100-1000/normalized-cnf-2-40-400-907730_ext.xml maxcsp/cnf/2-40-100-1000/normalized-cnf-2-40-500-633422_ext.xml maxcsp/cnf/2-40-100-1000/normalized-cnf-2-40-600-359126_ext.xml maxcsp/cnf/2-40-100-1000/normalized-cnf-2-40-800-810521_ext.xml maxcsp/cnf/2-40-100-1000/normalized-cnf-2-40-800-810527_ext.xml # done ## 8 instances are selected out of 100: maxcsp/cnf/2-40-1100-2000/normalized-cnf-2-40-1100-987629_ext.xml maxcsp/cnf/2-40-1100-2000/normalized-cnf-2-40-1100-987630_ext.xml maxcsp/cnf/2-40-1100-2000/normalized-cnf-2-40-1500-890423-ext.xml maxcsp/cnf/2-40-1100-2000/normalized-cnf-2-40-1500-890427_ext.xml maxcsp/cnf/2-40-1100-2000/normalized-cnf-2-40-1600-616123-ext.xml maxcsp/cnf/2-40-1100-2000/normalized-cnf-2-40-1600-616124_ext.xml maxcsp/cnf/2-40-1100-2000/normalized-cnf-2-40-1800-067529_ext.xml maxcsp/cnf/2-40-1100-2000/normalized-cnf-2-40-1900-793226_ext.xml # done ## 8 instances are selected out of 100: maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2300-96030_ext.xml maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2400-421722_ext.xml maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2400-421727_ext.xml maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2400-421728_ext.xml maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2500-147422_ext.xml maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2500-147426_ext.xml maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2600-873121_ext.xml maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2900-050223-ext.xml # done ## 8 instances are selected out of 100: maxcsp/cnf/2-80-100-1000/normalized-cnf-2-80-300-186944_ext.xml maxcsp/cnf/2-80-100-1000/normalized-cnf-2-80-300-186945_ext.xml maxcsp/cnf/2-80-100-1000/normalized-cnf-2-80-600-364043_ext.xml maxcsp/cnf/2-80-100-1000/normalized-cnf-2-80-600-364046_ext.xml maxcsp/cnf/2-80-100-1000/normalized-cnf-2-80-700-089745_ext.xml maxcsp/cnf/2-80-100-1000/normalized-cnf-2-80-700-089750_ext.xml maxcsp/cnf/2-80-100-1000/normalized-cnf-2-80-800-815444_ext.xml maxcsp/cnf/2-80-100-1000/normalized-cnf-2-80-800-815450_ext.xml # done ## 8 instances are selected out of 100: maxcsp/cnf/2-80-1100-2000/normalized-cnf-2-80-1100-992546_ext.xml maxcsp/cnf/2-80-1100-2000/normalized-cnf-2-80-1200-718241_ext.xml maxcsp/cnf/2-80-1100-2000/normalized-cnf-2-80-1300-443946_ext.xml maxcsp/cnf/2-80-1100-2000/normalized-cnf-2-80-1400-169641_ext.xml maxcsp/cnf/2-80-1100-2000/normalized-cnf-2-80-1500-895349_ext.xml maxcsp/cnf/2-80-1100-2000/normalized-cnf-2-80-1700-346746_ext.xml maxcsp/cnf/2-80-1100-2000/normalized-cnf-2-80-1700-346750_ext.xml maxcsp/cnf/2-80-1100-2000/normalized-cnf-2-80-1900-798146_ext.xml # done ## 8 instances are selected out of 100: maxcsp/cnf/3-40-100-1000/normalized-cnf-3-40-1000-261925_ext.xml maxcsp/cnf/3-40-100-1000/normalized-cnf-3-40-1000-261927_ext.xml maxcsp/cnf/3-40-100-1000/normalized-cnf-3-40-1000-261929_ext.xml maxcsp/cnf/3-40-100-1000/normalized-cnf-3-40-100-730623_ext.xml maxcsp/cnf/3-40-100-1000/normalized-cnf-3-40-100-730629_ext.xml maxcsp/cnf/3-40-100-1000/normalized-cnf-3-40-800-810522_ext.xml maxcsp/cnf/3-40-100-1000/normalized-cnf-3-40-900-536226_ext.xml maxcsp/cnf/3-40-100-1000/normalized-cnf-3-40-900-536230_ext.xml # done ## 8 instances are selected out of 100: maxcsp/cnf/3-40-1100-2000/normalized-cnf-3-40-1200-713329_ext.xml maxcsp/cnf/3-40-1100-2000/normalized-cnf-3-40-1500-890427_ext.xml maxcsp/cnf/3-40-1100-2000/normalized-cnf-3-40-1600-616125_ext.xml maxcsp/cnf/3-40-1100-2000/normalized-cnf-3-40-1700-341821_ext.xml maxcsp/cnf/3-40-1100-2000/normalized-cnf-3-40-1700-341823_ext.xml maxcsp/cnf/3-40-1100-2000/normalized-cnf-3-40-1700-341827_ext.xml maxcsp/cnf/3-40-1100-2000/normalized-cnf-3-40-1900-793223_ext.xml maxcsp/cnf/3-40-1100-2000/normalized-cnf-3-40-1900-793224_ext.xml # done ## 8 instances are selected out of 100: maxcsp/cnf/3-40-2100-3000/normalized-cnf-3-40-2100-244628_ext.xml maxcsp/cnf/3-40-2100-3000/normalized-cnf-3-40-2400-421722_ext.xml maxcsp/cnf/3-40-2100-3000/normalized-cnf-3-40-2500-147422_ext.xml maxcsp/cnf/3-40-2100-3000/normalized-cnf-3-40-2500-147426_ext.xml maxcsp/cnf/3-40-2100-3000/normalized-cnf-3-40-2500-147429_ext.xml maxcsp/cnf/3-40-2100-3000/normalized-cnf-3-40-2800-324527_ext.xml maxcsp/cnf/3-40-2100-3000/normalized-cnf-3-40-2900-050222_ext.xml maxcsp/cnf/3-40-2100-3000/normalized-cnf-3-40-3000-775927_ext.xml # done ## 8 instances are selected out of 100: maxcsp/cnf/3-80-100-1000/normalized-cnf-3-80-1000-266847_ext.xml maxcsp/cnf/3-80-100-1000/normalized-cnf-3-80-1000-266849_ext.xml maxcsp/cnf/3-80-100-1000/normalized-cnf-3-80-100-735548_ext.xml maxcsp/cnf/3-80-100-1000/normalized-cnf-3-80-200-461248_ext.xml maxcsp/cnf/3-80-100-1000/normalized-cnf-3-80-400-912642_ext.xml maxcsp/cnf/3-80-100-1000/normalized-cnf-3-80-400-912648_ext.xml maxcsp/cnf/3-80-100-1000/normalized-cnf-3-80-600-364044_ext.xml maxcsp/cnf/3-80-100-1000/normalized-cnf-3-80-700-089745_ext.xml # done ## 8 instances are selected out of 100: maxcsp/cnf/3-80-1100-2000/normalized-cnf-3-80-1200-718245_ext.xml maxcsp/cnf/3-80-1100-2000/normalized-cnf-3-80-1200-718249_ext.xml maxcsp/cnf/3-80-1100-2000/normalized-cnf-3-80-1200-718250_ext.xml maxcsp/cnf/3-80-1100-2000/normalized-cnf-3-80-1300-443942-ext.xml maxcsp/cnf/3-80-1100-2000/normalized-cnf-3-80-1300-443943_ext.xml maxcsp/cnf/3-80-1100-2000/normalized-cnf-3-80-1500-895345_ext.xml maxcsp/cnf/3-80-1100-2000/normalized-cnf-3-80-1600-621045_ext.xml maxcsp/cnf/3-80-1100-2000/normalized-cnf-3-80-1600-621048_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-10/normalized-kbtree-5-2-4-5-10-18_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-10/normalized-kbtree-5-2-4-5-10-23_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-10/normalized-kbtree-5-2-4-5-10-26_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-20/normalized-kbtree-5-2-4-5-20-08_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-20/normalized-kbtree-5-2-4-5-20-38_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-20/normalized-kbtree-5-2-4-5-20-50_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-30/normalized-kbtree-5-2-4-5-30-25_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-30/normalized-kbtree-5-2-4-5-30-35_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-30/normalized-kbtree-5-2-4-5-30-47_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-40/normalized-kbtree-5-2-4-5-40-16_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-40/normalized-kbtree-5-2-4-5-40-23_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-40/normalized-kbtree-5-2-4-5-40-32_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-50/normalized-kbtree-5-2-4-5-50-14_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-50/normalized-kbtree-5-2-4-5-50-16_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-50/normalized-kbtree-5-2-4-5-50-22_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-60/normalized-kbtree-5-2-4-5-60-10_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-60/normalized-kbtree-5-2-4-5-60-34_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-60/normalized-kbtree-5-2-4-5-60-36_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-70/normalized-kbtree-5-2-4-5-70-12_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-70/normalized-kbtree-5-2-4-5-70-33_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-70/normalized-kbtree-5-2-4-5-70-37_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-80/normalized-kbtree-5-2-4-5-80-06_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-80/normalized-kbtree-5-2-4-5-80-11_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-80/normalized-kbtree-5-2-4-5-80-41_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-90/normalized-kbtree-5-2-4-5-90-08_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-90/normalized-kbtree-5-2-4-5-90-13_ext.xml maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-90/normalized-kbtree-5-2-4-5-90-34_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-10/normalized-kbtree-9-2-3-5-10-26_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-10/normalized-kbtree-9-2-3-5-10-35_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-10/normalized-kbtree-9-2-3-5-10-38_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-20/normalized-kbtree-9-2-3-5-20-01_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-20/normalized-kbtree-9-2-3-5-20-02_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-20/normalized-kbtree-9-2-3-5-20-15_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/normalized-kbtree-9-2-3-5-30-02_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/normalized-kbtree-9-2-3-5-30-08_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/normalized-kbtree-9-2-3-5-30-34_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-40/normalized-kbtree-9-2-3-5-40-16_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-40/normalized-kbtree-9-2-3-5-40-38_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-40/normalized-kbtree-9-2-3-5-40-50_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-50/normalized-kbtree-9-2-3-5-50-05_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-50/normalized-kbtree-9-2-3-5-50-24_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-50/normalized-kbtree-9-2-3-5-50-31_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-60/normalized-kbtree-9-2-3-5-60-02_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-60/normalized-kbtree-9-2-3-5-60-21_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-60/normalized-kbtree-9-2-3-5-60-41_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-70/normalized-kbtree-9-2-3-5-70-04_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-70/normalized-kbtree-9-2-3-5-70-39_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-70/normalized-kbtree-9-2-3-5-70-50_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-80/normalized-kbtree-9-2-3-5-80-36_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-80/normalized-kbtree-9-2-3-5-80-38_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-80/normalized-kbtree-9-2-3-5-80-50_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-90/normalized-kbtree-9-2-3-5-90-06_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-90/normalized-kbtree-9-2-3-5-90-29_ext.xml maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-90/normalized-kbtree-9-2-3-5-90-48_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-10/normalized-kbtree-9-5-3-5-10-18_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-10/normalized-kbtree-9-5-3-5-10-31_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-10/normalized-kbtree-9-5-3-5-10-36_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-20/normalized-kbtree-9-5-3-5-20-04_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-20/normalized-kbtree-9-5-3-5-20-13_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-20/normalized-kbtree-9-5-3-5-20-21_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-30/normalized-kbtree-9-5-3-5-30-06_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-30/normalized-kbtree-9-5-3-5-30-13_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-30/normalized-kbtree-9-5-3-5-30-37_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-40/normalized-kbtree-9-5-3-5-40-09_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-40/normalized-kbtree-9-5-3-5-40-23_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-40/normalized-kbtree-9-5-3-5-40-41_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-50/normalized-kbtree-9-5-3-5-50-06_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-50/normalized-kbtree-9-5-3-5-50-08_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-50/normalized-kbtree-9-5-3-5-50-28_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-60/normalized-kbtree-9-5-3-5-60-05_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-60/normalized-kbtree-9-5-3-5-60-23_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-60/normalized-kbtree-9-5-3-5-60-33_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-70/normalized-kbtree-9-5-3-5-70-03_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-70/normalized-kbtree-9-5-3-5-70-09_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-70/normalized-kbtree-9-5-3-5-70-23_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-80/normalized-kbtree-9-5-3-5-80-08_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-80/normalized-kbtree-9-5-3-5-80-23_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-80/normalized-kbtree-9-5-3-5-80-47_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-90/normalized-kbtree-9-5-3-5-90-10_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-90/normalized-kbtree-9-5-3-5-90-45_ext.xml maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-90/normalized-kbtree-9-5-3-5-90-47_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-10/normalized-kbtree-9-7-3-5-10-04_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-10/normalized-kbtree-9-7-3-5-10-08_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-10/normalized-kbtree-9-7-3-5-10-25_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-20/normalized-kbtree-9-7-3-5-20-12_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-20/normalized-kbtree-9-7-3-5-20-23_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-20/normalized-kbtree-9-7-3-5-20-40_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-30/normalized-kbtree-9-7-3-5-30-10_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-30/normalized-kbtree-9-7-3-5-30-25_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-30/normalized-kbtree-9-7-3-5-30-27_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-40/normalized-kbtree-9-7-3-5-40-34_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-40/normalized-kbtree-9-7-3-5-40-39_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-40/normalized-kbtree-9-7-3-5-40-49_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-50/normalized-kbtree-9-7-3-5-50-13_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-50/normalized-kbtree-9-7-3-5-50-39_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-50/normalized-kbtree-9-7-3-5-50-42_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-60/normalized-kbtree-9-7-3-5-60-01_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-60/normalized-kbtree-9-7-3-5-60-16_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-60/normalized-kbtree-9-7-3-5-60-19_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-70/normalized-kbtree-9-7-3-5-70-33_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-70/normalized-kbtree-9-7-3-5-70-43_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-70/normalized-kbtree-9-7-3-5-70-50_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-80/normalized-kbtree-9-7-3-5-80-04_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-80/normalized-kbtree-9-7-3-5-80-05_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-80/normalized-kbtree-9-7-3-5-80-50_ext.xml # done ## 3 instances are selected out of 50: maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-90/normalized-kbtree-9-7-3-5-90-08_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-90/normalized-kbtree-9-7-3-5-90-11_ext.xml maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-90/normalized-kbtree-9-7-3-5-90-27_ext.xml # done ## 6 instances are selected out of 6: maxcsp/celar/graphs/normalized-graphw-05_ext.xml maxcsp/celar/graphs/normalized-graphw-06_ext.xml maxcsp/celar/graphs/normalized-graphw-07_ext.xml maxcsp/celar/graphs/normalized-graphw-11_ext.xml maxcsp/celar/graphs/normalized-graphw-12_ext.xml maxcsp/celar/graphs/normalized-graphw-13_ext.xml # done ## 13 instances are selected out of 13: maxcsp/celar/scens/normalized-scenw-06-16_ext.xml maxcsp/celar/scens/normalized-scenw-06-18_ext.xml maxcsp/celar/scens/normalized-scenw-06-20_ext.xml maxcsp/celar/scens/normalized-scenw-06-22_ext.xml maxcsp/celar/scens/normalized-scenw-06-24_ext.xml maxcsp/celar/scens/normalized-scenw-06-30_ext.xml maxcsp/celar/scens/normalized-scenw-06-30reduc_ext.xml maxcsp/celar/scens/normalized-scenw-06_ext.xml maxcsp/celar/scens/normalized-scenw-07_10000_30r_ext.xml maxcsp/celar/scens/normalized-scenw-07_ext.xml maxcsp/celar/scens/normalized-scenw-08_ext.xml maxcsp/celar/scens/normalized-scenw-09_ext.xml maxcsp/celar/scens/normalized-scenw-10_ext.xml # done ## 7 instances are selected out of 7: maxcsp/celar/subs6/normalized-scenw-6-sub0_ext.xml maxcsp/celar/subs6/normalized-scenw-6-sub1-24_ext.xml maxcsp/celar/subs6/normalized-scenw-6-sub1_ext.xml maxcsp/celar/subs6/normalized-scenw-6-sub2_ext.xml maxcsp/celar/subs6/normalized-scenw-6-sub3_ext.xml maxcsp/celar/subs6/normalized-scenw-6-sub4-20_ext.xml maxcsp/celar/subs6/normalized-scenw-6-sub4_ext.xml # done ## 7 instances are selected out of 7: maxcsp/celar/subs7/normalized-scenw-7-sub0_ext.xml maxcsp/celar/subs7/normalized-scenw-7-sub1-20_ext.xml maxcsp/celar/subs7/normalized-scenw-7-sub1_ext.xml maxcsp/celar/subs7/normalized-scenw-7-sub2_ext.xml maxcsp/celar/subs7/normalized-scenw-7-sub3_ext.xml maxcsp/celar/subs7/normalized-scenw-7-sub4-22_ext.xml maxcsp/celar/subs7/normalized-scenw-7-sub4_ext.xml # done ## 20 instances are selected out of 63: maxcsp/maxclique/normalized-brock-200-4_ext.xml maxcsp/maxclique/normalized-brock-400-4_ext.xml maxcsp/maxclique/normalized-brock-800-1_ext.xml maxcsp/maxclique/normalized-brock-800-4_ext.xml maxcsp/maxclique/normalized-c-fat200-2_ext.xml maxcsp/maxclique/normalized-c-fat500-10_ext.xml maxcsp/maxclique/normalized-c-fat500-2_ext.xml maxcsp/maxclique/normalized-c-fat500-5_ext.xml maxcsp/maxclique/normalized-hamming-10-2_ext.xml maxcsp/maxclique/normalized-hamming-10-4_ext.xml maxcsp/maxclique/normalized-johnson-16-2-4_ext.xml maxcsp/maxclique/normalized-johnson-32-2-4_ext.xml maxcsp/maxclique/normalized-johnson-8-2-4_ext.xml maxcsp/maxclique/normalized-mann-a45_ext.xml maxcsp/maxclique/normalized-p-hat1000-2_ext.xml maxcsp/maxclique/normalized-p-hat300-3_ext.xml maxcsp/maxclique/normalized-p-hat500-3_ext.xml maxcsp/maxclique/normalized-san-200-0.9-1_ext.xml maxcsp/maxclique/normalized-san-400-0.7-3_ext.xml maxcsp/maxclique/normalized-sanr-200-0.9_ext.xml # done ## 8 instances are selected out of 100: maxcsp/maxcut/maxcut-30/normalized-maxcut-30-340-2_ext.xml maxcsp/maxcut/maxcut-30/normalized-maxcut-30-340-5_ext.xml maxcsp/maxcut/maxcut-30/normalized-maxcut-30-360-4_ext.xml maxcsp/maxcut/maxcut-30/normalized-maxcut-30-370-5_ext.xml maxcsp/maxcut/maxcut-30/normalized-maxcut-30-390-8_ext.xml maxcsp/maxcut/maxcut-30/normalized-maxcut-30-400-10_ext.xml maxcsp/maxcut/maxcut-30/normalized-maxcut-30-400-2_ext.xml maxcsp/maxcut/maxcut-30/normalized-maxcut-30-400-5_ext.xml # done ## 8 instances are selected out of 100: maxcsp/maxcut/maxcut-40/normalized-maxcut-40-420-5_ext.xml maxcsp/maxcut/maxcut-40/normalized-maxcut-40-440-6_ext.xml maxcsp/maxcut/maxcut-40/normalized-maxcut-40-480-6_ext.xml maxcsp/maxcut/maxcut-40/normalized-maxcut-40-480-8_ext.xml maxcsp/maxcut/maxcut-40/normalized-maxcut-40-520-10_ext.xml maxcsp/maxcut/maxcut-40/normalized-maxcut-40-520-1_ext.xml maxcsp/maxcut/maxcut-40/normalized-maxcut-40-540-3_ext.xml maxcsp/maxcut/maxcut-40/normalized-maxcut-40-580-1_ext.xml # done ## 8 instances are selected out of 100: maxcsp/maxcut/maxcut-50/normalized-maxcut-50-560-10_ext.xml maxcsp/maxcut/maxcut-50/normalized-maxcut-50-580-10_ext.xml maxcsp/maxcut/maxcut-50/normalized-maxcut-50-580-2_ext.xml maxcsp/maxcut/maxcut-50/normalized-maxcut-50-580-3_ext.xml maxcsp/maxcut/maxcut-50/normalized-maxcut-50-580-6_ext.xml maxcsp/maxcut/maxcut-50/normalized-maxcut-50-620-2_ext.xml maxcsp/maxcut/maxcut-50/normalized-maxcut-50-660-4_ext.xml maxcsp/maxcut/maxcut-50/normalized-maxcut-50-680-6_ext.xml # done ## 8 instances are selected out of 100: maxcsp/maxcut/maxcut-60/normalized-maxcut-60-420-2_ext.xml maxcsp/maxcut/maxcut-60/normalized-maxcut-60-460-1_ext.xml maxcsp/maxcut/maxcut-60/normalized-maxcut-60-500-4_ext.xml maxcsp/maxcut/maxcut-60/normalized-maxcut-60-500-7_ext.xml maxcsp/maxcut/maxcut-60/normalized-maxcut-60-520-6_ext.xml maxcsp/maxcut/maxcut-60/normalized-maxcut-60-560-9_ext.xml maxcsp/maxcut/maxcut-60/normalized-maxcut-60-580-1_ext.xml maxcsp/maxcut/maxcut-60/normalized-maxcut-60-580-2_ext.xml # done ## 14 instances are selected out of 14: maxcsp/pedigree/normalized-connell_ext.xml maxcsp/pedigree/normalized-eye_ext.xml maxcsp/pedigree/normalized-pedck1000_ext.xml maxcsp/pedigree/normalized-pedck350_ext.xml maxcsp/pedigree/normalized-pedck350l2_ext.xml maxcsp/pedigree/normalized-pedck60-L12_ext.xml maxcsp/pedigree/normalized-pedck60-L1_ext.xml maxcsp/pedigree/normalized-pedck60-L2_ext.xml maxcsp/pedigree/normalized-sheep4nr_ext.xml maxcsp/pedigree/normalized-sheep4r-4-2_ext.xml maxcsp/pedigree/normalized-sheep4r-4-3_ext.xml maxcsp/pedigree/normalized-sheep4r_ext.xml maxcsp/pedigree/normalized-simple_ext.xml maxcsp/pedigree/normalized-wijsmanguo_ext.xml # done ## 8 instances are selected out of 100: maxcsp/pi/pi-20-10-20-t60/normalized-pi-20-10-20-40-13.xml maxcsp/pi/pi-20-10-20-t60/normalized-pi-20-10-20-40-17.xml maxcsp/pi/pi-20-10-20-t60/normalized-pi-20-10-20-40-28.xml maxcsp/pi/pi-20-10-20-t60/normalized-pi-20-10-20-40-30.xml maxcsp/pi/pi-20-10-20-t60/normalized-pi-20-10-20-40-36.xml maxcsp/pi/pi-20-10-20-t60/normalized-pi-20-10-20-40-38.xml maxcsp/pi/pi-20-10-20-t60/normalized-pi-20-10-20-40-68.xml maxcsp/pi/pi-20-10-20-t60/normalized-pi-20-10-20-40-94.xml # done ## 8 instances are selected out of 100: maxcsp/pi/pi-20-10-20-t70/normalized-pi-20-10-20-30-18.xml maxcsp/pi/pi-20-10-20-t70/normalized-pi-20-10-20-30-37.xml maxcsp/pi/pi-20-10-20-t70/normalized-pi-20-10-20-30-39.xml maxcsp/pi/pi-20-10-20-t70/normalized-pi-20-10-20-30-43.xml maxcsp/pi/pi-20-10-20-t70/normalized-pi-20-10-20-30-4.xml maxcsp/pi/pi-20-10-20-t70/normalized-pi-20-10-20-30-61.xml maxcsp/pi/pi-20-10-20-t70/normalized-pi-20-10-20-30-64.xml maxcsp/pi/pi-20-10-20-t70/normalized-pi-20-10-20-30-81.xml # done ## 8 instances are selected out of 100: maxcsp/pi/pi-30-10-25-t48/normalized-pi-30-10-197-52-22.xml maxcsp/pi/pi-30-10-25-t48/normalized-pi-30-10-197-52-29.xml maxcsp/pi/pi-30-10-25-t48/normalized-pi-30-10-197-52-36.xml maxcsp/pi/pi-30-10-25-t48/normalized-pi-30-10-197-52-37.xml maxcsp/pi/pi-30-10-25-t48/normalized-pi-30-10-197-52-61.xml maxcsp/pi/pi-30-10-25-t48/normalized-pi-30-10-197-52-6.xml maxcsp/pi/pi-30-10-25-t48/normalized-pi-30-10-197-52-88.xml maxcsp/pi/pi-30-10-25-t48/normalized-pi-30-10-197-52-93.xml # done ## 8 instances are selected out of 100: maxcsp/pi/pi-30-10-25-t58/normalized-pi-30-10-197-42-15.xml maxcsp/pi/pi-30-10-25-t58/normalized-pi-30-10-197-42-17.xml maxcsp/pi/pi-30-10-25-t58/normalized-pi-30-10-197-42-18.xml maxcsp/pi/pi-30-10-25-t58/normalized-pi-30-10-197-42-23.xml maxcsp/pi/pi-30-10-25-t58/normalized-pi-30-10-197-42-3.xml maxcsp/pi/pi-30-10-25-t58/normalized-pi-30-10-197-42-43.xml maxcsp/pi/pi-30-10-25-t58/normalized-pi-30-10-197-42-66.xml maxcsp/pi/pi-30-10-25-t58/normalized-pi-30-10-197-42-73.xml # done ## 8 instances are selected out of 100: maxcsp/pi/pi-40-10-08-t60/normalized-pi-40-10-07948-40-17.xml maxcsp/pi/pi-40-10-08-t60/normalized-pi-40-10-07948-40-22.xml maxcsp/pi/pi-40-10-08-t60/normalized-pi-40-10-07948-40-26.xml maxcsp/pi/pi-40-10-08-t60/normalized-pi-40-10-07948-40-43.xml maxcsp/pi/pi-40-10-08-t60/normalized-pi-40-10-07948-40-73.xml maxcsp/pi/pi-40-10-08-t60/normalized-pi-40-10-07948-40-92.xml maxcsp/pi/pi-40-10-08-t60/normalized-pi-40-10-07948-40-93.xml maxcsp/pi/pi-40-10-08-t60/normalized-pi-40-10-07948-40-98.xml # done ## 15 instances are selected out of 71: maxcsp/planning/normalized-depot01cc_ext.xml maxcsp/planning/normalized-driverlog01cc_ext.xml maxcsp/planning/normalized-driverlog04cc_ext.xml maxcsp/planning/normalized-driverlog05cc_ext.xml maxcsp/planning/normalized-driverlog08cc_ext.xml maxcsp/planning/normalized-driverlog08c_ext.xml maxcsp/planning/normalized-driverlog09_ext.xml maxcsp/planning/normalized-mprime03bc_ext.xml maxcsp/planning/normalized-mprime03cc_ext.xml maxcsp/planning/normalized-mprime03c_ext.xml maxcsp/planning/normalized-mprime04ac_ext.xml maxcsp/planning/normalized-mprime04bc_ext.xml maxcsp/planning/normalized-rovers02ac_ext.xml maxcsp/planning/normalized-zenotravel02bc_ext.xml maxcsp/planning/normalized-zenotravel04ac_ext.xml # done ## 8 instances are selected out of 50: maxcsp/randomMaxCSP/completeLoose/normalized-vcsp-25-10-100-18-10_ext.xml maxcsp/randomMaxCSP/completeLoose/normalized-vcsp-25-10-100-18-15_ext.xml maxcsp/randomMaxCSP/completeLoose/normalized-vcsp-25-10-100-18-1_ext.xml maxcsp/randomMaxCSP/completeLoose/normalized-vcsp-25-10-100-18-25_ext.xml maxcsp/randomMaxCSP/completeLoose/normalized-vcsp-25-10-100-18-27_ext.xml maxcsp/randomMaxCSP/completeLoose/normalized-vcsp-25-10-100-18-36_ext.xml maxcsp/randomMaxCSP/completeLoose/normalized-vcsp-25-10-100-18-44_ext.xml maxcsp/randomMaxCSP/completeLoose/normalized-vcsp-25-10-100-18-46_ext.xml # done ## 8 instances are selected out of 50: maxcsp/randomMaxCSP/completeTight/normalized-vcsp-15-10-100-93-14_ext.xml maxcsp/randomMaxCSP/completeTight/normalized-vcsp-15-10-100-93-1_ext.xml maxcsp/randomMaxCSP/completeTight/normalized-vcsp-15-10-100-93-20_ext.xml maxcsp/randomMaxCSP/completeTight/normalized-vcsp-15-10-100-93-23_ext.xml maxcsp/randomMaxCSP/completeTight/normalized-vcsp-15-10-100-93-41_ext.xml maxcsp/randomMaxCSP/completeTight/normalized-vcsp-15-10-100-93-47_ext.xml maxcsp/randomMaxCSP/completeTight/normalized-vcsp-15-10-100-93-49_ext.xml maxcsp/randomMaxCSP/completeTight/normalized-vcsp-15-10-100-93-8_ext.xml # done ## 8 instances are selected out of 50: maxcsp/randomMaxCSP/denseLoose/normalized-vcsp-30-10-25-48-11_ext.xml maxcsp/randomMaxCSP/denseLoose/normalized-vcsp-30-10-25-48-15_ext.xml maxcsp/randomMaxCSP/denseLoose/normalized-vcsp-30-10-25-48-21_ext.xml maxcsp/randomMaxCSP/denseLoose/normalized-vcsp-30-10-25-48-32_ext.xml maxcsp/randomMaxCSP/denseLoose/normalized-vcsp-30-10-25-48-33_ext.xml maxcsp/randomMaxCSP/denseLoose/normalized-vcsp-30-10-25-48-39_ext.xml maxcsp/randomMaxCSP/denseLoose/normalized-vcsp-30-10-25-48-42_ext.xml maxcsp/randomMaxCSP/denseLoose/normalized-vcsp-30-10-25-48-44_ext.xml # done ## 8 instances are selected out of 50: maxcsp/randomMaxCSP/denseTight/normalized-vcsp-25-10-25-87-16_ext.xml maxcsp/randomMaxCSP/denseTight/normalized-vcsp-25-10-25-87-21_ext.xml maxcsp/randomMaxCSP/denseTight/normalized-vcsp-25-10-25-87-22_ext.xml maxcsp/randomMaxCSP/denseTight/normalized-vcsp-25-10-25-87-36_ext.xml maxcsp/randomMaxCSP/denseTight/normalized-vcsp-25-10-25-87-38_ext.xml maxcsp/randomMaxCSP/denseTight/normalized-vcsp-25-10-25-87-44_ext.xml maxcsp/randomMaxCSP/denseTight/normalized-vcsp-25-10-25-87-49_ext.xml maxcsp/randomMaxCSP/denseTight/normalized-vcsp-25-10-25-87-9_ext.xml # done ## 8 instances are selected out of 90: maxcsp/randomMaxCSP/sparseLoose/normalized-vcsp-40-10-13-60-14_ext.xml maxcsp/randomMaxCSP/sparseLoose/normalized-vcsp-40-10-13-60-24_ext.xml maxcsp/randomMaxCSP/sparseLoose/normalized-vcsp-40-10-13-60-4_ext.xml maxcsp/randomMaxCSP/sparseLoose/normalized-vcsp-60-10-8-60-1_ext.xml maxcsp/randomMaxCSP/sparseLoose/normalized-vcsp-60-10-8-60-4_ext.xml maxcsp/randomMaxCSP/sparseLoose/normalized-vcsp-70-10-7-60-1_ext.xml maxcsp/randomMaxCSP/sparseLoose/normalized-vcsp-80-10-6-60-4_ext.xml maxcsp/randomMaxCSP/sparseLoose/normalized-vcsp-80-10-6-60-8_ext.xml # done ## 8 instances are selected out of 50: maxcsp/randomMaxCSP/sparseTight/normalized-vcsp-25-10-21-85-15_ext.xml maxcsp/randomMaxCSP/sparseTight/normalized-vcsp-25-10-21-85-20_ext.xml maxcsp/randomMaxCSP/sparseTight/normalized-vcsp-25-10-21-85-24_ext.xml maxcsp/randomMaxCSP/sparseTight/normalized-vcsp-25-10-21-85-27_ext.xml maxcsp/randomMaxCSP/sparseTight/normalized-vcsp-25-10-21-85-33_ext.xml maxcsp/randomMaxCSP/sparseTight/normalized-vcsp-25-10-21-85-35_ext.xml maxcsp/randomMaxCSP/sparseTight/normalized-vcsp-25-10-21-85-43_ext.xml maxcsp/randomMaxCSP/sparseTight/normalized-vcsp-25-10-21-85-48_ext.xml # done ## 15 instances are selected out of 21: maxcsp/spot5/normalized-spot5-1401_ext.xml maxcsp/spot5/normalized-spot5-1403_ext.xml maxcsp/spot5/normalized-spot5-1405_ext.xml maxcsp/spot5/normalized-spot5-1407_ext.xml maxcsp/spot5/normalized-spot5-1506_ext.xml maxcsp/spot5/normalized-spot5-28_ext.xml maxcsp/spot5/normalized-spot5-29_ext.xml maxcsp/spot5/normalized-spot5-404_ext.xml maxcsp/spot5/normalized-spot5-408_ext.xml maxcsp/spot5/normalized-spot5-414_ext.xml maxcsp/spot5/normalized-spot5-503_ext.xml maxcsp/spot5/normalized-spot5-505_ext.xml maxcsp/spot5/normalized-spot5-509_ext.xml maxcsp/spot5/normalized-spot5-54_ext.xml maxcsp/spot5/normalized-spot5-8_ext.xml # done ## 15 instances are selected out of 57: maxcsp/warehouses/normalized-cap102_ext.xml maxcsp/warehouses/normalized-cap103_ext.xml maxcsp/warehouses/normalized-cap104_ext.xml maxcsp/warehouses/normalized-cap113_ext.xml maxcsp/warehouses/normalized-cap122_ext.xml maxcsp/warehouses/normalized-cap44_ext.xml maxcsp/warehouses/normalized-cap62_ext.xml maxcsp/warehouses/normalized-cap91_ext.xml maxcsp/warehouses/normalized-cap92_ext.xml maxcsp/warehouses/normalized-cap93_ext.xml maxcsp/warehouses/normalized-capmo3_ext.xml maxcsp/warehouses/normalized-capmo4_ext.xml maxcsp/warehouses/normalized-capmo5_ext.xml maxcsp/warehouses/normalized-capmp2_ext.xml maxcsp/warehouses/normalized-capmp4_ext.xml # done ## 8 instances are selected out of 8: csp/aim-100/normalized-aim-100-1-6-unsat-1_ext.xml csp/aim-100/normalized-aim-100-1-6-unsat-2_ext.xml csp/aim-100/normalized-aim-100-1-6-unsat-3_ext.xml csp/aim-100/normalized-aim-100-1-6-unsat-4_ext.xml csp/aim-100/normalized-aim-100-2-0-unsat-1_ext.xml csp/aim-100/normalized-aim-100-2-0-unsat-2_ext.xml csp/aim-100/normalized-aim-100-2-0-unsat-3_ext.xml csp/aim-100/normalized-aim-100-2-0-unsat-4_ext.xml # done ## 8 instances are selected out of 8: csp/aim-200/normalized-aim-200-1-6-unsat-1_ext.xml csp/aim-200/normalized-aim-200-1-6-unsat-2_ext.xml csp/aim-200/normalized-aim-200-1-6-unsat-3_ext.xml csp/aim-200/normalized-aim-200-1-6-unsat-4_ext.xml csp/aim-200/normalized-aim-200-2-0-unsat-1_ext.xml csp/aim-200/normalized-aim-200-2-0-unsat-2_ext.xml csp/aim-200/normalized-aim-200-2-0-unsat-3_ext.xml csp/aim-200/normalized-aim-200-2-0-unsat-4_ext.xml # done ## 8 instances are selected out of 8: csp/aim-50/normalized-aim-50-1-6-unsat-1_ext.xml csp/aim-50/normalized-aim-50-1-6-unsat-2_ext.xml csp/aim-50/normalized-aim-50-1-6-unsat-3_ext.xml csp/aim-50/normalized-aim-50-1-6-unsat-4_ext.xml csp/aim-50/normalized-aim-50-2-0-unsat-1_ext.xml csp/aim-50/normalized-aim-50-2-0-unsat-2_ext.xml csp/aim-50/normalized-aim-50-2-0-unsat-3_ext.xml csp/aim-50/normalized-aim-50-2-0-unsat-4_ext.xml # done ## 20 instances are selected out of 30: csp/allsquaresUnsat/normalized-squaresUnsat-10-10.xml csp/allsquaresUnsat/normalized-squaresUnsat-11-11.xml csp/allsquaresUnsat/normalized-squaresUnsat-12-12.xml csp/allsquaresUnsat/normalized-squaresUnsat-13-13.xml csp/allsquaresUnsat/normalized-squaresUnsat-16-16.xml csp/allsquaresUnsat/normalized-squaresUnsat-17-17.xml csp/allsquaresUnsat/normalized-squaresUnsat-19-19.xml csp/allsquaresUnsat/normalized-squaresUnsat-20-20.xml csp/allsquaresUnsat/normalized-squaresUnsat-22-22.xml csp/allsquaresUnsat/normalized-squaresUnsat-2-2.xml csp/allsquaresUnsat/normalized-squaresUnsat-23-23.xml csp/allsquaresUnsat/normalized-squaresUnsat-25-25.xml csp/allsquaresUnsat/normalized-squaresUnsat-27-27.xml csp/allsquaresUnsat/normalized-squaresUnsat-30-30.xml csp/allsquaresUnsat/normalized-squaresUnsat-3-3.xml csp/allsquaresUnsat/normalized-squaresUnsat-37-37.xml csp/allsquaresUnsat/normalized-squaresUnsat-4-4.xml csp/allsquaresUnsat/normalized-squaresUnsat-5-5.xml csp/allsquaresUnsat/normalized-squaresUnsat-7-7.xml csp/allsquaresUnsat/normalized-squaresUnsat-8-8.xml # done ## 20 instances are selected out of 24: csp/bddLarge/normalized-bdd-21-2713-15-79-10_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-12_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-15_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-16_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-17_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-18_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-1_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-20_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-21_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-23_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-25_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-26_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-27_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-29_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-2_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-30_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-33_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-6_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-7_ext.xml csp/bddLarge/normalized-bdd-21-2713-15-79-9_ext.xml # done ## 15 instances are selected out of 16: csp/bddSmall/normalized-bdd-21-133-18-78-12_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-13_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-14_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-15_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-16_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-19_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-21_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-22_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-24_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-29_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-30_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-31_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-33_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-35_ext.xml csp/bddSmall/normalized-bdd-21-133-18-78-6_ext.xml # done ## 7 instances are selected out of 7: csp/BH-4-13/normalized-BlackHole-4-13-e-0_ext.xml csp/BH-4-13/normalized-BlackHole-4-13-e-1_ext.xml csp/BH-4-13/normalized-BlackHole-4-13-e-2_ext.xml csp/BH-4-13/normalized-BlackHole-4-13-e-3_ext.xml csp/BH-4-13/normalized-BlackHole-4-13-m-0_ext.xml csp/BH-4-13/normalized-BlackHole-4-13-m-1_ext.xml csp/BH-4-13/normalized-BlackHole-4-13-m-2_ext.xml # done ## 10 instances are selected out of 10: csp/BH-4-4/normalized-BlackHole-4-4-e-0_ext.xml csp/BH-4-4/normalized-BlackHole-4-4-e-1_ext.xml csp/BH-4-4/normalized-BlackHole-4-4-e-2_ext.xml csp/BH-4-4/normalized-BlackHole-4-4-e-3_ext.xml csp/BH-4-4/normalized-BlackHole-4-4-e-4_ext.xml csp/BH-4-4/normalized-BlackHole-4-4-e-5_ext.xml csp/BH-4-4/normalized-BlackHole-4-4-e-6_ext.xml csp/BH-4-4/normalized-BlackHole-4-4-e-7_ext.xml csp/BH-4-4/normalized-BlackHole-4-4-e-8_ext.xml csp/BH-4-4/normalized-BlackHole-4-4-e-9_ext.xml # done ## 10 instances are selected out of 20: csp/BH-4-7/normalized-BlackHole-4-7-e-0_ext.xml csp/BH-4-7/normalized-BlackHole-4-7-e-4_ext.xml csp/BH-4-7/normalized-BlackHole-4-7-e-7_ext.xml csp/BH-4-7/normalized-BlackHole-4-7-e-8_ext.xml csp/BH-4-7/normalized-BlackHole-4-7-e-9_ext.xml csp/BH-4-7/normalized-BlackHole-4-7-h-1_ext.xml csp/BH-4-7/normalized-BlackHole-4-7-h-3_ext.xml csp/BH-4-7/normalized-BlackHole-4-7-h-5_ext.xml csp/BH-4-7/normalized-BlackHole-4-7-h-8_ext.xml csp/BH-4-7/normalized-BlackHole-4-7-h-9_ext.xml # done ## 2 instances are selected out of 2: csp/bmc/normalized-bmc-ibm-07-08.xml csp/bmc/normalized-bmc-ibm-07-16.xml # done ## 10 instances are selected out of 40: csp/Cabinet/normalized-cabinet-5561.xml csp/Cabinet/normalized-cabinet-5563.xml csp/Cabinet/normalized-cabinet-5565.xml csp/Cabinet/normalized-cabinet-5573.xml csp/Cabinet/normalized-cabinet-5580.xml csp/Cabinet/normalized-cabinet-5582.xml csp/Cabinet/normalized-cabinet-5583.xml csp/Cabinet/normalized-cabinet-5586.xml csp/Cabinet/normalized-cabinet-5592.xml csp/Cabinet/normalized-cabinet-5593.xml # done ## 8 instances are selected out of 8: csp/chessboardColoration/normalized-cc-12-12-2.xml csp/chessboardColoration/normalized-cc-15-15-2.xml csp/chessboardColoration/normalized-cc-20-20-2.xml csp/chessboardColoration/normalized-cc-5-5-2.xml csp/chessboardColoration/normalized-cc-6-6-2.xml csp/chessboardColoration/normalized-cc-7-7-2.xml csp/chessboardColoration/normalized-cc-8-8-2.xml csp/chessboardColoration/normalized-cc-9-9-2.xml # done ## 2 instances are selected out of 2: csp/cjss/normalized-ft06x2-54.xml csp/cjss/normalized-ft06x3-54.xml # done ## 10 instances are selected out of 16: csp/coloring/normalized-dsjc-125-1-4-ext.xml csp/coloring/normalized-geom-30a-4-ext.xml csp/coloring/normalized-geom-40-2-ext.xml csp/coloring/normalized-geom-40-3-ext.xml csp/coloring/normalized-geom-40-4-ext.xml csp/coloring/normalized-le-450-5a-3-ext.xml csp/coloring/normalized-le-450-5a-4-ext.xml csp/coloring/normalized-myciel-5g-4-ext.xml csp/coloring/normalized-myciel-5g-5-ext.xml csp/coloring/normalized-queens-5-5-4-ext.xml # done ## 3 instances are selected out of 5: csp/composed-25-1-25/normalized-composed-25-1-25-3_ext.xml csp/composed-25-1-25/normalized-composed-25-1-25-6_ext.xml csp/composed-25-1-25/normalized-composed-25-1-25-8_ext.xml # done ## 3 instances are selected out of 5: csp/composed-25-1-2/normalized-composed-25-1-2-6_ext.xml csp/composed-25-1-2/normalized-composed-25-1-2-7_ext.xml csp/composed-25-1-2/normalized-composed-25-1-2-8_ext.xml # done ## 3 instances are selected out of 5: csp/composed-25-1-40/normalized-composed-25-1-40-0_ext.xml csp/composed-25-1-40/normalized-composed-25-1-40-4_ext.xml csp/composed-25-1-40/normalized-composed-25-1-40-5_ext.xml # done ## 3 instances are selected out of 5: csp/composed-25-1-80/normalized-composed-25-1-80-2_ext.xml csp/composed-25-1-80/normalized-composed-25-1-80-8_ext.xml csp/composed-25-1-80/normalized-composed-25-1-80-9_ext.xml # done ## 3 instances are selected out of 5: csp/composed-75-1-25/normalized-composed-75-1-25-4_ext.xml csp/composed-75-1-25/normalized-composed-75-1-25-6_ext.xml csp/composed-75-1-25/normalized-composed-75-1-25-9_ext.xml # done ## 3 instances are selected out of 5: csp/composed-75-1-2/normalized-composed-75-1-2-0_ext.xml csp/composed-75-1-2/normalized-composed-75-1-2-2_ext.xml csp/composed-75-1-2/normalized-composed-75-1-2-7_ext.xml # done ## 3 instances are selected out of 5: csp/composed-75-1-40/normalized-composed-75-1-40-2_ext.xml csp/composed-75-1-40/normalized-composed-75-1-40-5_ext.xml csp/composed-75-1-40/normalized-composed-75-1-40-9_ext.xml # done ## 3 instances are selected out of 5: csp/composed-75-1-80/normalized-composed-75-1-80-1_ext.xml csp/composed-75-1-80/normalized-composed-75-1-80-8_ext.xml csp/composed-75-1-80/normalized-composed-75-1-80-9_ext.xml # done ## 15 instances are selected out of 15: csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-11.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-12.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-13.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-14.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-15.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-17.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-19.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-21.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-22.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-25.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-3.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-5.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-6.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-7.xml csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-9.xml # done ## 13 instances are selected out of 13: csp/dubois/normalized-dubois-100_ext.xml csp/dubois/normalized-dubois-20_ext.xml csp/dubois/normalized-dubois-21_ext.xml csp/dubois/normalized-dubois-22_ext.xml csp/dubois/normalized-dubois-23_ext.xml csp/dubois/normalized-dubois-24_ext.xml csp/dubois/normalized-dubois-25_ext.xml csp/dubois/normalized-dubois-26_ext.xml csp/dubois/normalized-dubois-27_ext.xml csp/dubois/normalized-dubois-28_ext.xml csp/dubois/normalized-dubois-29_ext.xml csp/dubois/normalized-dubois-30_ext.xml csp/dubois/normalized-dubois-50_ext.xml # done ## 5 instances are selected out of 5: csp/ehi-85/normalized-ehi-85-297-27_ext.xml csp/ehi-85/normalized-ehi-85-297-30_ext.xml csp/ehi-85/normalized-ehi-85-297-55_ext.xml csp/ehi-85/normalized-ehi-85-297-78_ext.xml csp/ehi-85/normalized-ehi-85-297-96_ext.xml # done ## 5 instances are selected out of 5: csp/ehi-90/normalized-ehi-90-315-51_ext.xml csp/ehi-90/normalized-ehi-90-315-54_ext.xml csp/ehi-90/normalized-ehi-90-315-65_ext.xml csp/ehi-90/normalized-ehi-90-315-71_ext.xml csp/ehi-90/normalized-ehi-90-315-95_ext.xml # done ## 1 instances are selected out of 1: csp/fapp/fapp01/normalized-fapp01-0200-2.xml # done ## 1 instances are selected out of 1: csp/fapp/fapp02/normalized-fapp02-0250-0.xml # done ## 2 instances are selected out of 2: csp/fapp/fapp03/normalized-fapp03-0300-0.xml csp/fapp/fapp03/normalized-fapp03-0300-4.xml # done ## 1 instances are selected out of 1: csp/fapp/fapp04/normalized-fapp04-0300-0.xml # done ## 2 instances are selected out of 3: csp/fapp/fapp05/normalized-fapp05-0350-1.xml csp/fapp/fapp05/normalized-fapp05-0350-6.xml # done ## 2 instances are selected out of 2: csp/fapp/fapp06/normalized-fapp06-0500-0.xml csp/fapp/fapp06/normalized-fapp06-0500-4.xml # done ## 2 instances are selected out of 3: csp/fapp/fapp07/normalized-fapp07-0600-6.xml csp/fapp/fapp07/normalized-fapp07-0600-7.xml # done ## 2 instances are selected out of 2: csp/fapp/fapp08/normalized-fapp08-0700-0.xml csp/fapp/fapp08/normalized-fapp08-0700-4.xml # done ## 1 instances are selected out of 1: csp/fapp/fapp09/normalized-fapp09-0800-0.xml # done ## 1 instances are selected out of 1: csp/fapp/fapp10/normalized-fapp10-0900-0.xml # done ## 2 instances are selected out of 3: csp/fapp/fapp11/normalized-fapp11-1000-1.xml csp/fapp/fapp11/normalized-fapp11-1000-6.xml # done ## 1 instances are selected out of 1: csp/fapp/fapp12/normalized-fapp12-1500-0.xml # done ## 2 instances are selected out of 2: csp/fapp/fapp14/normalized-fapp14-2500-0.xml csp/fapp/fapp14/normalized-fapp14-2500-2.xml # done ## 2 instances are selected out of 2: csp/fapp/fapp15/normalized-fapp15-3000-0.xml csp/fapp/fapp15/normalized-fapp15-3000-2.xml # done ## 2 instances are selected out of 3: csp/fapp/fapp16/normalized-fapp16-0260-10.xml csp/fapp/fapp16/normalized-fapp16-0260-8.xml # done ## 2 instances are selected out of 2: csp/fapp/fapp17/normalized-fapp17-0300-0.xml csp/fapp/fapp17/normalized-fapp17-0300-1.xml # done ## 2 instances are selected out of 3: csp/fapp/fapp18/normalized-fapp18-0350-4.xml csp/fapp/fapp18/normalized-fapp18-0350-6.xml # done ## 2 instances are selected out of 3: csp/fapp/fapp19/normalized-fapp19-0350-2.xml csp/fapp/fapp19/normalized-fapp19-0350-5.xml # done ## 2 instances are selected out of 3: csp/fapp/fapp20/normalized-fapp20-0420-2.xml csp/fapp/fapp20/normalized-fapp20-0420-5.xml # done ## 2 instances are selected out of 2: csp/fapp/fapp22/normalized-fapp22-1750-0.xml csp/fapp/fapp22/normalized-fapp22-1750-6.xml # done ## 1 instances are selected out of 2: csp/fapp/fapp23/normalized-fapp23-1800-4.xml # done ## 1 instances are selected out of 2: csp/fapp/fapp24/normalized-fapp24-2000-1.xml # done ## 1 instances are selected out of 2: csp/fapp/fapp25/normalized-fapp25-2230-2.xml # done ## 1 instances are selected out of 1: csp/fapp/fapp26/normalized-fapp26-2300-4.xml # done ## 1 instances are selected out of 1: csp/fapp/fapp27/normalized-fapp27-2550-3.xml # done ## 1 instances are selected out of 2: csp/fapp/fapp29/normalized-fapp29-2900-3.xml # done ## 1 instances are selected out of 2: csp/fapp/fapp30/normalized-fapp30-3000-1.xml # done ## 1 instances are selected out of 2: csp/fapp/fapp32/normalized-fapp32-0550-1.xml # done ## 1 instances are selected out of 2: csp/fapp/fapp33/normalized-fapp33-0650-3.xml # done ## 1 instances are selected out of 1: csp/fapp/fapp34/normalized-fapp34-0750-0.xml # done ## 1 instances are selected out of 2: csp/fapp/fapp35/normalized-fapp35-1500-3.xml # done ## 1 instances are selected out of 2: csp/fapp/fapp36/normalized-fapp36-2000-3.xml # done ## 1 instances are selected out of 2: csp/fapp/fapp37/normalized-fapp37-2250-2.xml # done ## 1 instances are selected out of 2: csp/fapp/fapp40/normalized-fapp40-3000-2.xml # done ## 17 instances are selected out of 17: csp/fischer/normalized-fischer-10-3-fair.xml csp/fischer/normalized-fischer-10-4-fair.xml csp/fischer/normalized-fischer-1-3-fair.xml csp/fischer/normalized-fischer-3-7-fair.xml csp/fischer/normalized-fischer-4-3-fair.xml csp/fischer/normalized-fischer-4-5-fair.xml csp/fischer/normalized-fischer-4-7-fair.xml csp/fischer/normalized-fischer-5-7-fair.xml csp/fischer/normalized-fischer-6-4-fair.xml csp/fischer/normalized-fischer-6-5-fair.xml csp/fischer/normalized-fischer-6-7-fair.xml csp/fischer/normalized-fischer-7-3-fair.xml csp/fischer/normalized-fischer-7-4-fair.xml csp/fischer/normalized-fischer-8-3-fair.xml csp/fischer/normalized-fischer-9-2-fair.xml csp/fischer/normalized-fischer-9-4-fair.xml csp/fischer/normalized-fischer-9-6-fair.xml # done ## 1 instances are selected out of 1: csp/geom/normalized-geo50-20-d4-75-94_ext.xml # done ## 8 instances are selected out of 8: csp/golombRulerArity3/normalized-ruler-17-7-a3.xml csp/golombRulerArity3/normalized-ruler-25-8-a3.xml csp/golombRulerArity3/normalized-ruler-34-9-a3.xml csp/golombRulerArity3/normalized-ruler-44-10-a3.xml csp/golombRulerArity3/normalized-ruler-55-11-a3.xml csp/golombRulerArity3/normalized-ruler-67-12-a3.xml csp/golombRulerArity3/normalized-ruler-70-12-a3.xml csp/golombRulerArity3/normalized-ruler-70-13-a3.xml # done ## 5 instances are selected out of 5: csp/golombRulerArity4/normalized-ruler-17-7-a4.xml csp/golombRulerArity4/normalized-ruler-25-8-a4.xml csp/golombRulerArity4/normalized-ruler-34-9-a4.xml csp/golombRulerArity4/normalized-ruler-44-10-a4.xml csp/golombRulerArity4/normalized-ruler-55-11-a4.xml # done ## 5 instances are selected out of 5: csp/graphColoring/hos/normalized-abb313GPIA-5.xml csp/graphColoring/hos/normalized-ash331GPIA-3.xml csp/graphColoring/hos/normalized-ash608GPIA-3.xml csp/graphColoring/hos/normalized-ash958GPIA-3.xml csp/graphColoring/hos/normalized-will199GPIA-6.xml # done ## 5 instances are selected out of 11: csp/graphColoring/insertion/full-insertion/normalized-1-fullins-3-3.xml csp/graphColoring/insertion/full-insertion/normalized-1-fullins-5-5.xml csp/graphColoring/insertion/full-insertion/normalized-2-fullins-3-4.xml csp/graphColoring/insertion/full-insertion/normalized-4-fullins-4-7.xml csp/graphColoring/insertion/full-insertion/normalized-5-fullins-3-6.xml # done ## 5 instances are selected out of 5: csp/graphColoring/insertion/k-insertion/normalized-1-insertions-4-3.xml csp/graphColoring/insertion/k-insertion/normalized-2-insertions-3-3.xml csp/graphColoring/insertion/k-insertion/normalized-3-insertions-4-3.xml csp/graphColoring/insertion/k-insertion/normalized-3-insertions-5-3.xml csp/graphColoring/insertion/k-insertion/normalized-4-insertions-4-3.xml # done ## 5 instances are selected out of 12: csp/graphColoring/leighton/leighton-15/normalized-lei450-15b-08.xml csp/graphColoring/leighton/leighton-15/normalized-lei450-15b-10.xml csp/graphColoring/leighton/leighton-15/normalized-lei450-15c-13.xml csp/graphColoring/leighton/leighton-15/normalized-lei450-15d-05.xml csp/graphColoring/leighton/leighton-15/normalized-lei450-15d-08.xml # done ## 5 instances are selected out of 7: csp/graphColoring/leighton/leighton-25/normalized-lei450-25a-15.xml csp/graphColoring/leighton/leighton-25/normalized-lei450-25a-23.xml csp/graphColoring/leighton/leighton-25/normalized-lei450-25b-15.xml csp/graphColoring/leighton/leighton-25/normalized-lei450-25b-24.xml csp/graphColoring/leighton/leighton-25/normalized-lei450-25c-05.xml # done ## 1 instances are selected out of 1: csp/graphColoring/leighton/leighton-5/normalized-lei450-05a-04.xml # done ## 4 instances are selected out of 4: csp/graphColoring/mug/normalized-mug100-1-3.xml csp/graphColoring/mug/normalized-mug100-25-3.xml csp/graphColoring/mug/normalized-mug88-1-3.xml csp/graphColoring/mug/normalized-mug88-25-3.xml # done ## 5 instances are selected out of 8: csp/graphColoring/myciel/normalized-myciel4-4.xml csp/graphColoring/myciel/normalized-myciel5-4.xml csp/graphColoring/myciel/normalized-myciel5-5.xml csp/graphColoring/myciel/normalized-myciel7-4.xml csp/graphColoring/myciel/normalized-myciel7-5.xml # done ## 5 instances are selected out of 5: csp/graphColoring/register/fpsol/normalized-fpsol2-i-1-55.xml csp/graphColoring/register/fpsol/normalized-fpsol2-i-2-10.xml csp/graphColoring/register/fpsol/normalized-fpsol2-i-2-15.xml csp/graphColoring/register/fpsol/normalized-fpsol2-i-2-27.xml csp/graphColoring/register/fpsol/normalized-fpsol2-i-3-27.xml # done ## 5 instances are selected out of 7: csp/graphColoring/register/inithx/normalized-inithx-i-1-10.xml csp/graphColoring/register/inithx/normalized-inithx-i-1-45.xml csp/graphColoring/register/inithx/normalized-inithx-i-2-15.xml csp/graphColoring/register/inithx/normalized-inithx-i-2-20.xml csp/graphColoring/register/inithx/normalized-inithx-i-3-28.xml # done ## 5 instances are selected out of 8: csp/graphColoring/register/mulsol/normalized-mulsol-i-1-05.xml csp/graphColoring/register/mulsol/normalized-mulsol-i-1-25.xml csp/graphColoring/register/mulsol/normalized-mulsol-i-2-05.xml csp/graphColoring/register/mulsol/normalized-mulsol-i-2-20.xml csp/graphColoring/register/mulsol/normalized-mulsol-i-5-10.xml # done ## 2 instances are selected out of 2: csp/graphColoring/register/zeroin/normalized-zeroin-i-1-45.xml csp/graphColoring/register/zeroin/normalized-zeroin-i-2-28.xml # done ## 3 instances are selected out of 3: csp/graphColoring/school/normalized-school1-13.xml csp/graphColoring/school/normalized-school1-nsh-12.xml csp/graphColoring/school/normalized-school1-nsh-13.xml # done ## 5 instances are selected out of 7: csp/graphColoring/sgb/book/normalized-anna-9.xml csp/graphColoring/sgb/book/normalized-david-5.xml csp/graphColoring/sgb/book/normalized-homer-12.xml csp/graphColoring/sgb/book/normalized-huck-10.xml csp/graphColoring/sgb/book/normalized-jean-5.xml # done ## 1 instances are selected out of 1: csp/graphColoring/sgb/games/normalized-games120-8.xml # done ## 5 instances are selected out of 9: csp/graphColoring/sgb/miles/normalized-miles1500-30.xml csp/graphColoring/sgb/miles/normalized-miles500-10.xml csp/graphColoring/sgb/miles/normalized-miles500-15.xml csp/graphColoring/sgb/miles/normalized-miles750-15.xml csp/graphColoring/sgb/miles/normalized-miles750-29.xml # done ## 2 instances are selected out of 2: csp/graphColoring/sgb/queen/normalized-queen12-12-11.xml csp/graphColoring/sgb/queen/normalized-queen8-12-10.xml # done ## 13 instances are selected out of 13: csp/haystacks/normalized-haystacks-05.xml csp/haystacks/normalized-haystacks-08.xml csp/haystacks/normalized-haystacks-10.xml csp/haystacks/normalized-haystacks-11.xml csp/haystacks/normalized-haystacks-12.xml csp/haystacks/normalized-haystacks-15.xml csp/haystacks/normalized-haystacks-16.xml csp/haystacks/normalized-haystacks-20.xml csp/haystacks/normalized-haystacks-29.xml csp/haystacks/normalized-haystacks-30.xml csp/haystacks/normalized-haystacks-35.xml csp/haystacks/normalized-haystacks-36.xml csp/haystacks/normalized-haystacks-43.xml # done ## 15 instances are selected out of 32: csp/jnhUnsat/normalized-jnh02_ext.xml csp/jnhUnsat/normalized-jnh04_ext.xml csp/jnhUnsat/normalized-jnh06_ext.xml csp/jnhUnsat/normalized-jnh14_ext.xml csp/jnhUnsat/normalized-jnh19_ext.xml csp/jnhUnsat/normalized-jnh203_ext.xml csp/jnhUnsat/normalized-jnh206_ext.xml csp/jnhUnsat/normalized-jnh211_ext.xml csp/jnhUnsat/normalized-jnh214_ext.xml csp/jnhUnsat/normalized-jnh216_ext.xml csp/jnhUnsat/normalized-jnh219_ext.xml csp/jnhUnsat/normalized-jnh302_ext.xml csp/jnhUnsat/normalized-jnh303_ext.xml csp/jnhUnsat/normalized-jnh309_ext.xml csp/jnhUnsat/normalized-jnh310_ext.xml # done ## 2 instances are selected out of 2: csp/js-taillard-15/normalized-js-taillard-15-95-2.xml csp/js-taillard-15/normalized-js-taillard-15-95-4.xml # done ## 1 instances are selected out of 1: csp/js-taillard-20/normalized-js-taillard-20-95-7.xml # done ## 7 instances are selected out of 7: csp/knights/normalized-knights-12-5.xml csp/knights/normalized-knights-12-9.xml csp/knights/normalized-knights-15-9.xml csp/knights/normalized-knights-25-5.xml csp/knights/normalized-knights-25-9.xml csp/knights/normalized-knights-50-9.xml csp/knights/normalized-knights-8-5.xml # done ## 3 instances are selected out of 3: csp/langford2/normalized-langford-2-10.xml csp/langford2/normalized-langford-2-2.xml csp/langford2/normalized-langford-2-5.xml # done ## 7 instances are selected out of 7: csp/langford3/normalized-langford-3-11.xml csp/langford3/normalized-langford-3-12.xml csp/langford3/normalized-langford-3-13.xml csp/langford3/normalized-langford-3-2.xml csp/langford3/normalized-langford-3-3.xml csp/langford3/normalized-langford-3-5.xml csp/langford3/normalized-langford-3-6.xml # done ## 9 instances are selected out of 9: csp/langford4/normalized-langford-4-11.xml csp/langford4/normalized-langford-4-12.xml csp/langford4/normalized-langford-4-14.xml csp/langford4/normalized-langford-4-2.xml csp/langford4/normalized-langford-4-3.xml csp/langford4/normalized-langford-4-4.xml csp/langford4/normalized-langford-4-5.xml csp/langford4/normalized-langford-4-8.xml csp/langford4/normalized-langford-4-9.xml # done ## 2 instances are selected out of 2: csp/langford/normalized-langford-3-11-ext.xml csp/langford/normalized-slangford-3-11-ext.xml # done ## 7 instances are selected out of 7: csp/latinSquare/normalized-latinSquare-dg-10_all.xml csp/latinSquare/normalized-latinSquare-dg-12_all.xml csp/latinSquare/normalized-latinSquare-dg-3_all.xml csp/latinSquare/normalized-latinSquare-dg-4_all.xml csp/latinSquare/normalized-latinSquare-dg-6_all.xml csp/latinSquare/normalized-latinSquare-dg-8_all.xml csp/latinSquare/normalized-latinSquare-dg-9_all.xml # done ## 1 instances are selected out of 1: csp/lexHerald/normalized-crossword-m1-lex-15-04.xml # done ## 15 instances are selected out of 34: csp/lexVg/normalized-crossword-m1c-lex-vg10-11_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg11-15_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg12-14_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg13-15_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg13-16_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg15-18_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg16-20_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg5-7_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg5-9_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg6-10_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg6-8_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg7-10_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg9-10_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg9-12_ext.xml csp/lexVg/normalized-crossword-m1c-lex-vg9-9_ext.xml # done ## 5 instances are selected out of 5: csp/marc/normalized-large-80-unsat_ext.xml csp/marc/normalized-large-84-unsat_ext.xml csp/marc/normalized-large-88-unsat_ext.xml csp/marc/normalized-large-92-unsat_ext.xml csp/marc/normalized-large-96-unsat_ext.xml # done ## 17 instances are selected out of 27: csp/modifiedRenault/normalized-renault-mod-10_ext.xml csp/modifiedRenault/normalized-renault-mod-12_ext.xml csp/modifiedRenault/normalized-renault-mod-14_ext.xml csp/modifiedRenault/normalized-renault-mod-16_ext.xml csp/modifiedRenault/normalized-renault-mod-17_ext.xml csp/modifiedRenault/normalized-renault-mod-18_ext.xml csp/modifiedRenault/normalized-renault-mod-1_ext.xml csp/modifiedRenault/normalized-renault-mod-20_ext.xml csp/modifiedRenault/normalized-renault-mod-21_ext.xml csp/modifiedRenault/normalized-renault-mod-22_ext.xml csp/modifiedRenault/normalized-renault-mod-23_ext.xml csp/modifiedRenault/normalized-renault-mod-27_ext.xml csp/modifiedRenault/normalized-renault-mod-35_ext.xml csp/modifiedRenault/normalized-renault-mod-37_ext.xml csp/modifiedRenault/normalized-renault-mod-3_ext.xml csp/modifiedRenault/normalized-renault-mod-40_ext.xml csp/modifiedRenault/normalized-renault-mod-42_ext.xml # done ## 2 instances are selected out of 2: csp/nengfa/normalized-block.xml csp/nengfa/normalized-color.xml # done ## 11 instances are selected out of 11: csp/ogdVg/normalized-crossword-m1c-ogd-vg12-15_ext.xml csp/ogdVg/normalized-crossword-m1c-ogd-vg13-14_ext.xml csp/ogdVg/normalized-crossword-m1c-ogd-vg13-15_ext.xml csp/ogdVg/normalized-crossword-m1c-ogd-vg13-16_ext.xml csp/ogdVg/normalized-crossword-m1c-ogd-vg14-15_ext.xml csp/ogdVg/normalized-crossword-m1c-ogd-vg14-17_ext.xml csp/ogdVg/normalized-crossword-m1c-ogd-vg15-16_ext.xml csp/ogdVg/normalized-crossword-m1c-ogd-vg15-19_ext.xml csp/ogdVg/normalized-crossword-m1c-ogd-vg16-16_ext.xml csp/ogdVg/normalized-crossword-m1c-ogd-vg16-18_ext.xml csp/ogdVg/normalized-crossword-m1c-ogd-vg16-20_ext.xml # done ## 1 instances are selected out of 1: csp/ortholatin/normalized-ortholatin-2.xml # done ## 10 instances are selected out of 10: csp/os-gp/normalized-gp10-01-1092.xml csp/os-gp/normalized-gp10-02-1096.xml csp/os-gp/normalized-gp10-03-1080.xml csp/os-gp/normalized-gp10-04-1076.xml csp/os-gp/normalized-gp10-05-1070.xml csp/os-gp/normalized-gp10-06-1070.xml csp/os-gp/normalized-gp10-07-1078.xml csp/os-gp/normalized-gp10-08-1092.xml csp/os-gp/normalized-gp10-09-1111.xml csp/os-gp/normalized-gp10-10-1091.xml # done ## 3 instances are selected out of 3: csp/os-taillard-10/normalized-os-taillard-10-95-1.xml csp/os-taillard-10/normalized-os-taillard-10-95-3.xml csp/os-taillard-10/normalized-os-taillard-10-95-8.xml # done ## 2 instances are selected out of 2: csp/os-taillard-15/normalized-os-taillard-15-95-2.xml csp/os-taillard-15/normalized-os-taillard-15-95-9.xml # done ## 3 instances are selected out of 3: csp/os-taillard-20/normalized-os-taillard-20-95-0.xml csp/os-taillard-20/normalized-os-taillard-20-95-2.xml csp/os-taillard-20/normalized-os-taillard-20-95-6.xml # done ## 3 instances are selected out of 3: csp/os-taillard-4/normalized-os-taillard-4-95-4.xml csp/os-taillard-4/normalized-os-taillard-4-95-5.xml csp/os-taillard-4/normalized-os-taillard-4-95-8.xml # done ## 3 instances are selected out of 3: csp/os-taillard-5/normalized-os-taillard-5-95-5.xml csp/os-taillard-5/normalized-os-taillard-5-95-8.xml csp/os-taillard-5/normalized-os-taillard-5-95-9.xml # done ## 4 instances are selected out of 4: csp/os-taillard-7/normalized-os-taillard-7-95-4.xml csp/os-taillard-7/normalized-os-taillard-7-95-7.xml csp/os-taillard-7/normalized-os-taillard-7-95-8.xml csp/os-taillard-7/normalized-os-taillard-7-95-9.xml # done ## 15 instances are selected out of 19: csp/pigeons_glb/normalized-pigeons-10_ext.xml csp/pigeons_glb/normalized-pigeons-11_ext.xml csp/pigeons_glb/normalized-pigeons-12_ext.xml csp/pigeons_glb/normalized-pigeons-14_ext.xml csp/pigeons_glb/normalized-pigeons-15_ext.xml csp/pigeons_glb/normalized-pigeons-18_ext.xml csp/pigeons_glb/normalized-pigeons-25_ext.xml csp/pigeons_glb/normalized-pigeons-30_ext.xml csp/pigeons_glb/normalized-pigeons-40_ext.xml csp/pigeons_glb/normalized-pigeons-50_ext.xml csp/pigeons_glb/normalized-pigeons-5_ext.xml csp/pigeons_glb/normalized-pigeons-6_ext.xml csp/pigeons_glb/normalized-pigeons-7_ext.xml csp/pigeons_glb/normalized-pigeons-8_ext.xml csp/pigeons_glb/normalized-pigeons-9_ext.xml # done ## 10 instances are selected out of 12: csp/pigeons/normalized-pigeons-11.xml csp/pigeons/normalized-pigeons-13.xml csp/pigeons/normalized-pigeons-14.xml csp/pigeons/normalized-pigeons-16.xml csp/pigeons/normalized-pigeons-30-ord.xml csp/pigeons/normalized-pigeons-30.xml csp/pigeons/normalized-pigeons-35.xml csp/pigeons/normalized-pigeons-40.xml csp/pigeons/normalized-pigeons-50.xml csp/pigeons/normalized-pigeons-8.xml # done ## 8 instances are selected out of 8: csp/pret/normalized-pret-150-25_ext.xml csp/pret/normalized-pret-150-40_ext.xml csp/pret/normalized-pret-150-60_ext.xml csp/pret/normalized-pret-150-75_ext.xml csp/pret/normalized-pret-60-25_ext.xml csp/pret/normalized-pret-60-40_ext.xml csp/pret/normalized-pret-60-60_ext.xml csp/pret/normalized-pret-60-75_ext.xml # done ## 11 instances are selected out of 11: csp/pseudo/chnl/normalized-chnl-10-11.xml csp/pseudo/chnl/normalized-chnl-10-15.xml csp/pseudo/chnl/normalized-chnl-15-16.xml csp/pseudo/chnl/normalized-chnl-15-20.xml csp/pseudo/chnl/normalized-chnl-20-21.xml csp/pseudo/chnl/normalized-chnl-20-30.xml csp/pseudo/chnl/normalized-chnl-30-31.xml csp/pseudo/chnl/normalized-chnl-30-35.xml csp/pseudo/chnl/normalized-chnl-30-40.xml csp/pseudo/chnl/normalized-chnl-35-40.xml csp/pseudo/chnl/normalized-chnl-35-45.xml # done ## 10 instances are selected out of 52: csp/pseudoGLB/normalized-elf-rf7-ucl.xml csp/pseudoGLB/normalized-ooo-rf8-ucl.xml csp/pseudoGLB/normalized-t2001-13queen13-1110973670.xml csp/pseudoGLB/normalized-t2001-13queen13-1111219348.xml csp/pseudoGLB/normalized-t2001-13queen13-1111225605.xml csp/pseudoGLB/normalized-t3002-11tsp11-1900553812.xml csp/pseudoGLB/normalized-t3002-11tsp11-1900557362.xml csp/pseudoGLB/normalized-t3002-11tsp11-1900558739.xml csp/pseudoGLB/normalized-t3002-11tsp11-1900563801.xml csp/pseudoGLB/normalized-t3002-11tsp11-1900567135.xml # done ## 1 instances are selected out of 1: csp/pseudo/mps/normalized-mps-diamond.xml # done ## 5 instances are selected out of 5: csp/pseudo/mpsReduced/normalized-mps-red-bandm.xml csp/pseudo/mpsReduced/normalized-mps-red-blend.xml csp/pseudo/mpsReduced/normalized-mps-red-egout.xml csp/pseudo/mpsReduced/normalized-mps-red-sample2.xml csp/pseudo/mpsReduced/normalized-mps-red-share2b.xml # done ## 4 instances are selected out of 4: csp/pseudo/primesDimacs/normalized-bf-0432-007.xml csp/pseudo/primesDimacs/normalized-bf-1355-075.xml csp/pseudo/primesDimacs/normalized-bf-1355-638.xml csp/pseudo/primesDimacs/normalized-bf-2670-001.xml # done ## 4 instances are selected out of 4: csp/pseudo/ssa/normalized-ssa-0432-003.xml csp/pseudo/ssa/normalized-ssa-2670-130.xml csp/pseudo/ssa/normalized-ssa-2670-141.xml csp/pseudo/ssa/normalized-ssa-6288-047.xml # done ## 10 instances are selected out of 14: csp/pseudo/uclid/normalized-22s-smv.xml csp/pseudo/uclid/normalized-37s-smv.xml csp/pseudo/uclid/normalized-43s-smv.xml csp/pseudo/uclid/normalized-46s-smv.xml csp/pseudo/uclid/normalized-blast-floppy1-7.xml csp/pseudo/uclid/normalized-cache-ibm-q-unbounded-Icl2arity-ucl.xml csp/pseudo/uclid/normalized-elf-rf6.xml csp/pseudo/uclid/normalized-elf-rf8.xml csp/pseudo/uclid/normalized-ooo-burch-dill-4-accl.xml csp/pseudo/uclid/normalized-ooo-tag10.xml # done ## 5 instances are selected out of 5: csp/QCP-10/normalized-qcp-10-67-10_ext.xml csp/QCP-10/normalized-qcp-10-67-11_ext.xml csp/QCP-10/normalized-qcp-10-67-12_ext.xml csp/QCP-10/normalized-qcp-10-67-13_ext.xml csp/QCP-10/normalized-qcp-10-67-14_ext.xml # done ## 5 instances are selected out of 5: csp/QCP-15/normalized-qcp-15-120-10_ext.xml csp/QCP-15/normalized-qcp-15-120-11_ext.xml csp/QCP-15/normalized-qcp-15-120-12_ext.xml csp/QCP-15/normalized-qcp-15-120-13_ext.xml csp/QCP-15/normalized-qcp-15-120-14_ext.xml # done ## 5 instances are selected out of 5: csp/QCP-20/normalized-qcp-20-187-10_ext.xml csp/QCP-20/normalized-qcp-20-187-11_ext.xml csp/QCP-20/normalized-qcp-20-187-12_ext.xml csp/QCP-20/normalized-qcp-20-187-13_ext.xml csp/QCP-20/normalized-qcp-20-187-14_ext.xml # done ## 5 instances are selected out of 5: csp/QCP-25/normalized-qcp-25-264-10_ext.xml csp/QCP-25/normalized-qcp-25-264-11_ext.xml csp/QCP-25/normalized-qcp-25-264-12_ext.xml csp/QCP-25/normalized-qcp-25-264-13_ext.xml csp/QCP-25/normalized-qcp-25-264-14_ext.xml # done ## 3 instances are selected out of 3: csp/QG3/normalized-quasigroup3-5.xml csp/QG3/normalized-quasigroup3-6.xml csp/QG3/normalized-quasigroup3-7.xml # done ## 4 instances are selected out of 4: csp/QG4/normalized-quasigroup4-4.xml csp/QG4/normalized-quasigroup4-6.xml csp/QG4/normalized-quasigroup4-7.xml csp/QG4/normalized-quasigroup4-8.xml # done ## 3 instances are selected out of 3: csp/QG5/normalized-quasigroup5-4.xml csp/QG5/normalized-quasigroup5-6.xml csp/QG5/normalized-quasigroup5-9.xml # done ## 3 instances are selected out of 3: csp/QG6/normalized-quasigroup6-5.xml csp/QG6/normalized-quasigroup6-6.xml csp/QG6/normalized-quasigroup6-7.xml # done ## 4 instances are selected out of 4: csp/QG7/normalized-quasigroup7-4.xml csp/QG7/normalized-quasigroup7-6.xml csp/QG7/normalized-quasigroup7-7.xml csp/QG7/normalized-quasigroup7-8.xml # done ## 2 instances are selected out of 2: csp/queenAttacking/normalized-queenAttacking-3.xml csp/queenAttacking/normalized-queenAttacking-4.xml # done ## 10 instances are selected out of 10: csp/queensKnights/normalized-queensKnights-100-5-add.xml csp/queensKnights/normalized-queensKnights-100-5-mul.xml csp/queensKnights/normalized-queensKnights-10-5-mul.xml csp/queensKnights/normalized-queensKnights-12-5-mul.xml csp/queensKnights/normalized-queensKnights-20-5-mul.xml csp/queensKnights/normalized-queensKnights-50-5-add.xml csp/queensKnights/normalized-queensKnights-80-5-add.xml csp/queensKnights/normalized-queensKnights-80-5-mul.xml csp/queensKnights/normalized-queensKnights-8-5-add.xml csp/queensKnights/normalized-queensKnights-8-5-mul.xml # done ## 9 instances are selected out of 9: csp/radar-8-24-3-2/normalized-radar-8-24-3-2-18.xml csp/radar-8-24-3-2/normalized-radar-8-24-3-2-19.xml csp/radar-8-24-3-2/normalized-radar-8-24-3-2-1.xml csp/radar-8-24-3-2/normalized-radar-8-24-3-2-2.xml csp/radar-8-24-3-2/normalized-radar-8-24-3-2-32.xml csp/radar-8-24-3-2/normalized-radar-8-24-3-2-41.xml csp/radar-8-24-3-2/normalized-radar-8-24-3-2-44.xml csp/radar-8-24-3-2/normalized-radar-8-24-3-2-47.xml csp/radar-8-24-3-2/normalized-radar-8-24-3-2-5.xml # done ## 13 instances are selected out of 13: csp/radar-9-28-4-2/normalized-radar-9-28-4-2-12.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-26.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-29.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-2.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-30.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-31.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-34.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-43.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-47.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-48.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-49.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-7.xml csp/radar-9-28-4-2/normalized-radar-9-28-4-2-9.xml # done ## 4 instances are selected out of 4: csp/ramsey3/normalized-ramsey-17-3.xml csp/ramsey3/normalized-ramsey-18-3.xml csp/ramsey3/normalized-ramsey-20-3.xml csp/ramsey3/normalized-ramsey-25-3.xml # done ## 10 instances are selected out of 20: csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-0_ext.xml csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-10_ext.xml csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-11_ext.xml csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-13_ext.xml csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-15_ext.xml csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-17_ext.xml csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-1_ext.xml csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-2_ext.xml csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-3_ext.xml csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-5_ext.xml # done ## 5 instances are selected out of 5: csp/rand-2-23/normalized-rand-23-23-253-131-46021_ext.xml csp/rand-2-23/normalized-rand-23-23-253-131-47021_ext.xml csp/rand-2-23/normalized-rand-23-23-253-131-51021_ext.xml csp/rand-2-23/normalized-rand-23-23-253-131-52021_ext.xml csp/rand-2-23/normalized-rand-23-23-253-131-55021_ext.xml # done ## 7 instances are selected out of 7: csp/rand-2-24/normalized-rand-24-24-276-139-49021_ext.xml csp/rand-2-24/normalized-rand-24-24-276-139-51021_ext.xml csp/rand-2-24/normalized-rand-24-24-276-139-52021_ext.xml csp/rand-2-24/normalized-rand-24-24-276-139-53021_ext.xml csp/rand-2-24/normalized-rand-24-24-276-139-54021_ext.xml csp/rand-2-24/normalized-rand-24-24-276-139-56021_ext.xml csp/rand-2-24/normalized-rand-24-24-276-139-57021_ext.xml # done ## 4 instances are selected out of 4: csp/rand-2-25/normalized-rand-25-25-300-147-50021_ext.xml csp/rand-2-25/normalized-rand-25-25-300-147-55021_ext.xml csp/rand-2-25/normalized-rand-25-25-300-147-57021_ext.xml csp/rand-2-25/normalized-rand-25-25-300-147-58021_ext.xml # done ## 5 instances are selected out of 5: csp/rand-2-26/normalized-rand-26-26-325-155-52021_ext.xml csp/rand-2-26/normalized-rand-26-26-325-155-56021_ext.xml csp/rand-2-26/normalized-rand-26-26-325-155-57021_ext.xml csp/rand-2-26/normalized-rand-26-26-325-155-58021_ext.xml csp/rand-2-26/normalized-rand-26-26-325-155-60021_ext.xml # done ## 6 instances are selected out of 6: csp/rand-2-30-15/normalized-rand-2-30-15-306-230-19_ext.xml csp/rand-2-30-15/normalized-rand-2-30-15-306-230-29_ext.xml csp/rand-2-30-15/normalized-rand-2-30-15-306-230-31_ext.xml csp/rand-2-30-15/normalized-rand-2-30-15-306-230-40_ext.xml csp/rand-2-30-15/normalized-rand-2-30-15-306-230-49_ext.xml csp/rand-2-30-15/normalized-rand-2-30-15-306-230-6_ext.xml # done ## 10 instances are selected out of 15: csp/rand-2-40-19/normalized-rand-2-40-19-443-230-11_ext.xml csp/rand-2-40-19/normalized-rand-2-40-19-443-230-19_ext.xml csp/rand-2-40-19/normalized-rand-2-40-19-443-230-24_ext.xml csp/rand-2-40-19/normalized-rand-2-40-19-443-230-25_ext.xml csp/rand-2-40-19/normalized-rand-2-40-19-443-230-28_ext.xml csp/rand-2-40-19/normalized-rand-2-40-19-443-230-29_ext.xml csp/rand-2-40-19/normalized-rand-2-40-19-443-230-30_ext.xml csp/rand-2-40-19/normalized-rand-2-40-19-443-230-32_ext.xml csp/rand-2-40-19/normalized-rand-2-40-19-443-230-41_ext.xml csp/rand-2-40-19/normalized-rand-2-40-19-443-230-43_ext.xml # done ## 10 instances are selected out of 12: csp/rand-3-20-20/normalized-rand-3-20-20-60-632-16_ext.xml csp/rand-3-20-20/normalized-rand-3-20-20-60-632-2_ext.xml csp/rand-3-20-20/normalized-rand-3-20-20-60-632-30_ext.xml csp/rand-3-20-20/normalized-rand-3-20-20-60-632-35_ext.xml csp/rand-3-20-20/normalized-rand-3-20-20-60-632-38_ext.xml csp/rand-3-20-20/normalized-rand-3-20-20-60-632-39_ext.xml csp/rand-3-20-20/normalized-rand-3-20-20-60-632-3_ext.xml csp/rand-3-20-20/normalized-rand-3-20-20-60-632-43_ext.xml csp/rand-3-20-20/normalized-rand-3-20-20-60-632-45_ext.xml csp/rand-3-20-20/normalized-rand-3-20-20-60-632-6_ext.xml # done ## 2 instances are selected out of 2: csp/rand-3-24-24/normalized-rand-3-24-24-76-632-22_ext.xml csp/rand-3-24-24/normalized-rand-3-24-24-76-632-4_ext.xml # done ## 1 instances are selected out of 1: csp/rcpsp/normalized-rcpsp20-05.xml # done ## 15 instances are selected out of 37: csp/rcpspTighter/normalized-rcpsptight20-03.xml csp/rcpspTighter/normalized-rcpsptight20-11.xml csp/rcpspTighter/normalized-rcpsptight20-12.xml csp/rcpspTighter/normalized-rcpsptight20-14.xml csp/rcpspTighter/normalized-rcpsptight20-15.xml csp/rcpspTighter/normalized-rcpsptight20-16.xml csp/rcpspTighter/normalized-rcpsptight20-19.xml csp/rcpspTighter/normalized-rcpsptight20-20.xml csp/rcpspTighter/normalized-rcpsptight25-21.xml csp/rcpspTighter/normalized-rcpsptight25-29.xml csp/rcpspTighter/normalized-rcpsptight25-31.xml csp/rcpspTighter/normalized-rcpsptight25-32.xml csp/rcpspTighter/normalized-rcpsptight25-35.xml csp/rcpspTighter/normalized-rcpsptight25-37.xml csp/rcpspTighter/normalized-rcpsptight25-38.xml # done ## 5 instances are selected out of 5: csp/rlfapGraphsMod/normalized-graph12-w1.xml csp/rlfapGraphsMod/normalized-graph13-w1.xml csp/rlfapGraphsMod/normalized-graph14-f28.xml csp/rlfapGraphsMod/normalized-graph8-f11.xml csp/rlfapGraphsMod/normalized-graph9-f10.xml # done ## 3 instances are selected out of 3: csp/rlfapGraphs/normalized-graph11.xml csp/rlfapGraphs/normalized-graph6.xml csp/rlfapGraphs/normalized-graph7.xml # done ## 11 instances are selected out of 11: csp/rlfapScens11/normalized-scen11-f10.xml csp/rlfapScens11/normalized-scen11-f12.xml csp/rlfapScens11/normalized-scen11-f1.xml csp/rlfapScens11/normalized-scen11-f2.xml csp/rlfapScens11/normalized-scen11-f3.xml csp/rlfapScens11/normalized-scen11-f4.xml csp/rlfapScens11/normalized-scen11-f5.xml csp/rlfapScens11/normalized-scen11-f6.xml csp/rlfapScens11/normalized-scen11-f7.xml csp/rlfapScens11/normalized-scen11-f8.xml csp/rlfapScens11/normalized-scen11-f9.xml # done ## 6 instances are selected out of 6: csp/rlfapScensMod/normalized-scen10-w1-f3.xml csp/rlfapScensMod/normalized-scen1-f9.xml csp/rlfapScensMod/normalized-scen2-f25.xml csp/rlfapScensMod/normalized-scen3-f11.xml csp/rlfapScensMod/normalized-scen6-w1-f2.xml csp/rlfapScensMod/normalized-scen9-w1-f3.xml # done ## 5 instances are selected out of 5: csp/rlfapScens/normalized-scen10.xml csp/rlfapScens/normalized-scen6.xml csp/rlfapScens/normalized-scen7.xml csp/rlfapScens/normalized-scen8.xml csp/rlfapScens/normalized-scen9.xml # done ## 7 instances are selected out of 7: csp/schurrLemma/normalized-lemma-100-9-mod.xml csp/schurrLemma/normalized-lemma-12-9-mod.xml csp/schurrLemma/normalized-lemma-15-9-mod.xml csp/schurrLemma/normalized-lemma-20-9-mod.xml csp/schurrLemma/normalized-lemma-24-3.xml csp/schurrLemma/normalized-lemma-30-9-mod.xml csp/schurrLemma/normalized-lemma-50-9-mod.xml # done ## 2 instances are selected out of 2: csp/ssa/normalized-ssa-0432-003_ext.xml csp/ssa/normalized-ssa-2670-130_ext.xml # done ## 9 instances are selected out of 9: csp/subs/normalized-scen06-sub0.xml csp/subs/normalized-scen06-sub1.xml csp/subs/normalized-scen06-sub2.xml csp/subs/normalized-scen06-sub3.xml csp/subs/normalized-scen06-sub4.xml csp/subs/normalized-scen07-sub1.xml csp/subs/normalized-scen07-sub2.xml csp/subs/normalized-scen07-sub3.xml csp/subs/normalized-scen07-sub4.xml # done ## 3 instances are selected out of 3: csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-22.xml csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-23.xml csp/super-js/super-js-taillard-15/normalized-super-js-taillard-15-30.xml # done ## 1 instances are selected out of 1: csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-24.xml # done ## 1 instances are selected out of 1: csp/super-os/super-os-taillard-10/normalized-super-os-taillard-10-24.xml # done ## 1 instances are selected out of 1: csp/super-os/super-os-taillard-15/normalized-super-os-taillard-15-27.xml # done ## 2 instances are selected out of 2: csp/super-os/super-os-taillard-20/normalized-super-os-taillard-20-27.xml csp/super-os/super-os-taillard-20/normalized-super-os-taillard-20-29.xml # done ## 2 instances are selected out of 2: csp/super-os/super-os-taillard-4/normalized-super-os-taillard-4-5.xml csp/super-os/super-os-taillard-4/normalized-super-os-taillard-4-8.xml # done ## 5 instances are selected out of 5: csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-1.xml csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-21.xml csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-4.xml csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-5.xml csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-7.xml # done ## 2 instances are selected out of 2: csp/super-os/super-os-taillard-7/normalized-super-os-taillard-7-2.xml csp/super-os/super-os-taillard-7/normalized-super-os-taillard-7-30.xml # done ## 10 instances are selected out of 10: csp/super-queens/normalized-super-queens-11.xml csp/super-queens/normalized-super-queens-13.xml csp/super-queens/normalized-super-queens-1.xml csp/super-queens/normalized-super-queens-2.xml csp/super-queens/normalized-super-queens-3.xml csp/super-queens/normalized-super-queens-4.xml csp/super-queens/normalized-super-queens-5.xml csp/super-queens/normalized-super-queens-6.xml csp/super-queens/normalized-super-queens-7.xml csp/super-queens/normalized-super-queens-8.xml # done ## 7 instances are selected out of 8: csp/tightness0.1/normalized-rand-2-40-8-753-100-64_ext.xml csp/tightness0.1/normalized-rand-2-40-8-753-100-6_ext.xml csp/tightness0.1/normalized-rand-2-40-8-753-100-72_ext.xml csp/tightness0.1/normalized-rand-2-40-8-753-100-78_ext.xml csp/tightness0.1/normalized-rand-2-40-8-753-100-82_ext.xml csp/tightness0.1/normalized-rand-2-40-8-753-100-83_ext.xml csp/tightness0.1/normalized-rand-2-40-8-753-100-94_ext.xml # done ## 2 instances are selected out of 2: csp/tightness0.2/normalized-rand-2-40-11-414-200-11_ext.xml csp/tightness0.2/normalized-rand-2-40-11-414-200-76_ext.xml # done ## 8 instances are selected out of 11: csp/tightness0.35/normalized-rand-2-40-16-250-350-10_ext.xml csp/tightness0.35/normalized-rand-2-40-16-250-350-11_ext.xml csp/tightness0.35/normalized-rand-2-40-16-250-350-27_ext.xml csp/tightness0.35/normalized-rand-2-40-16-250-350-40_ext.xml csp/tightness0.35/normalized-rand-2-40-16-250-350-53_ext.xml csp/tightness0.35/normalized-rand-2-40-16-250-350-7_ext.xml csp/tightness0.35/normalized-rand-2-40-16-250-350-90_ext.xml csp/tightness0.35/normalized-rand-2-40-16-250-350-95_ext.xml # done ## 7 instances are selected out of 7: csp/tightness0.5/normalized-rand-2-40-25-180-500-11_ext.xml csp/tightness0.5/normalized-rand-2-40-25-180-500-12_ext.xml csp/tightness0.5/normalized-rand-2-40-25-180-500-16_ext.xml csp/tightness0.5/normalized-rand-2-40-25-180-500-18_ext.xml csp/tightness0.5/normalized-rand-2-40-25-180-500-24_ext.xml csp/tightness0.5/normalized-rand-2-40-25-180-500-37_ext.xml csp/tightness0.5/normalized-rand-2-40-25-180-500-93_ext.xml # done ## 5 instances are selected out of 5: csp/tightness0.65/normalized-rand-2-40-40-135-650-13_ext.xml csp/tightness0.65/normalized-rand-2-40-40-135-650-14_ext.xml csp/tightness0.65/normalized-rand-2-40-40-135-650-37_ext.xml csp/tightness0.65/normalized-rand-2-40-40-135-650-66_ext.xml csp/tightness0.65/normalized-rand-2-40-40-135-650-79_ext.xml # done ## 8 instances are selected out of 13: csp/tightness0.8/normalized-rand-2-40-80-103-800-25_ext.xml csp/tightness0.8/normalized-rand-2-40-80-103-800-29_ext.xml csp/tightness0.8/normalized-rand-2-40-80-103-800-3_ext.xml csp/tightness0.8/normalized-rand-2-40-80-103-800-40_ext.xml csp/tightness0.8/normalized-rand-2-40-80-103-800-53_ext.xml csp/tightness0.8/normalized-rand-2-40-80-103-800-64_ext.xml csp/tightness0.8/normalized-rand-2-40-80-103-800-78_ext.xml csp/tightness0.8/normalized-rand-2-40-80-103-800-94_ext.xml # done ## 8 instances are selected out of 17: csp/tightness0.9/normalized-rand-2-40-180-84-900-11_ext.xml csp/tightness0.9/normalized-rand-2-40-180-84-900-27_ext.xml csp/tightness0.9/normalized-rand-2-40-180-84-900-29_ext.xml csp/tightness0.9/normalized-rand-2-40-180-84-900-40_ext.xml csp/tightness0.9/normalized-rand-2-40-180-84-900-43_ext.xml csp/tightness0.9/normalized-rand-2-40-180-84-900-45_ext.xml csp/tightness0.9/normalized-rand-2-40-180-84-900-4_ext.xml csp/tightness0.9/normalized-rand-2-40-180-84-900-76_ext.xml # done ## 14 instances are selected out of 14: csp/ukVg/normalized-crossword-m1c-uk-vg11-15_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg12-16_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg13-17_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg14-14_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg14-15_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg14-17_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg14-18_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg15-17_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg15-18_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg15-19_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg16-16_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg16-17_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg16-18_ext.xml csp/ukVg/normalized-crossword-m1c-uk-vg16-19_ext.xml # done ## 5 instances are selected out of 5: csp/varDimacs/normalized-hole-06_ext.xml csp/varDimacs/normalized-hole-07_ext.xml csp/varDimacs/normalized-hole-08_ext.xml csp/varDimacs/normalized-hole-09_ext.xml csp/varDimacs/normalized-hole-10_ext.xml # done ## 15 instances are selected out of 32: csp/wordsVg/normalized-crossword-m1c-words-vg10-10_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg10-14_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg11-14_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg12-16_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg13-17_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg14-14_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg15-15_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg15-16_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg15-19_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg5-9_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg6-10_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg8-11_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg8-8_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg9-10_ext.xml csp/wordsVg/normalized-crossword-m1c-words-vg9-11_ext.xml # done