| Name: |
demo-v7_5_REAL.aag |
| md5: |
3489904170a933d3b1412397391b3b64 |
| 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 640 4 98 1 538
2
4
6
8
10 0
12 1145
14 1149
16 1153
18 1157
20 1161
22 1169
24 0
26 813
28 817
30 821
32 825
34 829
36 837
38 0
40 1177
42 1183
44 1189
46 1195
48 1201
50 1213
52 0
54 839
56 841
58 843
60 845
62 847
64 851
66 0
68 1219
70 1225
72 1231
74 1237
76 1243
78 1255
80 959
82 965
84 971
86 977
88 983
90 989
92 995
94 0
96 1127
98 1129
100 1131
102 1133
104 1135
106 1139
108 0
110 1101
112 1105
114 1109
116 1113
118 1117
120 1125
122 0
124 1073
126 1077
128 1081
130 1085
132 1089
134 1097
136 0
... [truncated 7.3 kB]
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
l96 latch96
l97 latch97
o0 error
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 7/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.020001 [SYNTCOMP2014-RealSeq]
#.