Name: |
moving_obstacle_16x16_4glitches.aag |
md5: |
7618d2621ba769184ceafcf2df283201 |
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 495 24 26 1 445
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 1
52 2
54 4
56 6
58 8
60 10
62 12
64 14
66 16
68 18
70 20
72 22
74 24
76 26
78 28
80 30
82 32
84 34
86 36
88 38
90 40
92 42
94 44
96 46
98 48
100 835
990
102 37 35
104 103 38
106 21 19
108 106 23
110 108 25
112 29 27
114 112 31
116 114 33
118 116 110
120 4 3
122 120 6
124 122 8
126 124 118
128 12 11
130 128 14
132 130 16
134 132 126
136 102 39
138 136 134
140 4 2
142 140 6
144 142 8
146 145 138
148 12 10
150 148 14
15
... [truncated 5.2 kB]
ev_roby@1
l15 prev_roby@2
l16 prev_roby@3
l17 prev_glitches@0.0.4
l18 prev_glitches@1
l19 prev_glitches@2
l20 prev_movx@0.0.2
l21 prev_movx@1
l22 prev_movy@0.0.2
l23 prev_movy@1
l24 prev_obsmove
l25 AssumptionsAlreadyViolated
o0 err
c
moving_obstacle_16x16_4glitches
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 : unrealizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.788049 [SYNTCOMP2014-RealSeq]
#.