| Name: |
ltl2dba_theta8_comp4_UNREAL.aag |
| md5: |
058093a370367fb1dfa86b8244a67905 |
| 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 2975 11 342 1 2622
2
4
6
8
10
12
14
16
18
20
22
24 4135
26 4139
28 4143
30 4147
32 4151
34 4155
36 0
38 3743
40 3747
42 3751
44 3755
46 3763
48 3165
50 3167
52 3169
54 3171
56 3173
58 3175
60 0
62 5627
64 5631
66 5635
68 5639
70 5647
72 5603
74 5607
76 5611
78 5615
80 5619
82 5623
84 3695
86 3699
88 3703
90 3707
92 3711
94 3715
96 4303
98 4307
100 4311
102 4315
104 4319
106 4323
108 4447
110 4451
112 4455
114 4459
116 4463
118 4467
120 4471
122 4475
124 4479
126 4483
128 4487
130 4491
132 4495
134 4499
... [truncated 42.8 kB]
tch324
l325 latch325
l326 latch326
l327 latch327
l328 latch328
l329 latch329
l330 latch330
l331 latch331
l332 latch332
l333 latch333
l334 latch334
l335 latch335
l336 latch336
l337 latch337
l338 latch338
l339 latch339
l340 latch340
l341 latch341
o0 error
c
#!SYNTCOMP
SOLVED_BY : 3/3 [2016-pre-classification], 11/11 [SYNTCOMP2016-RealSeq], 6/6 [SYNTCOMP2016-RealPar]
SOLVED_IN : 15.996 [2016-pre-classification], 7.004 [SYNTCOMP2016-RealSeq], 10.8216 [SYNTCOMP2016-RealPar]
REF_SIZE : 0
STATUS : unrealizable
#.