Details of instance ltl2dba_U1-8_comp2_UNREAL.aag

Name: ltl2dba_U1-8_comp2_UNREAL.aag
md5: 29ac647d80340ac6bfceab47af32cc93
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
Download instance (10.7 MB) 
aag 567859 9 7116 1 560734
2
4
6
8
10
12
14
16
18
20 1060839
22 1060843
24 1060847
26 1060851
28 1100519
30 1100523
32 1100527
34 1100531
36 1066311
38 1066315
40 1066319
42 1066323
44 1015071
46 1015075
48 1015079
50 1015083
52 1100503
54 1100507
56 1100511
58 1100515
60 830373
62 830377
64 830381
66 830385
68 1015007
70 1015011
72 1015015
74 1015019
76 1103511
78 1103515
80 1103519
82 1103523
84 1072535
86 1072539
88 1072543
90 1072547
92 1103447
94 1103451
96 1103455
98 1103459
100 1068279
102 1068283
10

... [truncated 10.7 MB]

2 latch7092
l7093 latch7093
l7094 latch7094
l7095 latch7095
l7096 latch7096
l7097 latch7097
l7098 latch7098
l7099 latch7099
l7100 latch7100
l7101 latch7101
l7102 latch7102
l7103 latch7103
l7104 latch7104
l7105 latch7105
l7106 latch7106
l7107 latch7107
l7108 latch7108
l7109 latch7109
l7110 latch7110
l7111 latch7111
l7112 latch7112
l7113 latch7113
l7114 latch7114
l7115 latch7115
o0 error
c
#!SYNTCOMP
STATUS : unrealizable
SOLVED_BY : 1/3 [2016-pre-classification]
SOLVED_IN : 8.04 [2016-pre-classification]
#.