CEGAR
Faster refinement through fixed-size cube-datastructure
benchmark-script