SemiBuchi/run_complement_pldi.sh at master · liyong31/SemiBuchi · GitHub

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
#!/bin/bash

# output columns
column="FILE,NONUSE, OP_STATES,OP_TRANS,OP_ALPHABET_SIZE";
column="$column,RESULT_STATES, RESULT_TRANS,ALGORITHM,RUNTIME(ms),STATUS";

time=305; # time bound

csvfile="results-complement.csv"
echo "$column" > $csvfile
for case in semis/*.ats
do
	# NCSB
	command="timeout $time java -jar target/SemiBuchi-0.0.1.jar -to 300 -complement easy.ba $case -set 3 >> $csvfile";
	echo $command
	eval $command
	# NCSB + Antichain
	command="timeout $time java -jar target/SemiBuchi-0.0.1.jar -to 300 -complement easye.ba $case -oe -set 3 >> $csvfile";
	echo $command
	eval $command
	# NCSB + LazyS
	command="timeout $time java -jar target/SemiBuchi-0.0.1.jar -to 300 -lazys -complement easy-opt.ba $case -set 3 >> $csvfile";
	echo $command
	eval $command
    # NCSB + LazyS + Antichain
	command="timeout $time java -jar target/SemiBuchi-0.0.1.jar -to 300 -lazys -complement easy-opte.ba $case -oe -set 3 >> $csvfile";
	echo $command
	eval $command
	# NCSB + LazyS + LazyB
	command="timeout $time java -jar target/SemiBuchi-0.0.1.jar -to 300 -lazys -lazyb -complement easy-opt1.ba $case -set 3 >> $csvfile";
	echo $command
	eval $command
	# NCSB + LazyS + LazyB + Antichain
	command="timeout $time java -jar target/SemiBuchi-0.0.1.jar -to 300 -lazys -lazyb -complement easy-opte1.ba $case -oe -set 3 >> $csvfile";
	echo $command
	eval $command
done