[1] "Computation_time_exceeded_sp_270_2011 : 480 minutes"