Name: |
moving_obstacle_64x64_27glitches.aag |
md5: |
b6604c2097ad9d02d52cddd37eb6b79c |
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 760 34 36 1 690
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 1
72 2
74 4
76 6
78 8
80 10
82 12
84 14
86 16
88 18
90 20
92 22
94 24
96 26
98 28
100 30
102 32
104 34
106 36
108 38
110 40
112 42
114 44
116 46
118 48
120 50
122 52
124 54
126 56
128 58
130 60
132 62
134 64
136 66
138 68
140 1277
1520
142 56 54
144 142 58
146 29 27
148 146 31
150 148 33
152 150 35
154 152 37
156 41 39
158 156 43
160 158 45
162 160 47
164 162 49
166 164 154
168 4 3
170 16
... [truncated 9.0 kB]
@5
l25 prev_glitches@0.0.27
l26 prev_glitches@1
l27 prev_glitches@2
l28 prev_glitches@3
l29 prev_glitches@4
l30 prev_movx@0.0.2
l31 prev_movx@1
l32 prev_movy@0.0.2
l33 prev_movy@1
l34 prev_obsmove
l35 AssumptionsAlreadyViolated
o0 err
c
moving_obstacle_64x64_27glitches
This file was written by ABC on Wed Mar 12 15:45:56 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 36.5463 [SYNTCOMP2014-RealSeq]
#.