boolean_cell_cycle/00/boolean_cell_cycle-0-10-0-0-net.lp
boolean_cell_cycle/original/attractors.lp with obs_vlabel(p1,cycb,0).
