Details of instance good_bakery.false.aag
| Name: |
good_bakery.false.aag |
| md5: |
d829bf2c10300cc0b7d5c444fcd85aff |
| 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 (87.3 kB)
aag 5821 8 191 1 5622
2
4
6
8
10
12
14
16
18 1
20 404
22 406
24 597
26 665
28 733
30 767
32 797
34 827
36 1177
38 1281
40 1385
42 1489
44 1593
46 1697
48 1797
50 1897
52 1997
54 2101
56 2205
58 2309
60 2381
62 2451
64 2521
66 2571
68 2645
70 2713
72 2781
74 2843
76 2903
78 2963
80 3025
82 3085
84 3145
86 3197
88 3247
90 3297
92 3387
94 3471
96 3553
98 3637
100 3723
102 3805
104 3889
106 3973
108 4057
110 1
112 4062
114 4064
116 4255
118 4323
120 4391
122 4425
124 4455
126 4485
128 4835
130 4939
132 5043
134
... [truncated 86.3 kB]
P2015-SyntSeq], 1/7 [SYNTCOMP2016-SyntSeq], 3/4 [SYNTCOMP2016-SyntPar], 4/11 [SYNTCOMP2016-RealSeq], 5/6 [SYNTCOMP2016-RealPar], 4/10 [SYNTCOMP2017-RealSeq], 5/6 [SYNTCOMP2017-RealPar], 2/6 [SYNTCOMP2017-SyntSeq], 3/4 [SYNTCOMP2017-SyntPar]
SOLVED_IN : 0.0 [2015-pre-classification], 25.6975 [SYNTCOMP2015-RealSeq], 57.4679 [SYNTCOMP2015-RealPar], 91.612 [SYNTCOMP2016-RealSeq], 58.5033 [SYNTCOMP2016-RealPar], 133.392 [SYNTCOMP2017-RealSeq], 59.2596 [SYNTCOMP2017-RealPar]
STATUS : unrealizable
REF_SIZE : 0
#.