Name: |
gb_s2_r3_comp4_REAL.aag |
md5: |
c6092c2b7963e77bb91a370f510d0e57 |
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 7573 10 948 1 6615
2
4
6
8
10
12
14
16
18
20
22 3053
24 3057
26 3061
28 3065
30 3069
32 3073
34 2475
36 2477
38 2479
40 2481
42 2483
44 2485
46 0
48 2943
50 2947
52 2951
54 2955
56 2963
58 0
60 2633
62 2637
64 2641
66 2645
68 2681
70 2633
72 2637
74 2641
76 2645
78 2649
80 2653
82 0
84 2339
86 2343
88 2347
90 2351
92 2359
94 2144
96 0
98 0
100 0
102 0
104 0
106 0
108 2475
110 2477
112 2479
114 2481
116 2489
118 0
120 2475
122 2477
124 2479
126 2481
128 2489
130 2561
132 2565
134 2569
136 2573
138 2577
1
... [truncated 120.2 kB]
atch920
l921 latch921
l922 latch922
l923 latch923
l924 latch924
l925 latch925
l926 latch926
l927 latch927
l928 latch928
l929 latch929
l930 latch930
l931 latch931
l932 latch932
l933 latch933
l934 latch934
l935 latch935
l936 latch936
l937 latch937
l938 latch938
l939 latch939
l940 latch940
l941 latch941
l942 latch942
l943 latch943
l944 latch944
l945 latch945
l946 latch946
l947 latch947
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.