Details of instance gb_s2_r2_comp4_REAL.aag
Name: |
gb_s2_r2_comp4_REAL.aag |
md5: |
892210e9770284400fba2be4b9a15a6b |
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 (80.7 kB)
aag 5255 8 708 1 4539
2
4
6
8
10
12
14
16
18 2569
20 2573
22 2577
24 2581
26 2585
28 2589
30 1991
32 1993
34 1995
36 1997
38 1999
40 2001
42 0
44 2459
46 2463
48 2467
50 2471
52 2479
54 0
56 2149
58 2153
60 2157
62 2161
64 2197
66 2149
68 2153
70 2157
72 2161
74 2165
76 2169
78 0
80 1855
82 1859
84 1863
86 1867
88 1875
90 1660
92 0
94 0
96 0
98 0
100 0
102 0
104 1991
106 1993
108 1995
110 1997
112 2005
114 0
116 1991
118 1993
120 1995
122 1997
124 2005
126 2077
128 2081
130 2085
132 2089
134 2093
136 2097
1
... [truncated 79.7 kB]
l707 latch707
o0 error
c
#!SYNTCOMP
SOLVED_BY : 0/3 [2015-pre-classification], 0/4 [SYNTCOMP2015-SyntSeq], 0/3 [SYNTCOMP2015-SyntPar], 1/7 [SYNTCOMP2015-RealSeq], 2/4 [SYNTCOMP2015-RealPar], 2/7 [SYNTCOMP2016-SyntSeq], 2/4 [SYNTCOMP2016-SyntPar], 1/11 [SYNTCOMP2016-RealSeq], 2/6 [SYNTCOMP2016-RealPar]
SOLVED_IN : 0.0 [2015-pre-classification], 372.953 [SYNTCOMP2015-RealSeq], 288.598 [SYNTCOMP2015-RealPar], 326.752 [SYNTCOMP2016-RealSeq], 261.764 [SYNTCOMP2016-RealPar]
REF_SIZE : 4648
STATUS : realizable
#.