-
Notifications
You must be signed in to change notification settings - Fork 1
/
maxsat-instances-weigthed-evocop2019.txt
132 lines (132 loc) · 5.71 KB
/
maxsat-instances-weigthed-evocop2019.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
BTBNSL-Rounded_BTWBNSL_Abalone_TWBound_3
BTBNSL-Rounded_BTWBNSL_adult15N_TWBound_3
BTBNSL-Rounded_BTWBNSL_adult15N_TWBound_4
BTBNSL-Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_3
BTBNSL-Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4
BTBNSL-Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_3
BTBNSL-Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4
BTBNSL-Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_3
BTBNSL-Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_4
BTBNSL-Rounded_BTWBNSL_Heart.BIC_TWBound_4
BTBNSL-Rounded_BTWBNSL_Horse.BIC_TWBound_3
BTBNSL-Rounded_BTWBNSL_Housing_TWBound_3
BTBNSL-Rounded_BTWBNSL_Housing_TWBound_4
BTBNSL-Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3
BTBNSL-Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_4
BTBNSL-Rounded_BTWBNSL_Voting_TWBound_3
BTBNSL-Rounded_BTWBNSL_Voting_TWBound_4
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N260_D0.200
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N300_D0.200
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N220_D0.200
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N240_D0.200
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N260_D0.200
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N320
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N340
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N360
correlation-clustering-Rounded_CorrelationClustering_Protein3_BINARY_N380
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N300
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N340
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N360
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N700_D0.200
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N720_D0.200
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N760_D0.200
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200
hs-timetabling-BrazilInstance1.xml
hs-timetabling-BrazilInstance2.xml
hs-timetabling-BrazilInstance4.xml
hs-timetabling-BrazilInstance5.xml
hs-timetabling-BrazilInstance6.xml
hs-timetabling-BrazilInstance7.xml
hs-timetabling-FinlandCollege.xml
hs-timetabling-FinlandHighSchool.xml
hs-timetabling-FinlandSecondarySchool.xml
hs-timetabling-ItalyInstance4.xml
lisbon-wedding-lisbon-wedding-10-18
lisbon-wedding-lisbon-wedding-10-19
lisbon-wedding-lisbon-wedding-4-17
lisbon-wedding-lisbon-wedding-4-19
lisbon-wedding-lisbon-wedding-5-19
lisbon-wedding-lisbon-wedding-6-19
lisbon-wedding-lisbon-wedding-7-17
lisbon-wedding-lisbon-wedding-7-18
lisbon-wedding-lisbon-wedding-7-19
lisbon-wedding-lisbon-wedding-8-17
lisbon-wedding-lisbon-wedding-8-18
lisbon-wedding-lisbon-wedding-8-19
lisbon-wedding-lisbon-wedding-9-17
lisbon-wedding-lisbon-wedding-9-18
lisbon-wedding-lisbon-wedding-9-19
maxcut-johnson8-2-4.clq
maxcut-p_hat500-3.clq
maxcut-san200_0.7_2.clq
maxcut-sanr200_0.7.clq
maxcut-sanr200_0.9.clq
maxcut-t7g3-9999.spn
min-width-MinWidthCB_milan_200_12_1k_10s_1t_12
min-width-MinWidthCB_mitdbsample_300_43_1k_15s_1t_15
min-width-MinWidthCB_mitdbsample_300_43_1k_15s_2t_15
min-width-MinWidthCB_mitdbsample_300_43_1k_3s_1t_3
min-width-MinWidthCB_mitdbsample_300_43_1k_3s_1t_5
min-width-MinWidthCB_mitdbsample_300_43_1k_3s_2t_3
min-width-MinWidthCB_mitdbsample_300_43_1k_3s_2t_5
min-width-MinWidthCB_mitdbsample_300_43_1k_6s_1t_6
min-width-MinWidthCB_mitdbsample_300_43_1k_6s_2t_6
min-width-MinWidthCB_mitdbsample_300_43_1k_6s_2t_8
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_1t_15
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_1t_17
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_2t_15
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_2t_17
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_3t_17
min-width-MinWidthCB_mitdbsample_300_64_1k_3s_2t_5
min-width-MinWidthCB_mitdbsample_300_64_1k_3s_3t_3
min-width-MinWidthCB_mitdbsample_300_64_1k_3s_3t_5
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_1t_8
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_2t_6
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_3t_6
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_3t_8
min-width-MinWidthCB_power_1000_24_1k_10s_1t_12
min-width-MinWidthCB_power_1000_24_1k_20s_1t_20
min-width-MinWidthCB_power_1000_24_1k_20s_2t_20
min-width-MinWidthCB_power_1000_24_1k_20s_2t_22
min-width-MinWidthCB_power_1000_24_1k_50s_1t_50
min-width-MinWidthCB_power_1000_24_1k_50s_1t_52
min-width-MinWidthCB_power_1000_24_1k_50s_2t_50
min-width-MinWidthCB_power_1000_24_1k_50s_2t_52
miplib-normalized-mps-v2-20-10-cracpb1.opb.msat
miplib-normalized-mps-v2-20-10-l152lav.opb.msat
miplib-normalized-mps-v2-20-10-lp4l.opb.msat
miplib-normalized-mps-v2-20-10-mod008.opb.msat
miplib-normalized-mps-v2-20-10-mod010.opb.msat
miplib-normalized-mps-v2-20-10-p0548.opb.msat
miplib-normalized-mps-v2-20-10-sentoy.opb.msat
railway-transport-pesp_18Min
railway-transport-wg2
rna-alignment-k100-13-99.rna.pre
rna-alignment-k100-18-95.rna.pre
rna-alignment-k100-2-14.rna.pre
rna-alignment-k100-39-93.rna.pre
rna-alignment-k100-42-56.rna.pre
rna-alignment-k100-42-96.rna.pre
rna-alignment-k100-73-76.rna.pre
spot5-1401.wcsp.log
spot5-1403.wcsp.log
spot5-1405.wcsp.log
timetabling-comp01
timetabling-comp03
timetabling-comp05
timetabling-comp12
timetabling-comp18
timetabling-comp21
timetabling-test4
staff-scheduling-instance10
staff-scheduling-instance11
staff-scheduling-instance12
staff-scheduling-instance3
staff-scheduling-instance4
staff-scheduling-instance5
staff-scheduling-instance6
staff-scheduling-instance7
staff-scheduling-instance8
staff-scheduling-instance9