| Name: |
ltl2dba_U1-6_comp2_UNREAL.aag |
| md5: |
2cea3f66c25d4ae9bedf90c2b47d982c |
| 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 33847 7 1196 1 32644
2
4
6
8
10
12
14
16 66207
18 66211
20 66215
22 66219
24 66975
26 66979
28 66983
30 66987
32 66511
34 66515
36 66519
38 66523
40 52833
42 52837
44 52841
46 52845
48 66575
50 66579
52 66583
54 66587
56 66383
58 66387
60 66391
62 66395
64 63503
66 63507
68 63511
70 63515
72 0
74 51295
76 51299
78 51307
80 66639
82 66643
84 66647
86 66651
88 0
90 51359
92 51363
94 51371
96 66959
98 66963
100 66967
102 66971
104 53073
106 53077
108 53081
110 53085
112 63327
114 63331
116 63335
118 63339
... [truncated 552.8 kB]
1
l1172 latch1172
l1173 latch1173
l1174 latch1174
l1175 latch1175
l1176 latch1176
l1177 latch1177
l1178 latch1178
l1179 latch1179
l1180 latch1180
l1181 latch1181
l1182 latch1182
l1183 latch1183
l1184 latch1184
l1185 latch1185
l1186 latch1186
l1187 latch1187
l1188 latch1188
l1189 latch1189
l1190 latch1190
l1191 latch1191
l1192 latch1192
l1193 latch1193
l1194 latch1194
l1195 latch1195
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2016-pre-classification]
SOLVED_IN : 0.0 [2016-pre-classification]
#.