Name: |
moving_obstacle_48x48_20glitches.aag |
md5: |
3851d00117c290c30b4b8c8ede4b5a9f |
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 777 34 36 1 707
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 1311
1554
142 53 51
144 143 54
146 145 57
148 147 58
150 29 27
152 150 31
154 152 33
156 154 35
158 156 37
160 41 39
162 160 43
164 162 45
166 164 47
168 166 49
170
... [truncated 9.3 kB]
l25 prev_glitches@0.0.20
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_48x48_20glitches
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 : unrealizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 36.8863 [SYNTCOMP2014-RealSeq]
#.