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