| Name: |
ltl2dba_R6_comp5_UNREAL.aag |
| md5: |
4b4d64f67df52133c8043707026e9a71 |
| 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 279491 7 21609 1 257875
2
4
6
8
10
12
14
16 499895
18 499899
20 499903
22 499907
24 499911
26 499915
28 499919
30 402221
32 402225
34 402229
36 402233
38 402237
40 402241
42 402245
44 345723
46 345727
48 345731
50 345735
52 345739
54 345743
56 345747
58 509527
60 509531
62 509535
64 509539
66 509543
68 509547
70 509551
72 509499
74 509503
76 509507
78 509511
80 509515
82 509519
84 509523
86 509583
88 509587
90 509591
92 509595
94 509599
96 509603
98 509607
100 509555
102 509559
104 509563
106 509567
108
... [truncated 5.4 MB]
21588 latch21588
l21589 latch21589
l21590 latch21590
l21591 latch21591
l21592 latch21592
l21593 latch21593
l21594 latch21594
l21595 latch21595
l21596 latch21596
l21597 latch21597
l21598 latch21598
l21599 latch21599
l21600 latch21600
l21601 latch21601
l21602 latch21602
l21603 latch21603
l21604 latch21604
l21605 latch21605
l21606 latch21606
l21607 latch21607
l21608 latch21608
o0 error
c
#!SYNTCOMP
STATUS : unrealizable
SOLVED_BY : 1/3 [2016-pre-classification]
SOLVED_IN : 341.232 [2016-pre-classification]
#.