Name: |
cycle_sched_12_6_3.aag |
md5: |
89062d850d9c4d509abaeeabdfdaa97d |
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 13980 38 521 1 13421
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
56
58
60
62
64
66
68
70
72
74
76
78 1
80 22667
82 22673
84 22679
86 22688
88 22698
90 22708
92 22718
94 22728
96 22739
98 22748
100 22755
102 22761
104 22770
106 22780
108 22790
110 22800
112 22810
114 22821
116 22830
118 22837
120 22843
122 22852
124 22862
126 22872
128 22882
130 22892
132 22903
134 22912
136 22919
138 22925
140 22934
142 22944
144 22954
146 22964
148 22974
150 22985
152 22994
154 23001
15
... [truncated 214.0 kB]
te_53<0>
l500 _state_50<0>
l501 _state_45<0>
l502 _state_40<0>
l503 _state_35<0>
l504 _state_32<0>
l505 _state_31<0>
l506 _state_28<0>
l507 _state_26<0>
l508 _state_25<0>
l509 _state_22<0>
l510 _state_20<0>
l511 _state_19<0>
l512 _state_16<0>
l513 _state_14<0>
l514 _state_13<0>
l515 _state_10<0>
l516 _state_8<0>
l517 _state_7<0>
l518 _state_4<0>
l519 _state_2<0>
l520 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.