Name: |
load_5c_comp_comp3_UNREAL.aag |
md5: |
4e88ebc5cf76c0fb94b29871d60218bf |
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 8027 11 590 1 7426
2
4
6
8
10
12
14
16
18
20
22
24 0
26 2935
28 2939
30 2943
32 2951
34 0
36 2765
38 2769
40 2773
42 2781
44 0
46 2659
48 2663
50 2667
52 2675
54 2923
56 2925
58 2927
60 2929
62 2931
64 2679
66 2683
68 2687
70 2691
72 2695
74 0
76 2459
78 2463
80 2467
82 2475
84 0
86 2439
88 2443
90 2447
92 2455
94 2149
96 2153
98 2157
100 2161
102 2165
104 0
106 2955
108 2959
110 2963
112 2971
114 2129
116 2133
118 2137
120 2141
122 2145
124 2725
126 2729
128 2733
130 2737
132 2741
134 2699
136 2703
138
... [truncated 122.7 kB]
atch562
l563 latch563
l564 latch564
l565 latch565
l566 latch566
l567 latch567
l568 latch568
l569 latch569
l570 latch570
l571 latch571
l572 latch572
l573 latch573
l574 latch574
l575 latch575
l576 latch576
l577 latch577
l578 latch578
l579 latch579
l580 latch580
l581 latch581
l582 latch582
l583 latch583
l584 latch584
l585 latch585
l586 latch586
l587 latch587
l588 latch588
l589 latch589
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.