[1] "Computation_time_exceeded_sp_228_2015 : 600 minutes"