Name: |
moving_obstacle_96x96_44glitches.aag |
md5: |
a1bcfa7c229689fbaaae72a121eeae81 |
FractionOfBinaryClauses |
None |
FractionOfNegativeLiteralsPerClauseEntropy |
None |
FractionOfNegativeLiteralsPerClauseMax |
None |
FractionOfNegativeLiteralsPerClauseMean |
None |
FractionOfNegativeLiteralsPerClauseMin |
None |
FractionOfNegativeLiteralsPerClauseVariationCoefficient |
None |
FractionOfNegativeVariablesEntropy |
None |
FractionOfNegativeVariablesMax |
None |
FractionOfNegativeVariablesMean |
None |
FractionOfNegativeVariablesMin |
None |
FractionOfNegativeVariablesVariationCoefficient |
None |
FractionOfPositiveLiteralsPerClauseEntropy |
None |
FractionOfPositiveLiteralsPerClauseMax |
None |
FractionOfPositiveLiteralsPerClauseMean |
None |
FractionOfPositiveLiteralsPerClauseMin |
None |
FractionOfPositiveLiteralsPerClauseVariationCoefficient |
None |
FractionOfPositiveVariablesEntropy |
None |
FractionOfPositiveVariablesMax |
None |
FractionOfPositiveVariablesMean |
None |
FractionOfPositiveVariablesMin |
None |
FractionOfPositiveVariablesVariationCoefficient |
None |
FractionOfTernaryClauses |
None |
FractionOfUnaryClauses |
None |
ClausesToVariablesRatio |
None |
ClausesToVariablesRatioCubic |
None |
ClausesToVariablesRatioQuadratic |
None |
LinearizedClausesToVariablesRatio |
None |
LinearizedClausesToVariablesRatioQuadratic |
None |
LinearizedClaustesToVariablesRatioCubic |
None |
NumberOfClauses |
None |
NumberOfVariables |
None |
VariablesToClausesRatio |
None |
VariablesToClausesRatioCubic |
None |
VariablesToClausesRatioQuadratic |
None |
ClauseNodeDegreesEntropy |
None |
ClauseNodeDegreesMax |
None |
ClauseNodeDegreesMean |
None |
ClauseNodeDegreesMin |
None |
ClauseNodeDegreesVariationCoefficient |
None |
VariableNodeDegreesEntropy |
None |
VariableNodeDegreesMax |
None |
VariableNodeDegreesMean |
None |
VariableNodeDegreesMin |
None |
VariableNodeDegreesVariationCoefficient |
None |
DegreeEntropy |
None |
DegreeMax |
None |
DegreeMean |
None |
DegreeMin |
None |
DegreeVariationCoefficient |
None |
aag 910 39 41 1 830
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44
46
48
50
52
54
56
58
60
62
64
66
68
70
72
74
76
78
80 1
82 2
84 4
86 6
88 8
90 10
92 12
94 14
96 16
98 18
100 20
102 22
104 24
106 26
108 28
110 30
112 32
114 34
116 36
118 38
120 40
122 42
124 44
126 46
128 48
130 50
132 52
134 54
136 56
138 58
140 60
142 62
144 64
146 66
148 68
150 70
152 72
154 74
156 76
158 78
160 1533
1820
162 61 59
164 163 62
166 164 64
168 167 67
170 169 68
172 33 31
174 172 35
176 174 37
178 176 39
180
... [truncated 11.2 kB]
.0.44
l30 prev_glitches@1
l31 prev_glitches@2
l32 prev_glitches@3
l33 prev_glitches@4
l34 prev_glitches@5
l35 prev_movx@0.0.2
l36 prev_movx@1
l37 prev_movy@0.0.2
l38 prev_movy@1
l39 prev_obsmove
l40 AssumptionsAlreadyViolated
o0 err
c
moving_obstacle_96x96_44glitches
This file was written by ABC on Wed Mar 12 15:45:59 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : unrealizable
SOLVED_BY : 3/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 531.521 [SYNTCOMP2014-RealSeq]
#.