boolean_cell_cycle/00/boolean_cell_cycle-10-10-5-5-net.lp
boolean_cell_cycle/observations/async/a_o1_t5.lp
boolean_cell_cycle/observations/ssync/s_o1_t3.lp

