-
Notifications
You must be signed in to change notification settings - Fork 5
/
run_exp_all.sh
executable file
·79 lines (63 loc) · 1.83 KB
/
run_exp_all.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
#!/bin/bash
# Terminal colors
BLUE='\033[1;34m'
PURPLE='\033[1;35m'
RED='\033[1;31m'
GREEN='\033[1;32m'
NC='\033[0m'
EXP_PATH="./benchmarks"
FILE_COUNTER=0
./gradlew build --rerun-tasks --no-build-cache --quiet
unzip -qo ./app/build/distributions/app.zip -d ./app/build/distributions/
# Run paper experiments
echo "Running paper experiments..."
echo "Running experiments from ESOP2024..."
FILES="$EXP_PATH/esop2024/*"
for f in $FILES
do
printf "${PURPLE}Experiment number $((FILE_COUNTER + 1))...${NC}\n"
printf "${BLUE}Invoking cora on file $f ${NC}\n"
./app/build/distributions/app/bin/app "$f"
printf "${GREEN}Done.${NC}\n\n"
FILE_COUNTER=$((FILE_COUNTER+1))
done
rm -rf result
rm -rf problem.smt2
# Run extra experiments
echo "Running experiments from IJCAR2024..."
FILES="$EXP_PATH/ijcar2024/*"
for f in $FILES
do
printf "${PURPLE}Experiment number $FILE_COUNTER...${NC}\n"
printf "${BLUE}Invoking cora on file $f ${NC}\n"
./app/build/distributions/app/bin/app "$f"
printf "${GREEN}Done.${NC}\n\n"
FILE_COUNTER=$((FILE_COUNTER+1))
done
rm -rf result
rm -rf problem.smt2
echo "Running experiments from TPDB_ITRS..."
FILES="$EXP_PATH/tpdb_itrs/*"
for f in $FILES
do
printf "${PURPLE}Experiment number $FILE_COUNTER...${NC}\n"
printf "${BLUE}Invoking cora on file $f ${NC}\n"
./app/build/distributions/app/bin/app "$f"
printf "${GREEN}Done.${NC}\n\n"
FILE_COUNTER=$((FILE_COUNTER+1))
done
rm -rf result
rm -rf problem.smt2
echo "Running extra experiments..."
FILES="$EXP_PATH/extra/*"
for f in $FILES
do
printf "${PURPLE}Experiment number $FILE_COUNTER...${NC}\n"
printf "${BLUE}Invoking cora on file $f ${NC}\n"
./app/build/distributions/app/bin/app "$f"
printf "${GREEN}Done.${NC}\n\n"
FILE_COUNTER=$((FILE_COUNTER+1))
done
rm -rf result
rm -rf problem.smt2
rm -rf ./app/build