Name: |
moving_obstacle_32x32_11glitches.aag |
md5: |
1cd8d7c29917079cd5d74c0d0467ac63 |
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 627 29 31 1 567
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 1
62 2
64 4
66 6
68 8
70 10
72 12
74 14
76 16
78 18
80 20
82 22
84 24
86 26
88 28
90 30
92 32
94 34
96 36
98 38
100 40
102 42
104 44
106 46
108 48
110 50
112 52
114 54
116 56
118 58
120 1055
1254
122 48 46
124 25 23
126 124 27
128 126 29
130 128 31
132 35 33
134 132 37
136 134 39
138 136 41
140 138 130
142 4 3
144 142 6
146 144 8
148 146 10
150 148 140
152 14 13
154 152 16
156 154 18
158 156 20
160 158
... [truncated 7.1 kB]
roby@3
l20 prev_roby@4
l21 prev_glitches@0.0.11
l22 prev_glitches@1
l23 prev_glitches@2
l24 prev_glitches@3
l25 prev_movx@0.0.2
l26 prev_movx@1
l27 prev_movy@0.0.2
l28 prev_movy@1
l29 prev_obsmove
l30 AssumptionsAlreadyViolated
o0 err
c
moving_obstacle_32x32_11glitches
This file was written by ABC on Wed Mar 12 15:45:54 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 3.61223 [SYNTCOMP2014-RealSeq]
#.