Name: |
cycle_sched_8_2_4.aag |
md5: |
bf6e329ed7d3ae5dafb395c8f281684d |
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 2224 26 187 1 2011
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44
46
48
50
52
54 1
56 2681
58 2687
60 2693
62 2702
64 2713
66 2722
68 2729
70 2735
72 2744
74 2755
76 2764
78 2771
80 2777
82 2786
84 2797
86 2806
88 2813
90 2819
92 2828
94 2839
96 2848
98 2855
100 2861
102 2870
104 2881
106 2890
108 2897
110 2903
112 2912
114 2923
116 2932
118 2939
120 2945
122 2954
124 2965
126 2974
128 2981
130 2987
132 2996
134 3007
136 3016
138 3023
140 3029
142 3039
144 3048
146 3058
148 3065
150 3071
... [truncated 29.9 kB]
>
l166 _state_40<0>
l167 _state_37<0>
l168 _state_35<0>
l169 _state_33<0>
l170 _state_31<0>
l171 _state_30<0>
l172 _state_29<0>
l173 _state_26<0>
l174 _state_23<0>
l175 _state_21<0>
l176 _state_20<0>
l177 _state_19<0>
l178 _state_16<0>
l179 _state_14<0>
l180 _state_13<0>
l181 _state_10<0>
l182 _state_8<0>
l183 _state_7<0>
l184 _state_4<0>
l185 _state_2<0>
l186 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 2/3 [2015-pre-classification]
SOLVED_IN : 1.04265 [2015-pre-classification]
#.