Name: |
ltl2dpa_10_2_REAL.aag |
md5: |
a2de8a3559d18eb3b99bef86e1e8ab26 |
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 1745 5 236 1 1504
2
4
6
8
10
12 0
14 3027
16 3031
18 3039
20 1951
22 1953
24 1955
26 1957
28 1959
30 1961
32 1963
34 1965
36 1863
38 1865
40 1867
42 1869
44 2023
46 2025
48 2027
50 2029
52 2031
54 2033
56 2035
58 2037
60 1775
62 1777
64 1779
66 1781
68 1719
70 1721
72 1723
74 1725
76 1807
78 1809
80 1811
82 1813
84 1791
86 1793
88 1795
90 1797
92 2923
94 2927
96 2931
98 2935
100 1855
102 1857
104 1859
106 1861
108 2015
110 2017
112 2019
114 2021
116 1983
118 1985
120 1987
122 1989
124 1967
126 1969
128
... [truncated 24.2 kB]
tch208
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
l228 latch228
l229 latch229
l230 latch230
l231 latch231
l232 latch232
l233 latch233
l234 latch234
l235 latch235
o0 error
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 1.34408 [SYNTCOMP2014-RealSeq]
#.