del *.exe
scd test case generator done
switch ctr run shell script for no theta-opt