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