-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdelays.lp
74 lines (74 loc) · 1.81 KB
/
delays.lp
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
+W71 +W68 +W52 +W47 >= 1
+W68 +W52 +W47 >= 1
+W71 +W68 +W52 +W48 >= 1
+W68 +W52 +W48 >= 1
+W71 +W68 +W52 +W49 >= 1
+W68 +W52 +W49 >= 1
+W71 +W68 +W53 +W42 >= 1
+W68 +W53 +W42 >= 1
+W71 +W68 +W54 +W44 >= 1
+W68 +W54 +W44 >= 1
+W71 +W68 +W54 +W45 >= 1
+W68 +W54 +W45 >= 1
+W71 +W68 +W55 +W50 >= 1
+W68 +W55 +W50 >= 1
+W71 +W68 +W55 +W51 >= 1
+W68 +W55 +W51 >= 1
+W71 +W70 +W65 +W63 >= 1
+W70 +W65 +W63 +W14 >= 1
+W71 +W70 +W65 +W63 >= 1
+W70 +W65 +W63 +W15 >= 1
+W71 +W70 +W65 +W64 >= 1
+W70 +W65 +W64 +W9 >= 1
+W71 +W70 +W65 +W64 >= 1
+W70 +W65 +W64 +W10 >= 1
+W71 +W70 +W66 +W60 >= 1
+W70 +W66 +W60 >= 1
+W71 +W70 +W66 +W61 >= 1
+W70 +W66 +W61 >= 1
+W71 +W70 +W66 +W62 >= 1
+W70 +W66 +W62 >= 1
+W71 +W70 +W67 +W58 >= 1
+W70 +W67 +W58 +W56 >= 1
+W71 +W70 +W67 +W58 >= 1
+W70 +W67 +W58 +W57 >= 1
+W71 +W70 +W67 +W59 >= 1
+W72 +W39 +W36 +W30 >= 1
+W39 +W36 +W30 +W28 >= 1
+W72 +W39 +W36 +W30 >= 1
+W39 +W36 +W30 +W29 >= 1
+W72 +W39 +W36 +W31 >= 1
+W39 +W36 +W31 +W25 >= 1
+W72 +W39 +W36 +W31 >= 1
+W39 +W36 +W31 +W26 >= 1
+W72 +W39 +W36 +W32 >= 1
+W39 +W36 +W32 +W22 >= 1
+W72 +W39 +W36 +W32 >= 1
+W39 +W36 +W32 +W23 >= 1
+W72 +W39 +W36 +W32 >= 1
+W39 +W36 +W32 +W24 >= 1
+W72 +W39 +W37 +W20 >= 1
+W39 +W37 +W20 +W9 >= 1
+W72 +W39 +W37 +W20 >= 1
+W39 +W37 +W20 +W10 >= 1
+W72 +W39 +W37 +W21 >= 1
+W39 +W37 +W21 +W19 >= 1
+W72 +W39 +W38 +W34 >= 1
+W39 +W38 +W34 +W33 >= 1
+W72 +W39 +W38 +W35 >= 1
+W72 +W40 +W16 +W11 >= 1
+W40 +W16 +W11 +W9 >= 1
+W72 +W40 +W16 +W11 >= 1
+W40 +W16 +W11 +W10 >= 1
+W72 +W40 +W16 +W12 >= 1
+W40 +W16 +W12 +W6 >= 1
+W72 +W40 +W16 +W12 >= 1
+W40 +W16 +W12 +W7 >= 1
+W72 +W40 +W16 +W13 >= 1
+W40 +W16 +W13 +W5 >= 1
+W72 +W40 +W17 +W2 >= 1
+W72 +W40 +W17 +W3 >= 1
+W72 +W40 +W17 +W4 >= 1
+W40 +W17 +W4 +W1 >= 1
+W72 +W40 +W18 +W14 >= 1
+W72 +W40 +W18 +W15 >= 1