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