  We recently proposed Acceleration Driven Clause Learning (ADCL), a novel
calculus to analyze satisfiability of Constrained Horn Clauses (CHCs). Here, we
adapt ADCL to disprove termination of transition systems, and we evaluate its
implementation in our tool LoAT against the state of the art.
