-
Notifications
You must be signed in to change notification settings - Fork 0
/
benchpress.sh
executable file
·47 lines (47 loc) · 5.14 KB
/
benchpress.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
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/VisitToSeqPatr.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/VisitToSeq.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/VisitToPatr.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/SequencedVisitToSeqPatrolling.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/SequencedVisitToPatrolling.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/PatrollingToOrderedVisit.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/relaystation/2_1_relaystation.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Scaling/scaling1.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Scaling/scaling2.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Scaling/scaling3.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Scaling/scaling4.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Scaling/scaling5.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Scaling/scaling6.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/ABP_Receiver/1Bit_to_2Bit_Receiver.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/ABP_Receiver/2Bit_to_3Bit_Receiver.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/ABP_Transmitter/ABP_1Bit_to_2BitTransmitter.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/ABP_Transmitter/ABP_2Bit_to_3BitTransmitter.bosy
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Bit_Stuffing/2_to_3.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Bit_Stuffing/3_to_4.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/TCP-HandShake/1_to_2_handshake.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/TCP-HandShake/2_to_3_handshake.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/arbiter/2_arbiter_full_to_3_arbiter_full.bosy
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/arbiter/2_arbiter_to_2_arbiter_full.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/arbiter/2_arbiter_to_4_arbiter.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/arbiter/3_arbiter_full_to_4_arbiter_full.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/arbiter/4_arbiter_to_5_arbiter.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/arbiter/4_arbiter_to_6_arbiter.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/arbiter/4_arbiter_to_8_arbiter.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/escalator/2_to_1.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/escalator/1_to_0.bosy
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Load_Balancer/load_balancer_2_to_3.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Load_Balancer/load_balancer_2_to_4.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Load_Balancer/load_balancer_4_to_6.bosy
#gtimeout 60m python3 livesynthesis.py -universalbenchmark -input Benchmarks/relaystation/2_to_1_relaystation.bosy &&
#gtimeout 60m python3 livesynthesis.py -universalbenchmark -input Benchmarks/relaystation/1_to_2_relaystation.bosy
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/arbiter/2_arbiter_prio_to_3_arbiter_prio.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/arbiter/2_arbiter_to_2_arbiter_prio.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/arbiter/2_arbiter_full_to_2_arbiter_prio.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/arbiter/2_arbiter_prio_to_2_arbiter_full.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/VisitToRequest.bosy &&
#gtimeout 20m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/SequencedVisitToRequest.bosy
#gtimeout 60m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/SequencedPatrollingToStrictPatrolling.bosy
#gtimeout 60m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/PatrollingToStrictPatrolling.bosy
#gtimeout 60m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/SequencedVisitRequest.bosy &&
#gtimeout 10m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/PatrollingToReactivity.bosy
#gtimeout 60m python3 livesynthesis.py -universalbenchmark -input Benchmarks/Robot/PatrollingToSeqPatrolling.bosy
cd .