#################################################################### ## MAIN PARAMETERS : ## #################################################################### SYNC_PORT =1500 #
Port to synchronize the island HOST_1 =127.0.0.1 #################################################################### PROBLEM_TYPE =1 #
1=Satisfacibility problem (SAT) FITNESS_FUNCTION =1 #
If SAT 1:Default function NUM_GENES =250 #
Number of variables if SAT ############## SAT Parameters ############## NUM_CLAUSULES =1065 # Number
of clausules #################################################################### ALG_TYPE =3 #
Algorithm type 3:Simulated Annealing NUM_MAX_EVAL =10000000 #
Maximum number of evaluations ALG_STOP =3 # Stopping
condition:3:Get SOLUTION_FITNESS or Get NUM_MAX_EVAL MIGRATION_FREQ =2048 #
Frequency of migrations PROB_CROSS =0.5 #
Probability of applying crossover CROSS_TYPE =3
#Cross operator to use:3:UX REPLACEMENT_TYPE =1 #
1:worst indiv #################################################################### NUM_MIG =1 #
Number of migrate individuals MAX_T =0.3 #
Maximum start temperature for simulated annealing |