Name: |
moving_obstacle_16x16_3glitches.aag |
md5: |
ed47a5d457db3a5244b07695acb6e863 |
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 476 23 25 1 428
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44
46
48 1
50 2
52 4
54 6
56 8
58 10
60 12
62 14
64 16
66 18
68 20
70 22
72 24
74 26
76 28
78 30
80 32
82 34
84 36
86 38
88 40
90 42
92 44
94 46
96 797
952
98 12 10
100 98 14
102 100 16
104 21 19
106 104 23
108 106 25
110 29 27
112 110 31
114 112 33
116 114 108
118 4 3
120 118 6
122 120 8
124 122 116
126 12 11
128 126 14
130 128 16
132 130 124
134 37 35
136 134 132
138 4 2
140 138 6
142 140 8
144 143 136
146 145 49
148 147 103
15
... [truncated 5.0 kB]
rev_roby@0.0.15
l14 prev_roby@1
l15 prev_roby@2
l16 prev_roby@3
l17 prev_glitches@0.0.3
l18 prev_glitches@1
l19 prev_movx@0.0.2
l20 prev_movx@1
l21 prev_movy@0.0.2
l22 prev_movy@1
l23 prev_obsmove
l24 AssumptionsAlreadyViolated
o0 err
c
moving_obstacle_16x16_3glitches
This file was written by ABC on Wed Mar 12 15:45:51 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.316019 [SYNTCOMP2014-RealSeq]
#.