#!/bin/bash
echo "Executing the two tank benchmark with chaotic user input:"
echo ""
./../../../spaceex_64bit/spaceex_cegar --config chaotic_user/two_tank_example_chaotic_user.cfg -m chaotic_user/two_tank_example_chaotic_user.xml
