boolean_cell_cycle/00/boolean_cell_cycle-0-0-0-10-net.lp
boolean_cell_cycle/observations/async/a_o1_t5.lp
