| Name: |
ltl2dba_R6_comp3_UNREAL.aag |
| md5: |
db63f9af5100d35ce2afcf093561094f |
| 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 200601 7 15435 1 185159
2
4
6
8
10
12
14
16 357235
18 357239
20 357243
22 357247
24 357251
26 287465
28 287469
30 287473
32 287477
34 287481
36 247107
38 247111
40 247115
42 247119
44 247123
46 364115
48 364119
50 364123
52 364127
54 364131
56 364095
58 364099
60 364103
62 364107
64 364111
66 364155
68 364159
70 364163
72 364167
74 364171
76 364135
78 364139
80 364143
82 364147
84 364151
86 369705
88 369709
90 369713
92 369717
94 369721
96 370535
98 370539
100 370543
102 370547
104 370551
106 370395
108
... [truncated 3.8 MB]
421 latch15421
l15422 latch15422
l15423 latch15423
l15424 latch15424
l15425 latch15425
l15426 latch15426
l15427 latch15427
l15428 latch15428
l15429 latch15429
l15430 latch15430
l15431 latch15431
l15432 latch15432
l15433 latch15433
l15434 latch15434
o0 error
c
#!SYNTCOMP
SOLVED_BY : 1/3 [2016-pre-classification], 3/11 [SYNTCOMP2016-RealSeq], 0/6 [SYNTCOMP2016-RealPar]
SOLVED_IN : 177.584 [2016-pre-classification], 134.3 [SYNTCOMP2016-RealSeq], 0.0 [SYNTCOMP2016-RealPar]
REF_SIZE : 0
STATUS : unrealizable
#.