boolean_cell_cycle/00/boolean_cell_cycle-25-5-0-0-net.lp
boolean_cell_cycle/observations/ssync/s_o3_t3.lp
