Skip to content

Commit bb5ae33

Browse files
larskotthofflarskotthoff
authored
Merge pull request #19 from coseal/OASC17
ADD OASC scenarios
2 parents 3cdf019 + 3fa2e4a commit bb5ae33

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

56 files changed

+93397
-0
lines changed

‎CSP-Minizinc-Obj-2016/algorithm_runs.arff‎

Lines changed: 2210 additions & 0 deletions
Large diffs are not rendered by default.

‎CSP-Minizinc-Obj-2016/cv.arff‎

Lines changed: 107 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,107 @@
1+
@RELATION CV_CSP-Minizinc-Obj-2016
2+
3+
@ATTRIBUTE instance_id STRING
4+
@ATTRIBUTE repetition NUMERIC
5+
@ATTRIBUTE fold NUMERIC
6+
7+
@DATA
8+
c_v20_a190_d5,1,1
9+
j30_27_5-wet,1,1
10+
sb_15_15_7_3,1,1
11+
32-4-8-2,1,1
12+
binpack_11,1,1
13+
ring_1,1,1
14+
fir_1_3,1,1
15+
kb128_n5_obj17,1,1
16+
31_02,1,1
17+
CELAR6-SUB0,1,1
18+
sb_13_13_5_1,1,2
19+
reduced_UD6-gbac,1,2
20+
14__6__8__3,1,2
21+
tpp_6_3_20_1,1,2
22+
handball3,1,2
23+
kb128_n5_obj14,1,2
24+
att48_6,1,2
25+
UD3-gbac,1,2
26+
mesh2x2_1,1,2
27+
j30_37_4,1,2
28+
s_v20_a50_d4,1,3
29+
14__10__8__3,1,3
30+
kb192_n7_obj10,1,3
31+
n180f7d50m30k18,1,3
32+
rat99_6,1,3
33+
fir_1_4,1,3
34+
st70_5,1,3
35+
ulysses22_5,1,3
36+
oocsp_racks_030_mii8,1,3
37+
graph05,1,3
38+
j90_10_10-wet,1,4
39+
j60_36_8-wet,1,4
40+
kb128_n5_obj16,1,4
41+
kb128_n5_obj11,1,4
42+
projplan1_15_15,1,4
43+
handball5,1,4
44+
j30_1_10,1,4
45+
sb_13_13_5_5,1,4
46+
14__8__6__3,1,4
47+
tpp_7_3_20_1,1,4
48+
rat99_5,1,5
49+
plusexample_6,1,5
50+
12_2_10,1,5
51+
12__8__6__3,1,5
52+
c_v15_a105_d7,1,5
53+
j30_53_3,1,5
54+
oocsp_racks_030_ea4_cc,1,5
55+
18_3_5,1,5
56+
sb_15_15_6_0,1,5
57+
j90_19_7-wet,1,5
58+
oocsp_racks_030_e6_cc,1,6
59+
ewf_1_2,1,6
60+
reduced_UD10-gbac,1,6
61+
j30_17_10,1,6
62+
32-4-8-5,1,6
63+
n35f5d20m10k3,1,6
64+
oocsp_racks_030_f7_cc,1,6
65+
mzn_rnd_test.13,1,6
66+
mesh3x3_mp3,1,6
67+
mzn_rnd_test.02,1,6
68+
mzn_rnd_test.06,1,7
69+
30-5-6-8,1,7
70+
UD5-gbac,1,7
71+
handball20,1,7
72+
s_v20_a50_d5,1,7
73+
CELAR7-SUB4,1,7
74+
sb_15_15_7_5,1,7
75+
n25f5d20m10k3,1,7
76+
n60f7d50m30k10,1,7
77+
j30_15_5,1,7
78+
12_2_5,1,8
79+
25_03,1,8
80+
CELAR6-SUB4,1,8
81+
25_01,1,8
82+
mesh4x4_1,1,8
83+
30-5-6-2,1,8
84+
scen07,1,8
85+
25_06,1,8
86+
28-4-7-1,1,8
87+
reduced_UD3-gbac,1,8
88+
mzn_rnd_test.11,1,9
89+
ar_1_3,1,9
90+
tpp_5_3_30_1,1,9
91+
tpp_4_5_20_1,1,9
92+
n55f2d50m30k3,1,9
93+
25_04,1,9
94+
routing_7,1,9
95+
pizza_8_3,1,9
96+
oocsp_racks_100_r1,1,9
97+
mesh2x2_mp3,1,9
98+
tpp_7_3_30_1,1,10
99+
24_4_10,1,10
100+
18_3_10,1,10
101+
mzn_rnd_test.20,1,10
102+
dct_1_3,1,10
103+
j30_44_8-wet,1,10
104+
s_v40_a100_d5,1,10
105+
handball7,1,10
106+
12__6__8__3,1,10
107+
handball17,1,10

‎CSP-Minizinc-Obj-2016/description.txt‎

Lines changed: 280 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,280 @@
1+
scenario_id: CSP-Minizinc-Obj-2016
2+
performance_measures:
3+
- obj
4+
- time
5+
maximize:
6+
- false
7+
- false
8+
performance_type:
9+
- solution_quality
10+
- runtime
11+
algorithm_cutoff_time: 1200
12+
algorithm_cutoff_memory: '?'
13+
features_cutoff_time: 1200
14+
features_cutoff_memory: 4096
15+
number_of_feature_steps: 1
16+
feature_steps:
17+
base:
18+
provides:
19+
- c_avg_deg_cons
20+
- c_avg_dom_cons
21+
- c_avg_domdeg_cons
22+
- c_bounds_d
23+
- c_bounds_r
24+
- c_bounds_z
25+
- c_cv_deg_cons
26+
- c_cv_dom_cons
27+
- c_cv_domdeg_cons
28+
- c_domain
29+
- c_ent_deg_cons
30+
- c_ent_dom_cons
31+
- c_ent_domdeg_cons
32+
- c_logprod_deg_cons
33+
- c_logprod_dom_cons
34+
- c_max_deg_cons
35+
- c_max_dom_cons
36+
- c_max_domdeg_cons
37+
- c_min_deg_cons
38+
- c_min_dom_cons
39+
- c_min_domdeg_cons
40+
- c_num_cons
41+
- c_priority
42+
- c_ratio_cons
43+
- c_sum_ari_cons
44+
- c_sum_dom_cons
45+
- c_sum_domdeg_cons
46+
- d_array_cons
47+
- d_bool_cons
48+
- d_bool_vars
49+
- d_float_cons
50+
- d_float_vars
51+
- d_int_cons
52+
- d_int_vars
53+
- d_ratio_array_cons
54+
- d_ratio_bool_cons
55+
- d_ratio_bool_vars
56+
- d_ratio_float_cons
57+
- d_ratio_float_vars
58+
- d_ratio_int_cons
59+
- d_ratio_int_vars
60+
- d_ratio_set_cons
61+
- d_ratio_set_vars
62+
- d_set_cons
63+
- d_set_vars
64+
- gc_diff_globs
65+
- gc_global_cons
66+
- gc_ratio_diff
67+
- gc_ratio_globs
68+
- o_deg
69+
- o_deg_avg
70+
- o_deg_cons
71+
- o_deg_std
72+
- o_dom
73+
- o_dom_avg
74+
- o_dom_deg
75+
- o_dom_std
76+
- s_bool_search
77+
- s_first_fail
78+
- s_goal
79+
- s_indomain_max
80+
- s_indomain_min
81+
- s_input_order
82+
- s_int_search
83+
- s_labeled_vars
84+
- s_other_val
85+
- s_other_var
86+
- s_set_search
87+
- v_avg_deg_vars
88+
- v_avg_dom_vars
89+
- v_avg_domdeg_vars
90+
- v_cv_deg_vars
91+
- v_cv_dom_vars
92+
- v_cv_domdeg_vars
93+
- v_def_vars
94+
- v_ent_deg_vars
95+
- v_ent_dom_vars
96+
- v_ent_domdeg_vars
97+
- v_intro_vars
98+
- v_logprod_deg_vars
99+
- v_logprod_dom_vars
100+
- v_max_deg_vars
101+
- v_max_dom_vars
102+
- v_max_domdeg_vars
103+
- v_min_deg_vars
104+
- v_min_dom_vars
105+
- v_min_domdeg_vars
106+
- v_num_aliases
107+
- v_num_consts
108+
- v_num_vars
109+
- v_ratio_bounded
110+
- v_ratio_vars
111+
- v_sum_deg_vars
112+
- v_sum_dom_vars
113+
- v_sum_domdeg_vars
114+
default_steps:
115+
- base
116+
features_deterministic:
117+
- c_avg_deg_cons
118+
- c_avg_dom_cons
119+
- c_avg_domdeg_cons
120+
- c_bounds_d
121+
- c_bounds_r
122+
- c_bounds_z
123+
- c_cv_deg_cons
124+
- c_cv_dom_cons
125+
- c_cv_domdeg_cons
126+
- c_domain
127+
- c_ent_deg_cons
128+
- c_ent_dom_cons
129+
- c_ent_domdeg_cons
130+
- c_logprod_deg_cons
131+
- c_logprod_dom_cons
132+
- c_max_deg_cons
133+
- c_max_dom_cons
134+
- c_max_domdeg_cons
135+
- c_min_deg_cons
136+
- c_min_dom_cons
137+
- c_min_domdeg_cons
138+
- c_num_cons
139+
- c_priority
140+
- c_ratio_cons
141+
- c_sum_ari_cons
142+
- c_sum_dom_cons
143+
- c_sum_domdeg_cons
144+
- d_array_cons
145+
- d_bool_cons
146+
- d_bool_vars
147+
- d_float_cons
148+
- d_float_vars
149+
- d_int_cons
150+
- d_int_vars
151+
- d_ratio_array_cons
152+
- d_ratio_bool_cons
153+
- d_ratio_bool_vars
154+
- d_ratio_float_cons
155+
- d_ratio_float_vars
156+
- d_ratio_int_cons
157+
- d_ratio_int_vars
158+
- d_ratio_set_cons
159+
- d_ratio_set_vars
160+
- d_set_cons
161+
- d_set_vars
162+
- gc_diff_globs
163+
- gc_global_cons
164+
- gc_ratio_diff
165+
- gc_ratio_globs
166+
- o_deg
167+
- o_deg_avg
168+
- o_deg_cons
169+
- o_deg_std
170+
- o_dom
171+
- o_dom_avg
172+
- o_dom_deg
173+
- o_dom_std
174+
- s_bool_search
175+
- s_first_fail
176+
- s_goal
177+
- s_indomain_max
178+
- s_indomain_min
179+
- s_input_order
180+
- s_int_search
181+
- s_labeled_vars
182+
- s_other_val
183+
- s_other_var
184+
- s_set_search
185+
- v_avg_deg_vars
186+
- v_avg_dom_vars
187+
- v_avg_domdeg_vars
188+
- v_cv_deg_vars
189+
- v_cv_dom_vars
190+
- v_cv_domdeg_vars
191+
- v_def_vars
192+
- v_ent_deg_vars
193+
- v_ent_dom_vars
194+
- v_ent_domdeg_vars
195+
- v_intro_vars
196+
- v_logprod_deg_vars
197+
- v_logprod_dom_vars
198+
- v_max_deg_vars
199+
- v_max_dom_vars
200+
- v_max_domdeg_vars
201+
- v_min_deg_vars
202+
- v_min_dom_vars
203+
- v_min_domdeg_vars
204+
- v_num_aliases
205+
- v_num_consts
206+
- v_num_vars
207+
- v_ratio_bounded
208+
- v_ratio_vars
209+
- v_sum_deg_vars
210+
- v_sum_dom_vars
211+
- v_sum_domdeg_vars
212+
features_stochastic: null
213+
metainfo_algorithms:
214+
Choco-free:
215+
configuration: ''
216+
deterministic: true
217+
Chuffed-free:
218+
configuration: ''
219+
deterministic: true
220+
Concrete-free:
221+
configuration: ''
222+
deterministic: true
223+
G12FD-free:
224+
configuration: ''
225+
deterministic: true
226+
Gecode-free:
227+
configuration: ''
228+
deterministic: true
229+
HaifaCSP-free:
230+
configuration: ''
231+
deterministic: true
232+
JaCoP-fd:
233+
configuration: ''
234+
deterministic: true
235+
LCG-Glucose-UC-free:
236+
configuration: ''
237+
deterministic: true
238+
LCG-Glucose-free:
239+
configuration: ''
240+
deterministic: true
241+
MZN/Cbc-free:
242+
configuration: ''
243+
deterministic: true
244+
MZN/CPLEX-free:
245+
configuration: ''
246+
deterministic: true
247+
MZN/Gurobi-free:
248+
configuration: ''
249+
deterministic: true
250+
MZN/SCIP-free:
251+
configuration: ''
252+
deterministic: true
253+
MinisatID-free:
254+
configuration: ''
255+
deterministic: true
256+
Mistral-free:
257+
configuration: ''
258+
deterministic: true
259+
OR-Tools-free:
260+
configuration: ''
261+
deterministic: true
262+
OscaR/CBLS-free:
263+
configuration: ''
264+
deterministic: true
265+
Picat-CP-fd:
266+
configuration: ''
267+
deterministic: true
268+
Picat-SAT-free:
269+
configuration: ''
270+
deterministic: true
271+
SICStus-Prolog-fd:
272+
configuration: ''
273+
deterministic: true
274+
Yuck-free:
275+
configuration: ''
276+
deterministic: true
277+
iZplus-free:
278+
configuration: ''
279+
deterministic: true
280+

0 commit comments

Comments
 (0)