forked from potassco/asprilo-encodings
-
Notifications
You must be signed in to change notification settings - Fork 0
/
run
executable file
·28 lines (23 loc) · 1.3 KB
/
run
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
#!/bin/bash
CWD=$PWD
# DIR=/home/torsten/ASP/asprilo/instances/tiny_cases/4x4c/warehouse_x4_y4_n16_r3_s6_ps2_pr6_u12_o0_N50/merged
DIR=/home/torsten/ASP/asprilo/instances/standard_cases/4/warehouse_x10_y10_n100_r4_s12_ps3_pr3_u20_o0_N1/merged
# SCALL="clingo action-MPP-3.ilp goal-D-0.ilp --stats" # benchme-MPP-3-ilp-D-0-ilp
# SCALL="clingo action-MPP-3.ilp goal-D-r.ilp --stats" # benchme-MPP-3-ilp-D-r-ilp
# SCALL="clingo action-MPP-3.ilp goal-D-q.ilp --stats" # benchme-MPP-3-ilp-D-q-ilp
SCALL="clingcon action-MPP-3.ilp goal-D-q.iclp --stats" # benchme-MPP-3-ilp-D-q-iclp
#
# SCALL="clingcon action-MPP-3.iclp goal-D-0.iclp --stats" # benchme-MPP-3-iclp-D-0-iclp
# SCALL="clingcon action-MPP-3.iclp goal-D-r.iclp --stats" # benchme-MPP-3-iclp-D-r-iclp
# SCALL="clingcon action-MPP-3.iclp goal-D-q.iblp --stats" # benchme-MPP-3-iclp-D-q-iblp
# SCALL="clingcon action-MPP-3.iclp goal-D-q.iClp --stats" # benchme-MPP-3-iclp-D-q-iClp
#
# SCALL="clingcon action-MPP-3.ilp goal-D-r.ilp strategy-MPP-3.ilp --stats" # benchme-MPP-3-ilp-D-r-ilp-strategy
LOG="BENCH"
for f in $DIR/*.lp
do
CALL="$SCALL $f"
echo $CALL
# echo $CALL >>$LOG.out 2>>$Log.err
$CALL
done