tl3.run

遗传规划工具

Starting run lang 00057 at time Mon Apr  8 15:05:54 1996

Seed = 52537242  num_individuals = 10000  num_generations = 300 Sizeof Individual is 8336, sizeof CompInd 1036

num_primed_individuals = 0  
crossover_fraction_for_leaves = 0.100000
crossover_fraction_for_node = 0.800000   
mutation_fraction = 0.000000
copy_fraction =0.100000, 
branch_creation_fraction = 0.000000
branch_duplication_fraction =0.000000, 
branch_deletion_fraction = 0.000000
arg__duplication_fraction =0.000000, 
arg_deletion_fraction = 0.000000
early_cross_fract_leaves=0.100000  
early_cross_fract_node = 0.800000
 early_mutation_fraction = 0.000000
early_copy_fraction =0.100000, 
early_branch_creation_fraction = 0.000000
early_branch_duplication_fraction =0.000000, 
early_branch_deletion_fraction = 0.000000
early_arg__duplication_fraction =0.000000, 
early_arg_deletion_fraction = 0.000000
growth_method = 3

**************Function Table Information****************

 There are 13 functions in the function table
 Of these, 3 are ADFs, 0 are dummy-variables, and 10 are general
The number 0 function is an ADF named adf0
The number 1 function is an ADF named adf1
The number 2 function is an ADF named adf2
The number 3 function is and, has arity 2 and is a macro,
The number 4 function is or, has arity 2 and is a macro,
The number 5 function is not, has arity 1 and is a macro,
The number 6 function is splitA, has arity 2 and is a macro,
The number 7 function is splitR, has arity 2 and is a macro,
The number 8 function is retract, has arity 1 and is a macro,
The number 9 function is write_node, has arity 1 and is a macro,
The number 10 function is to_node, has arity 1 and is a macro,
The number 11 function is done, has arity 0
The number 12 function is "%f", has arity 0 and is a constant,

The initial Population starts with 3 ADFs

****************Result Producing Branches*************
RPB Number 0 uses the following functions:  
adf0 with arity 0
adf1 with arity 0
adf2 with arity 0
and with arity 2
or with arity 2
not with arity 1


****************Function Defining Branches (ADFs)*************
ADF Number 0 uses the following functions:  
splitA with arity 2
splitR with arity 2
retract with arity 1
write_node with arity 1
to_node with arity 1
done with arity 0


ADF Number 1 uses the following functions:  
splitA with arity 2
splitR with arity 2
retract with arity 1
write_node with arity 1
to_node with arity 1
done with arity 0


ADF Number 2 uses the following functions:  
splitA with arity 2
splitR with arity 2
retract with arity 1
write_node with arity 1
to_node with arity 1
done with arity 0


**************End of Function Table Report*****************


----------------- VARIOUS #defs for this problem and the default.in file!-------------



------------------End of #defs----------------------------

------------------RESULTS OF THIS RUN----------------------------
TRACE: 
Population Created at time

lang 57 G:0 BF:127.0000 H:373 psC:1629880000 wf:366.000 avf:250.121 varf:237.2087 df:0.0000 Mon Apr  8 15:09:30 1996


Num RPBS 1 Num ADFS 3 ARITY  0 0 0
RPB_Num 0: with 5 points

(or (adf2 )(and (adf2 )(adf0 )))

ADF_Num 0: with 20 points
(to_node (splitA (splitR (write_node (splitA (done )
(done )))(to_node (retract (done ))))(splitR (splitA (to_node (done ))(splitA (done )
(done )))(to_node (to_node (done ))))))

ADF_Num 1: with 4 points
(retract (retract (retract (done ))))

ADF_Num 2: with 11 points
(to_node (splitA (to_node (write_node 
(done )))(splitA (to_node (done ))(splitA (done )(done )))))


lang 57 G:1 BF:124.0000 H:376 psC:1461676384 wf:353.000 avf:240.675 varf:388.0246 df:9.4459 Mon Apr  8 15:13:57 1996


Num RPBS 1 Num ADFS 3 ARITY  0 0 0
RPB_Num 0: with 2 points

(not (adf1 ))

ADF_Num 0: with 12 points
(write_node (splitA (write_node (to_node (done )))(splitR (splitA (done )(done ))
(splitA (done )(done )))))

ADF_Num 1: with 22 points
(splitA (retract (to_node (to_node (retract (done )))))(splitR (splitA 
(splitA (retract (done ))(to_node (done )))(write_node (retract (done ))))(write_node (splitR 
(retract (done ))(to_node (done ))))))

ADF_Num 2: with 5 points
(write_node (retract (to_node (write_node (done )))))


lang 57 G:2 BF:124.0000 H:376 psC:1476834268 wf:388.000 avf:228.464 varf:623.6767 df:12.2106 Mon Apr  8 15:17:49 1996
lang 57 G:3 BF:97.0000 H:403 psC:1474878412 wf:344.000 avf:214.723 varf:889.2700 df:13.7415 Mon Apr  8 15:22:10 1996


Num RPBS 1 Num ADFS 3 ARITY  0 0 0
RPB_Num 0: with 6 points

(not (or (not (adf2 ))(not (adf0 ))))

ADF_Num 0: with 7 points
(splitA (done )(to_node (write_node (write_node 
(to_node (done ))))))

ADF_Num 1: with 3 points
(write_node (write_node (done )))

ADF_Num 2: with 19 points
(splitA (splitR (write_node (to_node (done )))(to_node (splitR 
(done )(done ))))(retract (write_node (splitA (done )(to_node (to_node (splitA (retract 
(done ))(done ))))))))


lang 57 G:4 BF:97.0000 H:403 psC:1458253636 wf:417.000 avf:199.962 varf:1216.5088 df:14.7608 Mon Apr  8 15:26:04 1996
lang 57 G:5 BF:83.0000 H:417 psC:1459557540 wf:354.000 avf:189.221 varf:1604.4872 df:10.7409 Mon Apr  8 15:29:33 1996


Num RPBS 1 Num ADFS 3 ARITY  0 0 0
RPB_Num 0: with 4 points

(or (not (adf0 ))(adf2 ))

ADF_Num 0: with 20 points
(splitA (retract (done ))(splitR (to_node (splitA (splitA 
(write_node (done ))(write_node (done )))(to_node (write_node (done )))))(write_node (retract (splitR 
(retract (done ))(done ))))))

ADF_Num 1: with 7 points
(write_node (splitA (retract (done ))(splitA (done )(done ))))

ADF_Num 2: with 4 points
(retract (splitR 
(done )(done )))


lang 57 G:6 BF:78.0000 H:422 psC:1467706940 wf:362.000 avf:184.685 varf:1824.0752 df:4.5357 Mon Apr  8 15:32:48 1996


Num RPBS 1 Num ADFS 3 ARITY  0 0 0
RPB_Num 0: with 42 points

(and (or (and (or (or (or (or (adf0 )(adf0 ))(or 
(adf0 )(adf2 )))(and (not (adf1 ))(not (adf1 ))))(not (not (or 
(adf0 )(adf2 )))))(and (or (or (not (adf1 ))(not (adf0 )))(or 
(and (adf2 )(adf1 ))(not (not (or (adf0 )(adf0 ))))))(not (adf1 ))))
(adf2 ))(adf1 ))

ADF_Num 0: with 7 points
(to_node (splitR (write_node (done ))(write_node (retract (done )))))

ADF_Num 1: with 18 points
(splitR (done )(splitA 
(retract (write_node (retract (write_node (splitR (write_node (done ))(to_node (done )))))))(retract 
(splitA (to_node (retract (done )))(done )))))

ADF_Num 2: with 19 points
(splitA (splitA (to_node (splitA (done )(to_node 
(retract (done )))))(to_node (splitR (done )(done ))))(to_node (splitR (to_node (done ))
(splitR (done )(done )))))


lang 57 G:7 BF:55.0000 H:445 psC:1464936144 wf:403.000 avf:175.837 varf:1773.1432 df:8.8483 Mon Apr  8 15:36:15 1996


Num RPBS 1 Num ADFS 3 ARITY  0 0 0
RPB_Num 0: with 4 points

(or (not (adf0 ))(adf2 ))

ADF_Num 0: with 20 points
(splitA (retract (done ))(splitR (to_node (splitA (splitA 
(write_node (done ))(write_node (done )))(to_node (write_node (done )))))(write_node (retract (splitR 
(retract (done ))(done ))))))

ADF_Num 1: with 7 points
(write_node (splitA (retract (done ))(splitA (done )(done ))))

ADF_Num 2: with 4 points
(retract (splitR 
(done )(done )))


lang 57 G:8 BF:39.0000 H:461 psC:1460535468 wf:403.000 avf:166.367 varf:2071.0615 df:9.4706 Mon Apr  8 15:40:23 1996


Num RPBS 1 Num ADFS 3 ARITY  0 0 0
RPB_Num 0: with 3 points

(and (adf0 )(adf1 ))

ADF_Num 0: with 5 points
(splitA (write_node (done ))(write_node (done )))

ADF_Num 1: with 22 points
(splitA (to_node (done ))(to_node 
(splitA (splitR (retract (splitA (to_node (retract (done )))(done )))(to_node (splitR 
(retract (done ))(retract (done )))))(retract (write_node (to_node (done )))))))

ADF_Num 2: with 19 points
(splitA (write_node (to_node 
(splitR (splitR (splitA (done )(done ))(done ))(done ))))(to_node (write_node (retract 
(splitR (splitA (done )(done ))(write_node (done )))))))


lang 57 G:9 BF:39.0000 H:461 psC:1476019328 wf:408.000 avf:156.217 varf:2620.7598 df:10.1499 Mon Apr  8 15:44:44 1996
lang 57 G:10 BF:24.0000 H:476 psC:1461187420 wf:461.000 avf:146.772 varf:3638.0420 df:9.4448 Mon Apr  8 15:48:12 1996


Num RPBS 1 Num ADFS 3 ARITY  0 0 0
RPB_Num 0: with 3 points

(and (adf0 )(adf1 ))

ADF_Num 0: with 6 points
(splitA (write_node (done ))(write_node (retract (done ))))

ADF_Num 1: with 49 points
(splitA (to_node (done ))
(to_node (splitA (splitR (retract (splitA (to_node (done ))(to_node (splitA (splitR 
(splitR (retract (done ))(splitR (retract (splitR (done )(write_node (done ))))(to_node 
(done ))))(to_node (splitR (retract (done ))(retract (done )))))(to_node (splitA (retract 
(to_node (done )))(retract (splitA (done )(done )))))))))(to_node (splitR (retract (done ))
(retract (done )))))(retract (write_node (to_node (done )))))))

ADF_Num 2: with 3 points
(splitR (done )(done ))


A solution has been found
on gen 12, best_fitness 0.00000, hits 500


Num RPBS 1 Num ADFS 3 ARITY  0 0 0
RPB_Num 0: with 3 points

(and (adf0 )(adf1 ))

ADF_Num 0: with 5 points
(splitA (write_node (done ))(write_node (done )))

ADF_Num 1: with 21 points
(splitA (to_node (done ))(to_node 
(splitA (splitR (retract (splitA (to_node (done ))(done )))(to_node (splitR (retract 
(done ))(retract (done )))))(retract (write_node (to_node (done )))))))

ADF_Num 2: with 23 points
(splitA (write_node (to_node (splitR 
(splitR (splitA (done )(done ))(done ))(splitA (to_node (done ))(to_node (write_node 
(retract (splitR (splitA (done )(done ))(write_node (done ))))))))))(to_node (done )))


RSTAT SUCCESS: 13 130000 1234 lang/P000057.out