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