| Name: |
beemkrebs3f1_c0to1.aag |
| md5: |
19f0e240280bf1dc0797641c0fde9600 |
| 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 1580 16 118 1 1446
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34 309
36 321
38 333
40 345
42 356
44 369
46 380
48 387
50 439
52 467
54 495
56 523
58 551
60 578
62 603
64 615
66 667
68 695
70 723
72 751
74 779
76 806
78 829
80 841
82 919
84 953
86 987
88 1021
90 1054
92 1088
94 1115
96 1127
98 1207
100 1239
102 1271
104 1303
106 1335
108 1367
110 1392
112 1405
114 1451
116 1473
118 1495
120 1517
122 1539
124 1561
126 1579
128 1585
130 1635
132 1657
134 1679
136 1701
138 1723
140 1745
142 1765
144 1777
1
... [truncated 20.5 kB]
1 a_oxoglutarat2_krebs_0
l102 a_sukcynyl_coa_krebs_0
l103 a_sukcynyl_krebs_0
l104 a_fumarat_krebs_0
l105 a_malat_krebs_0
l106 a_oxalacetrat_krebs_1
l107 a_citrat_krebs_1
l108 a_isocitrat_krebs_1
l109 a_oxoglutarat2_krebs_1
l110 a_sukcynyl_coa_krebs_1
l111 a_sukcynyl_krebs_1
l112 a_fumarat_krebs_1
l113 a_malat_krebs_1
l114 a_q_glykolyza
l115 a_q_ETS
l116 a_q_rest_of_cell
l117 dve_invalid
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2016-pre-classification]
SOLVED_IN : 0.092 [2016-pre-classification]
#.