aag 342 17 19 1 306
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36 1
38 2
40 4
42 6
44 8
46 10
48 12
50 14
52 16
54 18
56 20
58 22
60 24
62 26
64 28
66 30
68 32
70 34
72 573
684
74 10 8
76 74 12
78 17 15
80 78 19
82 23 21
84 82 25
86 84 80
88 4 3
90 88 6
92 90 86
94 10 9
96 94 12
98 96 92
100 4 2
102 100 6
104 103 98
106 105 37
108 107 77
110 40 38
112 111 43
114 40 4
116 38 3
118 116 115
120 41 5
122 40 39
124 123 121
126 124 119
128 126 6
130 129 113
132 110 42
134 127 7
136 135 133
138 136 131
140 46 

... [truncated 3.4 kB]

v_obsy@2
l7 prev_robx@0.0.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_movx@0.0.2
l14 prev_movx@1
l15 prev_movy@0.0.2
l16 prev_movy@1
l17 prev_obsmove
l18 AssumptionsAlreadyViolated
o0 err
c
moving_obstacle_8x8_0glitches
This file was written by ABC on Wed Mar 12 15:45:50 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 7/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.076004 [SYNTCOMP2014-RealSeq]
#.