| Name: |
load_full_2_comp4_REAL.aag |
| md5: |
957da07a83fed674ee84d456f8cc1829 |
| 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 3475 5 366 1 3104
2
4
6
8
10
12 0
14 3489
16 3491
18 3493
20 3495
22 3499
24 3275
26 3279
28 3283
30 3287
32 3291
34 3295
36 3213
38 3217
40 3221
42 3225
44 3229
46 3233
48 0
50 3513
52 3515
54 3517
56 3519
58 3523
60 1042
62 0
64 0
66 0
68 0
70 0
72 0
74 3501
76 3503
78 3505
80 3507
82 3511
84 0
86 3467
88 3471
90 3475
92 3479
94 3487
96 3043
98 3047
100 3051
102 3055
104 3059
106 3063
108 3029
110 3031
112 3033
114 3035
116 3037
118 3039
120 3275
122 3279
124 3283
126 3287
128 3291
130 3295
132 2771
1
... [truncated 50.7 kB]
8
l339 latch339
l340 latch340
l341 latch341
l342 latch342
l343 latch343
l344 latch344
l345 latch345
l346 latch346
l347 latch347
l348 latch348
l349 latch349
l350 latch350
l351 latch351
l352 latch352
l353 latch353
l354 latch354
l355 latch355
l356 latch356
l357 latch357
l358 latch358
l359 latch359
l360 latch360
l361 latch361
l362 latch362
l363 latch363
l364 latch364
l365 latch365
o0 error
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 2/3 [2015-pre-classification]
SOLVED_IN : 3.0623 [2015-pre-classification]
#.