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-c.ilp --stats" # benchme-MPP-3-ilp-D-c-ilp
# SCALL="clingo action-MPP-3.ilp goal-D-b.ilp --stats" # benchme-MPP-3-ilp-D-b-ilp
# SCALL="clingo action-MPP-3.ilp goal-D-a.ilp --stats" # benchme-MPP-3-ilp-D-a-ilp
SCALL="clingcon action-MPP-3.ilp goal-D-a.iclp --stats" # benchme-MPP-3-ilp-D-a-iclp
#
# SCALL="clingcon action-MPP-3.iclp goal-D-c.iclp --stats" # benchme-MPP-3-iclp-D-c-iclp
# SCALL="clingcon action-MPP-3.iclp goal-D-b.iclp --stats" # benchme-MPP-3-iclp-D-b-iclp
# SCALL="clingcon action-MPP-3.iclp goal-D-a.iblp --stats" # benchme-MPP-3-iclp-D-a-iblp
# SCALL="clingcon action-MPP-3.iclp goal-D-a.iClp --stats" # benchme-MPP-3-iclp-D-a-iClp
#
# SCALL="clingcon action-MPP-3.ilp goal-D-b.ilp strategy-MPP-3.ilp --stats" # benchme-MPP-3-ilp-D-b-ilp-strategy
LOG="BENCH"
for f in $DIR/*.lp
do
CALL="$SCALL $f"
echo $CALL
# echo $CALL >>$LOG.out 2>>$Log.err
$CALL
done