Name: |
load_5c_comp_comp4_REAL.aag |
md5: |
44627b2e960d7b3ae62a0131831be60a |
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 9487 11 708 1 8768
2
4
6
8
10
12
14
16
18
20
22
24 0
26 3481
28 3485
30 3489
32 3493
34 3501
36 0
38 3277
40 3281
42 3285
44 3289
46 3297
48 0
50 3151
52 3155
54 3159
56 3163
58 3171
60 3467
62 3469
64 3471
66 3473
68 3475
70 3477
72 3175
74 3179
76 3183
78 3187
80 3191
82 3195
84 0
86 2911
88 2915
90 2919
92 2923
94 2931
96 0
98 2887
100 2891
102 2895
104 2899
106 2907
108 2541
110 2545
112 2549
114 2553
116 2557
118 2561
120 0
122 3505
124 3509
126 3513
128 3517
130 3525
132 2517
134 2521
136 2525
138
... [truncated 148.4 kB]
atch680
l681 latch681
l682 latch682
l683 latch683
l684 latch684
l685 latch685
l686 latch686
l687 latch687
l688 latch688
l689 latch689
l690 latch690
l691 latch691
l692 latch692
l693 latch693
l694 latch694
l695 latch695
l696 latch696
l697 latch697
l698 latch698
l699 latch699
l700 latch700
l701 latch701
l702 latch702
l703 latch703
l704 latch704
l705 latch705
l706 latch706
l707 latch707
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.