Results for SPACER

down-counter-encoding with Proof-Based Abstraction and without CounterExample Guided AbstractionRefinement