-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathbench.sh
executable file
·61 lines (48 loc) · 2.48 KB
/
bench.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
#!/bin/bash
# input streams generated using:
# scripts/all_gen_bench.sh
# ============================================================================
./star.sh b
echo ""
echo "STAR - Semantic Time-Aware Reasoner powered by LASER++ "
echo ""
# ============================================================================
echo "============= 1. LARS - formulas ============="
./star.sh r O extra/atom.star ../data/stream_1k_1k_1_2.txt
./star.sh r O extra/box_w32.star ../data/stream_1k_1k_1_2.txt
./star.sh r O extra/diamond_w32.star ../data/stream_1k_1k_1_2.txt
./star.sh r O extra/conjunction.star ../data/stream_1k_1k_2_2.txt
echo "============= 2. LARS - Math ============="
./star.sh r O extra/condition.star ../data/stream_100_100_1_2.txt
#echo "============= 3. LARS - Laser++ Window Size ============="
#./star.sh r O extra/problem_w08.star ../data/stream_1k_1k_2_2.txt
#./star.sh r O extra/problem_w16.star ../data/stream_1k_1k_2_2.txt
#./star.sh r O extra/problem_w32.star ../data/stream_1k_1k_2_2.txt
#./star.sh r O extra/problem_w64.star ../data/stream_1k_1k_2_2.txt
#echo "============= 4. LARS - Flow Rate ============="
#./star.sh r O extra/problem_w32.star ../data/stream_10_100_2_2.txt
#./star.sh r O extra/problem_w32.star ../data/stream_10_1k_2_2.txt
#./star.sh r O extra/problem_w32.star ../data/stream_10_10k_2_2.txt
#./star.sh r O extra/problem_w32.star ../data/stream_10_100k_2_2.txt
# ============================================================================
echo "============= XX. Types of programs ============="
./star.sh r O extra/problem_w64.star ../data/stream_1k_1k_2_2.txt
./star.sh r O extra/traffic_w64.star ../data/stream_1k_1k_2_2.txt
./star.sh r O extra/snow_w64.star ../data/stream_1k_1k_2_2.txt
#./star.sh r O extra/problem_w64.star ../data/stream_100_1k_2_2.txt
#./star.sh r O extra/traffic_w64.star ../data/stream_100_1k_2_2.txt
#./star.sh r O extra/snow_w64.star ../data/stream_100_1k_2_2.txt
#./star.sh r O extra/diamond_w64.star ../data/stream_100_1k_2_2.txt
# XX. Misc
#./star.sh r O extra/algebra.star ../data/stream_1k_1k_1_2.txt
# Correctness check
#./star.sh r O extra/algebra.star ../data/stream_3_6_1_2.txt out.txt
#cat out.txt
#./star.sh r O extra/condition.star ../data/stream_3_6_1_2.txt out.txt
#cat out.txt
#./star.sh r O extra/problem_w64.star ../data/stream_3_6_2_2.txt out.txt
#cat out.txt
#./star.sh r O extra/snow_w64.star ../data/stream_3_6_2_2.txt out.txt
#cat out.txt
#./star.sh r O extra/traffic_w64.star ../data/stream_3_6_2_2.txt out.txt
#cat out.txt