Name: |
mult_bool_matrix_4_2_4.aag |
md5: |
7795834c9a1159240535e8c79090c9b7 |
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 |
aag 374 32 0 1 342
2
4
6
8
10
42
44
46
92
94
96
142
144
146
192
194
196
242
284
326
368
370
372
418
460
502
544
546
548
594
636
678
749
12 11 1
14 3 1
16 6 15
18 17 1
20 6 15
22 21 1
24 10 19
26 11 22
28 25 27
30 4 13
32 5 29
34 31 33
36 8 35
38 9 29
40 37 39
48 47 1
50 43 1
52 43 1
54 46 51
56 47 52
58 55 57
60 44 49
62 45 59
64 61 63
66 47 1
68 44 49
70 45 66
72 69 71
74 6 65
76 7 73
78 75 77
80 6 59
82 7 66
84 81 83
86 8 79
88 9 85
90 87 89
98 97 1
100 93 1
102 93 1
104 96 101
106 97 102
108 105 107
110
... [truncated 3.6 kB]
0][1]<0>
i17 controllable_c[1][1]<0>
i18 controllable_c[2][1]<0>
i19 controllable_c[3][1]<0>
i20 b[0][2]<0>
i21 b[1][2]<0>
i22 controllable_c[0][2]<0>
i23 controllable_c[1][2]<0>
i24 controllable_c[2][2]<0>
i25 controllable_c[3][2]<0>
i26 b[0][3]<0>
i27 b[1][3]<0>
i28 controllable_c[0][3]<0>
i29 controllable_c[1][3]<0>
i30 controllable_c[2][3]<0>
i31 controllable_c[3][3]<0>
o0 err<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2015-pre-classification]
SOLVED_IN : 0.126212 [2015-pre-classification]
#.