-
Notifications
You must be signed in to change notification settings - Fork 1
/
write-SynSemDistances.sh
executable file
·72 lines (66 loc) · 8.35 KB
/
write-SynSemDistances.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
# echo "RANDOM...."
# ./compute-SynSemDistances.sh case-studies/arbiter/arbiter.tlsf results/result-random/arbiter/arbiter-random
# ./compute-SynSemDistances.sh case-studies/minepump/minepump.tlsf results/result-random/minepump/minepump-random
# ./compute-SynSemDistances.sh case-studies/RG1/RG1.tlsf results/result-random/RG1/RG1-random
# ./compute-SynSemDistances.sh case-studies/RG2/RG2.tlsf results/result-random/RG2/RG2-random
# ./compute-SynSemDistances.sh case-studies/lift/Lift.tlsf results/result-random/Lift/Lift-random
# ./compute-SynSemDistances.sh case-studies/HumanoidLTL_458/HumanoidLTL_458_Humanoid_fixed_unrealizable.tlsf results/result-random/HumanoidLTL_458/HumanoidLTL_458-random
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var1/GyroUnrealizable_Var1_710_GyroAspect_unrealizable.tlsf results/result-random/GyroUnrealizable_Var1/GyroUnrealizable_Var1-random
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var2/GyroUnrealizable_Var2_710_GyroAspect_unrealizable.tlsf results/result-random/GyroUnrealizable_Var2/GyroUnrealizable_Var2-random
# echo "RREAL...."
# ./compute-SynSemDistances.sh case-studies/arbiter/arbiter.tlsf results/sensitivityresult/arbiter/arbiter-RREAL
# ./compute-SynSemDistances.sh case-studies/minepump/minepump.tlsf results/sensitivityresult/minepump/minepump-RREAL
# ./compute-SynSemDistances.sh case-studies/RG1/RG1.tlsf results/sensitivityresult/RG1/RG1-RREAL
# ./compute-SynSemDistances.sh case-studies/RG2/RG2.tlsf results/sensitivityresult/RG2/RG2-RREAL
# ./compute-SynSemDistances.sh case-studies/lift/Lift.tlsf results/sensitivityresult/Lift/Lift-RREAL
# ./compute-SynSemDistances.sh case-studies/HumanoidLTL_458/HumanoidLTL_458_Humanoid_fixed_unrealizable.tlsf results/sensitivityresult/HumanoidLTL_458/HumanoidLTL_458-RREAL
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var1/GyroUnrealizable_Var1_710_GyroAspect_unrealizable.tlsf results/sensitivityresult/GyroUnrealizable_Var1/GyroUnrealizable_Var1-RREAL
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var2/GyroUnrealizable_Var2_710_GyroAspect_unrealizable.tlsf results/sensitivityresult/GyroUnrealizable_Var2/GyroUnrealizable_Var2-RREAL
# # echo "REAL...."
# ./compute-SynSemDistances.sh case-studies/arbiter/arbiter.tlsf results/sensitivityresult/arbiter/arbiter-REAL
# ./compute-SynSemDistances.sh case-studies/minepump/minepump.tlsf results/sensitivityresult/minepump/minepump-REAL
# ./compute-SynSemDistances.sh case-studies/RG1/RG1.tlsf results/sensitivityresult/RG1/RG1-REAL
# ./compute-SynSemDistances.sh case-studies/RG2/RG2.tlsf results/sensitivityresult/RG2/RG2-REAL
# ./compute-SynSemDistances.sh case-studies/lift/Lift.tlsf results/sensitivityresult/Lift/Lift-REAL
# ./compute-SynSemDistances.sh case-studies/HumanoidLTL_458/HumanoidLTL_458_Humanoid_fixed_unrealizable.tlsf results/sensitivityresult/HumanoidLTL_458/HumanoidLTL_458-REAL
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var1/GyroUnrealizable_Var1_710_GyroAspect_unrealizable.tlsf results/sensitivityresult/GyroUnrealizable_Var1/GyroUnrealizable_Var1-REAL
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var2/GyroUnrealizable_Var2_710_GyroAspect_unrealizable.tlsf results/sensitivityresult/GyroUnrealizable_Var2/GyroUnrealizable_Var2-REAL
# # echo "REALSEM...."
# ./compute-SynSemDistances.sh case-studies/arbiter/arbiter.tlsf results/sensitivityresult/arbiter/arbiter-REALSEM
# ./compute-SynSemDistances.sh case-studies/minepump/minepump.tlsf results/sensitivityresult/minepump/minepump-REALSEM
# ./compute-SynSemDistances.sh case-studies/RG1/RG1.tlsf results/sensitivityresult/RG1/RG1-REALSEM
# ./compute-SynSemDistances.sh case-studies/RG2/RG2.tlsf results/sensitivityresult/RG2/RG2-REALSEM
# ./compute-SynSemDistances.sh case-studies/lift/Lift.tlsf results/sensitivityresult/Lift/Lift-REALSEM
# ./compute-SynSemDistances.sh case-studies/HumanoidLTL_458/HumanoidLTL_458_Humanoid_fixed_unrealizable.tlsf results/sensitivityresult/HumanoidLTL_458/HumanoidLTL_458-REALSEM
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var1/GyroUnrealizable_Var1_710_GyroAspect_unrealizable.tlsf results/sensitivityresult/GyroUnrealizable_Var1/GyroUnrealizable_Var1-REALSEM
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var2/GyroUnrealizable_Var2_710_GyroAspect_unrealizable.tlsf results/sensitivityresult/GyroUnrealizable_Var2/GyroUnrealizable_Var2-REALSEM
# # echo "REALSYNs...."
# ./compute-SynSemDistances.sh case-studies/arbiter/arbiter.tlsf results/sensitivityresult/arbiter/arbiter-REALSYN
# ./compute-SynSemDistances.sh case-studies/minepump/minepump.tlsf results/sensitivityresult/minepump/minepump-REALSYN
# ./compute-SynSemDistances.sh case-studies/RG1/RG1.tlsf results/sensitivityresult/RG1/RG1-REALSYN
# ./compute-SynSemDistances.sh case-studies/RG2/RG2.tlsf results/sensitivityresult/RG2/RG2-REALSYN
# ./compute-SynSemDistances.sh case-studies/lift/Lift.tlsf results/sensitivityresult/Lift/Lift-REALSYN
# ./compute-SynSemDistances.sh case-studies/HumanoidLTL_458/HumanoidLTL_458_Humanoid_fixed_unrealizable.tlsf results/sensitivityresult/HumanoidLTL_458/HumanoidLTL_458-REALSYN
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var1/GyroUnrealizable_Var1_710_GyroAspect_unrealizable.tlsf results/sensitivityresult/GyroUnrealizable_Var1/GyroUnrealizable_Var1-REALSYN
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var2/GyroUnrealizable_Var2_710_GyroAspect_unrealizable.tlsf results/sensitivityresult/GyroUnrealizable_Var2/GyroUnrealizable_Var2-REALSYN
# echo "result-70-10-20...."
# ./compute-SynSemDistances.sh case-studies/arbiter/arbiter.tlsf results/result-70-10-20/arbiter/arbiter-genuine
# ./compute-SynSemDistances.sh case-studies/minepump/minepump.tlsf results/result-70-10-20/minepump/minepump-genuine
# ./compute-SynSemDistances.sh case-studies/RG1/RG1.tlsf results/result-70-10-20/RG1/RG1-genuine
# ./compute-SynSemDistances.sh case-studies/RG2/RG2.tlsf results/result-70-10-20/RG2/RG2-genuine
# ./compute-SynSemDistances.sh case-studies/lift/Lift.tlsf results/result-70-10-20/Lift/Lift-genuine
# ./compute-SynSemDistances.sh case-studies/HumanoidLTL_458/HumanoidLTL_458_Humanoid_fixed_unrealizable.tlsf results/result-70-10-20/HumanoidLTL_458/HumanoidLTL_458-genuine
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var1/GyroUnrealizable_Var1_710_GyroAspect_unrealizable.tlsf results/result-70-10-20/GyroUnrealizable_Var1/GyroUnrealizable_Var1-genuine
# ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var2/GyroUnrealizable_Var2_710_GyroAspect_unrealizable.tlsf results/result-70-10-20/GyroUnrealizable_Var2/GyroUnrealizable_Var2-genuine
declare -a CONFIGS=("50-25-25" "50-15-35" "50-20-30" "60-20-20" "60-15-25" "70-15-15" "70-10-20" "70-20-10" "80-10-10" "80-07-13" "90-05-05")
for CONFIG in ${CONFIGS[@]}; do
echo "$CONFIG...."
sbatch --job-name=$CONFIG-arbiter --output=statistics/$CONFIG-arbiter.out ./compute-SynSemDistances.sh case-studies/arbiter/arbiter.tlsf result-$CONFIG/arbiter/arbiter-genuine
sbatch --job-name=$CONFIG-minepump --output=statistics/$CONFIG-minepump.out ./compute-SynSemDistances.sh case-studies/minepump/minepump.tlsf result-$CONFIG/minepump/minepump-genuine
sbatch --job-name=$CONFIG-RG1 --output=statistics/$CONFIG-RG1.out ./compute-SynSemDistances.sh case-studies/RG1/RG1.tlsf result-$CONFIG/RG1/RG1-genuine
sbatch --job-name=$CONFIG-RG2 --output=statistics/$CONFIG-RG2.out ./compute-SynSemDistances.sh case-studies/RG2/RG2.tlsf result-$CONFIG/RG2/RG2-genuine
sbatch --job-name=$CONFIG-Lift --output=statistics/$CONFIG-Lift.out ./compute-SynSemDistances.sh case-studies/lift/Lift.tlsf result-$CONFIG/Lift/Lift-genuine
sbatch --job-name=$CONFIG-HumanoidLTL_458 --output=statistics/$CONFIG-HumanoidLTL_458.out ./compute-SynSemDistances.sh case-studies/HumanoidLTL_458/HumanoidLTL_458_Humanoid_fixed_unrealizable.tlsf result-$CONFIG/HumanoidLTL_458/HumanoidLTL_458-genuine
sbatch --job-name=$CONFIG-GyroUnrealizable_Var1 --output=statistics/$CONFIG-GyroUnrealizable_Var1.out ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var1/GyroUnrealizable_Var1_710_GyroAspect_unrealizable.tlsf result-$CONFIG/GyroUnrealizable_Var1/GyroUnrealizable_Var1-genuine
sbatch --job-name=$CONFIG-GyroUnrealizable_Var2 --output=statistics/$CONFIG-GyroUnrealizable_Var2.out ./compute-SynSemDistances.sh case-studies/GyroUnrealizable_Var2/GyroUnrealizable_Var2_710_GyroAspect_unrealizable.tlsf result-$CONFIG/GyroUnrealizable_Var2/GyroUnrealizable_Var2-genuine
done