| Name: |
load_full_3_comp2_REAL.aag |
| md5: |
c21a5c9b0b101cb7a58318d72c1caf9d |
| 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 5163 7 536 1 4620
2
4
6
8
10
12
14
16 4435
18 4437
20 4439
22 4441
24 4435
26 4437
28 4439
30 4441
32 3535
34 3537
36 3539
38 3541
40 2609
42 2613
44 2617
46 2621
48 1637
50 1641
52 1645
54 1649
56 0
58 4413
60 4417
62 4425
64 0
66 4413
68 4417
70 4425
72 0
74 3455
76 3457
78 3461
80 0
82 3455
84 3457
86 3461
88 0
90 3455
92 3457
94 3461
96 0
98 4307
100 4309
102 4313
104 4263
106 4265
108 4267
110 4269
112 3965
114 3969
116 3973
118 3977
120 4333
122 4337
124 4341
126 4345
128 4333
130 4337
132 4341
13
... [truncated 76.7 kB]
l509 latch509
l510 latch510
l511 latch511
l512 latch512
l513 latch513
l514 latch514
l515 latch515
l516 latch516
l517 latch517
l518 latch518
l519 latch519
l520 latch520
l521 latch521
l522 latch522
l523 latch523
l524 latch524
l525 latch525
l526 latch526
l527 latch527
l528 latch528
l529 latch529
l530 latch530
l531 latch531
l532 latch532
l533 latch533
l534 latch534
l535 latch535
o0 error
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 1/3 [2015-pre-classification]
SOLVED_IN : 2945.58 [2015-pre-classification]
#.