Details of instance demo-v10_5_REAL.aag
Name: |
demo-v10_5_REAL.aag |
md5: |
7b3fa61af6abdd78ad7c242a12d18276 |
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 |
Download instance (10.6 kB)
aag 768 4 98 1 666
2
4
6
8
10 827
12 829
14 831
16 833
18 835
20 837
22 839
24 1053
26 1057
28 1061
30 1065
32 1069
34 1073
36 1077
38 743
40 745
42 747
44 749
46 751
48 753
50 755
52 1235
54 1239
56 1243
58 1247
60 1251
62 1255
64 1259
66 400
68 0
70 0
72 0
74 0
76 0
78 0
80 1207
82 1211
84 1215
86 1219
88 1223
90 1227
92 1231
94 0
96 983
98 987
100 991
102 995
104 999
106 1007
108 1009
110 1011
112 1013
114 1015
116 1017
118 1019
120 1021
122 1179
124 1183
126 1187
128 1191
130 1195
132 1199
134 1203
136
... [truncated 9.6 kB]
-RealPar], 7/7 [SYNTCOMP2016-SyntSeq], 4/4 [SYNTCOMP2016-SyntPar], 11/11 [SYNTCOMP2016-RealSeq], 6/6 [SYNTCOMP2016-RealPar], 10/10 [SYNTCOMP2017-RealSeq], 6/6 [SYNTCOMP2017-RealPar], 6/6 [SYNTCOMP2017-SyntSeq], 4/4 [SYNTCOMP2017-SyntPar]
SOLVED_IN : 0.052003 [SYNTCOMP2014-RealSeq], 0.004232 [SYNTCOMP2015-RealSeq], 0.019588 [SYNTCOMP2015-RealPar], 0.004 [SYNTCOMP2016-RealSeq], 0.015974 [SYNTCOMP2016-RealPar], 0.004 [SYNTCOMP2017-RealSeq], 0.015127 [SYNTCOMP2017-RealPar]
REF_SIZE : 668
STATUS : realizable
#.