#!/bin/bash
echo "Executing the two tank benchmark with a single pump and chaotic user input:"
echo ""
./../../../spaceex_64bit/spaceex_cegar --config chaotic_user/two_tank_example_single_pump.cfg -m chaotic_user/two_tank_example_single_pump_chaotic_user.xml --verbosity "m"
