Name: |
beemgear2f1_c0to3.aag |
md5: |
93d925bb31c49f14bf8e8bb7eb7e5cb8 |
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 1946 50 131 1 1765
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
80
82
84
86
88
90
92
94
96
98
100
102 456
104 478
106 500
108 522
110 544
112 566
114 588
116 604
118 664
120 684
122 704
124 724
126 744
128 764
130 784
132 798
134 859
136 887
138 915
140 943
142 970
144 999
146 1026
148 1049
150 1122
152 1154
154 1186
156 1218
158 1250
160 1282
162 1314
164 1340
166 1421
168 1443
170 1465
172 1487
174 1509
176 1531
178 1553
180 1575
182
... [truncated 26.2 kB]
a_req_sync_speed
l114 a_check_clutch
l115 a_req_set_gear2
l116 a_check_sync_speed
l117 a_req_set_gear
l118 a_clutch_open_GearControl
l119 a_check_gear_set1
l120 a_gset_error
l121 a_check_gear_set2
l122 a_req_torque
l123 a_check_clutch_closed
l124 a_clutch_close_GearControl
l125 a_gear_changed
l126 a_check_clutch_closed2
l127 a_check_clutch2
l128 a_cclose_error
l129 a_q
l130 dve_invalid
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2016-pre-classification]
SOLVED_IN : 0.128 [2016-pre-classification]
#.