7.1 SAT Configuration File

 


####################################################################
## MAIN PARAMETERS : ##
####################################################################

BASE_PORTS =6200                    # Where to start the ports of islands
SYNC_PORT =1500                      # Port to synchronize the island

NUM_ISLANDS =8                  # Total number of islands

HOST_1 =192.168.198.224
HOST_2 =192.168.198.223
HOST_3 =192.168.198.222
HOST_4 =192.168.198.221
HOST_5 =192.168.198.220
HOST_6 =192.168.198.216
HOST_7 =192.168.198.218
HOST_8 =192.168.198.217

####################################################################
## PROBLEM PARAMETERS: ##
####################################################################

PROBLEM_TYPE =1            # 1=SAT, 2=Radio Network Design

FITNESS_FUNCTION =1             # If SAT 1:Default function
SOLUTION_FITNESS =0.98        #  max. 1 if SAT

NUM_GENES =250               # Number of variables if SAT
GENE_LENGTH =1               # 1 if SAT. Bits to represent a literal
CHROM_LENGTH =250        # Length of chromosome:NUM_GENES*GENE_LENGTH

NUM_CLAUSULES =1065      # Number of clausules (only for SAT)
LIT_IN_CLAUSULE =3            # Number of literals per clausule
NUM_LITERALS =250            # Number of variables

####################################################################
## ALGORITHM PARAMETERS ##
####################################################################

ALG_TYPE =1# 1:Steady State GA, 2:Celular GA, 3:Simulated Annealing

NUM_MAX_EVAL =100000000      # Maximum number of evaluations

MIGRATION_FREQ =2048          # Frequency of migrations (# of evaluations)
MIGRATION_TYPE =3                # 1:best indiv, 2:worst indiv, 3:random indiv

PROB_CROSS =0.5         # Probability of applying crossover
PROB_MUT =0.05           # Probability of applying mutation

CROSS_TYPE =3           # 0:NONE, 1:SPX, 2:AX, 3:UX, 4:DPX, 5:SPX2
MUTATION_TYPE =1    # 1:Binary mutation

POP_V_SIZE =5               # Number of cols and rows of population
POP_H_SIZE =5               # Size of population on each island:POP_V_SIZE*POP_H_SIZE
POPSIZE =25

REPLACEMENT_TYPE =1      # 1:worst indiv
SELECTION_TYPE =1             # 1:Roulette wheel

####################################################################
## MISCELLANEOUS : ##
####################################################################

NUM_MIG =1            # Number of migrate individuals
UX_RATIO =0.5      # Ratio for UX cross operator: [0,1)

Click here to download SAT configuration file

 

[Previous][Index][Home][Next]