#!/bin/bash
echo "Executing the two tank benchmark without user input:"
echo ""
./../../../spaceex_64bit/spaceex_cegar --config no_user/two_tank_example_no_user.cfg -m no_user/two_tank_example_no_user.xml
