-
Notifications
You must be signed in to change notification settings - Fork 0
/
run-test-default-indexing.sh
28 lines (26 loc) · 2.38 KB
/
run-test-default-indexing.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
#!/bin/bash
# heuristic-narrow
tmux new-session -d -s heuristic-arbitrary-half-default-indexing \
'~/Maude/maude ~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/arbitrary/onethirdrule-half.maude > \
~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/arbitrary/onethirdrule-half.out'
tmux new-session -d -s heuristic-arbitrary-one-default-indexing \
'~/Maude/maude ~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/arbitrary/onethirdrule-one.maude > \
~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/arbitrary/onethirdrule-one.out'
tmux new-session -d -s heuristic-arbitrary-nml-half-default-indexing \
'~/Maude/maude ~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/arbitrary/onethirdrule-nml-half.maude > \
~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/arbitrary/onethirdrule-nml-half.out'
tmux new-session -d -s heuristic-arbitrary-nml-one-default-indexing \
'~/Maude/maude ~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/arbitrary/onethirdrule-nml-one.maude > \
~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/arbitrary/onethirdrule-nml-one.out'
tmux new-session -d -s heuristic-three-objs-half-default-indexing \
'~/Maude/maude ~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/three-objs/onethirdrule-half.maude > \
~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/three-objs/onethirdrule-half.out'
tmux new-session -d -s heuristic-three-objs-one-default-indexing \
'~/Maude/maude ~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/three-objs/onethirdrule-one.maude > \
~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/three-objs/onethirdrule-one.out'
tmux new-session -d -s heuristic-three-objs-nml-half-default-indexing \
'~/Maude/maude ~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/three-objs/onethirdrule-nml-half.maude > \
~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/three-objs/onethirdrule-nml-half.out'
tmux new-session -d -s heuristic-three-objs-nml-one-default-indexing \
'~/Maude/maude ~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/three-objs/onethirdrule-nml-one.maude > \
~/heuristic-narrowing-search/test-default-indexing/heuristic-narrowing/three-objs/onethirdrule-nml-one.out'