CARP solver usability auto check

auto_check.sh

#!/bin/bash

echo 'Test script starting...'
python3 ./usability_test.py
echo 'Script done!'

cd ./carp_extract/

for sid in `ls`
do
	echo "----------Testing cases for $sid----------"
    
	for loop in 0 1 2 3 4
	do
		test_case="../benchmarks/new_gdb/new_gdb$[loop+1].dat"
		result_file="../results/usability/${sid}_case_$loop"
		echo "case "$loop
		if test -f "$result_file"
		then
			python3 ../check_solution.py $test_case $result_file
		else
			echo "No output file"
		fi
	done

	echo "----------Done $sid----------"
done