Name: |
ltl2dpa_12_2_REAL.aag |
md5: |
22f630fada460c286890a28ae6383f7b |
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 1699 6 228 1 1465
2
4
6
8
10
12
14 2859
16 2863
18 2867
20 2871
22 0
24 2427
26 2431
28 2439
30 2315
32 2319
34 2323
36 2327
38 1635
40 1637
42 1639
44 1641
46 0
48 1045
50 1049
52 1057
54 0
56 1469
58 1473
60 1481
62 3171
64 3175
66 3179
68 3183
70 2827
72 2831
74 2835
76 2839
78 1485
80 1489
82 1493
84 1497
86 0
88 1827
90 1831
92 1839
94 0
96 2115
98 2119
100 2127
102 1507
104 1509
106 1511
108 1513
110 1499
112 1501
114 1503
116 1505
118 1451
120 1453
122 1455
124 1457
126 3075
128 3079
130 3083
132
... [truncated 23.4 kB]
atch200
l201 latch201
l202 latch202
l203 latch203
l204 latch204
l205 latch205
l206 latch206
l207 latch207
l208 latch208
l209 latch209
l210 latch210
l211 latch211
l212 latch212
l213 latch213
l214 latch214
l215 latch215
l216 latch216
l217 latch217
l218 latch218
l219 latch219
l220 latch220
l221 latch221
l222 latch222
l223 latch223
l224 latch224
l225 latch225
l226 latch226
l227 latch227
o0 error
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 1.6521 [SYNTCOMP2014-RealSeq]
#.