Merge branch 'evocop2019' into githubbranch

README.md

@@ -2,6 +2,8 @@
 
 You can find in this repository the source code of the algorithms implemented for the scientific papers listed:
 
+* Francisco Chicano, Gabriela Ochoa, Darrell Whitley and Renato Tinós, "Quasi-Optimal Recombination Operator", EvoCOP 2019 (https://doi.org/10.1007/978-3-030-16711-0_9)
+
 * Francisco Chicano, Gabriela Ochoa, Darrell Whitley and Renato Tinós, "Enhancing Partition Crossover with Articulation Points Analysis", GECCO 2018 (https://doi.org/10.1145/3205455.3205561)
 
 * Francisco Chicano, Darrell Whitley, Gabriela Ochoa and Renato Tinós, "Optimizing One Million Variable NK Landscapes by Hybridizing Deterministic Recombination and Local Search", GECCO 2017 (https://doi.org/10.1145/3071178.3071285)
@@ -12,6 +14,31 @@ You can find in this repository the source code of the algorithms implemented fo
 
 In the following sections you will find instructions to run the algorithms in the papers. The name of the jar file generated by this commit is EfficientHillClimbers-0.7-GECCO2018.jar
 
+# Quasi-Optimal Recombination Operator (EvoCOP 2019)
+
+In order to run the algorithms you need first to compile and package them into a JAR file (see instructions at the bottom of the page). Then, you can run them with the following commands:
+
+* For DRILS+DPX solving NKQ Landscapes
+
+```
+java -jar <jarfile name> drils+dpx-nk  <options omitted>
+```
+
+The instances were randomly generated using the options. The seed for generating the instances was set using the -pseed option with values from 1 to 10.
+
+* For DRILS+DPX solving MAX-SAT
+
+```
+java -jar <jarfile name> drils+dpx-maxsat  <options omitted>
+```
+
+For the experiments of the paper some of the MAX-SAT weighted and unweighted incomplete benchmark was used. The ZIP files with the instances can be found at (http://mse17.cs.helsinki.fi/benchmarks.html). The MAX-SAT weighted instances used in the experiments are listed in file (maxsat-instances-weigthed-evocop2019.txt). The MAX-SAT unweighted instances used in the experiments are listed in file (maxsat-instances-unweigthed-evocop2019.txt).
+
+* For DRILS with PX or APX see the instructions below for the GECCO 2018 paper
+
+To see the options, just run the algorithms without options. 
+
+
 # Enhancing Partition Crossover with Articulation Points Analysis (GECCO 2018)
 
 In order to run the algorithms you need first to compile and package them into a JAR file (see instructions at the bottom of the page). Then, you can run them with the following commands:

maxsat-instances-unweigthed-evocop2019.txt

@@ -0,0 +1,160 @@
+aes-key-recovery-AES1-76-36
+aes-key-recovery-AES2-72-67
+atcoss-mesat-atcoss_mesat_02
+atcoss-mesat-atcoss_mesat_03
+atcoss-mesat-atcoss_mesat_04
+atcoss-mesat-atcoss_mesat_05
+atcoss-mesat-atcoss_mesat_10
+atcoss-mesat-atcoss_mesat_15
+atcoss-mesat-atcoss_mesat_18
+atcoss-sugar-atcoss_sugar_02
+atcoss-sugar-atcoss_sugar_03
+atcoss-sugar-atcoss_sugar_04
+atcoss-sugar-atcoss_sugar_05
+atcoss-sugar-atcoss_sugar_10
+atcoss-sugar-atcoss_sugar_15
+atcoss-sugar-atcoss_sugar_18
+bcp-hipp-SU3__simp-genos.haps.21
+bcp-hipp-SU3__simp-genos.haps.63
+bcp-hipp-SU3__simp-genos.haps.80
+bcp-hipp-SU3__simp-genos.haps.9
+bcp-msp-normalized-f1000
+bcp-msp-normalized-f2000
+bcp-msp-normalized-f600
+bcp-msp-normalized-g125.17
+bcp-msp-normalized-g125.18
+bcp-msp-normalized-g250.15
+bcp-msp-normalized-g250.29
+bcp-msp-normalized-ii16a1
+bcp-msp-normalized-ii16c1
+bcp-msp-normalized-ii16d1
+bcp-msp-normalized-ii32d2
+bcp-msp-normalized-par32-1
+bcp-msp-normalized-par32-1-c
+bcp-msp-normalized-par32-2
+bcp-msp-normalized-par32-2-c
+bcp-syn-normalized-m200_500_10_10.r
+close-solutions-SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3
+des-cnf.17.p.10
+des-cnf.18.p.10
+des-cnf.20.p.9
+extension-enforcement-extension-enforcement_non-strict_stb_150_0.05_1_8_3
+extension-enforcement-extension-enforcement_non-strict_stb_150_0.05_2_8_3
+extension-enforcement-extension-enforcement_non-strict_stb_150_0.05_2_8_4
+extension-enforcement-extension-enforcement_non-strict_stb_150_0.1_2_8_2
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_0_10_3
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_0
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_1
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_2
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_2_10_2
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_0
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_1
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_0
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_1
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_2
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_3
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_4
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.1_2_10_1
+extension-enforcement-extension-enforcement_non-strict_stb_200_0.1_4_10_4
+gen-hyper-tw-GenHyperTW_2bitcomp_5
+gen-hyper-tw-GenHyperTW_aim-50-1_6-no-3
+gen-hyper-tw-GenHyperTW_aim-50-2_0-no-3
+gen-hyper-tw-GenHyperTW_aim-50-2_0-yes1-3
+gen-hyper-tw-GenHyperTW_aim-50-3_4-yes1-3
+gen-hyper-tw-GenHyperTW_atv_partial_system
+gen-hyper-tw-GenHyperTW_clique_15
+gen-hyper-tw-GenHyperTW_dubois20
+gen-hyper-tw-GenHyperTW_dubois21
+gen-hyper-tw-GenHyperTW_dubois23
+gen-hyper-tw-GenHyperTW_dubois25
+gen-hyper-tw-GenHyperTW_dubois27
+gen-hyper-tw-GenHyperTW_dubois28
+gen-hyper-tw-GenHyperTW_dubois29
+gen-hyper-tw-GenHyperTW_dubois30
+gen-hyper-tw-GenHyperTW_flat30-1
+gen-hyper-tw-GenHyperTW_flat30-99
+gen-hyper-tw-GenHyperTW_grid3d_5
+gen-hyper-tw-GenHyperTW_grid4d_3
+gen-hyper-tw-GenHyperTW_hole9
+gen-hyper-tw-GenHyperTW_par8-1-c
+gen-hyper-tw-GenHyperTW_par8-2-c
+gen-hyper-tw-GenHyperTW_par8-3-c
+gen-hyper-tw-GenHyperTW_par8-4-c
+gen-hyper-tw-GenHyperTW_par8-5-c
+gen-hyper-tw-GenHyperTW_pret60_25
+gen-hyper-tw-GenHyperTW_pret60_60
+gen-hyper-tw-GenHyperTW_s208
+gen-hyper-tw-GenHyperTW_uf20-01
+gen-hyper-tw-GenHyperTW_uf20-099
+haplotype-assembly-splitedReads_0.matrix
+hs-timetabling-GreeceWesternGreeceUniversityInstance4.xml
+maxclique-brock200_1.clq
+maxclique-brock400_1.clq
+maxclique-brock400_4.clq
+maxclique-p_hat1000-2.clq
+maxclique-p_hat500-3.clq
+maxclique-sanr200_0.9.clq
+maxclique-sanr400_0.7.clq
+maxcut-brock200_1.clq
+maxcut-brock400_2.clq
+maxcut-brock400_4.clq
+maxcut-brock800_2.clq
+maxcut-brock800_3.clq
+maxcut-p_hat1000-2.clq
+maxcut-p_hat1000-3.clq
+maxcut-p_hat500-3.clq
+maxcut-p_hat700-2.clq
+maxcut-p_hat700-3.clq
+maxcut-san400_0.5_1.clq
+maxcut-san400_0.7_1.clq
+maxcut-san400_0.7_2.clq
+maxcut-san400_0.7_3.clq
+maxcut-san400_0.9_1.clq
+maxcut-sanr200_0.7.clq
+maxcut-t5pm3-7777.spn
+maxcut-t6pm3-8888.spn
+maxcut-t7pm3-9999.spn
+mbd-b21_C-mbd14-0218
+min-fill-MinFill_R0_miles1500
+min-fill-MinFill_R0_mulsol.i.1
+min-fill-MinFill_R0_myciel6
+min-fill-MinFill_R0_queen11_11
+min-fill-MinFill_R0_queen6_6
+min-fill-MinFill_R0_queen7_7
+min-fill-MinFill_R0_queen8_12
+min-fill-MinFill_R0_queen8_8
+min-fill-MinFill_R0_queen9_9
+min-fill-MinFill_R1_games120
+min-fill-MinFill_R3_miles1000
+min-fill-MinFill_R3_miles750
+min-fill-MinFill_R4_miles500
+reversi-rev66-12
+reversi-rev66-14
+reversi-rev66-16
+reversi-rev66-18
+reversi-rev66-20
+reversi-rev66-22
+reversi-rev66-26
+reversi-rev66-32
+scheduling-cnf_10
+scheduling-cnf_12
+scheduling-cnf_small
+sean-safarpour-rsdecoder-problem.dimacs_38.filtered
+sean-safarpour-rsdecoder-problem.dimacs_41.filtered
+sean-safarpour-SM_MAIN_MEM_buggy1.dimacs.filtered
+sean-safarpour-wb_4m8s4.dimacs.filtered
+sean-safarpour-wb_conmax1.dimacs.filtered
+set-covering-scpcyc06_maxsat
+set-covering-scpcyc07_maxsat
+set-covering-scpcyc08_maxsat
+set-covering-scpcyc09_maxsat
+set-covering-scpcyc10_maxsat
+set-covering-scpcyc11_maxsat
+treewidth-computation-TWComp_1c75_N69
+treewidth-computation-TWComp_1dj7_N73
+treewidth-computation-TWComp_1dp_N76
+treewidth-computation-TWComp_eil51.tsp_N51
+treewidth-computation-TWComp_myciel5_N47
+treewidth-computation-TWComp_queen5_5_N25
+treewidth-computation-TWComp_queen6_6_N36
+treewidth-computation-TWComp_queen7_7_N49

maxsat-instances-weigthed-evocop2019.txt

@@ -0,0 +1,132 @@
+BTBNSL-Rounded_BTWBNSL_Abalone_TWBound_3
+BTBNSL-Rounded_BTWBNSL_adult15N_TWBound_3
+BTBNSL-Rounded_BTWBNSL_adult15N_TWBound_4
+BTBNSL-Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_3
+BTBNSL-Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4
+BTBNSL-Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_3
+BTBNSL-Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4
+BTBNSL-Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_3
+BTBNSL-Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_4
+BTBNSL-Rounded_BTWBNSL_Heart.BIC_TWBound_4
+BTBNSL-Rounded_BTWBNSL_Horse.BIC_TWBound_3
+BTBNSL-Rounded_BTWBNSL_Housing_TWBound_3
+BTBNSL-Rounded_BTWBNSL_Housing_TWBound_4
+BTBNSL-Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3
+BTBNSL-Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_4
+BTBNSL-Rounded_BTWBNSL_Voting_TWBound_3
+BTBNSL-Rounded_BTWBNSL_Voting_TWBound_4
+correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200
+correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N260_D0.200
+correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200
+correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N300_D0.200
+correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N220_D0.200
+correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N240_D0.200
+correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N260_D0.200
+correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N320
+correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N340
+correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N360
+correlation-clustering-Rounded_CorrelationClustering_Protein3_BINARY_N380
+correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N300
+correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N340
+correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N360
+correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N700_D0.200
+correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N720_D0.200
+correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N760_D0.200
+correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200
+hs-timetabling-BrazilInstance1.xml
+hs-timetabling-BrazilInstance2.xml
+hs-timetabling-BrazilInstance4.xml
+hs-timetabling-BrazilInstance5.xml
+hs-timetabling-BrazilInstance6.xml
+hs-timetabling-BrazilInstance7.xml
+hs-timetabling-FinlandCollege.xml
+hs-timetabling-FinlandHighSchool.xml
+hs-timetabling-FinlandSecondarySchool.xml
+hs-timetabling-ItalyInstance4.xml
+lisbon-wedding-lisbon-wedding-10-18
+lisbon-wedding-lisbon-wedding-10-19
+lisbon-wedding-lisbon-wedding-4-17
+lisbon-wedding-lisbon-wedding-4-19
+lisbon-wedding-lisbon-wedding-5-19
+lisbon-wedding-lisbon-wedding-6-19
+lisbon-wedding-lisbon-wedding-7-17
+lisbon-wedding-lisbon-wedding-7-18
+lisbon-wedding-lisbon-wedding-7-19
+lisbon-wedding-lisbon-wedding-8-17
+lisbon-wedding-lisbon-wedding-8-18
+lisbon-wedding-lisbon-wedding-8-19
+lisbon-wedding-lisbon-wedding-9-17
+lisbon-wedding-lisbon-wedding-9-18
+lisbon-wedding-lisbon-wedding-9-19
+maxcut-johnson8-2-4.clq
+maxcut-p_hat500-3.clq
+maxcut-san200_0.7_2.clq
+maxcut-sanr200_0.7.clq
+maxcut-sanr200_0.9.clq
+maxcut-t7g3-9999.spn
+min-width-MinWidthCB_milan_200_12_1k_10s_1t_12
+min-width-MinWidthCB_mitdbsample_300_43_1k_15s_1t_15
+min-width-MinWidthCB_mitdbsample_300_43_1k_15s_2t_15
+min-width-MinWidthCB_mitdbsample_300_43_1k_3s_1t_3
+min-width-MinWidthCB_mitdbsample_300_43_1k_3s_1t_5
+min-width-MinWidthCB_mitdbsample_300_43_1k_3s_2t_3
+min-width-MinWidthCB_mitdbsample_300_43_1k_3s_2t_5
+min-width-MinWidthCB_mitdbsample_300_43_1k_6s_1t_6
+min-width-MinWidthCB_mitdbsample_300_43_1k_6s_2t_6
+min-width-MinWidthCB_mitdbsample_300_43_1k_6s_2t_8
+min-width-MinWidthCB_mitdbsample_300_64_1k_15s_1t_15
+min-width-MinWidthCB_mitdbsample_300_64_1k_15s_1t_17
+min-width-MinWidthCB_mitdbsample_300_64_1k_15s_2t_15
+min-width-MinWidthCB_mitdbsample_300_64_1k_15s_2t_17
+min-width-MinWidthCB_mitdbsample_300_64_1k_15s_3t_17
+min-width-MinWidthCB_mitdbsample_300_64_1k_3s_2t_5
+min-width-MinWidthCB_mitdbsample_300_64_1k_3s_3t_3
+min-width-MinWidthCB_mitdbsample_300_64_1k_3s_3t_5
+min-width-MinWidthCB_mitdbsample_300_64_1k_6s_1t_8
+min-width-MinWidthCB_mitdbsample_300_64_1k_6s_2t_6
+min-width-MinWidthCB_mitdbsample_300_64_1k_6s_3t_6
+min-width-MinWidthCB_mitdbsample_300_64_1k_6s_3t_8
+min-width-MinWidthCB_power_1000_24_1k_10s_1t_12
+min-width-MinWidthCB_power_1000_24_1k_20s_1t_20
+min-width-MinWidthCB_power_1000_24_1k_20s_2t_20
+min-width-MinWidthCB_power_1000_24_1k_20s_2t_22
+min-width-MinWidthCB_power_1000_24_1k_50s_1t_50
+min-width-MinWidthCB_power_1000_24_1k_50s_1t_52
+min-width-MinWidthCB_power_1000_24_1k_50s_2t_50
+min-width-MinWidthCB_power_1000_24_1k_50s_2t_52
+miplib-normalized-mps-v2-20-10-cracpb1.opb.msat
+miplib-normalized-mps-v2-20-10-l152lav.opb.msat
+miplib-normalized-mps-v2-20-10-lp4l.opb.msat
+miplib-normalized-mps-v2-20-10-mod008.opb.msat
+miplib-normalized-mps-v2-20-10-mod010.opb.msat
+miplib-normalized-mps-v2-20-10-p0548.opb.msat
+miplib-normalized-mps-v2-20-10-sentoy.opb.msat
+railway-transport-pesp_18Min
+railway-transport-wg2
+rna-alignment-k100-13-99.rna.pre
+rna-alignment-k100-18-95.rna.pre
+rna-alignment-k100-2-14.rna.pre
+rna-alignment-k100-39-93.rna.pre
+rna-alignment-k100-42-56.rna.pre
+rna-alignment-k100-42-96.rna.pre
+rna-alignment-k100-73-76.rna.pre
+spot5-1401.wcsp.log
+spot5-1403.wcsp.log
+spot5-1405.wcsp.log
+timetabling-comp01
+timetabling-comp03
+timetabling-comp05
+timetabling-comp12
+timetabling-comp18
+timetabling-comp21
+timetabling-test4
+staff-scheduling-instance10
+staff-scheduling-instance11
+staff-scheduling-instance12
+staff-scheduling-instance3
+staff-scheduling-instance4
+staff-scheduling-instance5
+staff-scheduling-instance6
+staff-scheduling-instance7
+staff-scheduling-instance8
+staff-scheduling-instance9