-
Notifications
You must be signed in to change notification settings - Fork 2
/
test_ESolver
71 lines (70 loc) · 4.31 KB
/
test_ESolver
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
cd src/main/java
echo "building"
find -name "*.java" > sources.txt
javac -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" @sources.txt
echo "start to test"
echo "--------------------------------------------------"
echo "Test : max_ite(2,3) "
echo "Benchmark path benchmarks/sygus/max_2_3.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/sygus/max_2_3.sl
echo "--------------------------------------------------"
echo "Test : max_ite(2,15) "
echo "Benchmark path benchmarks/sygus/max_2_15.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/sygus/max_2_15.sl
echo "--------------------------------------------------"
echo "Test : parity_not "
echo "Benchmark path benchmarks/parity/parity_not.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/parity/parity_not.sl
echo "--------------------------------------------------"
echo "Test : hackers_5 "
echo "Benchmark path benchmarks/hackers/hd-05-d5-prog.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-05-d5-prog.sl
echo "--------------------------------------------------"
echo "Test : hackers_7 "
echo "Benchmark path benchmarks/hackers/hd-07-d5-prog.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-07-d5-prog.sl
echo "--------------------------------------------------"
echo "Test : hackers_17 "
echo "Benchmark path benchmarks/hackers/hd-17-d5-prog.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-17-d5-prog.sl
echo "--------------------------------------------------"
echo "Test : hackers_2_prob "
echo "Benchmark path benchmarks/hackers/hd-05-d5-prog-prob.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-05-d5-prog-prob.sl
echo "--------------------------------------------------"
echo "Test : hackers_5_prob "
echo "Benchmark path benchmarks/hackers/hd-05-d5-prog-prob.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-05-d5-prog-prob.sl
echo "--------------------------------------------------"
echo "Test : hackers_7_prob "
echo "Benchmark path benchmarks/hackers/hd-07-d5-prog-prob.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-07-d5-prog-prob.sl
echo "--------------------------------------------------"
echo "Test : hackers_17_prob "
echo "Benchmark path benchmarks/hackers/hd-17-d5-prog-prob.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-17-d5-prog-prob.sl
echo "--------------------------------------------------"
echo "Test : hackers_5_sorted "
echo "Benchmark path benchmarks/hackers/hd-05-d5-sort.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-05-d5-sort.sl
echo "--------------------------------------------------"
echo "Test : hackers_7_sorted "
echo "Benchmark path benchmarks/hackers/hd-07-d5-sort.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-07-d5-sort.sl
echo "--------------------------------------------------"
echo "Test : hackers_17_sorted "
echo "Benchmark path benchmarks/hackers/hd-17-d5--sort.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-17-d5-sort.sl
echo "--------------------------------------------------"
echo "Test : hackers_5_pareto "
echo "Benchmark path benchmarks/hackers/hd-05-d5-pareto.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-05-d5-pareto.sl
echo "--------------------------------------------------"
echo "Test : hackers_7_pareto "
echo "Benchmark path benchmarks/hackers/hd-07-d5-pareto.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver ../../../benchmarks/hackers/hd-07-d5-pareto.sl
echo "--------------------------------------------------"
echo "Test : hackers_17_pareto "
echo "Benchmark path benchmarks/hackers/hd-17-d5--pareto.sl"
java -classpath . -cp ".:parser/antlr-4.5.3-complete.jar" QSyGuS ESolver -t 250 ../../../benchmarks/hackers/hd-17-d5-pareto.sl
cd ../../..