Name: |
demo-v20_2_REAL.aag |
md5: |
7ff0d2971dda53b83a9d68c0356cacab |
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 1106 5 96 1 1005
2
4
6
8
10
12 0
14 1745
16 1749
18 1757
20 0
22 1201
24 1205
26 1213
28 0
30 2133
32 2139
34 2151
36 0
38 1867
40 1873
42 1885
44 0
46 1969
48 1973
50 1981
52 1109
54 1113
56 1117
58 1121
60 0
62 1383
64 1389
66 1401
68 0
70 1649
72 1653
74 1661
76 1891
78 1897
80 1903
82 1909
84 1843
86 1849
88 1855
90 1861
92 1571
94 1577
96 1583
98 1589
100 2115
102 2119
104 2123
106 2127
108 2097
110 2101
112 2105
114 2109
116 1665
118 1669
120 1673
122 1677
124 0
126 2155
128 2159
130 2167
132 0
13
... [truncated 13.7 kB]
l64 latch64
l65 latch65
l66 latch66
l67 latch67
l68 latch68
l69 latch69
l70 latch70
l71 latch71
l72 latch72
l73 latch73
l74 latch74
l75 latch75
l76 latch76
l77 latch77
l78 latch78
l79 latch79
l80 latch80
l81 latch81
l82 latch82
l83 latch83
l84 latch84
l85 latch85
l86 latch86
l87 latch87
l88 latch88
l89 latch89
l90 latch90
l91 latch91
l92 latch92
l93 latch93
l94 latch94
l95 latch95
o0 error
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 7/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.088005 [SYNTCOMP2014-RealSeq]
#.