| Name: |
load_full_4_comp1_REAL.aag |
| md5: |
af258e4f856038bf48535edeb836aad1 |
| 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 7689 9 807 1 6873
2
4
6
8
10
12
14
16
18
20 3414
22 3418
24 3422
26 3165
28 3167
30 3169
32 0
34 3661
36 3665
38 0
40 3661
42 3665
44 0
46 3661
48 3665
50 0
52 3661
54 3665
56 0
58 3651
60 3659
62 3517
64 3521
66 3525
68 3517
70 3521
72 3525
74 3517
76 3521
78 3525
80 3517
82 3521
84 3525
86 3517
88 3521
90 3525
92 1944
94 0
96 0
98 3414
100 3418
102 3422
104 3414
106 3418
108 3422
110 3597
112 3601
114 3605
116 3583
118 3587
120 3591
122 3597
124 3601
126 3605
128 3597
130 3601
132 3605
134 3414
136 34
... [truncated 121.8 kB]
atch779
l780 latch780
l781 latch781
l782 latch782
l783 latch783
l784 latch784
l785 latch785
l786 latch786
l787 latch787
l788 latch788
l789 latch789
l790 latch790
l791 latch791
l792 latch792
l793 latch793
l794 latch794
l795 latch795
l796 latch796
l797 latch797
l798 latch798
l799 latch799
l800 latch800
l801 latch801
l802 latch802
l803 latch803
l804 latch804
l805 latch805
l806 latch806
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.