www.pudn.com > dgpc.rar > foo

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

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

ADF_Num 0: with 35 points

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

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

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


RSTAT SUCCESS: 37 370000 1234 lang-4s/P000090.out