tl7.run

遗传规划工具

Starting run lang 00081 at time Mon Apr  8 17:51:06 1996

Seed = 12235860  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 81 G:0 BF:129.0000 H:371 psC:1629880000 wf:371.000 avf:249.910 varf:295.7747 df:0.0000 Mon Apr  8 17:57:34 1996


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

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

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

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

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


lang 81 G:1 BF:129.0000 H:371 psC:1465099132 wf:367.000 avf:239.098 varf:433.1610 df:10.8118 Mon Apr  8 18:04:30 1996
lang 81 G:2 BF:129.0000 H:371 psC:1462328336 wf:354.000 avf:227.235 varf:599.0630 df:11.8632 Mon Apr  8 18:11:11 1996
lang 81 G:3 BF:106.0000 H:394 psC:1463306264 wf:363.000 avf:217.832 varf:824.4670 df:9.4028 Mon Apr  8 18:18:24 1996


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

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

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

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

ADF_Num 2: with 6 points
(splitA 
(write_node (done ))(splitA (done )(done )))


lang 81 G:4 BF:106.0000 H:394 psC:1467380964 wf:388.000 avf:207.939 varf:1148.3168 df:9.8937 Mon Apr  8 18:26:13 1996
lang 81 G:5 BF:81.0000 H:419 psC:1468521880 wf:379.000 avf:196.484 varf:1493.4813 df:11.4544 Mon Apr  8 18:33:52 1996


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

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

ADF_Num 0: with 4 points

(retract (write_node (to_node (done ))))

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

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


lang 81 G:6 BF:81.0000 H:419 psC:1457927660 wf:382.000 avf:184.893 varf:2037.5116 df:11.5918 Mon Apr  8 18:40:32 1996
lang 81 G:7 BF:76.0000 H:424 psC:1465099132 wf:389.000 avf:176.750 varf:2808.6497 df:8.1421 Mon Apr  8 18:47:28 1996


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

(adf0 )

ADF_Num 0: with 40 points

(write_node (retract (splitA (write_node (retract (done )))(splitR (write_node (splitA (retract 
(done ))(splitA (splitR (retract (retract (write_node (write_node (done )))))(splitR (splitA 
(splitR (done )(done ))(splitR (done )(done )))(to_node (splitA (done )(done )))))
(to_node (retract (write_node (retract (done ))))))))(retract (retract (splitA (done )(done ))))))))

ADF_Num 1: with 5 points
(retract 
(splitA (retract (done ))(done )))

ADF_Num 2: with 6 points
(retract (to_node (splitA (retract (done ))(done ))))


lang 81 G:8 BF:52.0000 H:448 psC:1465262120 wf:392.000 avf:167.203 varf:3101.5591 df:9.5475 Mon Apr  8 18:54:17 1996


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

(adf0 )

ADF_Num 0: with 39 points

(write_node (retract (splitA (write_node (retract (done )))(splitR (write_node (splitA (retract 
(done ))(splitA (splitR (retract (retract (write_node (write_node (done )))))(splitR (splitA 
(splitR (done )(done ))(splitR (done )(done )))(write_node (to_node (done )))))(to_node 
(retract (write_node (retract (done ))))))))(retract (retract (splitA (done )(done ))))))))

ADF_Num 1: with 1 points
(done )

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


lang 81 G:9 BF:20.0000 H:480 psC:1473574508 wf:416.000 avf:160.686 varf:3343.1125 df:6.5173 Mon Apr  8 19:00:57 1996


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

(adf0 )

ADF_Num 0: with 33 points

(write_node (retract (splitA (write_node (retract (done )))(splitR (write_node (splitA (retract 
(done ))(splitA (splitR (retract (retract (write_node (write_node (done )))))(to_node (retract 
(retract (to_node (done ))))))(to_node (retract (write_node (retract (done ))))))))(retract (retract 
(splitA (done )(done ))))))))

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

ADF_Num 2: with 6 points
(retract (to_node (splitA (retract (done ))(done ))))


lang 81 G:10 BF:20.0000 H:480 psC:1463958216 wf:424.000 avf:154.368 varf:4177.1704 df:6.3179 Mon Apr  8 19:08:08 1996
lang 81 G:11 BF:20.0000 H:480 psC:1468358892 wf:448.000 avf:145.258 varf:4786.2993 df:9.1096 Mon Apr  8 19:15:19 1996
lang 81 G:12 BF:9.0000 H:491 psC:1474878412 wf:456.000 avf:124.346 varf:4393.1362 df:20.9121 Mon Apr  8 19:22:45 1996


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

(adf0 )

ADF_Num 0: with 32 points

(write_node (retract (splitA (write_node (retract (done )))(splitR (write_node (splitA (retract 
(done ))(splitA (splitR (retract (retract (write_node (write_node (done )))))(write_node (retract 
(write_node (write_node (done ))))))(to_node (retract (done ))))))(retract (retract (splitA (done )
(retract (done )))))))))

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

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


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


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

(not (adf1 ))

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

ADF_Num 1: with 27 points

(splitR (retract (write_node (done )))(splitR (splitR (retract (write_node (done )))(splitR 
(splitA (write_node (retract (done )))(splitA (retract (done ))(retract (done ))))(write_node 
(to_node (retract (done ))))))(write_node (to_node (retract (done ))))))

ADF_Num 2: with 8 points
(splitA (splitA (retract (done ))
(to_node (done )))(retract (done )))


RSTAT SUCCESS: 15 150000 1234 lang/P000081.out