aag 349 18 20 1 311
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38 1
40 2
42 4
44 6
46 8
48 10
50 12
52 14
54 16
56 18
58 20
60 22
62 24
64 26
66 28
68 30
70 32
72 34
74 36
76 587
698
78 10 8
80 78 12
82 17 15
84 82 19
86 23 21
88 86 25
90 88 84
92 4 3
94 92 6
96 94 90
98 10 9
100 98 12
102 100 96
104 102 27
106 4 2
108 106 6
110 109 104
112 111 39
114 113 81
116 42 40
118 117 45
120 42 4
122 40 3
124 122 121
126 43 5
128 42 41
130 129 127
132 130 125
134 132 6
136 135 119
138 116 44
140 133 7
142 141

... [truncated 3.5 kB]

7
l8 prev_robx@1
l9 prev_robx@2
l10 prev_roby@0.0.7
l11 prev_roby@1
l12 prev_roby@2
l13 prev_glitches@0.0.1
l14 prev_movx@0.0.2
l15 prev_movx@1
l16 prev_movy@0.0.2
l17 prev_movy@1
l18 prev_obsmove
l19 AssumptionsAlreadyViolated
o0 err
c
moving_obstacle_8x8_1glitches
This file was written by ABC on Wed Mar 12 15:45:51 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : unrealizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.092005 [SYNTCOMP2014-RealSeq]
#.