Details of instance interface-with-overflows-k16-liveness.aag
Name: |
interface-with-overflows-k16-liveness.aag |
md5: |
b83dae1f08a662629f1f05e9cbf4553b |
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 (27.6 kB)
aag 1969 7 52 1 1910
2
4
6
8
10
12
14
16 962
18 966
20 970
22 974
24 978
26 982
28 986
30 990
32 994
34 13
36 1018
38 1024
40 1030
42 1036
44 1042
46 1058
48 1066
50 1074
52 1082
54 1090
56 1096
58 1102
60 1108
62 1114
64 1120
66 1136
68 1190
70 1240
72 1314
74 1382
76 1399
78 2288
80 2674
82 2954
84 3172
86 3410
88 3634
90 3675
92 3698
94 3722
96 3739
98 3740
100 3799
102 3836
104 3841
106 3854
108 3860
110 3866
112 3872
114 3874
116 3883
118 3925
3939
120 34 33
122 120 31
124 122 28
126 124 27
128 126 25
... [truncated 26.6 kB]
015-RealPar], 6/7 [SYNTCOMP2016-SyntSeq], 3/4 [SYNTCOMP2016-SyntPar], 10/11 [SYNTCOMP2016-RealSeq], 5/6 [SYNTCOMP2016-RealPar], 9/10 [SYNTCOMP2017-RealSeq], 5/6 [SYNTCOMP2017-RealPar], 5/6 [SYNTCOMP2017-SyntSeq], 3/4 [SYNTCOMP2017-SyntPar]
SOLVED_IN : 7.09728 [2015-pre-classification], 7.46426 [SYNTCOMP2015-RealSeq], 21.9487 [SYNTCOMP2015-RealPar], 4.228 [SYNTCOMP2016-RealSeq], 10.959 [SYNTCOMP2016-RealPar], 4.332 [SYNTCOMP2017-RealSeq], 13.2028 [SYNTCOMP2017-RealPar]
REF_SIZE : 4209
STATUS : realizable
#.