Experimental data from the ICAPS 2020 paper "Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement" - Seipp, Jendrik (2020)