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
#.