Name: |
mult_bool_matrix_6_10_7.aag |
md5: |
d798e61c4d7d187d3323d673f678078c |
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 3217 154 0 1 3063
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
184
186
188
190
192
194
196
198
200
202
204
346
348
350
352
354
356
358
360
362
364
366
508
510
512
514
516
518
520
522
524
526
528
670
672
674
676
678
680
682
684
686
688
690
832
834
836
838
840
842
844
846
848
850
852
994
996
998
1000
1002
1004
1006
1008
1150
1292
1434
1576
1718
1860
1862
1864
1866
1868
1870
1872
1874
2016
2158
2300
2442
2584
2726
2728
2730
2732
2734
2736
2738
2740
2882
3024
3166
3308
3450
3592
3594
3596
3598
... [truncated 42.6 kB]
_c[2][5]<0>
i138 controllable_c[3][5]<0>
i139 controllable_c[4][5]<0>
i140 controllable_c[5][5]<0>
i141 b[6][0]<0>
i142 b[6][1]<0>
i143 b[6][2]<0>
i144 b[6][3]<0>
i145 b[6][4]<0>
i146 b[6][5]<0>
i147 b[6][6]<0>
i148 controllable_c[0][6]<0>
i149 controllable_c[1][6]<0>
i150 controllable_c[2][6]<0>
i151 controllable_c[3][6]<0>
i152 controllable_c[4][6]<0>
i153 controllable_c[5][6]<0>
o0 err<0>
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.