#!/bin/bash
echo "Executing the two tank benchmark of the ISF 2016 paper:"
echo ""
	./../../../spaceex_64bit/bin/sspaceex_cegar_isf --config model_files/config.cfg -m model_files/abstraction.xml --dynamics model_files/condODEs.xml
