Details of instance cycle_sched_6_7_1.aag

Name: cycle_sched_6_7_1.aag
md5: 1539b56168d9ac6af9d608359eb2ede2
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 (37.7 kB) 
aag 2640 19 287 1 2334
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40 1
42 2211
44 2217
46 2223
48 2232
50 2242
52 2252
54 2262
56 2272
58 2282
60 2293
62 2302
64 2309
66 2315
68 2324
70 2334
72 2344
74 2354
76 2364
78 2374
80 2385
82 2394
84 2401
86 2407
88 2416
90 2426
92 2436
94 2446
96 2456
98 2466
100 2477
102 2486
104 2493
106 2499
108 2508
110 2518
112 2528
114 2538
116 2548
118 2558
120 2569
122 2578
124 2585
126 2591
128 2600
130 2610
132 2620
134 2630
136 2640
138 2650
140 2661
142 2670
1

... [truncated 36.7 kB]

>
l266 _state_54<0>
l267 _state_52<0>
l268 _state_50<0>
l269 _state_48<0>
l270 _state_46<0>
l271 _state_44<0>
l272 _state_43<0>
l273 _state_42<0>
l274 _state_39<0>
l275 _state_36<0>
l276 _state_34<0>
l277 _state_31<0>
l278 _state_26<0>
l279 _state_21<0>
l280 _state_16<0>
l281 _state_11<0>
l282 _state_8<0>
l283 _state_7<0>
l284 _state_4<0>
l285 _state_2<0>
l286 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 2/3 [2015-pre-classification]
SOLVED_IN : 9.80087 [2015-pre-classification]
#.