Name: |
cnt25n.aag |
md5: |
a392f57d23264bc15b44449c9bffcd3d |
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 403 2 26 1 375
2
4
6 1
8 663
10 669
12 675
14 681
16 687
18 693
20 699
22 705
24 711
26 717
28 723
30 729
32 735
34 741
36 747
38 753
40 759
42 765
44 771
46 777
48 783
50 789
52 795
54 801
56 807
254
58 9 6
60 8 6
62 59 6
64 11 6
66 10 6
68 65 6
70 13 6
72 12 6
74 71 6
76 15 6
78 14 6
80 77 6
82 17 6
84 16 6
86 83 6
88 19 6
90 18 6
92 89 6
94 21 6
96 20 6
98 95 6
100 23 6
102 22 6
104 101 6
106 25 6
108 24 6
110 107 6
112 27 6
114 26 6
116 113 6
118 29 6
120 28 6
122 119 6
124 31 6
126 30 6
128 125 6
1
... [truncated 5.0 kB]
counter = counter;
else if(counter == 25'b0111111111111111111111111 && controllable_reset)
counter = 0;
else
counter = counter + 1;
end
endmodule
-------------------------------
#!SYNTCOMP
SOLVED_BY : 4/8 [SYNTCOMP2014-RealSeq], 3/4 [SYNTCOMP2015-SyntSeq], 3/3 [SYNTCOMP2015-SyntPar], 6/7 [SYNTCOMP2015-RealSeq], 4/4 [SYNTCOMP2015-RealPar]
SOLVED_IN : 13.8489 [SYNTCOMP2014-RealSeq], 143.017 [SYNTCOMP2015-RealSeq], 1.02791 [SYNTCOMP2015-RealPar]
REF_SIZE : 376
STATUS : realizable
#.