## 24 instances are selected out of 24: aim-100/normalized-aim-100-1-6-sat-1_ext.xml aim-100/normalized-aim-100-1-6-sat-2_ext.xml aim-100/normalized-aim-100-1-6-sat-3_ext.xml aim-100/normalized-aim-100-1-6-sat-4_ext.xml aim-100/normalized-aim-100-1-6-unsat-1_ext.xml aim-100/normalized-aim-100-1-6-unsat-2_ext.xml aim-100/normalized-aim-100-1-6-unsat-3_ext.xml aim-100/normalized-aim-100-1-6-unsat-4_ext.xml aim-100/normalized-aim-100-2-0-sat-1_ext.xml aim-100/normalized-aim-100-2-0-sat-2_ext.xml aim-100/normalized-aim-100-2-0-sat-3_ext.xml aim-100/normalized-aim-100-2-0-sat-4_ext.xml aim-100/normalized-aim-100-2-0-unsat-1_ext.xml aim-100/normalized-aim-100-2-0-unsat-2_ext.xml aim-100/normalized-aim-100-2-0-unsat-3_ext.xml aim-100/normalized-aim-100-2-0-unsat-4_ext.xml aim-100/normalized-aim-100-3-4-sat-1_ext.xml aim-100/normalized-aim-100-3-4-sat-2_ext.xml aim-100/normalized-aim-100-3-4-sat-3_ext.xml aim-100/normalized-aim-100-3-4-sat-4_ext.xml aim-100/normalized-aim-100-6-0-sat-1_ext.xml aim-100/normalized-aim-100-6-0-sat-2_ext.xml aim-100/normalized-aim-100-6-0-sat-3_ext.xml aim-100/normalized-aim-100-6-0-sat-4_ext.xml # done ## 24 instances are selected out of 24: aim-200/normalized-aim-200-1-6-sat-1_ext.xml aim-200/normalized-aim-200-1-6-sat-2_ext.xml aim-200/normalized-aim-200-1-6-sat-3_ext.xml aim-200/normalized-aim-200-1-6-sat-4_ext.xml aim-200/normalized-aim-200-1-6-unsat-1_ext.xml aim-200/normalized-aim-200-1-6-unsat-2_ext.xml aim-200/normalized-aim-200-1-6-unsat-3_ext.xml aim-200/normalized-aim-200-1-6-unsat-4_ext.xml aim-200/normalized-aim-200-2-0-sat-1_ext.xml aim-200/normalized-aim-200-2-0-sat-2_ext.xml aim-200/normalized-aim-200-2-0-sat-3_ext.xml aim-200/normalized-aim-200-2-0-sat-4_ext.xml aim-200/normalized-aim-200-2-0-unsat-1_ext.xml aim-200/normalized-aim-200-2-0-unsat-2_ext.xml aim-200/normalized-aim-200-2-0-unsat-3_ext.xml aim-200/normalized-aim-200-2-0-unsat-4_ext.xml aim-200/normalized-aim-200-3-4-sat-1_ext.xml aim-200/normalized-aim-200-3-4-sat-2_ext.xml aim-200/normalized-aim-200-3-4-sat-3_ext.xml aim-200/normalized-aim-200-3-4-sat-4_ext.xml aim-200/normalized-aim-200-6-0-sat-1_ext.xml aim-200/normalized-aim-200-6-0-sat-2_ext.xml aim-200/normalized-aim-200-6-0-sat-3_ext.xml aim-200/normalized-aim-200-6-0-sat-4_ext.xml # done ## 24 instances are selected out of 24: aim-50/normalized-aim-50-1-6-sat-1_ext.xml aim-50/normalized-aim-50-1-6-sat-2_ext.xml aim-50/normalized-aim-50-1-6-sat-3_ext.xml aim-50/normalized-aim-50-1-6-sat-4_ext.xml aim-50/normalized-aim-50-1-6-unsat-1_ext.xml aim-50/normalized-aim-50-1-6-unsat-2_ext.xml aim-50/normalized-aim-50-1-6-unsat-3_ext.xml aim-50/normalized-aim-50-1-6-unsat-4_ext.xml aim-50/normalized-aim-50-2-0-sat-1_ext.xml aim-50/normalized-aim-50-2-0-sat-2_ext.xml aim-50/normalized-aim-50-2-0-sat-3_ext.xml aim-50/normalized-aim-50-2-0-sat-4_ext.xml aim-50/normalized-aim-50-2-0-unsat-1_ext.xml aim-50/normalized-aim-50-2-0-unsat-2_ext.xml aim-50/normalized-aim-50-2-0-unsat-3_ext.xml aim-50/normalized-aim-50-2-0-unsat-4_ext.xml aim-50/normalized-aim-50-3-4-sat-1_ext.xml aim-50/normalized-aim-50-3-4-sat-2_ext.xml aim-50/normalized-aim-50-3-4-sat-3_ext.xml aim-50/normalized-aim-50-3-4-sat-4_ext.xml aim-50/normalized-aim-50-6-0-sat-1_ext.xml aim-50/normalized-aim-50-6-0-sat-2_ext.xml aim-50/normalized-aim-50-6-0-sat-3_ext.xml aim-50/normalized-aim-50-6-0-sat-4_ext.xml # done ## 15 instances are selected out of 25: allIntervalSeries/normalized-series-100.xml allIntervalSeries/normalized-series-10.xml allIntervalSeries/normalized-series-12.xml allIntervalSeries/normalized-series-15.xml allIntervalSeries/normalized-series-16.xml allIntervalSeries/normalized-series-18.xml allIntervalSeries/normalized-series-20.xml allIntervalSeries/normalized-series-25.xml allIntervalSeries/normalized-series-30.xml allIntervalSeries/normalized-series-35.xml allIntervalSeries/normalized-series-70.xml allIntervalSeries/normalized-series-80.xml allIntervalSeries/normalized-series-8.xml allIntervalSeries/normalized-series-90.xml allIntervalSeries/normalized-series-9.xml # done ## 37 instances are selected out of 37: allsquares/normalized-squares-10-10.xml allsquares/normalized-squares-11-11.xml allsquares/normalized-squares-12-12.xml allsquares/normalized-squares-13-13.xml allsquares/normalized-squares-14-14.xml allsquares/normalized-squares-15-15.xml allsquares/normalized-squares-16-16.xml allsquares/normalized-squares-17-17.xml allsquares/normalized-squares-18-18.xml allsquares/normalized-squares-19-19.xml allsquares/normalized-squares-20-20.xml allsquares/normalized-squares-21-21.xml allsquares/normalized-squares-22-22.xml allsquares/normalized-squares-2-2.xml allsquares/normalized-squares-23-23.xml allsquares/normalized-squares-24-24.xml allsquares/normalized-squares-25-25.xml allsquares/normalized-squares-26-26.xml allsquares/normalized-squares-27-27.xml allsquares/normalized-squares-28-28.xml allsquares/normalized-squares-29-29.xml allsquares/normalized-squares-30-30.xml allsquares/normalized-squares-31-31.xml allsquares/normalized-squares-32-32.xml allsquares/normalized-squares-33-33.xml allsquares/normalized-squares-3-3.xml allsquares/normalized-squares-34-34.xml allsquares/normalized-squares-35-35.xml allsquares/normalized-squares-36-36.xml allsquares/normalized-squares-37-37.xml allsquares/normalized-squares-38-38.xml allsquares/normalized-squares-4-4.xml allsquares/normalized-squares-5-5.xml allsquares/normalized-squares-6-6.xml allsquares/normalized-squares-7-7.xml allsquares/normalized-squares-8-8.xml allsquares/normalized-squares-9-9.xml # done ## 37 instances are selected out of 37: allsquaresUnsat/normalized-squaresUnsat-10-10.xml allsquaresUnsat/normalized-squaresUnsat-11-11.xml allsquaresUnsat/normalized-squaresUnsat-12-12.xml allsquaresUnsat/normalized-squaresUnsat-13-13.xml allsquaresUnsat/normalized-squaresUnsat-14-14.xml allsquaresUnsat/normalized-squaresUnsat-15-15.xml allsquaresUnsat/normalized-squaresUnsat-16-16.xml allsquaresUnsat/normalized-squaresUnsat-17-17.xml allsquaresUnsat/normalized-squaresUnsat-18-18.xml allsquaresUnsat/normalized-squaresUnsat-19-19.xml allsquaresUnsat/normalized-squaresUnsat-20-20.xml allsquaresUnsat/normalized-squaresUnsat-21-21.xml allsquaresUnsat/normalized-squaresUnsat-22-22.xml allsquaresUnsat/normalized-squaresUnsat-2-2.xml allsquaresUnsat/normalized-squaresUnsat-23-23.xml allsquaresUnsat/normalized-squaresUnsat-24-24.xml allsquaresUnsat/normalized-squaresUnsat-25-25.xml allsquaresUnsat/normalized-squaresUnsat-26-26.xml allsquaresUnsat/normalized-squaresUnsat-27-27.xml allsquaresUnsat/normalized-squaresUnsat-28-28.xml allsquaresUnsat/normalized-squaresUnsat-29-29.xml allsquaresUnsat/normalized-squaresUnsat-30-30.xml allsquaresUnsat/normalized-squaresUnsat-31-31.xml allsquaresUnsat/normalized-squaresUnsat-32-32.xml allsquaresUnsat/normalized-squaresUnsat-33-33.xml allsquaresUnsat/normalized-squaresUnsat-3-3.xml allsquaresUnsat/normalized-squaresUnsat-34-34.xml allsquaresUnsat/normalized-squaresUnsat-35-35.xml allsquaresUnsat/normalized-squaresUnsat-36-36.xml allsquaresUnsat/normalized-squaresUnsat-37-37.xml allsquaresUnsat/normalized-squaresUnsat-38-38.xml allsquaresUnsat/normalized-squaresUnsat-4-4.xml allsquaresUnsat/normalized-squaresUnsat-5-5.xml allsquaresUnsat/normalized-squaresUnsat-6-6.xml allsquaresUnsat/normalized-squaresUnsat-7-7.xml allsquaresUnsat/normalized-squaresUnsat-8-8.xml allsquaresUnsat/normalized-squaresUnsat-9-9.xml # done ## 35 instances are selected out of 35: bddLarge/normalized-bdd-21-2713-15-79-10_ext.xml bddLarge/normalized-bdd-21-2713-15-79-11_ext.xml bddLarge/normalized-bdd-21-2713-15-79-12_ext.xml bddLarge/normalized-bdd-21-2713-15-79-13_ext.xml bddLarge/normalized-bdd-21-2713-15-79-14_ext.xml bddLarge/normalized-bdd-21-2713-15-79-15_ext.xml bddLarge/normalized-bdd-21-2713-15-79-16_ext.xml bddLarge/normalized-bdd-21-2713-15-79-17_ext.xml bddLarge/normalized-bdd-21-2713-15-79-18_ext.xml bddLarge/normalized-bdd-21-2713-15-79-19_ext.xml bddLarge/normalized-bdd-21-2713-15-79-1_ext.xml bddLarge/normalized-bdd-21-2713-15-79-20_ext.xml bddLarge/normalized-bdd-21-2713-15-79-21_ext.xml bddLarge/normalized-bdd-21-2713-15-79-22_ext.xml bddLarge/normalized-bdd-21-2713-15-79-23_ext.xml bddLarge/normalized-bdd-21-2713-15-79-24_ext.xml bddLarge/normalized-bdd-21-2713-15-79-25_ext.xml bddLarge/normalized-bdd-21-2713-15-79-26_ext.xml bddLarge/normalized-bdd-21-2713-15-79-27_ext.xml bddLarge/normalized-bdd-21-2713-15-79-28_ext.xml bddLarge/normalized-bdd-21-2713-15-79-29_ext.xml bddLarge/normalized-bdd-21-2713-15-79-2_ext.xml bddLarge/normalized-bdd-21-2713-15-79-30_ext.xml bddLarge/normalized-bdd-21-2713-15-79-31_ext.xml bddLarge/normalized-bdd-21-2713-15-79-32_ext.xml bddLarge/normalized-bdd-21-2713-15-79-33_ext.xml bddLarge/normalized-bdd-21-2713-15-79-34_ext.xml bddLarge/normalized-bdd-21-2713-15-79-35_ext.xml bddLarge/normalized-bdd-21-2713-15-79-3_ext.xml bddLarge/normalized-bdd-21-2713-15-79-4_ext.xml bddLarge/normalized-bdd-21-2713-15-79-5_ext.xml bddLarge/normalized-bdd-21-2713-15-79-6_ext.xml bddLarge/normalized-bdd-21-2713-15-79-7_ext.xml bddLarge/normalized-bdd-21-2713-15-79-8_ext.xml bddLarge/normalized-bdd-21-2713-15-79-9_ext.xml # done ## 35 instances are selected out of 35: bddSmall/normalized-bdd-21-133-18-78-10_ext.xml bddSmall/normalized-bdd-21-133-18-78-11_ext.xml bddSmall/normalized-bdd-21-133-18-78-12_ext.xml bddSmall/normalized-bdd-21-133-18-78-13_ext.xml bddSmall/normalized-bdd-21-133-18-78-14_ext.xml bddSmall/normalized-bdd-21-133-18-78-15_ext.xml bddSmall/normalized-bdd-21-133-18-78-16_ext.xml bddSmall/normalized-bdd-21-133-18-78-17_ext.xml bddSmall/normalized-bdd-21-133-18-78-18_ext.xml bddSmall/normalized-bdd-21-133-18-78-19_ext.xml bddSmall/normalized-bdd-21-133-18-78-1_ext.xml bddSmall/normalized-bdd-21-133-18-78-20_ext.xml bddSmall/normalized-bdd-21-133-18-78-21_ext.xml bddSmall/normalized-bdd-21-133-18-78-22_ext.xml bddSmall/normalized-bdd-21-133-18-78-23_ext.xml bddSmall/normalized-bdd-21-133-18-78-24_ext.xml bddSmall/normalized-bdd-21-133-18-78-25_ext.xml bddSmall/normalized-bdd-21-133-18-78-26_ext.xml bddSmall/normalized-bdd-21-133-18-78-27_ext.xml bddSmall/normalized-bdd-21-133-18-78-28_ext.xml bddSmall/normalized-bdd-21-133-18-78-29_ext.xml bddSmall/normalized-bdd-21-133-18-78-2_ext.xml bddSmall/normalized-bdd-21-133-18-78-30_ext.xml bddSmall/normalized-bdd-21-133-18-78-31_ext.xml bddSmall/normalized-bdd-21-133-18-78-32_ext.xml bddSmall/normalized-bdd-21-133-18-78-33_ext.xml bddSmall/normalized-bdd-21-133-18-78-34_ext.xml bddSmall/normalized-bdd-21-133-18-78-35_ext.xml bddSmall/normalized-bdd-21-133-18-78-3_ext.xml bddSmall/normalized-bdd-21-133-18-78-4_ext.xml bddSmall/normalized-bdd-21-133-18-78-5_ext.xml bddSmall/normalized-bdd-21-133-18-78-6_ext.xml bddSmall/normalized-bdd-21-133-18-78-7_ext.xml bddSmall/normalized-bdd-21-133-18-78-8_ext.xml bddSmall/normalized-bdd-21-133-18-78-9_ext.xml # done ## 7 instances are selected out of 7: BH-4-13/normalized-BlackHole-4-13-e-0_ext.xml BH-4-13/normalized-BlackHole-4-13-e-1_ext.xml BH-4-13/normalized-BlackHole-4-13-e-2_ext.xml BH-4-13/normalized-BlackHole-4-13-e-3_ext.xml BH-4-13/normalized-BlackHole-4-13-m-0_ext.xml BH-4-13/normalized-BlackHole-4-13-m-1_ext.xml BH-4-13/normalized-BlackHole-4-13-m-2_ext.xml # done ## 10 instances are selected out of 10: BH-4-4/normalized-BlackHole-4-4-e-0_ext.xml BH-4-4/normalized-BlackHole-4-4-e-1_ext.xml BH-4-4/normalized-BlackHole-4-4-e-2_ext.xml BH-4-4/normalized-BlackHole-4-4-e-3_ext.xml BH-4-4/normalized-BlackHole-4-4-e-4_ext.xml BH-4-4/normalized-BlackHole-4-4-e-5_ext.xml BH-4-4/normalized-BlackHole-4-4-e-6_ext.xml BH-4-4/normalized-BlackHole-4-4-e-7_ext.xml BH-4-4/normalized-BlackHole-4-4-e-8_ext.xml BH-4-4/normalized-BlackHole-4-4-e-9_ext.xml # done ## 20 instances are selected out of 20: BH-4-7/normalized-BlackHole-4-7-e-0_ext.xml BH-4-7/normalized-BlackHole-4-7-e-1_ext.xml BH-4-7/normalized-BlackHole-4-7-e-2_ext.xml BH-4-7/normalized-BlackHole-4-7-e-3_ext.xml BH-4-7/normalized-BlackHole-4-7-e-4_ext.xml BH-4-7/normalized-BlackHole-4-7-e-5_ext.xml BH-4-7/normalized-BlackHole-4-7-e-6_ext.xml BH-4-7/normalized-BlackHole-4-7-e-7_ext.xml BH-4-7/normalized-BlackHole-4-7-e-8_ext.xml BH-4-7/normalized-BlackHole-4-7-e-9_ext.xml BH-4-7/normalized-BlackHole-4-7-h-0_ext.xml BH-4-7/normalized-BlackHole-4-7-h-1_ext.xml BH-4-7/normalized-BlackHole-4-7-h-2_ext.xml BH-4-7/normalized-BlackHole-4-7-h-3_ext.xml BH-4-7/normalized-BlackHole-4-7-h-4_ext.xml BH-4-7/normalized-BlackHole-4-7-h-5_ext.xml BH-4-7/normalized-BlackHole-4-7-h-6_ext.xml BH-4-7/normalized-BlackHole-4-7-h-7_ext.xml BH-4-7/normalized-BlackHole-4-7-h-8_ext.xml BH-4-7/normalized-BlackHole-4-7-h-9_ext.xml # done ## 6 instances are selected out of 6: bibd10-11/normalized-bibd-10-120-36-3-8_glb.xml bibd10-11/normalized-bibd-10-30-9-3-2_glb.xml bibd10-11/normalized-bibd-10-60-18-3-4_glb.xml bibd10-11/normalized-bibd-10-90-27-3-6_glb.xml bibd10-11/normalized-bibd-11-110-30-3-6_glb.xml bibd10-11/normalized-bibd-11-55-15-3-3_glb.xml # done ## 7 instances are selected out of 7: bibd12-13/normalized-bibd-12-132-33-3-6_glb.xml bibd12-13/normalized-bibd-12-44-11-3-2_glb.xml bibd12-13/normalized-bibd-12-88-22-3-4_glb.xml bibd12-13/normalized-bibd-13-104-24-3-4_glb.xml bibd12-13/normalized-bibd-13-26-6-3-1_glb.xml bibd12-13/normalized-bibd-13-52-12-3-2_glb.xml bibd12-13/normalized-bibd-13-78-18-3-3_glb.xml # done ## 10 instances are selected out of 10: bibd6/normalized-bibd-6-100-50-3-20_glb.xml bibd6/normalized-bibd-6-10-5-3-2_glb.xml bibd6/normalized-bibd-6-20-10-3-4_glb.xml bibd6/normalized-bibd-6-30-15-3-6_glb.xml bibd6/normalized-bibd-6-40-20-3-8_glb.xml bibd6/normalized-bibd-6-50-25-3-10_glb.xml bibd6/normalized-bibd-6-60-30-3-12_glb.xml bibd6/normalized-bibd-6-70-35-3-14_glb.xml bibd6/normalized-bibd-6-80-40-3-16_glb.xml bibd6/normalized-bibd-6-90-45-3-18_glb.xml # done ## 14 instances are selected out of 14: bibd7/normalized-bibd-7-07-3-3-1_glb.xml bibd7/normalized-bibd-7-14-6-3-2_glb.xml bibd7/normalized-bibd-7-21-9-3-3_glb.xml bibd7/normalized-bibd-7-28-12-3-4_glb.xml bibd7/normalized-bibd-7-35-15-3-5_glb.xml bibd7/normalized-bibd-7-42-18-3-6_glb.xml bibd7/normalized-bibd-7-49-21-3-7_glb.xml bibd7/normalized-bibd-7-56-24-3-8_glb.xml bibd7/normalized-bibd-7-63-27-3-9_glb.xml bibd7/normalized-bibd-7-70-30-3-10_glb.xml bibd7/normalized-bibd-7-77-33-3-11_glb.xml bibd7/normalized-bibd-7-84-36-3-12_glb.xml bibd7/normalized-bibd-7-91-39-3-13_glb.xml bibd7/normalized-bibd-7-98-42-3-14_glb.xml # done ## 7 instances are selected out of 7: bibd8/normalized-bibd-8-14-7-4-3_glb.xml bibd8/normalized-bibd-8-28-14-4-6_glb.xml bibd8/normalized-bibd-8-42-21-4-9_glb.xml bibd8/normalized-bibd-8-56-28-4-12_glb.xml bibd8/normalized-bibd-8-70-35-4-15_glb.xml bibd8/normalized-bibd-8-84-42-4-18_glb.xml bibd8/normalized-bibd-8-98-49-4-21_glb.xml # done ## 10 instances are selected out of 10: bibd9/normalized-bibd-9-108-36-3-9_glb.xml bibd9/normalized-bibd-9-120-40-3-10_glb.xml bibd9/normalized-bibd-9-12-4-3-1_glb.xml bibd9/normalized-bibd-9-24-8-3-2_glb.xml bibd9/normalized-bibd-9-36-12-3-3_glb.xml bibd9/normalized-bibd-9-48-16-3-4_glb.xml bibd9/normalized-bibd-9-60-20-3-5_glb.xml bibd9/normalized-bibd-9-72-24-3-6_glb.xml bibd9/normalized-bibd-9-84-28-3-7_glb.xml bibd9/normalized-bibd-9-96-32-3-8_glb.xml # done ## 29 instances are selected out of 29: bibdVariousK/normalized-bibd-10-15-6-4-2_glb.xml bibdVariousK/normalized-bibd-10-18-9-5-4_glb.xml bibdVariousK/normalized-bibd-11-11-5-5-2_glb.xml bibdVariousK/normalized-bibd-11-22-10-5-4_glb.xml bibdVariousK/normalized-bibd-12-22-11-6-5_glb.xml bibdVariousK/normalized-bibd-13-13-4-4-1_glb.xml bibdVariousK/normalized-bibd-13-26-8-4-2_glb.xml bibdVariousK/normalized-bibd-14-26-13-7-6_glb.xml bibdVariousK/normalized-bibd-15-15-7-7-3_glb.xml bibdVariousK/normalized-bibd-15-21-7-5-2_glb.xml bibdVariousK/normalized-bibd-15-35-7-3-1_glb.xml bibdVariousK/normalized-bibd-15-45-24-8-12_glb.xml bibdVariousK/normalized-bibd-15-70-14-3-2_glb.xml bibdVariousK/normalized-bibd-15-75-40-8-20_glb.xml bibdVariousK/normalized-bibd-16-16-6-6-2_glb.xml bibdVariousK/normalized-bibd-16-20-5-4-1_glb.xml bibdVariousK/normalized-bibd-16-24-9-6-3_glb.xml bibdVariousK/normalized-bibd-16-80-15-3-2_glb.xml bibdVariousK/normalized-bibd-19-19-9-9-4_glb.xml bibdVariousK/normalized-bibd-19-57-9-3-1_glb.xml bibdVariousK/normalized-bibd-21-21-5-5-1_glb.xml bibdVariousK/normalized-bibd-21-28-8-6-2_glb.xml bibdVariousK/normalized-bibd-22-22-7-7-2_glb.xml bibdVariousK/normalized-bibd-25-25-9-9-3_glb.xml bibdVariousK/normalized-bibd-25-30-6-5-1_glb.xml bibdVariousK/normalized-bibd-31-31-6-6-1_glb.xml bibdVariousK/normalized-bibd-7-210-60-2-10_glb.xml bibdVariousK/normalized-bibd-8-56-21-3-6_glb.xml bibdVariousK/normalized-bibd-9-18-8-4-3_glb.xml # done ## 15 instances are selected out of 24: bmc/normalized-bmc-ibm-01-02.xml bmc/normalized-bmc-ibm-01-04.xml bmc/normalized-bmc-ibm-01-08.xml bmc/normalized-bmc-ibm-02-02.xml bmc/normalized-bmc-ibm-02-04.xml bmc/normalized-bmc-ibm-02-08.xml bmc/normalized-bmc-ibm-03-02.xml bmc/normalized-bmc-ibm-03-04.xml bmc/normalized-bmc-ibm-03-08.xml bmc/normalized-bmc-ibm-03-16.xml bmc/normalized-bmc-ibm-04-04.xml bmc/normalized-bmc-ibm-04-16.xml bmc/normalized-bmc-ibm-05-02.xml bmc/normalized-bmc-ibm-07-08.xml bmc/normalized-bmc-ibm-07-16.xml # done ## 10 instances are selected out of 100: bqwh-15-106/normalized-bqwh-15-106-24_ext.xml bqwh-15-106/normalized-bqwh-15-106-26_ext.xml bqwh-15-106/normalized-bqwh-15-106-28_ext.xml bqwh-15-106/normalized-bqwh-15-106-2_ext.xml bqwh-15-106/normalized-bqwh-15-106-51_ext.xml bqwh-15-106/normalized-bqwh-15-106-52_ext.xml bqwh-15-106/normalized-bqwh-15-106-7_ext.xml bqwh-15-106/normalized-bqwh-15-106-81_ext.xml bqwh-15-106/normalized-bqwh-15-106-85_ext.xml bqwh-15-106/normalized-bqwh-15-106-97_ext.xml # done ## 10 instances are selected out of 100: bqwh-15-106_glb/normalized-bqwh-15-106-13_glb.xml bqwh-15-106_glb/normalized-bqwh-15-106-31_glb.xml bqwh-15-106_glb/normalized-bqwh-15-106-33_glb.xml bqwh-15-106_glb/normalized-bqwh-15-106-63_glb.xml bqwh-15-106_glb/normalized-bqwh-15-106-67_glb.xml bqwh-15-106_glb/normalized-bqwh-15-106-75_glb.xml bqwh-15-106_glb/normalized-bqwh-15-106-82_glb.xml bqwh-15-106_glb/normalized-bqwh-15-106-83_glb.xml bqwh-15-106_glb/normalized-bqwh-15-106-98_glb.xml bqwh-15-106_glb/normalized-bqwh-15-106-99_glb.xml # done ## 10 instances are selected out of 100: bqwh-18-141/normalized-bqwh-18-141-11_ext.xml bqwh-18-141/normalized-bqwh-18-141-19_ext.xml bqwh-18-141/normalized-bqwh-18-141-21_ext.xml bqwh-18-141/normalized-bqwh-18-141-3_ext.xml bqwh-18-141/normalized-bqwh-18-141-42_ext.xml bqwh-18-141/normalized-bqwh-18-141-72_ext.xml bqwh-18-141/normalized-bqwh-18-141-73_ext.xml bqwh-18-141/normalized-bqwh-18-141-78_ext.xml bqwh-18-141/normalized-bqwh-18-141-83_ext.xml bqwh-18-141/normalized-bqwh-18-141-8_ext.xml # done ## 10 instances are selected out of 100: bqwh-18-141_glb/normalized-bqwh-18-141-0_glb.xml bqwh-18-141_glb/normalized-bqwh-18-141-14_glb.xml bqwh-18-141_glb/normalized-bqwh-18-141-2_glb.xml bqwh-18-141_glb/normalized-bqwh-18-141-37_glb.xml bqwh-18-141_glb/normalized-bqwh-18-141-40_glb.xml bqwh-18-141_glb/normalized-bqwh-18-141-47_glb.xml bqwh-18-141_glb/normalized-bqwh-18-141-64_glb.xml bqwh-18-141_glb/normalized-bqwh-18-141-65_glb.xml bqwh-18-141_glb/normalized-bqwh-18-141-89_glb.xml bqwh-18-141_glb/normalized-bqwh-18-141-91_glb.xml # done ## 40 instances are selected out of 40: Cabinet/normalized-cabinet-5561.xml Cabinet/normalized-cabinet-5562.xml Cabinet/normalized-cabinet-5563.xml Cabinet/normalized-cabinet-5564.xml Cabinet/normalized-cabinet-5565.xml Cabinet/normalized-cabinet-5566.xml Cabinet/normalized-cabinet-5567.xml Cabinet/normalized-cabinet-5568.xml Cabinet/normalized-cabinet-5569.xml Cabinet/normalized-cabinet-5570.xml Cabinet/normalized-cabinet-5571.xml Cabinet/normalized-cabinet-5572.xml Cabinet/normalized-cabinet-5573.xml Cabinet/normalized-cabinet-5574.xml Cabinet/normalized-cabinet-5575.xml Cabinet/normalized-cabinet-5576.xml Cabinet/normalized-cabinet-5577.xml Cabinet/normalized-cabinet-5578.xml Cabinet/normalized-cabinet-5579.xml Cabinet/normalized-cabinet-5580.xml Cabinet/normalized-cabinet-5581.xml Cabinet/normalized-cabinet-5582.xml Cabinet/normalized-cabinet-5583.xml Cabinet/normalized-cabinet-5584.xml Cabinet/normalized-cabinet-5585.xml Cabinet/normalized-cabinet-5586.xml Cabinet/normalized-cabinet-5587.xml Cabinet/normalized-cabinet-5588.xml Cabinet/normalized-cabinet-5589.xml Cabinet/normalized-cabinet-5590.xml Cabinet/normalized-cabinet-5591.xml Cabinet/normalized-cabinet-5592.xml Cabinet/normalized-cabinet-5593.xml Cabinet/normalized-cabinet-5594.xml Cabinet/normalized-cabinet-5595.xml Cabinet/normalized-cabinet-5596.xml Cabinet/normalized-cabinet-5597.xml Cabinet/normalized-cabinet-5598.xml Cabinet/normalized-cabinet-5599.xml Cabinet/normalized-cabinet-5600.xml # done ## 15 instances are selected out of 20: chessboardColoration/normalized-cc-10-10-3.xml chessboardColoration/normalized-cc-12-12-2.xml chessboardColoration/normalized-cc-12-12-3.xml chessboardColoration/normalized-cc-15-15-2.xml chessboardColoration/normalized-cc-15-15-3.xml chessboardColoration/normalized-cc-20-20-2.xml chessboardColoration/normalized-cc-20-20-3.xml chessboardColoration/normalized-cc-5-5-2.xml chessboardColoration/normalized-cc-5-5-3.xml chessboardColoration/normalized-cc-6-6-2.xml chessboardColoration/normalized-cc-7-7-2.xml chessboardColoration/normalized-cc-8-8-2.xml chessboardColoration/normalized-cc-8-8-3.xml chessboardColoration/normalized-cc-9-9-2.xml chessboardColoration/normalized-cc-9-9-3.xml # done ## 10 instances are selected out of 10: cjss/normalized-ft06x2-54.xml cjss/normalized-ft06x2-55.xml cjss/normalized-ft06x3-54.xml cjss/normalized-ft06x3-55.xml cjss/normalized-ft10x2-837.xml cjss/normalized-ft10x3-838.xml cjss/normalized-la03x2-593.xml cjss/normalized-la03x3-590.xml cjss/normalized-la04x2-572.xml cjss/normalized-la04x3-570.xml # done ## 22 instances are selected out of 22: coloring/normalized-dsjc-125-1-4-ext.xml coloring/normalized-dsjc-125-1-5-ext.xml coloring/normalized-geom-30a-3-ext.xml coloring/normalized-geom-30a-4-ext.xml coloring/normalized-geom-30a-5-ext.xml coloring/normalized-geom-30a-6-ext.xml coloring/normalized-geom-40-2-ext.xml coloring/normalized-geom-40-3-ext.xml coloring/normalized-geom-40-4-ext.xml coloring/normalized-geom-40-5-ext.xml coloring/normalized-geom-40-6-ext.xml coloring/normalized-le-450-5a-2-ext.xml coloring/normalized-le-450-5a-3-ext.xml coloring/normalized-le-450-5a-4-ext.xml coloring/normalized-le-450-5a-5-ext.xml coloring/normalized-myciel-5g-3-ext.xml coloring/normalized-myciel-5g-4-ext.xml coloring/normalized-myciel-5g-5-ext.xml coloring/normalized-myciel-5g-6-ext.xml coloring/normalized-queens-5-5-3-ext.xml coloring/normalized-queens-5-5-4-ext.xml coloring/normalized-queens-5-5-5-ext.xml # done ## 20 instances are selected out of 20: compet02/normalized-patat-02-comp-10.xml compet02/normalized-patat-02-comp-11.xml compet02/normalized-patat-02-comp-12.xml compet02/normalized-patat-02-comp-13.xml compet02/normalized-patat-02-comp-14.xml compet02/normalized-patat-02-comp-15.xml compet02/normalized-patat-02-comp-16.xml compet02/normalized-patat-02-comp-17.xml compet02/normalized-patat-02-comp-18.xml compet02/normalized-patat-02-comp-19.xml compet02/normalized-patat-02-comp-1.xml compet02/normalized-patat-02-comp-20.xml compet02/normalized-patat-02-comp-2.xml compet02/normalized-patat-02-comp-3.xml compet02/normalized-patat-02-comp-4.xml compet02/normalized-patat-02-comp-5.xml compet02/normalized-patat-02-comp-6.xml compet02/normalized-patat-02-comp-7.xml compet02/normalized-patat-02-comp-8.xml compet02/normalized-patat-02-comp-9.xml # done ## 16 instances are selected out of 16: compet08/normalized-patat-08-comp-10.xml compet08/normalized-patat-08-comp-11.xml compet08/normalized-patat-08-comp-12.xml compet08/normalized-patat-08-comp-13.xml compet08/normalized-patat-08-comp-14.xml compet08/normalized-patat-08-comp-15.xml compet08/normalized-patat-08-comp-16.xml compet08/normalized-patat-08-comp-1.xml compet08/normalized-patat-08-comp-2.xml compet08/normalized-patat-08-comp-3.xml compet08/normalized-patat-08-comp-4.xml compet08/normalized-patat-08-comp-5.xml compet08/normalized-patat-08-comp-6.xml compet08/normalized-patat-08-comp-7.xml compet08/normalized-patat-08-comp-8.xml compet08/normalized-patat-08-comp-9.xml # done ## 5 instances are selected out of 10: composed-25-10-20/normalized-composed-25-10-20-2_ext.xml composed-25-10-20/normalized-composed-25-10-20-3_ext.xml composed-25-10-20/normalized-composed-25-10-20-4_ext.xml composed-25-10-20/normalized-composed-25-10-20-5_ext.xml composed-25-10-20/normalized-composed-25-10-20-7_ext.xml # done ## 5 instances are selected out of 10: composed-25-1-25/normalized-composed-25-1-25-1_ext.xml composed-25-1-25/normalized-composed-25-1-25-2_ext.xml composed-25-1-25/normalized-composed-25-1-25-3_ext.xml composed-25-1-25/normalized-composed-25-1-25-6_ext.xml composed-25-1-25/normalized-composed-25-1-25-8_ext.xml # done ## 5 instances are selected out of 10: composed-25-1-2/normalized-composed-25-1-2-0_ext.xml composed-25-1-2/normalized-composed-25-1-2-6_ext.xml composed-25-1-2/normalized-composed-25-1-2-7_ext.xml composed-25-1-2/normalized-composed-25-1-2-8_ext.xml composed-25-1-2/normalized-composed-25-1-2-9_ext.xml # done ## 5 instances are selected out of 10: composed-25-1-40/normalized-composed-25-1-40-0_ext.xml composed-25-1-40/normalized-composed-25-1-40-2_ext.xml composed-25-1-40/normalized-composed-25-1-40-3_ext.xml composed-25-1-40/normalized-composed-25-1-40-4_ext.xml composed-25-1-40/normalized-composed-25-1-40-5_ext.xml # done ## 5 instances are selected out of 10: composed-25-1-80/normalized-composed-25-1-80-0_ext.xml composed-25-1-80/normalized-composed-25-1-80-2_ext.xml composed-25-1-80/normalized-composed-25-1-80-7_ext.xml composed-25-1-80/normalized-composed-25-1-80-8_ext.xml composed-25-1-80/normalized-composed-25-1-80-9_ext.xml # done ## 5 instances are selected out of 10: composed-75-1-25/normalized-composed-75-1-25-2_ext.xml composed-75-1-25/normalized-composed-75-1-25-4_ext.xml composed-75-1-25/normalized-composed-75-1-25-5_ext.xml composed-75-1-25/normalized-composed-75-1-25-6_ext.xml composed-75-1-25/normalized-composed-75-1-25-9_ext.xml # done ## 5 instances are selected out of 10: composed-75-1-2/normalized-composed-75-1-2-0_ext.xml composed-75-1-2/normalized-composed-75-1-2-1_ext.xml composed-75-1-2/normalized-composed-75-1-2-2_ext.xml composed-75-1-2/normalized-composed-75-1-2-5_ext.xml composed-75-1-2/normalized-composed-75-1-2-7_ext.xml # done ## 5 instances are selected out of 10: composed-75-1-40/normalized-composed-75-1-40-1_ext.xml composed-75-1-40/normalized-composed-75-1-40-2_ext.xml composed-75-1-40/normalized-composed-75-1-40-5_ext.xml composed-75-1-40/normalized-composed-75-1-40-6_ext.xml composed-75-1-40/normalized-composed-75-1-40-9_ext.xml # done ## 5 instances are selected out of 10: composed-75-1-80/normalized-composed-75-1-80-1_ext.xml composed-75-1-80/normalized-composed-75-1-80-3_ext.xml composed-75-1-80/normalized-composed-75-1-80-6_ext.xml composed-75-1-80/normalized-composed-75-1-80-8_ext.xml composed-75-1-80/normalized-composed-75-1-80-9_ext.xml # done ## 11 instances are selected out of 11: costasArray/normalized-costasArray-10.xml costasArray/normalized-costasArray-11.xml costasArray/normalized-costasArray-12.xml costasArray/normalized-costasArray-13.xml costasArray/normalized-costasArray-14.xml costasArray/normalized-costasArray-15.xml costasArray/normalized-costasArray-16.xml costasArray/normalized-costasArray-17.xml costasArray/normalized-costasArray-18.xml costasArray/normalized-costasArray-19.xml costasArray/normalized-costasArray-20.xml # done ## 15 instances are selected out of 25: dag-half/normalized-half-n25-d5-e56-r7-11.xml dag-half/normalized-half-n25-d5-e56-r7-12.xml dag-half/normalized-half-n25-d5-e56-r7-13.xml dag-half/normalized-half-n25-d5-e56-r7-16.xml dag-half/normalized-half-n25-d5-e56-r7-17.xml dag-half/normalized-half-n25-d5-e56-r7-1.xml dag-half/normalized-half-n25-d5-e56-r7-21.xml dag-half/normalized-half-n25-d5-e56-r7-24.xml dag-half/normalized-half-n25-d5-e56-r7-25.xml dag-half/normalized-half-n25-d5-e56-r7-2.xml dag-half/normalized-half-n25-d5-e56-r7-3.xml dag-half/normalized-half-n25-d5-e56-r7-4.xml dag-half/normalized-half-n25-d5-e56-r7-5.xml dag-half/normalized-half-n25-d5-e56-r7-7.xml dag-half/normalized-half-n25-d5-e56-r7-8.xml # done ## 15 instances are selected out of 25: dag-rand/normalized-rand-n23-d3-e16-r15-t150000-11.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-12.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-13.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-14.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-15.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-17.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-19.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-21.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-22.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-25.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-3.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-5.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-6.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-7.xml dag-rand/normalized-rand-n23-d3-e16-r15-t150000-9.xml # done ## 10 instances are selected out of 24: domino/normalized-domino-1000-100.xml domino/normalized-domino-1000-300.xml domino/normalized-domino-1000-800.xml domino/normalized-domino-100-100.xml domino/normalized-domino-100-300.xml domino/normalized-domino-2000-2000.xml domino/normalized-domino-500-100.xml domino/normalized-domino-500-200.xml domino/normalized-domino-500-500.xml domino/normalized-domino-800-100.xml # done ## 7 instances are selected out of 7: driver/normalized-driverlogw-01c-sat_ext.xml driver/normalized-driverlogw-02c-sat_ext.xml driver/normalized-driverlogw-04c-sat_ext.xml driver/normalized-driverlogw-05c-sat_ext.xml driver/normalized-driverlogw-08cc-sat_ext.xml driver/normalized-driverlogw-08c-sat_ext.xml driver/normalized-driverlogw-09-sat_ext.xml # done ## 13 instances are selected out of 13: dubois/normalized-dubois-100_ext.xml dubois/normalized-dubois-20_ext.xml dubois/normalized-dubois-21_ext.xml dubois/normalized-dubois-22_ext.xml dubois/normalized-dubois-23_ext.xml dubois/normalized-dubois-24_ext.xml dubois/normalized-dubois-25_ext.xml dubois/normalized-dubois-26_ext.xml dubois/normalized-dubois-27_ext.xml dubois/normalized-dubois-28_ext.xml dubois/normalized-dubois-29_ext.xml dubois/normalized-dubois-30_ext.xml dubois/normalized-dubois-50_ext.xml # done ## 5 instances are selected out of 100: ehi-85/normalized-ehi-85-297-27_ext.xml ehi-85/normalized-ehi-85-297-30_ext.xml ehi-85/normalized-ehi-85-297-55_ext.xml ehi-85/normalized-ehi-85-297-78_ext.xml ehi-85/normalized-ehi-85-297-96_ext.xml # done ## 5 instances are selected out of 100: ehi-90/normalized-ehi-90-315-51_ext.xml ehi-90/normalized-ehi-90-315-54_ext.xml ehi-90/normalized-ehi-90-315-65_ext.xml ehi-90/normalized-ehi-90-315-71_ext.xml ehi-90/normalized-ehi-90-315-95_ext.xml # done ## 3 instances are selected out of 11: fapp/fapp01/normalized-fapp01-0200-10.xml fapp/fapp01/normalized-fapp01-0200-2.xml fapp/fapp01/normalized-fapp01-0200-8.xml # done ## 3 instances are selected out of 11: fapp/fapp02/normalized-fapp02-0250-0.xml fapp/fapp02/normalized-fapp02-0250-3.xml fapp/fapp02/normalized-fapp02-0250-9.xml # done ## 3 instances are selected out of 11: fapp/fapp03/normalized-fapp03-0300-0.xml fapp/fapp03/normalized-fapp03-0300-4.xml fapp/fapp03/normalized-fapp03-0300-7.xml # done ## 3 instances are selected out of 11: fapp/fapp04/normalized-fapp04-0300-0.xml fapp/fapp04/normalized-fapp04-0300-5.xml fapp/fapp04/normalized-fapp04-0300-6.xml # done ## 3 instances are selected out of 11: fapp/fapp05/normalized-fapp05-0350-1.xml fapp/fapp05/normalized-fapp05-0350-5.xml fapp/fapp05/normalized-fapp05-0350-6.xml # done ## 3 instances are selected out of 11: fapp/fapp06/normalized-fapp06-0500-0.xml fapp/fapp06/normalized-fapp06-0500-4.xml fapp/fapp06/normalized-fapp06-0500-9.xml # done ## 3 instances are selected out of 11: fapp/fapp07/normalized-fapp07-0600-6.xml fapp/fapp07/normalized-fapp07-0600-7.xml fapp/fapp07/normalized-fapp07-0600-8.xml # done ## 3 instances are selected out of 11: fapp/fapp08/normalized-fapp08-0700-0.xml fapp/fapp08/normalized-fapp08-0700-10.xml fapp/fapp08/normalized-fapp08-0700-4.xml # done ## 3 instances are selected out of 11: fapp/fapp09/normalized-fapp09-0800-0.xml fapp/fapp09/normalized-fapp09-0800-4.xml fapp/fapp09/normalized-fapp09-0800-8.xml # done ## 3 instances are selected out of 11: fapp/fapp10/normalized-fapp10-0900-0.xml fapp/fapp10/normalized-fapp10-0900-10.xml fapp/fapp10/normalized-fapp10-0900-9.xml # done ## 3 instances are selected out of 11: fapp/fapp11/normalized-fapp11-1000-1.xml fapp/fapp11/normalized-fapp11-1000-3.xml fapp/fapp11/normalized-fapp11-1000-6.xml # done ## 3 instances are selected out of 11: fapp/fapp12/normalized-fapp12-1500-0.xml fapp/fapp12/normalized-fapp12-1500-10.xml fapp/fapp12/normalized-fapp12-1500-9.xml # done ## 3 instances are selected out of 11: fapp/fapp13/normalized-fapp13-2000-4.xml fapp/fapp13/normalized-fapp13-2000-6.xml fapp/fapp13/normalized-fapp13-2000-9.xml # done ## 3 instances are selected out of 11: fapp/fapp14/normalized-fapp14-2500-0.xml fapp/fapp14/normalized-fapp14-2500-2.xml fapp/fapp14/normalized-fapp14-2500-9.xml # done ## 3 instances are selected out of 11: fapp/fapp15/normalized-fapp15-3000-0.xml fapp/fapp15/normalized-fapp15-3000-2.xml fapp/fapp15/normalized-fapp15-3000-8.xml # done ## 3 instances are selected out of 11: fapp/fapp16/normalized-fapp16-0260-10.xml fapp/fapp16/normalized-fapp16-0260-7.xml fapp/fapp16/normalized-fapp16-0260-8.xml # done ## 3 instances are selected out of 11: fapp/fapp17/normalized-fapp17-0300-0.xml fapp/fapp17/normalized-fapp17-0300-1.xml fapp/fapp17/normalized-fapp17-0300-4.xml # done ## 3 instances are selected out of 11: fapp/fapp18/normalized-fapp18-0350-4.xml fapp/fapp18/normalized-fapp18-0350-5.xml fapp/fapp18/normalized-fapp18-0350-6.xml # done ## 3 instances are selected out of 11: fapp/fapp19/normalized-fapp19-0350-2.xml fapp/fapp19/normalized-fapp19-0350-3.xml fapp/fapp19/normalized-fapp19-0350-5.xml # done ## 3 instances are selected out of 11: fapp/fapp20/normalized-fapp20-0420-2.xml fapp/fapp20/normalized-fapp20-0420-5.xml fapp/fapp20/normalized-fapp20-0420-7.xml # done ## 3 instances are selected out of 11: fapp/fapp21/normalized-fapp21-0500-5.xml fapp/fapp21/normalized-fapp21-0500-6.xml fapp/fapp21/normalized-fapp21-0500-7.xml # done ## 3 instances are selected out of 11: fapp/fapp22/normalized-fapp22-1750-0.xml fapp/fapp22/normalized-fapp22-1750-10.xml fapp/fapp22/normalized-fapp22-1750-6.xml # done ## 3 instances are selected out of 11: fapp/fapp23/normalized-fapp23-1800-2.xml fapp/fapp23/normalized-fapp23-1800-4.xml fapp/fapp23/normalized-fapp23-1800-9.xml # done ## 3 instances are selected out of 11: fapp/fapp24/normalized-fapp24-2000-1.xml fapp/fapp24/normalized-fapp24-2000-2.xml fapp/fapp24/normalized-fapp24-2000-7.xml # done ## 3 instances are selected out of 11: fapp/fapp25/normalized-fapp25-2230-0.xml fapp/fapp25/normalized-fapp25-2230-2.xml fapp/fapp25/normalized-fapp25-2230-4.xml # done ## 3 instances are selected out of 11: fapp/fapp26/normalized-fapp26-2300-10.xml fapp/fapp26/normalized-fapp26-2300-4.xml fapp/fapp26/normalized-fapp26-2300-8.xml # done ## 3 instances are selected out of 11: fapp/fapp27/normalized-fapp27-2550-10.xml fapp/fapp27/normalized-fapp27-2550-3.xml fapp/fapp27/normalized-fapp27-2550-7.xml # done ## 3 instances are selected out of 11: fapp/fapp28/normalized-fapp28-2800-10.xml fapp/fapp28/normalized-fapp28-2800-5.xml fapp/fapp28/normalized-fapp28-2800-6.xml # done ## 3 instances are selected out of 11: fapp/fapp29/normalized-fapp29-2900-1.xml fapp/fapp29/normalized-fapp29-2900-3.xml fapp/fapp29/normalized-fapp29-2900-6.xml # done ## 3 instances are selected out of 11: fapp/fapp30/normalized-fapp30-3000-10.xml fapp/fapp30/normalized-fapp30-3000-1.xml fapp/fapp30/normalized-fapp30-3000-5.xml # done ## 3 instances are selected out of 11: fapp/fapp31/normalized-fapp31-0400-6.xml fapp/fapp31/normalized-fapp31-0400-7.xml fapp/fapp31/normalized-fapp31-0400-9.xml # done ## 3 instances are selected out of 11: fapp/fapp32/normalized-fapp32-0550-1.xml fapp/fapp32/normalized-fapp32-0550-5.xml fapp/fapp32/normalized-fapp32-0550-8.xml # done ## 3 instances are selected out of 11: fapp/fapp33/normalized-fapp33-0650-10.xml fapp/fapp33/normalized-fapp33-0650-1.xml fapp/fapp33/normalized-fapp33-0650-3.xml # done ## 3 instances are selected out of 11: fapp/fapp34/normalized-fapp34-0750-0.xml fapp/fapp34/normalized-fapp34-0750-4.xml fapp/fapp34/normalized-fapp34-0750-9.xml # done ## 3 instances are selected out of 11: fapp/fapp35/normalized-fapp35-1500-3.xml fapp/fapp35/normalized-fapp35-1500-4.xml fapp/fapp35/normalized-fapp35-1500-9.xml # done ## 3 instances are selected out of 11: fapp/fapp36/normalized-fapp36-2000-10.xml fapp/fapp36/normalized-fapp36-2000-3.xml fapp/fapp36/normalized-fapp36-2000-6.xml # done ## 3 instances are selected out of 11: fapp/fapp37/normalized-fapp37-2250-1.xml fapp/fapp37/normalized-fapp37-2250-2.xml fapp/fapp37/normalized-fapp37-2250-5.xml # done ## 3 instances are selected out of 11: fapp/fapp38/normalized-fapp38-2500-3.xml fapp/fapp38/normalized-fapp38-2500-6.xml fapp/fapp38/normalized-fapp38-2500-9.xml # done ## 3 instances are selected out of 11: fapp/fapp39/normalized-fapp39-2750-5.xml fapp/fapp39/normalized-fapp39-2750-6.xml fapp/fapp39/normalized-fapp39-2750-9.xml # done ## 3 instances are selected out of 11: fapp/fapp40/normalized-fapp40-3000-2.xml fapp/fapp40/normalized-fapp40-3000-3.xml fapp/fapp40/normalized-fapp40-3000-7.xml # done ## 25 instances are selected out of 121: fischer/normalized-fischer-10-13-fair.xml fischer/normalized-fischer-10-3-fair.xml fischer/normalized-fischer-10-4-fair.xml fischer/normalized-fischer-10-7-fair.xml fischer/normalized-fischer-10-9-fair.xml fischer/normalized-fischer-11-10-fair.xml fischer/normalized-fischer-11-14-fair.xml fischer/normalized-fischer-11-1-fair.xml fischer/normalized-fischer-11-8-fair.xml fischer/normalized-fischer-1-3-fair.xml fischer/normalized-fischer-3-7-fair.xml fischer/normalized-fischer-3-8-fair.xml fischer/normalized-fischer-4-3-fair.xml fischer/normalized-fischer-4-5-fair.xml fischer/normalized-fischer-4-7-fair.xml fischer/normalized-fischer-5-7-fair.xml fischer/normalized-fischer-6-11-fair.xml fischer/normalized-fischer-6-7-fair.xml fischer/normalized-fischer-7-12-fair.xml fischer/normalized-fischer-7-3-fair.xml fischer/normalized-fischer-8-11-fair.xml fischer/normalized-fischer-9-1-fair.xml fischer/normalized-fischer-9-2-fair.xml fischer/normalized-fischer-9-4-fair.xml fischer/normalized-fischer-9-6-fair.xml # done ## 5 instances are selected out of 10: frb30-15/normalized-frb30-15-2_ext.xml frb30-15/normalized-frb30-15-3_ext.xml frb30-15/normalized-frb30-15-3-mgd_ext.xml frb30-15/normalized-frb30-15-4_ext.xml frb30-15/normalized-frb30-15-5-mgd_ext.xml # done ## 5 instances are selected out of 10: frb35-17/normalized-frb35-17-1_ext.xml frb35-17/normalized-frb35-17-1-mgd_ext.xml frb35-17/normalized-frb35-17-2_ext.xml frb35-17/normalized-frb35-17-2-mgd_ext.xml frb35-17/normalized-frb35-17-5_ext.xml # done ## 5 instances are selected out of 10: frb40-19/normalized-frb40-19-1_ext.xml frb40-19/normalized-frb40-19-1-mgd_ext.xml frb40-19/normalized-frb40-19-2_ext.xml frb40-19/normalized-frb40-19-2-mgd_ext.xml frb40-19/normalized-frb40-19-4-mgd_ext.xml # done ## 5 instances are selected out of 10: frb45-21/normalized-frb45-21-1-mgd_ext.xml frb45-21/normalized-frb45-21-2_ext.xml frb45-21/normalized-frb45-21-3_ext.xml frb45-21/normalized-frb45-21-4-mgd_ext.xml frb45-21/normalized-frb45-21-5_ext.xml # done ## 5 instances are selected out of 10: frb50-23/normalized-frb50-23-1_ext.xml frb50-23/normalized-frb50-23-2_ext.xml frb50-23/normalized-frb50-23-3-mgd_ext.xml frb50-23/normalized-frb50-23-4_ext.xml frb50-23/normalized-frb50-23-5-mgd_ext.xml # done ## 5 instances are selected out of 10: frb53-24/normalized-frb53-24-1_ext.xml frb53-24/normalized-frb53-24-2-mgd_ext.xml frb53-24/normalized-frb53-24-3-mgd_ext.xml frb53-24/normalized-frb53-24-5_ext.xml frb53-24/normalized-frb53-24-5-mgd_ext.xml # done ## 5 instances are selected out of 10: frb56-25/normalized-frb56-25-2_ext.xml frb56-25/normalized-frb56-25-2-mgd_ext.xml frb56-25/normalized-frb56-25-4_ext.xml frb56-25/normalized-frb56-25-4-mgd_ext.xml frb56-25/normalized-frb56-25-5-mgd_ext.xml # done ## 5 instances are selected out of 10: frb59-26/normalized-frb59-26-2_ext.xml frb59-26/normalized-frb59-26-3_ext.xml frb59-26/normalized-frb59-26-3-mgd_ext.xml frb59-26/normalized-frb59-26-4-mgd_ext.xml frb59-26/normalized-frb59-26-5-mgd_ext.xml # done ## 10 instances are selected out of 100: geom/normalized-geo50-20-d4-75-18_ext.xml geom/normalized-geo50-20-d4-75-40_ext.xml geom/normalized-geo50-20-d4-75-42_ext.xml geom/normalized-geo50-20-d4-75-45_ext.xml geom/normalized-geo50-20-d4-75-49_ext.xml geom/normalized-geo50-20-d4-75-5_ext.xml geom/normalized-geo50-20-d4-75-61_ext.xml geom/normalized-geo50-20-d4-75-76_ext.xml geom/normalized-geo50-20-d4-75-94_ext.xml geom/normalized-geo50-20-d4-75-9_ext.xml # done ## 14 instances are selected out of 14: golombRulerArity3/normalized-ruler-17-6-a3.xml golombRulerArity3/normalized-ruler-17-7-a3.xml golombRulerArity3/normalized-ruler-25-7-a3.xml golombRulerArity3/normalized-ruler-25-8-a3.xml golombRulerArity3/normalized-ruler-34-8-a3.xml golombRulerArity3/normalized-ruler-34-9-a3.xml golombRulerArity3/normalized-ruler-44-10-a3.xml golombRulerArity3/normalized-ruler-44-9-a3.xml golombRulerArity3/normalized-ruler-55-10-a3.xml golombRulerArity3/normalized-ruler-55-11-a3.xml golombRulerArity3/normalized-ruler-67-11-a3.xml golombRulerArity3/normalized-ruler-67-12-a3.xml golombRulerArity3/normalized-ruler-70-12-a3.xml golombRulerArity3/normalized-ruler-70-13-a3.xml # done ## 14 instances are selected out of 14: golombRulerArity4/normalized-ruler-17-6-a4.xml golombRulerArity4/normalized-ruler-17-7-a4.xml golombRulerArity4/normalized-ruler-25-7-a4.xml golombRulerArity4/normalized-ruler-25-8-a4.xml golombRulerArity4/normalized-ruler-34-8-a4.xml golombRulerArity4/normalized-ruler-34-9-a4.xml golombRulerArity4/normalized-ruler-44-10-a4.xml golombRulerArity4/normalized-ruler-44-9-a4.xml golombRulerArity4/normalized-ruler-55-10-a4.xml golombRulerArity4/normalized-ruler-55-11-a4.xml golombRulerArity4/normalized-ruler-67-11-a4.xml golombRulerArity4/normalized-ruler-67-12-a4.xml golombRulerArity4/normalized-ruler-70-12-a4.xml golombRulerArity4/normalized-ruler-70-13-a4.xml # done ## 10 instances are selected out of 14: graphColoring/hos/normalized-abb313GPIA-10.xml graphColoring/hos/normalized-abb313GPIA-5.xml graphColoring/hos/normalized-abb313GPIA-9.xml graphColoring/hos/normalized-ash331GPIA-3.xml graphColoring/hos/normalized-ash608GPIA-3.xml graphColoring/hos/normalized-ash608GPIA-4.xml graphColoring/hos/normalized-ash958GPIA-3.xml graphColoring/hos/normalized-ash958GPIA-4.xml graphColoring/hos/normalized-will199GPIA-6.xml graphColoring/hos/normalized-will199GPIA-7.xml # done ## 25 instances are selected out of 73: graphColoring/insertion/full-insertion/normalized-1-fullins-3-3.xml graphColoring/insertion/full-insertion/normalized-1-fullins-4-4.xml graphColoring/insertion/full-insertion/normalized-1-fullins-4-5.xml graphColoring/insertion/full-insertion/normalized-1-fullins-5-5.xml graphColoring/insertion/full-insertion/normalized-2-fullins-3-4.xml graphColoring/insertion/full-insertion/normalized-2-fullins-3-5.xml graphColoring/insertion/full-insertion/normalized-3-fullins-4-6.xml graphColoring/insertion/full-insertion/normalized-4-fullins-4-7.xml graphColoring/insertion/full-insertion/normalized-4-fullins-5-6.xml graphColoring/insertion/full-insertion/normalized-5-fullins-3-6.xml graphColoring/insertion/full-insertion/normalized-5-fullins-4-8.xml graphColoring/insertion/k-insertion/normalized-1-insertions-4-3.xml graphColoring/insertion/k-insertion/normalized-1-insertions-6-6.xml graphColoring/insertion/k-insertion/normalized-2-insertions-3-3.xml graphColoring/insertion/k-insertion/normalized-2-insertions-4-4.xml graphColoring/insertion/k-insertion/normalized-2-insertions-5-4.xml graphColoring/insertion/k-insertion/normalized-2-insertions-5-5.xml graphColoring/insertion/k-insertion/normalized-3-insertions-4-3.xml graphColoring/insertion/k-insertion/normalized-3-insertions-5-3.xml graphColoring/insertion/k-insertion/normalized-3-insertions-5-4.xml graphColoring/insertion/k-insertion/normalized-3-insertions-5-5.xml graphColoring/insertion/k-insertion/normalized-3-insertions-5-6.xml graphColoring/insertion/k-insertion/normalized-4-insertions-3-4.xml graphColoring/insertion/k-insertion/normalized-4-insertions-4-3.xml graphColoring/insertion/k-insertion/normalized-4-insertions-4-4.xml # done ## 25 instances are selected out of 68: graphColoring/leighton/leighton-15/normalized-lei450-15a-05.xml graphColoring/leighton/leighton-15/normalized-lei450-15a-08.xml graphColoring/leighton/leighton-15/normalized-lei450-15a-12.xml graphColoring/leighton/leighton-15/normalized-lei450-15b-08.xml graphColoring/leighton/leighton-15/normalized-lei450-15b-10.xml graphColoring/leighton/leighton-15/normalized-lei450-15b-13.xml graphColoring/leighton/leighton-15/normalized-lei450-15b-15.xml graphColoring/leighton/leighton-15/normalized-lei450-15c-13.xml graphColoring/leighton/leighton-15/normalized-lei450-15c-14.xml graphColoring/leighton/leighton-15/normalized-lei450-15d-05.xml graphColoring/leighton/leighton-15/normalized-lei450-15d-08.xml graphColoring/leighton/leighton-15/normalized-lei450-15d-10.xml graphColoring/leighton/leighton-15/normalized-lei450-15d-12.xml graphColoring/leighton/leighton-25/normalized-lei450-25a-15.xml graphColoring/leighton/leighton-25/normalized-lei450-25a-23.xml graphColoring/leighton/leighton-25/normalized-lei450-25a-25.xml graphColoring/leighton/leighton-25/normalized-lei450-25b-15.xml graphColoring/leighton/leighton-25/normalized-lei450-25b-24.xml graphColoring/leighton/leighton-25/normalized-lei450-25c-05.xml graphColoring/leighton/leighton-25/normalized-lei450-25c-25.xml graphColoring/leighton/leighton-25/normalized-lei450-25d-05.xml graphColoring/leighton/leighton-25/normalized-lei450-25d-20.xml graphColoring/leighton/leighton-5/normalized-lei450-05a-04.xml graphColoring/leighton/leighton-5/normalized-lei450-05a-05.xml graphColoring/leighton/leighton-5/normalized-lei450-05b-05.xml # done ## 8 instances are selected out of 8: graphColoring/mug/normalized-mug100-1-3.xml graphColoring/mug/normalized-mug100-1-4.xml graphColoring/mug/normalized-mug100-25-3.xml graphColoring/mug/normalized-mug100-25-4.xml graphColoring/mug/normalized-mug88-1-3.xml graphColoring/mug/normalized-mug88-1-4.xml graphColoring/mug/normalized-mug88-25-3.xml graphColoring/mug/normalized-mug88-25-4.xml # done ## 15 instances are selected out of 16: graphColoring/myciel/normalized-myciel3-3.xml graphColoring/myciel/normalized-myciel3-4.xml graphColoring/myciel/normalized-myciel4-4.xml graphColoring/myciel/normalized-myciel4-5.xml graphColoring/myciel/normalized-myciel5-4.xml graphColoring/myciel/normalized-myciel5-5.xml graphColoring/myciel/normalized-myciel5-6.xml graphColoring/myciel/normalized-myciel6-4.xml graphColoring/myciel/normalized-myciel6-5.xml graphColoring/myciel/normalized-myciel6-6.xml graphColoring/myciel/normalized-myciel7-4.xml graphColoring/myciel/normalized-myciel7-5.xml graphColoring/myciel/normalized-myciel7-6.xml graphColoring/myciel/normalized-myciel7-7.xml graphColoring/myciel/normalized-myciel7-8.xml # done ## 25 instances are selected out of 149: graphColoring/register/fpsol/normalized-fpsol2-i-1-55.xml graphColoring/register/fpsol/normalized-fpsol2-i-2-10.xml graphColoring/register/fpsol/normalized-fpsol2-i-2-15.xml graphColoring/register/fpsol/normalized-fpsol2-i-2-27.xml graphColoring/register/fpsol/normalized-fpsol2-i-3-27.xml graphColoring/register/inithx/normalized-inithx-i-1-10.xml graphColoring/register/inithx/normalized-inithx-i-1-45.xml graphColoring/register/inithx/normalized-inithx-i-2-15.xml graphColoring/register/inithx/normalized-inithx-i-2-20.xml graphColoring/register/inithx/normalized-inithx-i-2-31.xml graphColoring/register/inithx/normalized-inithx-i-3-20.xml graphColoring/register/inithx/normalized-inithx-i-3-28.xml graphColoring/register/inithx/normalized-inithx-i-3-30.xml graphColoring/register/mulsol/normalized-mulsol-i-1-05.xml graphColoring/register/mulsol/normalized-mulsol-i-1-25.xml graphColoring/register/mulsol/normalized-mulsol-i-1-49.xml graphColoring/register/mulsol/normalized-mulsol-i-2-05.xml graphColoring/register/mulsol/normalized-mulsol-i-2-20.xml graphColoring/register/mulsol/normalized-mulsol-i-3-30.xml graphColoring/register/mulsol/normalized-mulsol-i-4-29.xml graphColoring/register/mulsol/normalized-mulsol-i-4-30.xml graphColoring/register/mulsol/normalized-mulsol-i-5-10.xml graphColoring/register/zeroin/normalized-zeroin-i-1-45.xml graphColoring/register/zeroin/normalized-zeroin-i-2-28.xml graphColoring/register/zeroin/normalized-zeroin-i-2-30.xml # done ## 8 instances are selected out of 8: graphColoring/school/normalized-school1-13.xml graphColoring/school/normalized-school1-14.xml graphColoring/school/normalized-school1-15.xml graphColoring/school/normalized-school1-16.xml graphColoring/school/normalized-school1-nsh-12.xml graphColoring/school/normalized-school1-nsh-13.xml graphColoring/school/normalized-school1-nsh-14.xml graphColoring/school/normalized-school1-nsh-15.xml # done ## 25 instances are selected out of 122: graphColoring/sgb/book/normalized-anna-5.xml graphColoring/sgb/book/normalized-anna-9.xml graphColoring/sgb/book/normalized-david-5.xml graphColoring/sgb/book/normalized-david-8.xml graphColoring/sgb/book/normalized-homer-12.xml graphColoring/sgb/book/normalized-huck-10.xml graphColoring/sgb/book/normalized-jean-5.xml graphColoring/sgb/games/normalized-games120-8.xml graphColoring/sgb/miles/normalized-miles1000-40.xml graphColoring/sgb/miles/normalized-miles1500-30.xml graphColoring/sgb/miles/normalized-miles1500-72.xml graphColoring/sgb/miles/normalized-miles1500-73.xml graphColoring/sgb/miles/normalized-miles500-10.xml graphColoring/sgb/miles/normalized-miles500-15.xml graphColoring/sgb/miles/normalized-miles500-19.xml graphColoring/sgb/miles/normalized-miles750-15.xml graphColoring/sgb/miles/normalized-miles750-29.xml graphColoring/sgb/miles/normalized-miles750-31.xml graphColoring/sgb/miles/normalized-miles750-5.xml graphColoring/sgb/queen/normalized-queen12-12-11.xml graphColoring/sgb/queen/normalized-queen12-12-14.xml graphColoring/sgb/queen/normalized-queen15-15-15.xml graphColoring/sgb/queen/normalized-queen8-12-10.xml graphColoring/sgb/queen/normalized-queen8-12-12.xml graphColoring/sgb/queen/normalized-queen8-8-9.xml # done ## 5 instances are selected out of 5: hanoi/normalized-hanoi-3_ext.xml hanoi/normalized-hanoi-4_ext.xml hanoi/normalized-hanoi-5_ext.xml hanoi/normalized-hanoi-6_ext.xml hanoi/normalized-hanoi-7_ext.xml # done ## 15 instances are selected out of 51: haystacks/normalized-haystacks-05.xml haystacks/normalized-haystacks-08.xml haystacks/normalized-haystacks-11.xml haystacks/normalized-haystacks-12.xml haystacks/normalized-haystacks-15.xml haystacks/normalized-haystacks-16.xml haystacks/normalized-haystacks-20.xml haystacks/normalized-haystacks-29.xml haystacks/normalized-haystacks-30.xml haystacks/normalized-haystacks-35.xml haystacks/normalized-haystacks-36.xml haystacks/normalized-haystacks-43.xml haystacks/normalized-haystacks-45.xml haystacks/normalized-haystacks-48.xml haystacks/normalized-haystacks-54.xml # done ## 16 instances are selected out of 16: jnhSat/normalized-jnh01_ext.xml jnhSat/normalized-jnh07_ext.xml jnhSat/normalized-jnh12_ext.xml jnhSat/normalized-jnh17_ext.xml jnhSat/normalized-jnh201_ext.xml jnhSat/normalized-jnh204_ext.xml jnhSat/normalized-jnh205_ext.xml jnhSat/normalized-jnh207_ext.xml jnhSat/normalized-jnh209_ext.xml jnhSat/normalized-jnh210_ext.xml jnhSat/normalized-jnh212_ext.xml jnhSat/normalized-jnh213_ext.xml jnhSat/normalized-jnh217_ext.xml jnhSat/normalized-jnh218_ext.xml jnhSat/normalized-jnh220_ext.xml jnhSat/normalized-jnh301_ext.xml # done ## 32 instances are selected out of 34: jnhUnsat/normalized-jnh02_ext.xml jnhUnsat/normalized-jnh04_ext.xml jnhUnsat/normalized-jnh05_ext.xml jnhUnsat/normalized-jnh06_ext.xml jnhUnsat/normalized-jnh08_ext.xml jnhUnsat/normalized-jnh09_ext.xml jnhUnsat/normalized-jnh10_ext.xml jnhUnsat/normalized-jnh11_ext.xml jnhUnsat/normalized-jnh13_ext.xml jnhUnsat/normalized-jnh14_ext.xml jnhUnsat/normalized-jnh15_ext.xml jnhUnsat/normalized-jnh16_ext.xml jnhUnsat/normalized-jnh18_ext.xml jnhUnsat/normalized-jnh19_ext.xml jnhUnsat/normalized-jnh202_ext.xml jnhUnsat/normalized-jnh203_ext.xml jnhUnsat/normalized-jnh206_ext.xml jnhUnsat/normalized-jnh208_ext.xml jnhUnsat/normalized-jnh20_ext.xml jnhUnsat/normalized-jnh211_ext.xml jnhUnsat/normalized-jnh214_ext.xml jnhUnsat/normalized-jnh215_ext.xml jnhUnsat/normalized-jnh216_ext.xml jnhUnsat/normalized-jnh219_ext.xml jnhUnsat/normalized-jnh302_ext.xml jnhUnsat/normalized-jnh303_ext.xml jnhUnsat/normalized-jnh304_ext.xml jnhUnsat/normalized-jnh305_ext.xml jnhUnsat/normalized-jnh306_ext.xml jnhUnsat/normalized-jnh307_ext.xml jnhUnsat/normalized-jnh309_ext.xml jnhUnsat/normalized-jnh310_ext.xml # done ## 10 instances are selected out of 10: jobShop-e0ddr1/normalized-e0ddr1-10-by-5-10.xml jobShop-e0ddr1/normalized-e0ddr1-10-by-5-1.xml jobShop-e0ddr1/normalized-e0ddr1-10-by-5-2.xml jobShop-e0ddr1/normalized-e0ddr1-10-by-5-3.xml jobShop-e0ddr1/normalized-e0ddr1-10-by-5-4.xml jobShop-e0ddr1/normalized-e0ddr1-10-by-5-5.xml jobShop-e0ddr1/normalized-e0ddr1-10-by-5-6.xml jobShop-e0ddr1/normalized-e0ddr1-10-by-5-7.xml jobShop-e0ddr1/normalized-e0ddr1-10-by-5-8.xml jobShop-e0ddr1/normalized-e0ddr1-10-by-5-9.xml # done ## 10 instances are selected out of 10: jobShop-e0ddr2/normalized-e0ddr2-10-by-5-10.xml jobShop-e0ddr2/normalized-e0ddr2-10-by-5-1.xml jobShop-e0ddr2/normalized-e0ddr2-10-by-5-2.xml jobShop-e0ddr2/normalized-e0ddr2-10-by-5-3.xml jobShop-e0ddr2/normalized-e0ddr2-10-by-5-4.xml jobShop-e0ddr2/normalized-e0ddr2-10-by-5-5.xml jobShop-e0ddr2/normalized-e0ddr2-10-by-5-6.xml jobShop-e0ddr2/normalized-e0ddr2-10-by-5-7.xml jobShop-e0ddr2/normalized-e0ddr2-10-by-5-8.xml jobShop-e0ddr2/normalized-e0ddr2-10-by-5-9.xml # done ## 10 instances are selected out of 10: jobShop-enddr1/normalized-enddr1-10-by-5-10.xml jobShop-enddr1/normalized-enddr1-10-by-5-1.xml jobShop-enddr1/normalized-enddr1-10-by-5-2.xml jobShop-enddr1/normalized-enddr1-10-by-5-3.xml jobShop-enddr1/normalized-enddr1-10-by-5-4.xml jobShop-enddr1/normalized-enddr1-10-by-5-5.xml jobShop-enddr1/normalized-enddr1-10-by-5-6.xml jobShop-enddr1/normalized-enddr1-10-by-5-7.xml jobShop-enddr1/normalized-enddr1-10-by-5-8.xml jobShop-enddr1/normalized-enddr1-10-by-5-9.xml # done ## 6 instances are selected out of 6: jobShop-enddr2/normalized-enddr2-10-by-5-10.xml jobShop-enddr2/normalized-enddr2-10-by-5-1.xml jobShop-enddr2/normalized-enddr2-10-by-5-2.xml jobShop-enddr2/normalized-enddr2-10-by-5-3.xml jobShop-enddr2/normalized-enddr2-10-by-5-4.xml jobShop-enddr2/normalized-enddr2-10-by-5-5.xml # done ## 10 instances are selected out of 10: jobShop-ewddr2/normalized-ewddr2-10-by-5-10.xml jobShop-ewddr2/normalized-ewddr2-10-by-5-1.xml jobShop-ewddr2/normalized-ewddr2-10-by-5-2.xml jobShop-ewddr2/normalized-ewddr2-10-by-5-3.xml jobShop-ewddr2/normalized-ewddr2-10-by-5-4.xml jobShop-ewddr2/normalized-ewddr2-10-by-5-5.xml jobShop-ewddr2/normalized-ewddr2-10-by-5-6.xml jobShop-ewddr2/normalized-ewddr2-10-by-5-7.xml jobShop-ewddr2/normalized-ewddr2-10-by-5-8.xml jobShop-ewddr2/normalized-ewddr2-10-by-5-9.xml # done ## 10 instances are selected out of 30: js-taillard-15/normalized-js-taillard-15-100-0.xml js-taillard-15/normalized-js-taillard-15-100-3.xml js-taillard-15/normalized-js-taillard-15-100-6.xml js-taillard-15/normalized-js-taillard-15-100-8.xml js-taillard-15/normalized-js-taillard-15-105-3.xml js-taillard-15/normalized-js-taillard-15-105-4.xml js-taillard-15/normalized-js-taillard-15-105-7.xml js-taillard-15/normalized-js-taillard-15-105-8.xml js-taillard-15/normalized-js-taillard-15-95-2.xml js-taillard-15/normalized-js-taillard-15-95-4.xml # done ## 10 instances are selected out of 30: js-taillard-20-15/normalized-js-taillard-20-15-100-0.xml js-taillard-20-15/normalized-js-taillard-20-15-100-2.xml js-taillard-20-15/normalized-js-taillard-20-15-100-4.xml js-taillard-20-15/normalized-js-taillard-20-15-100-8.xml js-taillard-20-15/normalized-js-taillard-20-15-105-3.xml js-taillard-20-15/normalized-js-taillard-20-15-105-4.xml js-taillard-20-15/normalized-js-taillard-20-15-105-9.xml js-taillard-20-15/normalized-js-taillard-20-15-95-0.xml js-taillard-20-15/normalized-js-taillard-20-15-95-2.xml js-taillard-20-15/normalized-js-taillard-20-15-95-9.xml # done ## 10 instances are selected out of 30: js-taillard-20/normalized-js-taillard-20-100-0.xml js-taillard-20/normalized-js-taillard-20-100-3.xml js-taillard-20/normalized-js-taillard-20-100-5.xml js-taillard-20/normalized-js-taillard-20-105-3.xml js-taillard-20/normalized-js-taillard-20-105-5.xml js-taillard-20/normalized-js-taillard-20-105-6.xml js-taillard-20/normalized-js-taillard-20-105-7.xml js-taillard-20/normalized-js-taillard-20-105-8.xml js-taillard-20/normalized-js-taillard-20-95-1.xml js-taillard-20/normalized-js-taillard-20-95-7.xml # done ## 10 instances are selected out of 19: knights/normalized-knights-100-25.xml knights/normalized-knights-12-5.xml knights/normalized-knights-12-9.xml knights/normalized-knights-15-9.xml knights/normalized-knights-25-5.xml knights/normalized-knights-25-9.xml knights/normalized-knights-50-9.xml knights/normalized-knights-80-25.xml knights/normalized-knights-80-9.xml knights/normalized-knights-8-5.xml # done ## 15 instances are selected out of 24: langford2/normalized-langford-2-10.xml langford2/normalized-langford-2-11.xml langford2/normalized-langford-2-13.xml langford2/normalized-langford-2-14.xml langford2/normalized-langford-2-17.xml langford2/normalized-langford-2-19.xml langford2/normalized-langford-2-20.xml langford2/normalized-langford-2-25.xml langford2/normalized-langford-2-2.xml langford2/normalized-langford-2-30.xml langford2/normalized-langford-2-4.xml langford2/normalized-langford-2-50.xml langford2/normalized-langford-2-5.xml langford2/normalized-langford-2-7.xml langford2/normalized-langford-2-8.xml # done ## 14 instances are selected out of 24: langford3/normalized-langford-3-10.xml langford3/normalized-langford-3-11.xml langford3/normalized-langford-3-12.xml langford3/normalized-langford-3-13.xml langford3/normalized-langford-3-16.xml langford3/normalized-langford-3-18.xml langford3/normalized-langford-3-20.xml langford3/normalized-langford-3-21.xml langford3/normalized-langford-3-2.xml langford3/normalized-langford-3-3.xml langford3/normalized-langford-3-40.xml langford3/normalized-langford-3-5.xml langford3/normalized-langford-3-6.xml langford3/normalized-langford-3-9.xml # done ## 15 instances are selected out of 24: langford4/normalized-langford-4-11.xml langford4/normalized-langford-4-12.xml langford4/normalized-langford-4-14.xml langford4/normalized-langford-4-17.xml langford4/normalized-langford-4-18.xml langford4/normalized-langford-4-19.xml langford4/normalized-langford-4-20.xml langford4/normalized-langford-4-2.xml langford4/normalized-langford-4-30.xml langford4/normalized-langford-4-3.xml langford4/normalized-langford-4-40.xml langford4/normalized-langford-4-4.xml langford4/normalized-langford-4-5.xml langford4/normalized-langford-4-8.xml langford4/normalized-langford-4-9.xml # done ## 4 instances are selected out of 4: langford/normalized-langford-2-4-ext.xml langford/normalized-langford-3-11-ext.xml langford/normalized-langford-3-9-ext.xml langford/normalized-slangford-3-11-ext.xml # done ## 10 instances are selected out of 10: lard/normalized-lard-83-83.xml lard/normalized-lard-84-84.xml lard/normalized-lard-85-85.xml lard/normalized-lard-86-86.xml lard/normalized-lard-87-87.xml lard/normalized-lard-88-88.xml lard/normalized-lard-89-89.xml lard/normalized-lard-90-90.xml lard/normalized-lard-91-91.xml lard/normalized-lard-92-92.xml # done ## 5 instances are selected out of 5: largeQueens/normalized-queens-1000.xml largeQueens/normalized-queens-300.xml largeQueens/normalized-queens-400.xml largeQueens/normalized-queens-500.xml largeQueens/normalized-queens-800.xml # done ## 10 instances are selected out of 10: latinSquare/normalized-latinSquare-dg-10_all.xml latinSquare/normalized-latinSquare-dg-11_all.xml latinSquare/normalized-latinSquare-dg-12_all.xml latinSquare/normalized-latinSquare-dg-3_all.xml latinSquare/normalized-latinSquare-dg-4_all.xml latinSquare/normalized-latinSquare-dg-5_all.xml latinSquare/normalized-latinSquare-dg-6_all.xml latinSquare/normalized-latinSquare-dg-7_all.xml latinSquare/normalized-latinSquare-dg-8_all.xml latinSquare/normalized-latinSquare-dg-9_all.xml # done ## 20 instances are selected out of 47: lexHerald/normalized-crossword-m1-lex-05-01.xml lexHerald/normalized-crossword-m1-lex-05-05.xml lexHerald/normalized-crossword-m1-lex-05-06.xml lexHerald/normalized-crossword-m1-lex-05-09.xml lexHerald/normalized-crossword-m1-lex-05-10.xml lexHerald/normalized-crossword-m1-lex-15-03.xml lexHerald/normalized-crossword-m1-lex-15-04.xml lexHerald/normalized-crossword-m1-lex-15-05.xml lexHerald/normalized-crossword-m1-lex-15-07.xml lexHerald/normalized-crossword-m1-lex-15-09.xml lexHerald/normalized-crossword-m1-lex-19-03.xml lexHerald/normalized-crossword-m1-lex-19-06.xml lexHerald/normalized-crossword-m1-lex-19-09.xml lexHerald/normalized-crossword-m1-lex-21-02.xml lexHerald/normalized-crossword-m1-lex-21-03.xml lexHerald/normalized-crossword-m1-lex-21-10.xml lexHerald/normalized-crossword-m1-lex-23-02.xml lexHerald/normalized-crossword-m1-lex-23-04.xml lexHerald/normalized-crossword-m1-lex-23-05.xml lexHerald/normalized-crossword-m1-lex-23-06.xml # done ## 15 instances are selected out of 22: lexPuzzle/normalized-crossword-m1-lex-puzzle02.xml lexPuzzle/normalized-crossword-m1-lex-puzzle03.xml lexPuzzle/normalized-crossword-m1-lex-puzzle04.xml lexPuzzle/normalized-crossword-m1-lex-puzzle05.xml lexPuzzle/normalized-crossword-m1-lex-puzzle06.xml lexPuzzle/normalized-crossword-m1-lex-puzzle07.xml lexPuzzle/normalized-crossword-m1-lex-puzzle09.xml lexPuzzle/normalized-crossword-m1-lex-puzzle10.xml lexPuzzle/normalized-crossword-m1-lex-puzzle11.xml lexPuzzle/normalized-crossword-m1-lex-puzzle15.xml lexPuzzle/normalized-crossword-m1-lex-puzzle16.xml lexPuzzle/normalized-crossword-m1-lex-puzzle17.xml lexPuzzle/normalized-crossword-m1-lex-puzzle18.xml lexPuzzle/normalized-crossword-m1-lex-puzzle19.xml lexPuzzle/normalized-crossword-m1-lex-puzzle20.xml # done ## 40 instances are selected out of 63: lexVg/normalized-crossword-m1c-lex-vg10-11_ext.xml lexVg/normalized-crossword-m1c-lex-vg10-12_ext.xml lexVg/normalized-crossword-m1c-lex-vg11-12_ext.xml lexVg/normalized-crossword-m1c-lex-vg11-13_ext.xml lexVg/normalized-crossword-m1c-lex-vg11-15_ext.xml lexVg/normalized-crossword-m1c-lex-vg12-12_ext.xml lexVg/normalized-crossword-m1c-lex-vg12-13_ext.xml lexVg/normalized-crossword-m1c-lex-vg12-14_ext.xml lexVg/normalized-crossword-m1c-lex-vg13-13_ext.xml lexVg/normalized-crossword-m1c-lex-vg13-15_ext.xml lexVg/normalized-crossword-m1c-lex-vg13-16_ext.xml lexVg/normalized-crossword-m1c-lex-vg13-17_ext.xml lexVg/normalized-crossword-m1c-lex-vg14-15_ext.xml lexVg/normalized-crossword-m1c-lex-vg14-18_ext.xml lexVg/normalized-crossword-m1c-lex-vg15-16_ext.xml lexVg/normalized-crossword-m1c-lex-vg15-17_ext.xml lexVg/normalized-crossword-m1c-lex-vg15-18_ext.xml lexVg/normalized-crossword-m1c-lex-vg16-18_ext.xml lexVg/normalized-crossword-m1c-lex-vg16-20_ext.xml lexVg/normalized-crossword-m1c-lex-vg4-5_ext.xml lexVg/normalized-crossword-m1c-lex-vg4-6_ext.xml lexVg/normalized-crossword-m1c-lex-vg4-8_ext.xml lexVg/normalized-crossword-m1c-lex-vg5-5_ext.xml lexVg/normalized-crossword-m1c-lex-vg5-6_ext.xml lexVg/normalized-crossword-m1c-lex-vg5-7_ext.xml lexVg/normalized-crossword-m1c-lex-vg5-8_ext.xml lexVg/normalized-crossword-m1c-lex-vg5-9_ext.xml lexVg/normalized-crossword-m1c-lex-vg6-10_ext.xml lexVg/normalized-crossword-m1c-lex-vg6-6_ext.xml lexVg/normalized-crossword-m1c-lex-vg6-8_ext.xml lexVg/normalized-crossword-m1c-lex-vg6-9_ext.xml lexVg/normalized-crossword-m1c-lex-vg7-10_ext.xml lexVg/normalized-crossword-m1c-lex-vg7-8_ext.xml lexVg/normalized-crossword-m1c-lex-vg7-9_ext.xml lexVg/normalized-crossword-m1c-lex-vg8-12_ext.xml lexVg/normalized-crossword-m1c-lex-vg8-8_ext.xml lexVg/normalized-crossword-m1c-lex-vg8-9_ext.xml lexVg/normalized-crossword-m1c-lex-vg9-10_ext.xml lexVg/normalized-crossword-m1c-lex-vg9-12_ext.xml lexVg/normalized-crossword-m1c-lex-vg9-9_ext.xml # done ## 18 instances are selected out of 18: magicSquare/normalized-magicSquare-10_glb.xml magicSquare/normalized-magicSquare-11_glb.xml magicSquare/normalized-magicSquare-12_glb.xml magicSquare/normalized-magicSquare-13_glb.xml magicSquare/normalized-magicSquare-14_glb.xml magicSquare/normalized-magicSquare-15_glb.xml magicSquare/normalized-magicSquare-16_glb.xml magicSquare/normalized-magicSquare-17_glb.xml magicSquare/normalized-magicSquare-18_glb.xml magicSquare/normalized-magicSquare-19_glb.xml magicSquare/normalized-magicSquare-20_glb.xml magicSquare/normalized-magicSquare-3_glb.xml magicSquare/normalized-magicSquare-4_glb.xml magicSquare/normalized-magicSquare-5_glb.xml magicSquare/normalized-magicSquare-6_glb.xml magicSquare/normalized-magicSquare-7_glb.xml magicSquare/normalized-magicSquare-8_glb.xml magicSquare/normalized-magicSquare-9_glb.xml # done ## 10 instances are selected out of 10: marc/normalized-large-80-sat_ext.xml marc/normalized-large-80-unsat_ext.xml marc/normalized-large-84-sat_ext.xml marc/normalized-large-84-unsat_ext.xml marc/normalized-large-88-sat_ext.xml marc/normalized-large-88-unsat_ext.xml marc/normalized-large-92-sat_ext.xml marc/normalized-large-92-unsat_ext.xml marc/normalized-large-96-sat_ext.xml marc/normalized-large-96-unsat_ext.xml # done ## 5 instances are selected out of 5: medium/normalized-patat-02-medium-1.xml medium/normalized-patat-02-medium-2.xml medium/normalized-patat-02-medium-3.xml medium/normalized-patat-02-medium-4.xml medium/normalized-patat-02-medium-5.xml # done ## 6 instances are selected out of 6: mknap/normalized-mknap-1-0.xml mknap/normalized-mknap-1-2.xml mknap/normalized-mknap-1-3.xml mknap/normalized-mknap-1-4.xml mknap/normalized-mknap-1-5.xml mknap/normalized-mknap-1-6.xml # done ## 40 instances are selected out of 50: modifiedRenault/normalized-renault-mod-0_ext.xml modifiedRenault/normalized-renault-mod-10_ext.xml modifiedRenault/normalized-renault-mod-11_ext.xml modifiedRenault/normalized-renault-mod-12_ext.xml modifiedRenault/normalized-renault-mod-13_ext.xml modifiedRenault/normalized-renault-mod-14_ext.xml modifiedRenault/normalized-renault-mod-16_ext.xml modifiedRenault/normalized-renault-mod-17_ext.xml modifiedRenault/normalized-renault-mod-18_ext.xml modifiedRenault/normalized-renault-mod-19_ext.xml modifiedRenault/normalized-renault-mod-1_ext.xml modifiedRenault/normalized-renault-mod-20_ext.xml modifiedRenault/normalized-renault-mod-21_ext.xml modifiedRenault/normalized-renault-mod-22_ext.xml modifiedRenault/normalized-renault-mod-23_ext.xml modifiedRenault/normalized-renault-mod-24_ext.xml modifiedRenault/normalized-renault-mod-26_ext.xml modifiedRenault/normalized-renault-mod-27_ext.xml modifiedRenault/normalized-renault-mod-28_ext.xml modifiedRenault/normalized-renault-mod-29_ext.xml modifiedRenault/normalized-renault-mod-30_ext.xml modifiedRenault/normalized-renault-mod-31_ext.xml modifiedRenault/normalized-renault-mod-33_ext.xml modifiedRenault/normalized-renault-mod-35_ext.xml modifiedRenault/normalized-renault-mod-36_ext.xml modifiedRenault/normalized-renault-mod-37_ext.xml modifiedRenault/normalized-renault-mod-39_ext.xml modifiedRenault/normalized-renault-mod-3_ext.xml modifiedRenault/normalized-renault-mod-40_ext.xml modifiedRenault/normalized-renault-mod-41_ext.xml modifiedRenault/normalized-renault-mod-42_ext.xml modifiedRenault/normalized-renault-mod-43_ext.xml modifiedRenault/normalized-renault-mod-44_ext.xml modifiedRenault/normalized-renault-mod-46_ext.xml modifiedRenault/normalized-renault-mod-47_ext.xml modifiedRenault/normalized-renault-mod-48_ext.xml modifiedRenault/normalized-renault-mod-49_ext.xml modifiedRenault/normalized-renault-mod-4_ext.xml modifiedRenault/normalized-renault-mod-5_ext.xml modifiedRenault/normalized-renault-mod-9_ext.xml # done ## 10 instances are selected out of 10: nengfa/normalized-block.xml nengfa/normalized-color.xml nengfa/normalized-pack.xml nengfa/normalized-protein.xml nengfa/normalized-queens1.xml nengfa/normalized-queens2.xml nengfa/normalized-radi.xml nengfa/normalized-route.xml nengfa/normalized-schur.xml nengfa/normalized-sudoku368.xml # done ## 25 instances are selected out of 50: ogdHerald/normalized-crossword-m1-ogd-05-01.xml ogdHerald/normalized-crossword-m1-ogd-05-04.xml ogdHerald/normalized-crossword-m1-ogd-05-06.xml ogdHerald/normalized-crossword-m1-ogd-05-08.xml ogdHerald/normalized-crossword-m1-ogd-05-09.xml ogdHerald/normalized-crossword-m1-ogd-05-10.xml ogdHerald/normalized-crossword-m1-ogd-15-02.xml ogdHerald/normalized-crossword-m1-ogd-15-03.xml ogdHerald/normalized-crossword-m1-ogd-15-05.xml ogdHerald/normalized-crossword-m1-ogd-15-06.xml ogdHerald/normalized-crossword-m1-ogd-15-08.xml ogdHerald/normalized-crossword-m1-ogd-19-02.xml ogdHerald/normalized-crossword-m1-ogd-19-05.xml ogdHerald/normalized-crossword-m1-ogd-19-06.xml ogdHerald/normalized-crossword-m1-ogd-19-08.xml ogdHerald/normalized-crossword-m1-ogd-21-03.xml ogdHerald/normalized-crossword-m1-ogd-21-05.xml ogdHerald/normalized-crossword-m1-ogd-21-08.xml ogdHerald/normalized-crossword-m1-ogd-21-10.xml ogdHerald/normalized-crossword-m1-ogd-23-02.xml ogdHerald/normalized-crossword-m1-ogd-23-03.xml ogdHerald/normalized-crossword-m1-ogd-23-07.xml ogdHerald/normalized-crossword-m1-ogd-23-08.xml ogdHerald/normalized-crossword-m1-ogd-23-09.xml ogdHerald/normalized-crossword-m1-ogd-23-10.xml # done ## 15 instances are selected out of 22: ogdPuzzle/normalized-crossword-m1-ogd-puzzle02.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle03.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle05.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle06.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle07.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle08.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle10.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle11.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle12.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle13.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle16.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle17.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle19.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle21.xml ogdPuzzle/normalized-crossword-m1-ogd-puzzle22.xml # done ## 45 instances are selected out of 65: ogdVg/normalized-crossword-m1c-ogd-vg10-10_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg10-11_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg10-12_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg10-13_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg11-11_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg11-12_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg11-13_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg11-14_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg11-15_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg12-12_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg12-13_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg12-14_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg12-15_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg13-13_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg13-14_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg13-15_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg13-16_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg14-15_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg14-17_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg15-16_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg15-19_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg16-16_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg16-18_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg16-20_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg4-4_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg4-6_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg4-8_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg5-7_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg5-8_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg6-10_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg6-6_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg6-7_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg6-8_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg6-9_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg7-10_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg7-11_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg7-9_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg8-10_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg8-11_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg8-12_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg8-8_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg9-10_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg9-12_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg9-13_ext.xml ogdVg/normalized-crossword-m1c-ogd-vg9-9_ext.xml # done ## 9 instances are selected out of 9: ortholatin/normalized-ortholatin-10.xml ortholatin/normalized-ortholatin-15.xml ortholatin/normalized-ortholatin-20.xml ortholatin/normalized-ortholatin-2.xml ortholatin/normalized-ortholatin-5.xml ortholatin/normalized-ortholatin-6.xml ortholatin/normalized-ortholatin-7.xml ortholatin/normalized-ortholatin-8.xml ortholatin/normalized-ortholatin-9.xml # done ## 15 instances are selected out of 20: os-gp/normalized-gp10-01-1092.xml os-gp/normalized-gp10-01-1093.xml os-gp/normalized-gp10-02-1096.xml os-gp/normalized-gp10-02-1097.xml os-gp/normalized-gp10-03-1080.xml os-gp/normalized-gp10-03-1081.xml os-gp/normalized-gp10-04-1076.xml os-gp/normalized-gp10-04-1077.xml os-gp/normalized-gp10-05-1070.xml os-gp/normalized-gp10-06-1070.xml os-gp/normalized-gp10-06-1071.xml os-gp/normalized-gp10-07-1079.xml os-gp/normalized-gp10-08-1092.xml os-gp/normalized-gp10-09-1111.xml os-gp/normalized-gp10-09-1112.xml # done ## 10 instances are selected out of 30: os-taillard-10/normalized-os-taillard-10-100-4.xml os-taillard-10/normalized-os-taillard-10-100-8.xml os-taillard-10/normalized-os-taillard-10-105-0.xml os-taillard-10/normalized-os-taillard-10-105-2.xml os-taillard-10/normalized-os-taillard-10-105-6.xml os-taillard-10/normalized-os-taillard-10-105-8.xml os-taillard-10/normalized-os-taillard-10-105-9.xml os-taillard-10/normalized-os-taillard-10-95-1.xml os-taillard-10/normalized-os-taillard-10-95-3.xml os-taillard-10/normalized-os-taillard-10-95-8.xml # done ## 10 instances are selected out of 30: os-taillard-15/normalized-os-taillard-15-100-1.xml os-taillard-15/normalized-os-taillard-15-100-4.xml os-taillard-15/normalized-os-taillard-15-105-0.xml os-taillard-15/normalized-os-taillard-15-105-3.xml os-taillard-15/normalized-os-taillard-15-105-5.xml os-taillard-15/normalized-os-taillard-15-105-7.xml os-taillard-15/normalized-os-taillard-15-105-8.xml os-taillard-15/normalized-os-taillard-15-105-9.xml os-taillard-15/normalized-os-taillard-15-95-2.xml os-taillard-15/normalized-os-taillard-15-95-9.xml # done ## 10 instances are selected out of 30: os-taillard-20/normalized-os-taillard-20-100-0.xml os-taillard-20/normalized-os-taillard-20-100-1.xml os-taillard-20/normalized-os-taillard-20-100-3.xml os-taillard-20/normalized-os-taillard-20-105-8.xml os-taillard-20/normalized-os-taillard-20-105-9.xml os-taillard-20/normalized-os-taillard-20-95-0.xml os-taillard-20/normalized-os-taillard-20-95-1.xml os-taillard-20/normalized-os-taillard-20-95-2.xml os-taillard-20/normalized-os-taillard-20-95-6.xml os-taillard-20/normalized-os-taillard-20-95-7.xml # done ## 10 instances are selected out of 30: os-taillard-4/normalized-os-taillard-4-100-3.xml os-taillard-4/normalized-os-taillard-4-100-4.xml os-taillard-4/normalized-os-taillard-4-100-7.xml os-taillard-4/normalized-os-taillard-4-100-8.xml os-taillard-4/normalized-os-taillard-4-105-0.xml os-taillard-4/normalized-os-taillard-4-105-2.xml os-taillard-4/normalized-os-taillard-4-105-4.xml os-taillard-4/normalized-os-taillard-4-95-4.xml os-taillard-4/normalized-os-taillard-4-95-5.xml os-taillard-4/normalized-os-taillard-4-95-8.xml # done ## 10 instances are selected out of 30: os-taillard-5/normalized-os-taillard-5-100-0.xml os-taillard-5/normalized-os-taillard-5-100-8.xml os-taillard-5/normalized-os-taillard-5-100-9.xml os-taillard-5/normalized-os-taillard-5-105-0.xml os-taillard-5/normalized-os-taillard-5-105-1.xml os-taillard-5/normalized-os-taillard-5-105-4.xml os-taillard-5/normalized-os-taillard-5-105-8.xml os-taillard-5/normalized-os-taillard-5-95-5.xml os-taillard-5/normalized-os-taillard-5-95-8.xml os-taillard-5/normalized-os-taillard-5-95-9.xml # done ## 10 instances are selected out of 30: os-taillard-7/normalized-os-taillard-7-100-0.xml os-taillard-7/normalized-os-taillard-7-100-6.xml os-taillard-7/normalized-os-taillard-7-105-3.xml os-taillard-7/normalized-os-taillard-7-105-4.xml os-taillard-7/normalized-os-taillard-7-105-8.xml os-taillard-7/normalized-os-taillard-7-105-9.xml os-taillard-7/normalized-os-taillard-7-95-4.xml os-taillard-7/normalized-os-taillard-7-95-7.xml os-taillard-7/normalized-os-taillard-7-95-8.xml os-taillard-7/normalized-os-taillard-7-95-9.xml # done ## 19 instances are selected out of 19: pigeons_glb/normalized-pigeons-10_ext.xml pigeons_glb/normalized-pigeons-11_ext.xml pigeons_glb/normalized-pigeons-12_ext.xml pigeons_glb/normalized-pigeons-13_ext.xml pigeons_glb/normalized-pigeons-14_ext.xml pigeons_glb/normalized-pigeons-15_ext.xml pigeons_glb/normalized-pigeons-18_ext.xml pigeons_glb/normalized-pigeons-20_ext.xml pigeons_glb/normalized-pigeons-25_ext.xml pigeons_glb/normalized-pigeons-30_ext.xml pigeons_glb/normalized-pigeons-35_ext.xml pigeons_glb/normalized-pigeons-40_ext.xml pigeons_glb/normalized-pigeons-45_ext.xml pigeons_glb/normalized-pigeons-50_ext.xml pigeons_glb/normalized-pigeons-5_ext.xml pigeons_glb/normalized-pigeons-6_ext.xml pigeons_glb/normalized-pigeons-7_ext.xml pigeons_glb/normalized-pigeons-8_ext.xml pigeons_glb/normalized-pigeons-9_ext.xml # done ## 10 instances are selected out of 25: pigeons/normalized-pigeons-11.xml pigeons/normalized-pigeons-13.xml pigeons/normalized-pigeons-14.xml pigeons/normalized-pigeons-16.xml pigeons/normalized-pigeons-20.xml pigeons/normalized-pigeons-30-ord.xml pigeons/normalized-pigeons-30.xml pigeons/normalized-pigeons-35.xml pigeons/normalized-pigeons-40.xml pigeons/normalized-pigeons-8.xml # done ## 8 instances are selected out of 8: pret/normalized-pret-150-25_ext.xml pret/normalized-pret-150-40_ext.xml pret/normalized-pret-150-60_ext.xml pret/normalized-pret-150-75_ext.xml pret/normalized-pret-60-25_ext.xml pret/normalized-pret-60-40_ext.xml pret/normalized-pret-60-60_ext.xml pret/normalized-pret-60-75_ext.xml # done ## 15 instances are selected out of 32: primes-10/normalized-primes-10-20-2-1.xml primes-10/normalized-primes-10-20-2-7.xml primes-10/normalized-primes-10-20-3-5.xml primes-10/normalized-primes-10-20-3-7.xml primes-10/normalized-primes-10-40-2-1.xml primes-10/normalized-primes-10-40-2-3.xml primes-10/normalized-primes-10-40-2-5.xml primes-10/normalized-primes-10-40-2-7.xml primes-10/normalized-primes-10-40-3-1.xml primes-10/normalized-primes-10-40-3-5.xml primes-10/normalized-primes-10-60-2-7.xml primes-10/normalized-primes-10-60-3-5.xml primes-10/normalized-primes-10-60-3-7.xml primes-10/normalized-primes-10-80-2-3.xml primes-10/normalized-primes-10-80-3-7.xml # done ## 16 instances are selected out of 32: primes-15/normalized-primes-15-20-2-1.xml primes-15/normalized-primes-15-20-2-3.xml primes-15/normalized-primes-15-20-2-5.xml primes-15/normalized-primes-15-20-2-7.xml primes-15/normalized-primes-15-20-3-3.xml primes-15/normalized-primes-15-20-3-5.xml primes-15/normalized-primes-15-40-2-1.xml primes-15/normalized-primes-15-40-2-7.xml primes-15/normalized-primes-15-40-3-1.xml primes-15/normalized-primes-15-40-3-5.xml primes-15/normalized-primes-15-40-3-7.xml primes-15/normalized-primes-15-60-2-7.xml primes-15/normalized-primes-15-80-2-1.xml primes-15/normalized-primes-15-80-2-3.xml primes-15/normalized-primes-15-80-3-1.xml primes-15/normalized-primes-15-80-3-5.xml # done ## 15 instances are selected out of 32: primes-20/normalized-primes-20-20-2-3.xml primes-20/normalized-primes-20-20-2-7.xml primes-20/normalized-primes-20-20-3-5.xml primes-20/normalized-primes-20-40-2-3.xml primes-20/normalized-primes-20-40-3-7.xml primes-20/normalized-primes-20-60-2-1.xml primes-20/normalized-primes-20-60-2-3.xml primes-20/normalized-primes-20-60-3-3.xml primes-20/normalized-primes-20-60-3-5.xml primes-20/normalized-primes-20-60-3-7.xml primes-20/normalized-primes-20-80-2-1.xml primes-20/normalized-primes-20-80-2-7.xml primes-20/normalized-primes-20-80-3-1.xml primes-20/normalized-primes-20-80-3-5.xml primes-20/normalized-primes-20-80-3-7.xml # done ## 15 instances are selected out of 32: primes-25/normalized-primes-25-20-2-7.xml primes-25/normalized-primes-25-20-3-1.xml primes-25/normalized-primes-25-20-3-3.xml primes-25/normalized-primes-25-20-3-7.xml primes-25/normalized-primes-25-40-2-7.xml primes-25/normalized-primes-25-40-3-3.xml primes-25/normalized-primes-25-40-3-5.xml primes-25/normalized-primes-25-40-3-7.xml primes-25/normalized-primes-25-60-2-3.xml primes-25/normalized-primes-25-60-2-7.xml primes-25/normalized-primes-25-60-3-3.xml primes-25/normalized-primes-25-80-2-5.xml primes-25/normalized-primes-25-80-3-1.xml primes-25/normalized-primes-25-80-3-3.xml primes-25/normalized-primes-25-80-3-7.xml # done ## 15 instances are selected out of 32: primes-30/normalized-primes-30-20-3-1.xml primes-30/normalized-primes-30-20-3-7.xml primes-30/normalized-primes-30-40-2-1.xml primes-30/normalized-primes-30-40-2-3.xml primes-30/normalized-primes-30-40-2-7.xml primes-30/normalized-primes-30-40-3-3.xml primes-30/normalized-primes-30-60-2-1.xml primes-30/normalized-primes-30-60-2-3.xml primes-30/normalized-primes-30-60-2-7.xml primes-30/normalized-primes-30-60-3-3.xml primes-30/normalized-primes-30-60-3-7.xml primes-30/normalized-primes-30-80-2-1.xml primes-30/normalized-primes-30-80-2-7.xml primes-30/normalized-primes-30-80-3-3.xml primes-30/normalized-primes-30-80-3-5.xml # done ## 20 instances are selected out of 48: pseudo/aim/normalized-aim-100-1-6-1.xml pseudo/aim/normalized-aim-100-1-6-4.xml pseudo/aim/normalized-aim-100-2-0-2.xml pseudo/aim/normalized-aim-100-3-4-2.xml pseudo/aim/normalized-aim-100-3-4-3.xml pseudo/aim/normalized-aim-100-3-4-4.xml pseudo/aim/normalized-aim-100-6-0-3.xml pseudo/aim/normalized-aim-200-1-6-1.xml pseudo/aim/normalized-aim-200-1-6-2.xml pseudo/aim/normalized-aim-200-1-6-4.xml pseudo/aim/normalized-aim-200-2-0-3.xml pseudo/aim/normalized-aim-200-3-4-4.xml pseudo/aim/normalized-aim-200-6-0-3.xml pseudo/aim/normalized-aim-50-1-6-2.xml pseudo/aim/normalized-aim-50-2-0-1.xml pseudo/aim/normalized-aim-50-3-4-1.xml pseudo/aim/normalized-aim-50-3-4-4.xml pseudo/aim/normalized-aim-50-6-0-1.xml pseudo/aim/normalized-aim-50-6-0-3.xml pseudo/aim/normalized-aim-50-6-0-4.xml # done ## 15 instances are selected out of 21: pseudo/chnl/normalized-chnl-10-11.xml pseudo/chnl/normalized-chnl-10-15.xml pseudo/chnl/normalized-chnl-15-16.xml pseudo/chnl/normalized-chnl-15-20.xml pseudo/chnl/normalized-chnl-20-21.xml pseudo/chnl/normalized-chnl-20-30.xml pseudo/chnl/normalized-chnl-30-31.xml pseudo/chnl/normalized-chnl-30-35.xml pseudo/chnl/normalized-chnl-30-40.xml pseudo/chnl/normalized-chnl-35-40.xml pseudo/chnl/normalized-chnl-35-45.xml pseudo/chnl/normalized-chnl-40-41.xml pseudo/chnl/normalized-chnl-40-50.xml pseudo/chnl/normalized-chnl-50-55.xml pseudo/chnl/normalized-chnl-50-60.xml # done ## 7 instances are selected out of 7: pseudo/circuits/normalized-b1.xml pseudo/circuits/normalized-C17.xml pseudo/circuits/normalized-C432.xml pseudo/circuits/normalized-c8.xml pseudo/circuits/normalized-cc.xml pseudo/circuits/normalized-cm42a.xml pseudo/circuits/normalized-cmb.xml # done ## 4 instances are selected out of 4: pseudo/course/normalized-ss97-4.xml pseudo/course/normalized-ss97-6.xml pseudo/course/normalized-ws97-3.xml pseudo/course/normalized-ws97-5.xml # done ## 15 instances are selected out of 36: pseudo/fpga/normalized-fpga-10-10.xml pseudo/fpga/normalized-fpga-10-8.xml pseudo/fpga/normalized-fpga-10-9.xml pseudo/fpga/normalized-fpga-11-11.xml pseudo/fpga/normalized-fpga-12-10.xml pseudo/fpga/normalized-fpga-13-11.xml pseudo/fpga/normalized-fpga-14-12.xml pseudo/fpga/normalized-fpga-14-14.xml pseudo/fpga/normalized-fpga-15-14.xml pseudo/fpga/normalized-fpga-20-18.xml pseudo/fpga/normalized-fpga-25-23.xml pseudo/fpga/normalized-fpga-30-28.xml pseudo/fpga/normalized-fpga-30-30.xml pseudo/fpga/normalized-fpga-35-34.xml pseudo/fpga/normalized-fpga-35-35.xml # done ## 7 instances are selected out of 7: pseudo/garden/normalized-g-100x100.xml pseudo/garden/normalized-g-15x15.xml pseudo/garden/normalized-g-2x2.xml pseudo/garden/normalized-g-4x4.xml pseudo/garden/normalized-g-7x7.xml pseudo/garden/normalized-g-9x3.xml pseudo/garden/normalized-g-9x9.xml # done ## 100 instances are selected out of 384: pseudoGLB/normalized-43s-smv.xml pseudoGLB/normalized-army12-21bt.xml pseudoGLB/normalized-army12-21ls.xml pseudoGLB/normalized-army13-24ls.xml pseudoGLB/normalized-army9-12ls.xml pseudoGLB/normalized-cache-inv10-ucl.xml pseudoGLB/normalized-cache-inv12-ucl.xml pseudoGLB/normalized-chnl10-15-pb-cnf-cr.xml pseudoGLB/normalized-chnl10-20-pb-cnf-cr.xml pseudoGLB/normalized-chnl15-20-pb-cnf-cr.xml pseudoGLB/normalized-chnl15-25-pb-cnf-cr.xml pseudoGLB/normalized-chnl35-40-pb-cnf-cr.xml pseudoGLB/normalized-chnl35-45-pb-cnf-cr.xml pseudoGLB/normalized-chnl40-45-pb-cnf-cr.xml pseudoGLB/normalized-chnl40-50-pb-cnf-cr.xml pseudoGLB/normalized-chnl50-60-pb-cnf-cr.xml pseudoGLB/normalized-dbst-v30-e350-d15-mw10-3.PB06.xml pseudoGLB/normalized-elf-rf7-ucl.xml pseudoGLB/normalized-fpga10-10-sat-pb-cnf-cr.xml pseudoGLB/normalized-fpga11-9-sat-pb-cnf-cr.xml pseudoGLB/normalized-fpga13-13-sat-pb-cnf-cr.xml pseudoGLB/normalized-fpga14-12-sat-pb-cnf-cr.xml pseudoGLB/normalized-fpga14-13-sat-pb-cnf-cr.xml pseudoGLB/normalized-fpga14-14-sat-pb-cnf-cr.xml pseudoGLB/normalized-fpga20-20-sat-pb-cnf-cr.xml pseudoGLB/normalized-fpga25-24-sat-pb-cnf-cr.xml pseudoGLB/normalized-fpga25-25-sat-pb-cnf-cr.xml pseudoGLB/normalized-fpga30-30-sat-pb-cnf-cr.xml pseudoGLB/normalized-fpga35-34-sat-pb-cnf-cr.xml pseudoGLB/normalized-ooo-rf8-ucl.xml pseudoGLB/normalized-ooo-tag12-ucl.xml pseudoGLB/normalized-pigeon-cardinality-105-100.xml pseudoGLB/normalized-pigeon-cardinality-15-10.xml pseudoGLB/normalized-pigeon-cardinality-25-20.xml pseudoGLB/normalized-pigeon-cardinality-55-50.xml pseudoGLB/normalized-pigeon-cardinality-71-70.xml pseudoGLB/normalized-pigeon-cardinality-75-70.xml pseudoGLB/normalized-pigeon-cardinality-95-90.xml pseudoGLB/normalized-pigeon-clauses-45-40.xml pseudoGLB/normalized-pigeon-clauses-65-60.xml pseudoGLB/normalized-pigeon-clauses-71-70.xml pseudoGLB/normalized-pigeon-clauses-91-90.xml pseudoGLB/normalized-pigeon-clauses-95-90.xml pseudoGLB/normalized-ppp:1-9-16-19.xml pseudoGLB/normalized-reduced-cuww2.xml pseudoGLB/normalized-reduced-prob10.xml pseudoGLB/normalized-reduced-prob1.xml pseudoGLB/normalized-reduced-prob3.xml pseudoGLB/normalized-reduced-prob4.xml pseudoGLB/normalized-robin10.xml pseudoGLB/normalized-robin12.xml pseudoGLB/normalized-robin16.xml pseudoGLB/normalized-t2001-13queen13-1110966688.xml pseudoGLB/normalized-t2001-13queen13-1110967523.xml pseudoGLB/normalized-t2001-13queen13-1110968898.xml pseudoGLB/normalized-t2001-13queen13-1110969577.xml pseudoGLB/normalized-t2001-13queen13-1110970631.xml pseudoGLB/normalized-t2001-13queen13-1110972763.xml pseudoGLB/normalized-t2001-13queen13-1110972958.xml pseudoGLB/normalized-t2001-13queen13-1110973670.xml pseudoGLB/normalized-t2001-13queen13-1110975607.xml pseudoGLB/normalized-t2001-13queen13-1110976730.xml pseudoGLB/normalized-t2001-13queen13-1110976935.xml pseudoGLB/normalized-t2001-13queen13-1110977464.xml pseudoGLB/normalized-t2001-13queen13-1111212923.xml pseudoGLB/normalized-t2001-13queen13-1111213670.xml pseudoGLB/normalized-t2001-13queen13-1111217374.xml pseudoGLB/normalized-t2001-13queen13-1111219348.xml pseudoGLB/normalized-t2001-13queen13-1111220019.xml pseudoGLB/normalized-t2001-13queen13-1111221203.xml pseudoGLB/normalized-t2001-13queen13-1111221953.xml pseudoGLB/normalized-t2001-13queen13-1111222257.xml pseudoGLB/normalized-t2001-13queen13-1111223696.xml pseudoGLB/normalized-t2001-13queen13-1111224929.xml pseudoGLB/normalized-t2001-13queen13-1111225605.xml pseudoGLB/normalized-t2001-13queen13-1111227012.xml pseudoGLB/normalized-t3002-11tsp11-1900546417.xml pseudoGLB/normalized-t3002-11tsp11-1900547334.xml pseudoGLB/normalized-t3002-11tsp11-1900548667.xml pseudoGLB/normalized-t3002-11tsp11-1900552423.xml pseudoGLB/normalized-t3002-11tsp11-1900553812.xml pseudoGLB/normalized-t3002-11tsp11-1900554375.xml pseudoGLB/normalized-t3002-11tsp11-1900557362.xml pseudoGLB/normalized-t3002-11tsp11-1900557957.xml pseudoGLB/normalized-t3002-11tsp11-1900558739.xml pseudoGLB/normalized-t3002-11tsp11-1900563801.xml pseudoGLB/normalized-t3002-11tsp11-1900564824.xml pseudoGLB/normalized-t3002-11tsp11-1900567135.xml pseudoGLB/normalized-t3002-11tsp11-1900567939.xml pseudoGLB/normalized-t3002-11tsp11-1900567985.xml pseudoGLB/normalized-t3002-11tsp11-1900568186.xml pseudoGLB/normalized-t3002-11tsp11-1900571132.xml pseudoGLB/normalized-t3002-11tsp11-1900574974.xml pseudoGLB/normalized-t3002-11tsp11-1900577000.xml pseudoGLB/normalized-t3002-11tsp11-1900581320.xml pseudoGLB/normalized-t3002-11tsp11-1900582300.xml pseudoGLB/normalized-t3002-11tsp11-1900667195.xml pseudoGLB/normalized-t3002-11tsp11-1900669309.xml pseudoGLB/normalized-t3002-11tsp11-1900670167.xml pseudoGLB/normalized-t3002-11tsp11-1900670675.xml # done ## 18 instances are selected out of 41: pseudo/ii/normalized-ii-16a2.xml pseudo/ii/normalized-ii-16b2.xml pseudo/ii/normalized-ii-16c2.xml pseudo/ii/normalized-ii-16d1.xml pseudo/ii/normalized-ii-16e1.xml pseudo/ii/normalized-ii-16e2.xml pseudo/ii/normalized-ii-32a1.xml pseudo/ii/normalized-ii-32b3.xml pseudo/ii/normalized-ii-32c3.xml pseudo/ii/normalized-ii-32d2.xml pseudo/ii/normalized-ii-32e1.xml pseudo/ii/normalized-ii-32e2.xml pseudo/ii/normalized-ii-32e3.xml pseudo/ii/normalized-ii-8a1.xml pseudo/ii/normalized-ii-8b1.xml pseudo/ii/normalized-ii-8b2.xml pseudo/ii/normalized-ii-8b4.xml pseudo/ii/normalized-ii-8c2.xml # done ## 15 instances are selected out of 16: pseudo/jnh/normalized-jnh-12.xml pseudo/jnh/normalized-jnh-17.xml pseudo/jnh/normalized-jnh-1.xml pseudo/jnh/normalized-jnh-201.xml pseudo/jnh/normalized-jnh-204.xml pseudo/jnh/normalized-jnh-205.xml pseudo/jnh/normalized-jnh-207.xml pseudo/jnh/normalized-jnh-209.xml pseudo/jnh/normalized-jnh-210.xml pseudo/jnh/normalized-jnh-213.xml pseudo/jnh/normalized-jnh-217.xml pseudo/jnh/normalized-jnh-218.xml pseudo/jnh/normalized-jnh-220.xml pseudo/jnh/normalized-jnh-301.xml pseudo/jnh/normalized-jnh-7.xml # done ## 15 instances are selected out of 17: pseudo/logic-synthesis/normalized-5xp1-b.xml pseudo/logic-synthesis/normalized-9sym-b.xml pseudo/logic-synthesis/normalized-9symml.xml pseudo/logic-synthesis/normalized-alu4-b.xml pseudo/logic-synthesis/normalized-apex4-a.xml pseudo/logic-synthesis/normalized-bench1-pi.xml pseudo/logic-synthesis/normalized-clip-b.xml pseudo/logic-synthesis/normalized-count-b.xml pseudo/logic-synthesis/normalized-e-am-pi.xml pseudo/logic-synthesis/normalized-ex5-pi.xml pseudo/logic-synthesis/normalized-f51m-b.xml pseudo/logic-synthesis/normalized-max1024-pi.xml pseudo/logic-synthesis/normalized-prom2-pi.xml pseudo/logic-synthesis/normalized-rot-b.xml pseudo/logic-synthesis/normalized-sao2-b.xml # done ## 20 instances are selected out of 49: pseudo/mps/normalized-mps-10teams.xml pseudo/mps/normalized-mps-air01.xml pseudo/mps/normalized-mps-air02.xml pseudo/mps/normalized-mps-air03.xml pseudo/mps/normalized-mps-air05.xml pseudo/mps/normalized-mps-air06.xml pseudo/mps/normalized-mps-bm23.xml pseudo/mps/normalized-mps-diamond.xml pseudo/mps/normalized-mps-l152lav.xml pseudo/mps/normalized-mps-mitre.xml pseudo/mps/normalized-mps-mzzv11.xml pseudo/mps/normalized-mps-neos5.xml pseudo/mps/normalized-mps-opt1217.xml pseudo/mps/normalized-mps-p0282.xml pseudo/mps/normalized-mps-p0291.xml pseudo/mps/normalized-mps-p0548.xml pseudo/mps/normalized-mps-seymour.xml pseudo/mps/normalized-mps-stein27.xml pseudo/mps/normalized-mps-stein9.xml pseudo/mps/normalized-mps-vpm2.xml # done ## 25 instances are selected out of 106: pseudo/mpsReduced/normalized-mps-red-25fv47.xml pseudo/mpsReduced/normalized-mps-red-afiro.xml pseudo/mpsReduced/normalized-mps-red-agg3.xml pseudo/mpsReduced/normalized-mps-red-agg.xml pseudo/mpsReduced/normalized-mps-red-air01.xml pseudo/mpsReduced/normalized-mps-red-air03.xml pseudo/mpsReduced/normalized-mps-red-bandm.xml pseudo/mpsReduced/normalized-mps-red-beaconfd.xml pseudo/mpsReduced/normalized-mps-red-bell3a.xml pseudo/mpsReduced/normalized-mps-red-berlin-5-8_0.xml pseudo/mpsReduced/normalized-mps-red-blend.xml pseudo/mpsReduced/normalized-mps-red-egout.xml pseudo/mpsReduced/normalized-mps-red-fiber.xml pseudo/mpsReduced/normalized-mps-red-flugpl.xml pseudo/mpsReduced/normalized-mps-red-gr4x6.xml pseudo/mpsReduced/normalized-mps-red-markshare2-1.xml pseudo/mpsReduced/normalized-mps-red-misc03.xml pseudo/mpsReduced/normalized-mps-red-p0282.xml pseudo/mpsReduced/normalized-mps-red-pk1.xml pseudo/mpsReduced/normalized-mps-red-ran10x10b.xml pseudo/mpsReduced/normalized-mps-red-ran14x18.xml pseudo/mpsReduced/normalized-mps-red-ran16x16.xml pseudo/mpsReduced/normalized-mps-red-sample2.xml pseudo/mpsReduced/normalized-mps-red-share2b.xml pseudo/mpsReduced/normalized-mps-red-vtp-base.xml # done ## 15 instances are selected out of 19: pseudo/niklas/normalized-air04.xml pseudo/niklas/normalized-air05.xml pseudo/niklas/normalized-enigma.xml pseudo/niklas/normalized-l152lav.xml pseudo/niklas/normalized-lseu.xml pseudo/niklas/normalized-mitre.xml pseudo/niklas/normalized-mod008.xml pseudo/niklas/normalized-mux.xml pseudo/niklas/normalized-my-adder.xml pseudo/niklas/normalized-p0282.xml pseudo/niklas/normalized-p0548.xml pseudo/niklas/normalized-pk1.xml pseudo/niklas/normalized-seymour.xml pseudo/niklas/normalized-stein27.xml pseudo/niklas/normalized-stein45.xml # done ## 15 instances are selected out of 30: pseudo/par/normalized-par-16-2-c.xml pseudo/par/normalized-par-16-3-c.xml pseudo/par/normalized-par-16-4.xml pseudo/par/normalized-par-16-5-c.xml pseudo/par/normalized-par-16-5.xml pseudo/par/normalized-par-32-1-c.xml pseudo/par/normalized-par-32-1.xml pseudo/par/normalized-par-32-2-c.xml pseudo/par/normalized-par-32-3-c.xml pseudo/par/normalized-par-32-4.xml pseudo/par/normalized-par-32-5-c.xml pseudo/par/normalized-par-8-1-c.xml pseudo/par/normalized-par-8-2-c.xml pseudo/par/normalized-par-8-5-c.xml pseudo/par/normalized-par-8-5.xml # done ## 6 instances are selected out of 6: pseudo/ppp/normalized-ppp-1-11-19-21.xml pseudo/ppp/normalized-ppp-1-12-16.xml pseudo/ppp/normalized-ppp-1-13.xml pseudo/ppp/normalized-ppp-1-3-13-19.xml pseudo/ppp/normalized-ppp-1-9-16-19.xml pseudo/ppp/normalized-ppp-3-13-25-26.xml # done ## 11 instances are selected out of 11: pseudo/primesDimacs/normalized-bf-0432-007.xml pseudo/primesDimacs/normalized-bf-1355-075.xml pseudo/primesDimacs/normalized-bf-1355-638.xml pseudo/primesDimacs/normalized-bf-2670-001.xml pseudo/primesDimacs/normalized-f1000.xml pseudo/primesDimacs/normalized-f2000.xml pseudo/primesDimacs/normalized-f600.xml pseudo/primesDimacs/normalized-g-125-17.xml pseudo/primesDimacs/normalized-g-125-18.xml pseudo/primesDimacs/normalized-hanoi4.xml pseudo/primesDimacs/normalized-hanoi5.xml # done ## 12 instances are selected out of 12: pseudo/radar/normalized-radar-10-10-4.5-0.5-100.xml pseudo/radar/normalized-radar-10-10-4.5-0.95-100.xml pseudo/radar/normalized-radar-10-10-4.5-0.95-98.xml pseudo/radar/normalized-radar-10-20-4.5-0.5-100.xml pseudo/radar/normalized-radar-10-20-4.5-0.95-100.xml pseudo/radar/normalized-radar-10-20-4.5-0.95-98.xml pseudo/radar/normalized-radar-30-30-4.5-0.5-100.xml pseudo/radar/normalized-radar-30-30-4.5-0.95-100.xml pseudo/radar/normalized-radar-30-30-4.5-0.95-98.xml pseudo/radar/normalized-radar-30-70-4.5-0.5-100.xml pseudo/radar/normalized-radar-30-70-4.5-0.95-100.xml pseudo/radar/normalized-radar-30-70-4.5-0.95-98.xml # done ## 15 instances are selected out of 15: pseudo/routing/normalized-s3-3-3-1.xml pseudo/routing/normalized-s3-3-3-2.xml pseudo/routing/normalized-s3-3-3-3.xml pseudo/routing/normalized-s3-3-3-4.xml pseudo/routing/normalized-s3-3-3-5.xml pseudo/routing/normalized-s4-4-3-10.xml pseudo/routing/normalized-s4-4-3-1.xml pseudo/routing/normalized-s4-4-3-2.xml pseudo/routing/normalized-s4-4-3-3.xml pseudo/routing/normalized-s4-4-3-4.xml pseudo/routing/normalized-s4-4-3-5.xml pseudo/routing/normalized-s4-4-3-6.xml pseudo/routing/normalized-s4-4-3-7.xml pseudo/routing/normalized-s4-4-3-8.xml pseudo/routing/normalized-s4-4-3-9.xml # done ## 8 instances are selected out of 8: pseudo/ssa/normalized-ssa-0432-003.xml pseudo/ssa/normalized-ssa-2670-130.xml pseudo/ssa/normalized-ssa-2670-141.xml pseudo/ssa/normalized-ssa-6288-047.xml pseudo/ssa/normalized-ssa-7552-038.xml pseudo/ssa/normalized-ssa-7552-158.xml pseudo/ssa/normalized-ssa-7552-159.xml pseudo/ssa/normalized-ssa-7552-160.xml # done ## 4 instances are selected out of 8: pseudo/ttp/normalized-circ-4-3.xml pseudo/ttp/normalized-circ-8-3.xml pseudo/ttp/normalized-data-6-3.xml pseudo/ttp/normalized-data-8-3.xml # done ## 17 instances are selected out of 39: pseudo/uclid/normalized-22s-smv.xml pseudo/uclid/normalized-37s-smv.xml pseudo/uclid/normalized-43s-smv.xml pseudo/uclid/normalized-44s-smv.xml pseudo/uclid/normalized-46s-smv.xml pseudo/uclid/normalized-blast-floppy1-4.xml pseudo/uclid/normalized-blast-floppy1-7.xml pseudo/uclid/normalized-blast-tlan3.xml pseudo/uclid/normalized-cache-ibm-q-unbounded-Icl2arity-ucl.xml pseudo/uclid/normalized-elf-rf6.xml pseudo/uclid/normalized-elf-rf8.xml pseudo/uclid/normalized-elf-rf9.xml pseudo/uclid/normalized-ooo-burch-dill-4-accl.xml pseudo/uclid/normalized-ooo-burch-dill-8-accl.xml pseudo/uclid/normalized-ooo-rf10.xml pseudo/uclid/normalized-ooo-rf8.xml pseudo/uclid/normalized-ooo-tag10.xml # done ## 15 instances are selected out of 15: QCP-10/normalized-qcp-10-67-0_ext.xml QCP-10/normalized-qcp-10-67-10_ext.xml QCP-10/normalized-qcp-10-67-11_ext.xml QCP-10/normalized-qcp-10-67-12_ext.xml QCP-10/normalized-qcp-10-67-13_ext.xml QCP-10/normalized-qcp-10-67-14_ext.xml QCP-10/normalized-qcp-10-67-1_ext.xml QCP-10/normalized-qcp-10-67-2_ext.xml QCP-10/normalized-qcp-10-67-3_ext.xml QCP-10/normalized-qcp-10-67-4_ext.xml QCP-10/normalized-qcp-10-67-5_ext.xml QCP-10/normalized-qcp-10-67-6_ext.xml QCP-10/normalized-qcp-10-67-7_ext.xml QCP-10/normalized-qcp-10-67-8_ext.xml QCP-10/normalized-qcp-10-67-9_ext.xml # done ## 15 instances are selected out of 15: QCP-15/normalized-qcp-15-120-0_ext.xml QCP-15/normalized-qcp-15-120-10_ext.xml QCP-15/normalized-qcp-15-120-11_ext.xml QCP-15/normalized-qcp-15-120-12_ext.xml QCP-15/normalized-qcp-15-120-13_ext.xml QCP-15/normalized-qcp-15-120-14_ext.xml QCP-15/normalized-qcp-15-120-1_ext.xml QCP-15/normalized-qcp-15-120-2_ext.xml QCP-15/normalized-qcp-15-120-3_ext.xml QCP-15/normalized-qcp-15-120-4_ext.xml QCP-15/normalized-qcp-15-120-5_ext.xml QCP-15/normalized-qcp-15-120-6_ext.xml QCP-15/normalized-qcp-15-120-7_ext.xml QCP-15/normalized-qcp-15-120-8_ext.xml QCP-15/normalized-qcp-15-120-9_ext.xml # done ## 15 instances are selected out of 15: QCP-20/normalized-qcp-20-187-0_ext.xml QCP-20/normalized-qcp-20-187-10_ext.xml QCP-20/normalized-qcp-20-187-11_ext.xml QCP-20/normalized-qcp-20-187-12_ext.xml QCP-20/normalized-qcp-20-187-13_ext.xml QCP-20/normalized-qcp-20-187-14_ext.xml QCP-20/normalized-qcp-20-187-1_ext.xml QCP-20/normalized-qcp-20-187-2_ext.xml QCP-20/normalized-qcp-20-187-3_ext.xml QCP-20/normalized-qcp-20-187-4_ext.xml QCP-20/normalized-qcp-20-187-5_ext.xml QCP-20/normalized-qcp-20-187-6_ext.xml QCP-20/normalized-qcp-20-187-7_ext.xml QCP-20/normalized-qcp-20-187-8_ext.xml QCP-20/normalized-qcp-20-187-9_ext.xml # done ## 15 instances are selected out of 15: QCP-25/normalized-qcp-25-264-0_ext.xml QCP-25/normalized-qcp-25-264-10_ext.xml QCP-25/normalized-qcp-25-264-11_ext.xml QCP-25/normalized-qcp-25-264-12_ext.xml QCP-25/normalized-qcp-25-264-13_ext.xml QCP-25/normalized-qcp-25-264-14_ext.xml QCP-25/normalized-qcp-25-264-1_ext.xml QCP-25/normalized-qcp-25-264-2_ext.xml QCP-25/normalized-qcp-25-264-3_ext.xml QCP-25/normalized-qcp-25-264-4_ext.xml QCP-25/normalized-qcp-25-264-5_ext.xml QCP-25/normalized-qcp-25-264-6_ext.xml QCP-25/normalized-qcp-25-264-7_ext.xml QCP-25/normalized-qcp-25-264-8_ext.xml QCP-25/normalized-qcp-25-264-9_ext.xml # done ## 7 instances are selected out of 7: QG3/normalized-quasigroup3-10.xml QG3/normalized-quasigroup3-4.xml QG3/normalized-quasigroup3-5.xml QG3/normalized-quasigroup3-6.xml QG3/normalized-quasigroup3-7.xml QG3/normalized-quasigroup3-8.xml QG3/normalized-quasigroup3-9.xml # done ## 7 instances are selected out of 7: QG4/normalized-quasigroup4-10.xml QG4/normalized-quasigroup4-4.xml QG4/normalized-quasigroup4-5.xml QG4/normalized-quasigroup4-6.xml QG4/normalized-quasigroup4-7.xml QG4/normalized-quasigroup4-8.xml QG4/normalized-quasigroup4-9.xml # done ## 7 instances are selected out of 7: QG5/normalized-quasigroup5-10.xml QG5/normalized-quasigroup5-4.xml QG5/normalized-quasigroup5-5.xml QG5/normalized-quasigroup5-6.xml QG5/normalized-quasigroup5-7.xml QG5/normalized-quasigroup5-8.xml QG5/normalized-quasigroup5-9.xml # done ## 7 instances are selected out of 7: QG6/normalized-quasigroup6-10.xml QG6/normalized-quasigroup6-4.xml QG6/normalized-quasigroup6-5.xml QG6/normalized-quasigroup6-6.xml QG6/normalized-quasigroup6-7.xml QG6/normalized-quasigroup6-8.xml QG6/normalized-quasigroup6-9.xml # done ## 7 instances are selected out of 7: QG7/normalized-quasigroup7-10.xml QG7/normalized-quasigroup7-4.xml QG7/normalized-quasigroup7-5.xml QG7/normalized-quasigroup7-6.xml QG7/normalized-quasigroup7-7.xml QG7/normalized-quasigroup7-8.xml QG7/normalized-quasigroup7-9.xml # done ## 10 instances are selected out of 10: queenAttacking/normalized-queenAttacking-10.xml queenAttacking/normalized-queenAttacking-11.xml queenAttacking/normalized-queenAttacking-12.xml queenAttacking/normalized-queenAttacking-3.xml queenAttacking/normalized-queenAttacking-4.xml queenAttacking/normalized-queenAttacking-5.xml queenAttacking/normalized-queenAttacking-6.xml queenAttacking/normalized-queenAttacking-7.xml queenAttacking/normalized-queenAttacking-8.xml queenAttacking/normalized-queenAttacking-9.xml # done ## 10 instances are selected out of 18: queensKnights/normalized-queensKnights-100-5-add.xml queensKnights/normalized-queensKnights-100-5-mul.xml queensKnights/normalized-queensKnights-10-5-mul.xml queensKnights/normalized-queensKnights-12-5-mul.xml queensKnights/normalized-queensKnights-20-5-mul.xml queensKnights/normalized-queensKnights-50-5-add.xml queensKnights/normalized-queensKnights-80-5-add.xml queensKnights/normalized-queensKnights-80-5-mul.xml queensKnights/normalized-queensKnights-8-5-add.xml queensKnights/normalized-queensKnights-8-5-mul.xml # done ## 10 instances are selected out of 14: queens/normalized-queens-100.xml queens/normalized-queens-120.xml queens/normalized-queens-12.xml queens/normalized-queens-150.xml queens/normalized-queens-180.xml queens/normalized-queens-200.xml queens/normalized-queens-30.xml queens/normalized-queens-4.xml queens/normalized-queens-80.xml queens/normalized-queens-8.xml # done ## 10 instances are selected out of 10: QWH-10/normalized-qwh-10-57-0_ext.xml QWH-10/normalized-qwh-10-57-1_ext.xml QWH-10/normalized-qwh-10-57-2_ext.xml QWH-10/normalized-qwh-10-57-3_ext.xml QWH-10/normalized-qwh-10-57-4_ext.xml QWH-10/normalized-qwh-10-57-5_ext.xml QWH-10/normalized-qwh-10-57-6_ext.xml QWH-10/normalized-qwh-10-57-7_ext.xml QWH-10/normalized-qwh-10-57-8_ext.xml QWH-10/normalized-qwh-10-57-9_ext.xml # done ## 10 instances are selected out of 10: QWH-15/normalized-qwh-15-106-0_ext.xml QWH-15/normalized-qwh-15-106-1_ext.xml QWH-15/normalized-qwh-15-106-2_ext.xml QWH-15/normalized-qwh-15-106-3_ext.xml QWH-15/normalized-qwh-15-106-4_ext.xml QWH-15/normalized-qwh-15-106-5_ext.xml QWH-15/normalized-qwh-15-106-6_ext.xml QWH-15/normalized-qwh-15-106-7_ext.xml QWH-15/normalized-qwh-15-106-8_ext.xml QWH-15/normalized-qwh-15-106-9_ext.xml # done ## 10 instances are selected out of 10: QWH-20/normalized-qwh-20-166-0_ext.xml QWH-20/normalized-qwh-20-166-1_ext.xml QWH-20/normalized-qwh-20-166-2_ext.xml QWH-20/normalized-qwh-20-166-3_ext.xml QWH-20/normalized-qwh-20-166-4_ext.xml QWH-20/normalized-qwh-20-166-5_ext.xml QWH-20/normalized-qwh-20-166-6_ext.xml QWH-20/normalized-qwh-20-166-7_ext.xml QWH-20/normalized-qwh-20-166-8_ext.xml QWH-20/normalized-qwh-20-166-9_ext.xml # done ## 10 instances are selected out of 10: QWH-25/normalized-qwh-25-235-0_ext.xml QWH-25/normalized-qwh-25-235-1_ext.xml QWH-25/normalized-qwh-25-235-2_ext.xml QWH-25/normalized-qwh-25-235-3_ext.xml QWH-25/normalized-qwh-25-235-4_ext.xml QWH-25/normalized-qwh-25-235-5_ext.xml QWH-25/normalized-qwh-25-235-6_ext.xml QWH-25/normalized-qwh-25-235-7_ext.xml QWH-25/normalized-qwh-25-235-8_ext.xml QWH-25/normalized-qwh-25-235-9_ext.xml # done ## 20 instances are selected out of 50: radar-8-24-3-2/normalized-radar-8-24-3-2-0.xml radar-8-24-3-2/normalized-radar-8-24-3-2-18.xml radar-8-24-3-2/normalized-radar-8-24-3-2-19.xml radar-8-24-3-2/normalized-radar-8-24-3-2-1.xml radar-8-24-3-2/normalized-radar-8-24-3-2-21.xml radar-8-24-3-2/normalized-radar-8-24-3-2-22.xml radar-8-24-3-2/normalized-radar-8-24-3-2-23.xml radar-8-24-3-2/normalized-radar-8-24-3-2-27.xml radar-8-24-3-2/normalized-radar-8-24-3-2-2.xml radar-8-24-3-2/normalized-radar-8-24-3-2-30.xml radar-8-24-3-2/normalized-radar-8-24-3-2-32.xml radar-8-24-3-2/normalized-radar-8-24-3-2-40.xml radar-8-24-3-2/normalized-radar-8-24-3-2-41.xml radar-8-24-3-2/normalized-radar-8-24-3-2-44.xml radar-8-24-3-2/normalized-radar-8-24-3-2-45.xml radar-8-24-3-2/normalized-radar-8-24-3-2-47.xml radar-8-24-3-2/normalized-radar-8-24-3-2-49.xml radar-8-24-3-2/normalized-radar-8-24-3-2-4.xml radar-8-24-3-2/normalized-radar-8-24-3-2-5.xml radar-8-24-3-2/normalized-radar-8-24-3-2-6.xml # done ## 25 instances are selected out of 50: radar-8-30-3-0/normalized-radar-8-30-3-0-10.xml radar-8-30-3-0/normalized-radar-8-30-3-0-11.xml radar-8-30-3-0/normalized-radar-8-30-3-0-13.xml radar-8-30-3-0/normalized-radar-8-30-3-0-16.xml radar-8-30-3-0/normalized-radar-8-30-3-0-1.xml radar-8-30-3-0/normalized-radar-8-30-3-0-23.xml radar-8-30-3-0/normalized-radar-8-30-3-0-24.xml radar-8-30-3-0/normalized-radar-8-30-3-0-26.xml radar-8-30-3-0/normalized-radar-8-30-3-0-27.xml radar-8-30-3-0/normalized-radar-8-30-3-0-28.xml radar-8-30-3-0/normalized-radar-8-30-3-0-29.xml radar-8-30-3-0/normalized-radar-8-30-3-0-2.xml radar-8-30-3-0/normalized-radar-8-30-3-0-30.xml radar-8-30-3-0/normalized-radar-8-30-3-0-35.xml radar-8-30-3-0/normalized-radar-8-30-3-0-36.xml radar-8-30-3-0/normalized-radar-8-30-3-0-38.xml radar-8-30-3-0/normalized-radar-8-30-3-0-39.xml radar-8-30-3-0/normalized-radar-8-30-3-0-42.xml radar-8-30-3-0/normalized-radar-8-30-3-0-47.xml radar-8-30-3-0/normalized-radar-8-30-3-0-48.xml radar-8-30-3-0/normalized-radar-8-30-3-0-49.xml radar-8-30-3-0/normalized-radar-8-30-3-0-4.xml radar-8-30-3-0/normalized-radar-8-30-3-0-5.xml radar-8-30-3-0/normalized-radar-8-30-3-0-7.xml radar-8-30-3-0/normalized-radar-8-30-3-0-8.xml # done ## 20 instances are selected out of 50: radar-9-28-4-2/normalized-radar-9-28-4-2-11.xml radar-9-28-4-2/normalized-radar-9-28-4-2-12.xml radar-9-28-4-2/normalized-radar-9-28-4-2-14.xml radar-9-28-4-2/normalized-radar-9-28-4-2-26.xml radar-9-28-4-2/normalized-radar-9-28-4-2-27.xml radar-9-28-4-2/normalized-radar-9-28-4-2-29.xml radar-9-28-4-2/normalized-radar-9-28-4-2-2.xml radar-9-28-4-2/normalized-radar-9-28-4-2-30.xml radar-9-28-4-2/normalized-radar-9-28-4-2-31.xml radar-9-28-4-2/normalized-radar-9-28-4-2-33.xml radar-9-28-4-2/normalized-radar-9-28-4-2-34.xml radar-9-28-4-2/normalized-radar-9-28-4-2-36.xml radar-9-28-4-2/normalized-radar-9-28-4-2-39.xml radar-9-28-4-2/normalized-radar-9-28-4-2-43.xml radar-9-28-4-2/normalized-radar-9-28-4-2-44.xml radar-9-28-4-2/normalized-radar-9-28-4-2-47.xml radar-9-28-4-2/normalized-radar-9-28-4-2-48.xml radar-9-28-4-2/normalized-radar-9-28-4-2-49.xml radar-9-28-4-2/normalized-radar-9-28-4-2-7.xml radar-9-28-4-2/normalized-radar-9-28-4-2-9.xml # done ## 8 instances are selected out of 8: ramsey3/normalized-ramsey-10-3.xml ramsey3/normalized-ramsey-13-3.xml ramsey3/normalized-ramsey-15-3.xml ramsey3/normalized-ramsey-16-3.xml ramsey3/normalized-ramsey-17-3.xml ramsey3/normalized-ramsey-18-3.xml ramsey3/normalized-ramsey-20-3.xml ramsey3/normalized-ramsey-25-3.xml # done ## 8 instances are selected out of 8: ramsey4/normalized-ramsey-25-4.xml ramsey4/normalized-ramsey-30-4.xml ramsey4/normalized-ramsey-32-4.xml ramsey4/normalized-ramsey-33-4.xml ramsey4/normalized-ramsey-34-4.xml ramsey4/normalized-ramsey-35-4.xml ramsey4/normalized-ramsey-38-4.xml ramsey4/normalized-ramsey-45-4.xml # done ## 20 instances are selected out of 20: rand-10-20-10/normalized-rand-10-20-10-5-10000-0_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-10_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-11_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-12_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-13_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-14_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-15_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-16_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-17_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-18_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-19_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-1_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-2_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-3_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-4_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-5_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-6_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-7_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-8_ext.xml rand-10-20-10/normalized-rand-10-20-10-5-10000-9_ext.xml # done ## 10 instances are selected out of 10: rand-2-23/normalized-rand-23-23-253-131-46021_ext.xml rand-2-23/normalized-rand-23-23-253-131-47021_ext.xml rand-2-23/normalized-rand-23-23-253-131-48021_ext.xml rand-2-23/normalized-rand-23-23-253-131-49021_ext.xml rand-2-23/normalized-rand-23-23-253-131-50021_ext.xml rand-2-23/normalized-rand-23-23-253-131-51021_ext.xml rand-2-23/normalized-rand-23-23-253-131-52021_ext.xml rand-2-23/normalized-rand-23-23-253-131-53021_ext.xml rand-2-23/normalized-rand-23-23-253-131-54021_ext.xml rand-2-23/normalized-rand-23-23-253-131-55021_ext.xml # done ## 10 instances are selected out of 10: rand-2-24/normalized-rand-24-24-276-139-48021_ext.xml rand-2-24/normalized-rand-24-24-276-139-49021_ext.xml rand-2-24/normalized-rand-24-24-276-139-50021_ext.xml rand-2-24/normalized-rand-24-24-276-139-51021_ext.xml rand-2-24/normalized-rand-24-24-276-139-52021_ext.xml rand-2-24/normalized-rand-24-24-276-139-53021_ext.xml rand-2-24/normalized-rand-24-24-276-139-54021_ext.xml rand-2-24/normalized-rand-24-24-276-139-55021_ext.xml rand-2-24/normalized-rand-24-24-276-139-56021_ext.xml rand-2-24/normalized-rand-24-24-276-139-57021_ext.xml # done ## 10 instances are selected out of 10: rand-2-25/normalized-rand-25-25-300-147-50021_ext.xml rand-2-25/normalized-rand-25-25-300-147-51021_ext.xml rand-2-25/normalized-rand-25-25-300-147-52021_ext.xml rand-2-25/normalized-rand-25-25-300-147-53021_ext.xml rand-2-25/normalized-rand-25-25-300-147-54021_ext.xml rand-2-25/normalized-rand-25-25-300-147-55021_ext.xml rand-2-25/normalized-rand-25-25-300-147-56021_ext.xml rand-2-25/normalized-rand-25-25-300-147-57021_ext.xml rand-2-25/normalized-rand-25-25-300-147-58021_ext.xml rand-2-25/normalized-rand-25-25-300-147-59021_ext.xml # done ## 10 instances are selected out of 10: rand-2-26/normalized-rand-26-26-325-155-52021_ext.xml rand-2-26/normalized-rand-26-26-325-155-53021_ext.xml rand-2-26/normalized-rand-26-26-325-155-54021_ext.xml rand-2-26/normalized-rand-26-26-325-155-55021_ext.xml rand-2-26/normalized-rand-26-26-325-155-56021_ext.xml rand-2-26/normalized-rand-26-26-325-155-57021_ext.xml rand-2-26/normalized-rand-26-26-325-155-58021_ext.xml rand-2-26/normalized-rand-26-26-325-155-59021_ext.xml rand-2-26/normalized-rand-26-26-325-155-60021_ext.xml rand-2-26/normalized-rand-26-26-325-155-61021_ext.xml # done ## 10 instances are selected out of 10: rand-2-27/normalized-rand-27-27-351-163-54021_ext.xml rand-2-27/normalized-rand-27-27-351-163-55021_ext.xml rand-2-27/normalized-rand-27-27-351-163-56021_ext.xml rand-2-27/normalized-rand-27-27-351-163-57021_ext.xml rand-2-27/normalized-rand-27-27-351-163-58021_ext.xml rand-2-27/normalized-rand-27-27-351-163-59021_ext.xml rand-2-27/normalized-rand-27-27-351-163-60021_ext.xml rand-2-27/normalized-rand-27-27-351-163-61021_ext.xml rand-2-27/normalized-rand-27-27-351-163-62021_ext.xml rand-2-27/normalized-rand-27-27-351-163-63021_ext.xml # done ## 20 instances are selected out of 50: rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-15_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-16_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-19_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-1_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-22_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-24_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-26_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-28_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-29_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-2_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-31_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-34_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-38_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-41_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-42_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-45_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-49_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-4_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-50_ext.xml rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-7_ext.xml # done ## 20 instances are selected out of 50: rand-2-30-15/normalized-rand-2-30-15-306-230-10_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-17_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-18_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-19_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-23_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-24_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-29_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-31_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-34_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-38_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-39_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-40_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-43_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-45_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-46_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-48_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-49_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-5_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-6_ext.xml rand-2-30-15/normalized-rand-2-30-15-306-230-9_ext.xml # done ## 25 instances are selected out of 50: rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-11_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-12_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-17_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-18_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-19_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-1_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-20_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-22_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-23_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-25_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-27_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-28_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-33_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-38_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-39_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-3_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-40_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-41_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-42_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-44_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-49_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-50_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-6_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-7_ext.xml rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-8_ext.xml # done ## 25 instances are selected out of 50: rand-2-40-19/normalized-rand-2-40-19-443-230-10_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-11_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-13_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-15_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-16_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-19_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-21_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-23_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-24_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-25_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-28_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-29_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-2_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-30_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-31_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-32_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-33_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-35_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-36_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-39_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-41_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-43_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-48_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-49_ext.xml rand-2-40-19/normalized-rand-2-40-19-443-230-50_ext.xml # done ## 25 instances are selected out of 50: rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-10_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-14_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-15_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-17_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-18_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-1_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-20_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-22_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-24_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-25_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-29_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-30_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-31_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-32_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-37_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-38_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-40_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-41_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-42_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-43_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-44_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-47_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-7_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-8_ext.xml rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-9_ext.xml # done ## 25 instances are selected out of 50: rand-2-50-23/normalized-rand-2-50-23-587-230-10_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-1_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-20_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-21_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-24_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-25_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-27_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-29_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-2_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-30_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-35_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-36_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-37_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-40_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-41_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-42_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-44_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-46_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-47_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-48_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-49_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-4_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-50_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-6_ext.xml rand-2-50-23/normalized-rand-2-50-23-587-230-7_ext.xml # done ## 25 instances are selected out of 50: rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-13_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-14_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-15_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-17_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-19_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-20_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-21_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-26_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-28_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-2_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-31_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-33_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-34_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-36_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-37_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-38_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-39_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-40_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-41_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-46_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-48_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-49_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-50_ext.xml rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-9_ext.xml # done ## 25 instances are selected out of 50: rand-3-20-20/normalized-rand-3-20-20-60-632-12_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-13_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-16_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-17_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-18_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-1_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-20_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-24_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-29_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-2_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-30_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-32_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-35_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-38_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-39_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-3_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-41_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-43_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-44_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-45_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-47_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-49_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-4_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-6_ext.xml rand-3-20-20/normalized-rand-3-20-20-60-632-7_ext.xml # done ## 25 instances are selected out of 50: rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-10_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-11_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-13_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-1_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-20_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-21_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-23_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-28_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-30_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-31_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-32_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-34_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-35_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-39_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-3_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-40_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-42_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-43_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-45_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-47_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-50_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-5_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-7_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-8_ext.xml rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-9_ext.xml # done ## 25 instances are selected out of 50: rand-3-24-24/normalized-rand-3-24-24-76-632-10_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-14_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-15_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-16_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-17_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-18_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-19_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-1_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-22_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-32_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-35_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-36_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-37_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-38_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-39_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-42_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-43_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-45_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-47_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-4_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-50_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-6_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-7_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-8_ext.xml rand-3-24-24/normalized-rand-3-24-24-76-632-9_ext.xml # done ## 30 instances are selected out of 50: rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-10_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-13_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-14_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-16_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-1_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-20_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-21_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-22_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-23_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-24_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-25_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-27_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-28_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-30_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-31_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-32_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-34_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-35_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-37_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-38_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-3_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-40_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-42_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-43_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-44_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-46_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-48_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-50_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-6_ext.xml rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-7_ext.xml # done ## 30 instances are selected out of 50: rand-3-28-28/normalized-rand-3-28-28-93-632-10_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-14_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-16_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-17_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-18_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-1_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-20_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-23_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-24_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-25_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-27_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-29_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-30_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-31_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-32_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-35_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-36_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-37_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-38_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-39_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-3_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-40_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-41_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-42_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-44_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-46_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-5_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-6_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-8_ext.xml rand-3-28-28/normalized-rand-3-28-28-93-632-9_ext.xml # done ## 20 instances are selected out of 20: rand-8-20-5/normalized-rand-8-20-5-18-800-0_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-10_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-11_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-12_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-13_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-14_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-15_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-16_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-17_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-18_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-19_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-1_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-2_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-3_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-4_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-5_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-6_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-7_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-8_ext.xml rand-8-20-5/normalized-rand-8-20-5-18-800-9_ext.xml # done ## 39 instances are selected out of 39: rcpsp/normalized-rcpsp20-02.xml rcpsp/normalized-rcpsp20-03.xml rcpsp/normalized-rcpsp20-04.xml rcpsp/normalized-rcpsp20-05.xml rcpsp/normalized-rcpsp20-06.xml rcpsp/normalized-rcpsp20-07.xml rcpsp/normalized-rcpsp20-08.xml rcpsp/normalized-rcpsp20-09.xml rcpsp/normalized-rcpsp20-10.xml rcpsp/normalized-rcpsp20-11.xml rcpsp/normalized-rcpsp20-12.xml rcpsp/normalized-rcpsp20-13.xml rcpsp/normalized-rcpsp20-14.xml rcpsp/normalized-rcpsp20-15.xml rcpsp/normalized-rcpsp20-16.xml rcpsp/normalized-rcpsp20-17.xml rcpsp/normalized-rcpsp20-18.xml rcpsp/normalized-rcpsp20-19.xml rcpsp/normalized-rcpsp20-20.xml rcpsp/normalized-rcpsp25-21.xml rcpsp/normalized-rcpsp25-22.xml rcpsp/normalized-rcpsp25-23.xml rcpsp/normalized-rcpsp25-24.xml rcpsp/normalized-rcpsp25-25.xml rcpsp/normalized-rcpsp25-26.xml rcpsp/normalized-rcpsp25-27.xml rcpsp/normalized-rcpsp25-28.xml rcpsp/normalized-rcpsp25-29.xml rcpsp/normalized-rcpsp25-30.xml rcpsp/normalized-rcpsp25-31.xml rcpsp/normalized-rcpsp25-32.xml rcpsp/normalized-rcpsp25-33.xml rcpsp/normalized-rcpsp25-34.xml rcpsp/normalized-rcpsp25-35.xml rcpsp/normalized-rcpsp25-36.xml rcpsp/normalized-rcpsp25-37.xml rcpsp/normalized-rcpsp25-38.xml rcpsp/normalized-rcpsp25-39.xml rcpsp/normalized-rcpsp25-40.xml # done ## 39 instances are selected out of 39: rcpspTighter/normalized-rcpsptight20-02.xml rcpspTighter/normalized-rcpsptight20-03.xml rcpspTighter/normalized-rcpsptight20-04.xml rcpspTighter/normalized-rcpsptight20-05.xml rcpspTighter/normalized-rcpsptight20-06.xml rcpspTighter/normalized-rcpsptight20-07.xml rcpspTighter/normalized-rcpsptight20-08.xml rcpspTighter/normalized-rcpsptight20-09.xml rcpspTighter/normalized-rcpsptight20-10.xml rcpspTighter/normalized-rcpsptight20-11.xml rcpspTighter/normalized-rcpsptight20-12.xml rcpspTighter/normalized-rcpsptight20-13.xml rcpspTighter/normalized-rcpsptight20-14.xml rcpspTighter/normalized-rcpsptight20-15.xml rcpspTighter/normalized-rcpsptight20-16.xml rcpspTighter/normalized-rcpsptight20-17.xml rcpspTighter/normalized-rcpsptight20-18.xml rcpspTighter/normalized-rcpsptight20-19.xml rcpspTighter/normalized-rcpsptight20-20.xml rcpspTighter/normalized-rcpsptight25-21.xml rcpspTighter/normalized-rcpsptight25-22.xml rcpspTighter/normalized-rcpsptight25-23.xml rcpspTighter/normalized-rcpsptight25-24.xml rcpspTighter/normalized-rcpsptight25-25.xml rcpspTighter/normalized-rcpsptight25-26.xml rcpspTighter/normalized-rcpsptight25-27.xml rcpspTighter/normalized-rcpsptight25-28.xml rcpspTighter/normalized-rcpsptight25-29.xml rcpspTighter/normalized-rcpsptight25-30.xml rcpspTighter/normalized-rcpsptight25-31.xml rcpspTighter/normalized-rcpsptight25-32.xml rcpspTighter/normalized-rcpsptight25-33.xml rcpspTighter/normalized-rcpsptight25-34.xml rcpspTighter/normalized-rcpsptight25-35.xml rcpspTighter/normalized-rcpsptight25-36.xml rcpspTighter/normalized-rcpsptight25-37.xml rcpspTighter/normalized-rcpsptight25-38.xml rcpspTighter/normalized-rcpsptight25-39.xml rcpspTighter/normalized-rcpsptight25-40.xml # done ## 2 instances are selected out of 2: renault/normalized-renault_ext.xml renault/normalized-renault-mgd_ext.xml # done ## 10 instances are selected out of 12: rlfapGraphsMod/normalized-graph12-w0.xml rlfapGraphsMod/normalized-graph12-w1.xml rlfapGraphsMod/normalized-graph13-w0.xml rlfapGraphsMod/normalized-graph13-w1.xml rlfapGraphsMod/normalized-graph14-f28.xml rlfapGraphsMod/normalized-graph2-f24.xml rlfapGraphsMod/normalized-graph8-f10.xml rlfapGraphsMod/normalized-graph8-f11.xml rlfapGraphsMod/normalized-graph9-f10.xml rlfapGraphsMod/normalized-graph9-f9.xml # done ## 10 instances are selected out of 14: rlfapGraphs/normalized-graph10.xml rlfapGraphs/normalized-graph11.xml rlfapGraphs/normalized-graph14.xml rlfapGraphs/normalized-graph1.xml rlfapGraphs/normalized-graph2.xml rlfapGraphs/normalized-graph4.xml rlfapGraphs/normalized-graph6.xml rlfapGraphs/normalized-graph7.xml rlfapGraphs/normalized-graph8.xml rlfapGraphs/normalized-graph9.xml # done ## 10 instances are selected out of 12: rlfapScens11/normalized-scen11-f10.xml rlfapScens11/normalized-scen11-f12.xml rlfapScens11/normalized-scen11-f1.xml rlfapScens11/normalized-scen11-f2.xml rlfapScens11/normalized-scen11-f4.xml rlfapScens11/normalized-scen11-f5.xml rlfapScens11/normalized-scen11-f6.xml rlfapScens11/normalized-scen11-f7.xml rlfapScens11/normalized-scen11-f8.xml rlfapScens11/normalized-scen11-f9.xml # done ## 10 instances are selected out of 13: rlfapScensMod/normalized-scen10-w1-f3.xml rlfapScensMod/normalized-scen1-f9.xml rlfapScensMod/normalized-scen2-f24.xml rlfapScensMod/normalized-scen2-f25.xml rlfapScensMod/normalized-scen3-f10.xml rlfapScensMod/normalized-scen3-f11.xml rlfapScensMod/normalized-scen6-w1-f2.xml rlfapScensMod/normalized-scen6-w1.xml rlfapScensMod/normalized-scen7-w1-f4.xml rlfapScensMod/normalized-scen9-w1-f3.xml # done ## 10 instances are selected out of 11: rlfapScens/normalized-scen10.xml rlfapScens/normalized-scen11.xml rlfapScens/normalized-scen1.xml rlfapScens/normalized-scen3.xml rlfapScens/normalized-scen4.xml rlfapScens/normalized-scen5.xml rlfapScens/normalized-scen6.xml rlfapScens/normalized-scen7.xml rlfapScens/normalized-scen8.xml rlfapScens/normalized-scen9.xml # done ## 10 instances are selected out of 10: schurrLemma/normalized-lemma-100-9-mod.xml schurrLemma/normalized-lemma-12-9-mod.xml schurrLemma/normalized-lemma-15-9-mod.xml schurrLemma/normalized-lemma-20-9-mod.xml schurrLemma/normalized-lemma-23-3.xml schurrLemma/normalized-lemma-24-3.xml schurrLemma/normalized-lemma-30-9-mod.xml schurrLemma/normalized-lemma-50-9-mod.xml schurrLemma/normalized-lemma-66-4.xml schurrLemma/normalized-lemma-67-4.xml # done ## 5 instances are selected out of 5: small/normalized-patat-02-small-1.xml small/normalized-patat-02-small-2.xml small/normalized-patat-02-small-3.xml small/normalized-patat-02-small-4.xml small/normalized-patat-02-small-5.xml # done ## 10 instances are selected out of 12: socialGolfers/normalized-socialGolfer-6-3-5.xml socialGolfers/normalized-socialGolfer-6-3-6.xml socialGolfers/normalized-socialGolfer-6-3-7.xml socialGolfers/normalized-socialGolfer-6-3-8.xml socialGolfers/normalized-socialGolfer-6-4-5.xml socialGolfers/normalized-socialGolfer-6-4-7.xml socialGolfers/normalized-socialGolfer-6-4-8.xml socialGolfers/normalized-socialGolfer-7-4-8.xml socialGolfers/normalized-socialGolfer-8-4-8.xml socialGolfers/normalized-socialGolfer-9-4-8.xml # done ## 8 instances are selected out of 8: ssa/normalized-ssa-0432-003_ext.xml ssa/normalized-ssa-2670-130_ext.xml ssa/normalized-ssa-2670-141_ext.xml ssa/normalized-ssa-6288-047_ext.xml ssa/normalized-ssa-7552-038_ext.xml ssa/normalized-ssa-7552-158_ext.xml ssa/normalized-ssa-7552-159_ext.xml ssa/normalized-ssa-7552-160_ext.xml # done ## 9 instances are selected out of 9: subs/normalized-scen06-sub0.xml subs/normalized-scen06-sub1.xml subs/normalized-scen06-sub2.xml subs/normalized-scen06-sub3.xml subs/normalized-scen06-sub4.xml subs/normalized-scen07-sub1.xml subs/normalized-scen07-sub2.xml subs/normalized-scen07-sub3.xml subs/normalized-scen07-sub4.xml # done ## 25 instances are selected out of 46: super-jobShop/super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-10.xml super-jobShop/super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-2.xml super-jobShop/super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-7.xml super-jobShop/super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-9.xml super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-10.xml super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-2.xml super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-5.xml super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-7.xml super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-8.xml super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-9.xml super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-10.xml super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-4.xml super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-5.xml super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-6.xml super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-8.xml super-jobShop/super-jobShop-enddr1/normalized-super-jobShop-enddr1-9.xml super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-10.xml super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-1.xml super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-2.xml super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-3.xml super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-4.xml super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-5.xml super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-6.xml super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-7.xml super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-8.xml # done ## 25 instances are selected out of 90: super-js/super-js-taillard-15/normalized-super-js-taillard-15-12.xml super-js/super-js-taillard-15/normalized-super-js-taillard-15-14.xml super-js/super-js-taillard-15/normalized-super-js-taillard-15-15.xml super-js/super-js-taillard-15/normalized-super-js-taillard-15-1.xml super-js/super-js-taillard-15/normalized-super-js-taillard-15-20.xml super-js/super-js-taillard-15/normalized-super-js-taillard-15-22.xml super-js/super-js-taillard-15/normalized-super-js-taillard-15-23.xml super-js/super-js-taillard-15/normalized-super-js-taillard-15-30.xml super-js/super-js-taillard-15/normalized-super-js-taillard-15-7.xml super-js/super-js-taillard-15/normalized-super-js-taillard-15-8.xml super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-24.xml super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-3.xml super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-4.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-12.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-20.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-21.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-22.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-23.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-25.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-27.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-29.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-30.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-3.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-7.xml super-js/super-js-taillard-20/normalized-super-js-taillard-20-9.xml # done ## 25 instances are selected out of 180: super-os/super-os-taillard-10/normalized-super-os-taillard-10-11.xml super-os/super-os-taillard-10/normalized-super-os-taillard-10-14.xml super-os/super-os-taillard-10/normalized-super-os-taillard-10-18.xml super-os/super-os-taillard-10/normalized-super-os-taillard-10-24.xml super-os/super-os-taillard-15/normalized-super-os-taillard-15-13.xml super-os/super-os-taillard-15/normalized-super-os-taillard-15-15.xml super-os/super-os-taillard-15/normalized-super-os-taillard-15-1.xml super-os/super-os-taillard-15/normalized-super-os-taillard-15-27.xml super-os/super-os-taillard-15/normalized-super-os-taillard-15-4.xml super-os/super-os-taillard-20/normalized-super-os-taillard-20-27.xml super-os/super-os-taillard-20/normalized-super-os-taillard-20-29.xml super-os/super-os-taillard-4/normalized-super-os-taillard-4-19.xml super-os/super-os-taillard-4/normalized-super-os-taillard-4-5.xml super-os/super-os-taillard-4/normalized-super-os-taillard-4-8.xml super-os/super-os-taillard-5/normalized-super-os-taillard-5-11.xml super-os/super-os-taillard-5/normalized-super-os-taillard-5-16.xml super-os/super-os-taillard-5/normalized-super-os-taillard-5-1.xml super-os/super-os-taillard-5/normalized-super-os-taillard-5-21.xml super-os/super-os-taillard-5/normalized-super-os-taillard-5-4.xml super-os/super-os-taillard-5/normalized-super-os-taillard-5-5.xml super-os/super-os-taillard-5/normalized-super-os-taillard-5-7.xml super-os/super-os-taillard-7/normalized-super-os-taillard-7-18.xml super-os/super-os-taillard-7/normalized-super-os-taillard-7-19.xml super-os/super-os-taillard-7/normalized-super-os-taillard-7-2.xml super-os/super-os-taillard-7/normalized-super-os-taillard-7-30.xml # done ## 10 instances are selected out of 14: super-queens/normalized-super-queens-11.xml super-queens/normalized-super-queens-13.xml super-queens/normalized-super-queens-1.xml super-queens/normalized-super-queens-2.xml super-queens/normalized-super-queens-3.xml super-queens/normalized-super-queens-4.xml super-queens/normalized-super-queens-5.xml super-queens/normalized-super-queens-6.xml super-queens/normalized-super-queens-7.xml super-queens/normalized-super-queens-8.xml # done ## 20 instances are selected out of 42: tdsp/normalized-C1-1-20.xml tdsp/normalized-C1-2-20.xml tdsp/normalized-C1-2-21.xml tdsp/normalized-C2-1-15.xml tdsp/normalized-C2-2-15.xml tdsp/normalized-C2-3-16.xml tdsp/normalized-C3-1-31.xml tdsp/normalized-C3-2-30.xml tdsp/normalized-C4-1-60.xml tdsp/normalized-C4-2-60.xml tdsp/normalized-C4-3-60.xml tdsp/normalized-C4-3-61.xml tdsp/normalized-C5-1-90.xml tdsp/normalized-C5-1-91.xml tdsp/normalized-C5-2-91.xml tdsp/normalized-C5-3-91.xml tdsp/normalized-C6-1-121.xml tdsp/normalized-C6-3-121.xml tdsp/normalized-C7-1-240.xml tdsp/normalized-C7-3-240.xml # done ## 15 instances are selected out of 100: tightness0.1/normalized-rand-2-40-8-753-100-0_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-11_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-32_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-41_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-48_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-56_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-64_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-65_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-6_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-72_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-77_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-78_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-82_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-83_ext.xml tightness0.1/normalized-rand-2-40-8-753-100-94_ext.xml # done ## 15 instances are selected out of 100: tightness0.2/normalized-rand-2-40-11-414-200-10_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-11_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-15_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-20_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-23_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-27_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-30_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-32_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-54_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-57_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-6_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-71_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-76_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-84_ext.xml tightness0.2/normalized-rand-2-40-11-414-200-85_ext.xml # done ## 15 instances are selected out of 100: tightness0.35/normalized-rand-2-40-16-250-350-10_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-11_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-22_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-27_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-2_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-32_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-40_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-53_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-55_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-64_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-72_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-7_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-8_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-90_ext.xml tightness0.35/normalized-rand-2-40-16-250-350-95_ext.xml # done ## 15 instances are selected out of 100: tightness0.5/normalized-rand-2-40-25-180-500-11_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-12_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-16_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-18_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-19_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-24_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-35_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-37_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-46_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-51_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-68_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-75_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-79_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-93_ext.xml tightness0.5/normalized-rand-2-40-25-180-500-9_ext.xml # done ## 15 instances are selected out of 100: tightness0.65/normalized-rand-2-40-40-135-650-11_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-13_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-14_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-26_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-32_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-37_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-48_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-51_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-63_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-66_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-70_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-74_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-79_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-91_ext.xml tightness0.65/normalized-rand-2-40-40-135-650-96_ext.xml # done ## 25 instances are selected out of 100: tightness0.8/normalized-rand-2-40-80-103-800-10_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-12_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-18_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-19_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-20_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-25_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-27_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-29_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-3_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-40_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-52_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-53_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-59_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-64_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-66_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-68_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-70_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-78_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-7_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-80_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-83_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-87_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-88_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-8_ext.xml tightness0.8/normalized-rand-2-40-80-103-800-94_ext.xml # done ## 25 instances are selected out of 100: tightness0.9/normalized-rand-2-40-180-84-900-11_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-16_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-24_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-25_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-27_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-28_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-29_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-2_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-35_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-40_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-43_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-45_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-48_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-4_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-52_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-61_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-63_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-68_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-72_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-76_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-79_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-80_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-8_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-91_ext.xml tightness0.9/normalized-rand-2-40-180-84-900-93_ext.xml # done ## 15 instances are selected out of 15: travellingSalesman-20/normalized-tsp-20-142_ext.xml travellingSalesman-20/normalized-tsp-20-190_ext.xml travellingSalesman-20/normalized-tsp-20-193_ext.xml travellingSalesman-20/normalized-tsp-20-1_ext.xml travellingSalesman-20/normalized-tsp-20-29_ext.xml travellingSalesman-20/normalized-tsp-20-2_ext.xml travellingSalesman-20/normalized-tsp-20-30_ext.xml travellingSalesman-20/normalized-tsp-20-366_ext.xml travellingSalesman-20/normalized-tsp-20-453_ext.xml travellingSalesman-20/normalized-tsp-20-68_ext.xml travellingSalesman-20/normalized-tsp-20-727_ext.xml travellingSalesman-20/normalized-tsp-20-75_ext.xml travellingSalesman-20/normalized-tsp-20-76_ext.xml travellingSalesman-20/normalized-tsp-20-8_ext.xml travellingSalesman-20/normalized-tsp-20-901_ext.xml # done ## 15 instances are selected out of 15: travellingSalesman-25/normalized-tsp-25-13_ext.xml travellingSalesman-25/normalized-tsp-25-163_ext.xml travellingSalesman-25/normalized-tsp-25-190_ext.xml travellingSalesman-25/normalized-tsp-25-312_ext.xml travellingSalesman-25/normalized-tsp-25-38_ext.xml travellingSalesman-25/normalized-tsp-25-3_ext.xml travellingSalesman-25/normalized-tsp-25-456_ext.xml travellingSalesman-25/normalized-tsp-25-48_ext.xml travellingSalesman-25/normalized-tsp-25-523_ext.xml travellingSalesman-25/normalized-tsp-25-54_ext.xml travellingSalesman-25/normalized-tsp-25-561_ext.xml travellingSalesman-25/normalized-tsp-25-66_ext.xml travellingSalesman-25/normalized-tsp-25-681_ext.xml travellingSalesman-25/normalized-tsp-25-715_ext.xml travellingSalesman-25/normalized-tsp-25-843_ext.xml # done ## 20 instances are selected out of 50: ukHerald/normalized-crossword-m1-uk-05-02.xml ukHerald/normalized-crossword-m1-uk-05-05.xml ukHerald/normalized-crossword-m1-uk-15-01.xml ukHerald/normalized-crossword-m1-uk-15-02.xml ukHerald/normalized-crossword-m1-uk-15-03.xml ukHerald/normalized-crossword-m1-uk-15-07.xml ukHerald/normalized-crossword-m1-uk-15-08.xml ukHerald/normalized-crossword-m1-uk-15-09.xml ukHerald/normalized-crossword-m1-uk-15-10.xml ukHerald/normalized-crossword-m1-uk-19-01.xml ukHerald/normalized-crossword-m1-uk-19-04.xml ukHerald/normalized-crossword-m1-uk-19-05.xml ukHerald/normalized-crossword-m1-uk-19-08.xml ukHerald/normalized-crossword-m1-uk-19-10.xml ukHerald/normalized-crossword-m1-uk-21-02.xml ukHerald/normalized-crossword-m1-uk-21-04.xml ukHerald/normalized-crossword-m1-uk-23-01.xml ukHerald/normalized-crossword-m1-uk-23-02.xml ukHerald/normalized-crossword-m1-uk-23-07.xml ukHerald/normalized-crossword-m1-uk-23-09.xml # done ## 15 instances are selected out of 22: ukPuzzle/normalized-crossword-m1-uk-puzzle01.xml ukPuzzle/normalized-crossword-m1-uk-puzzle03.xml ukPuzzle/normalized-crossword-m1-uk-puzzle04.xml ukPuzzle/normalized-crossword-m1-uk-puzzle07.xml ukPuzzle/normalized-crossword-m1-uk-puzzle08.xml ukPuzzle/normalized-crossword-m1-uk-puzzle09.xml ukPuzzle/normalized-crossword-m1-uk-puzzle10.xml ukPuzzle/normalized-crossword-m1-uk-puzzle11.xml ukPuzzle/normalized-crossword-m1-uk-puzzle12.xml ukPuzzle/normalized-crossword-m1-uk-puzzle13.xml ukPuzzle/normalized-crossword-m1-uk-puzzle15.xml ukPuzzle/normalized-crossword-m1-uk-puzzle16.xml ukPuzzle/normalized-crossword-m1-uk-puzzle17.xml ukPuzzle/normalized-crossword-m1-uk-puzzle19.xml ukPuzzle/normalized-crossword-m1-uk-puzzle22.xml # done ## 45 instances are selected out of 65: ukVg/normalized-crossword-m1c-uk-vg10-10_ext.xml ukVg/normalized-crossword-m1c-uk-vg10-11_ext.xml ukVg/normalized-crossword-m1c-uk-vg10-13_ext.xml ukVg/normalized-crossword-m1c-uk-vg11-11_ext.xml ukVg/normalized-crossword-m1c-uk-vg11-12_ext.xml ukVg/normalized-crossword-m1c-uk-vg11-13_ext.xml ukVg/normalized-crossword-m1c-uk-vg11-14_ext.xml ukVg/normalized-crossword-m1c-uk-vg11-15_ext.xml ukVg/normalized-crossword-m1c-uk-vg12-14_ext.xml ukVg/normalized-crossword-m1c-uk-vg12-16_ext.xml ukVg/normalized-crossword-m1c-uk-vg13-17_ext.xml ukVg/normalized-crossword-m1c-uk-vg14-14_ext.xml ukVg/normalized-crossword-m1c-uk-vg14-15_ext.xml ukVg/normalized-crossword-m1c-uk-vg14-17_ext.xml ukVg/normalized-crossword-m1c-uk-vg14-18_ext.xml ukVg/normalized-crossword-m1c-uk-vg15-17_ext.xml ukVg/normalized-crossword-m1c-uk-vg15-18_ext.xml ukVg/normalized-crossword-m1c-uk-vg15-19_ext.xml ukVg/normalized-crossword-m1c-uk-vg16-16_ext.xml ukVg/normalized-crossword-m1c-uk-vg16-17_ext.xml ukVg/normalized-crossword-m1c-uk-vg16-18_ext.xml ukVg/normalized-crossword-m1c-uk-vg16-19_ext.xml ukVg/normalized-crossword-m1c-uk-vg4-4_ext.xml ukVg/normalized-crossword-m1c-uk-vg4-6_ext.xml ukVg/normalized-crossword-m1c-uk-vg4-7_ext.xml ukVg/normalized-crossword-m1c-uk-vg5-5_ext.xml ukVg/normalized-crossword-m1c-uk-vg5-6_ext.xml ukVg/normalized-crossword-m1c-uk-vg5-7_ext.xml ukVg/normalized-crossword-m1c-uk-vg5-8_ext.xml ukVg/normalized-crossword-m1c-uk-vg5-9_ext.xml ukVg/normalized-crossword-m1c-uk-vg6-10_ext.xml ukVg/normalized-crossword-m1c-uk-vg6-6_ext.xml ukVg/normalized-crossword-m1c-uk-vg6-8_ext.xml ukVg/normalized-crossword-m1c-uk-vg7-10_ext.xml ukVg/normalized-crossword-m1c-uk-vg7-7_ext.xml ukVg/normalized-crossword-m1c-uk-vg7-8_ext.xml ukVg/normalized-crossword-m1c-uk-vg7-9_ext.xml ukVg/normalized-crossword-m1c-uk-vg8-10_ext.xml ukVg/normalized-crossword-m1c-uk-vg8-11_ext.xml ukVg/normalized-crossword-m1c-uk-vg8-12_ext.xml ukVg/normalized-crossword-m1c-uk-vg9-10_ext.xml ukVg/normalized-crossword-m1c-uk-vg9-11_ext.xml ukVg/normalized-crossword-m1c-uk-vg9-12_ext.xml ukVg/normalized-crossword-m1c-uk-vg9-13_ext.xml ukVg/normalized-crossword-m1c-uk-vg9-9_ext.xml # done ## 9 instances are selected out of 9: varDimacs/normalized-bf-0432-007_ext.xml varDimacs/normalized-bf-1355-075_ext.xml varDimacs/normalized-bf-1355-638_ext.xml varDimacs/normalized-bf-2670-001_ext.xml varDimacs/normalized-hole-06_ext.xml varDimacs/normalized-hole-07_ext.xml varDimacs/normalized-hole-08_ext.xml varDimacs/normalized-hole-09_ext.xml varDimacs/normalized-hole-10_ext.xml # done ## 20 instances are selected out of 49: wordsHerald/normalized-crossword-m1-words-05-01.xml wordsHerald/normalized-crossword-m1-words-05-03.xml wordsHerald/normalized-crossword-m1-words-05-04.xml wordsHerald/normalized-crossword-m1-words-05-08.xml wordsHerald/normalized-crossword-m1-words-05-10.xml wordsHerald/normalized-crossword-m1-words-15-02.xml wordsHerald/normalized-crossword-m1-words-15-04.xml wordsHerald/normalized-crossword-m1-words-15-06.xml wordsHerald/normalized-crossword-m1-words-15-08.xml wordsHerald/normalized-crossword-m1-words-19-01.xml wordsHerald/normalized-crossword-m1-words-19-03.xml wordsHerald/normalized-crossword-m1-words-19-05.xml wordsHerald/normalized-crossword-m1-words-19-08.xml wordsHerald/normalized-crossword-m1-words-21-01.xml wordsHerald/normalized-crossword-m1-words-21-05.xml wordsHerald/normalized-crossword-m1-words-21-07.xml wordsHerald/normalized-crossword-m1-words-21-08.xml wordsHerald/normalized-crossword-m1-words-21-10.xml wordsHerald/normalized-crossword-m1-words-23-03.xml wordsHerald/normalized-crossword-m1-words-23-07.xml # done ## 15 instances are selected out of 22: wordsPuzzle/normalized-crossword-m1-words-puzzle04.xml wordsPuzzle/normalized-crossword-m1-words-puzzle06.xml wordsPuzzle/normalized-crossword-m1-words-puzzle08.xml wordsPuzzle/normalized-crossword-m1-words-puzzle09.xml wordsPuzzle/normalized-crossword-m1-words-puzzle10.xml wordsPuzzle/normalized-crossword-m1-words-puzzle13.xml wordsPuzzle/normalized-crossword-m1-words-puzzle14.xml wordsPuzzle/normalized-crossword-m1-words-puzzle15.xml wordsPuzzle/normalized-crossword-m1-words-puzzle16.xml wordsPuzzle/normalized-crossword-m1-words-puzzle17.xml wordsPuzzle/normalized-crossword-m1-words-puzzle18.xml wordsPuzzle/normalized-crossword-m1-words-puzzle19.xml wordsPuzzle/normalized-crossword-m1-words-puzzle20.xml wordsPuzzle/normalized-crossword-m1-words-puzzle21.xml wordsPuzzle/normalized-crossword-m1-words-puzzle22.xml # done ## 40 instances are selected out of 65: wordsVg/normalized-crossword-m1c-words-vg10-10_ext.xml wordsVg/normalized-crossword-m1c-words-vg10-12_ext.xml wordsVg/normalized-crossword-m1c-words-vg10-14_ext.xml wordsVg/normalized-crossword-m1c-words-vg11-13_ext.xml wordsVg/normalized-crossword-m1c-words-vg11-14_ext.xml wordsVg/normalized-crossword-m1c-words-vg11-15_ext.xml wordsVg/normalized-crossword-m1c-words-vg12-13_ext.xml wordsVg/normalized-crossword-m1c-words-vg12-15_ext.xml wordsVg/normalized-crossword-m1c-words-vg12-16_ext.xml wordsVg/normalized-crossword-m1c-words-vg13-13_ext.xml wordsVg/normalized-crossword-m1c-words-vg13-16_ext.xml wordsVg/normalized-crossword-m1c-words-vg13-17_ext.xml wordsVg/normalized-crossword-m1c-words-vg14-14_ext.xml wordsVg/normalized-crossword-m1c-words-vg14-16_ext.xml wordsVg/normalized-crossword-m1c-words-vg14-17_ext.xml wordsVg/normalized-crossword-m1c-words-vg14-18_ext.xml wordsVg/normalized-crossword-m1c-words-vg15-15_ext.xml wordsVg/normalized-crossword-m1c-words-vg15-16_ext.xml wordsVg/normalized-crossword-m1c-words-vg15-19_ext.xml wordsVg/normalized-crossword-m1c-words-vg4-4_ext.xml wordsVg/normalized-crossword-m1c-words-vg4-6_ext.xml wordsVg/normalized-crossword-m1c-words-vg4-8_ext.xml wordsVg/normalized-crossword-m1c-words-vg5-7_ext.xml wordsVg/normalized-crossword-m1c-words-vg5-8_ext.xml wordsVg/normalized-crossword-m1c-words-vg5-9_ext.xml wordsVg/normalized-crossword-m1c-words-vg6-10_ext.xml wordsVg/normalized-crossword-m1c-words-vg6-6_ext.xml wordsVg/normalized-crossword-m1c-words-vg6-7_ext.xml wordsVg/normalized-crossword-m1c-words-vg7-10_ext.xml wordsVg/normalized-crossword-m1c-words-vg7-11_ext.xml wordsVg/normalized-crossword-m1c-words-vg7-7_ext.xml wordsVg/normalized-crossword-m1c-words-vg7-9_ext.xml wordsVg/normalized-crossword-m1c-words-vg8-11_ext.xml wordsVg/normalized-crossword-m1c-words-vg8-12_ext.xml wordsVg/normalized-crossword-m1c-words-vg8-8_ext.xml wordsVg/normalized-crossword-m1c-words-vg8-9_ext.xml wordsVg/normalized-crossword-m1c-words-vg9-10_ext.xml wordsVg/normalized-crossword-m1c-words-vg9-11_ext.xml wordsVg/normalized-crossword-m1c-words-vg9-12_ext.xml wordsVg/normalized-crossword-m1c-words-vg9-13_ext.xml # done