Details of instance beemgear2f1_c0to3.aag

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
Download instance (27.2 kB) 
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]
#.