| Name: |
ltl2dpa_16_2_REAL.aag |
| md5: |
18b647fcbc6fc5f6fb54606518240103 |
| 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 615 5 84 1 526
2
4
6
8
10
12 923
14 927
16 931
18 935
20 0
22 491
24 495
26 503
28 605
30 609
32 613
34 617
36 481
38 483
40 485
42 487
44 1131
46 1135
48 1139
50 1143
52 0
54 731
56 735
58 743
60 0
62 763
64 767
66 775
68 595
70 597
72 599
74 601
76 346
78 0
80 0
82 0
84 1083
86 1087
88 1091
90 1095
92 0
94 1163
96 1167
98 1175
100 747
102 751
104 755
106 759
108 779
110 783
112 787
114 791
116 793
118 795
120 797
122 799
124 913
126 915
128 917
130 919
132 939
134 943
136 947
138 951
140 969
142 971
1
... [truncated 6.9 kB]
l52 latch52
l53 latch53
l54 latch54
l55 latch55
l56 latch56
l57 latch57
l58 latch58
l59 latch59
l60 latch60
l61 latch61
l62 latch62
l63 latch63
l64 latch64
l65 latch65
l66 latch66
l67 latch67
l68 latch68
l69 latch69
l70 latch70
l71 latch71
l72 latch72
l73 latch73
l74 latch74
l75 latch75
l76 latch76
l77 latch77
l78 latch78
l79 latch79
l80 latch80
l81 latch81
l82 latch82
l83 latch83
o0 error
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 7/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.152009 [SYNTCOMP2014-RealSeq]
#.