aclasp uses a slightly modified restart policy based upon the average decision level on which conflicts occurred in the last restart interval.

Download