bytecode-benchmarks/mzn-rewriting/instances.csv

1	problem	model	data_file
2	freepizza	freepizza/freepizza.mzn	freepizza/pizza39.dzn
3	freepizza	freepizza/freepizza.mzn	freepizza/pizza78.dzn
4	freepizza	freepizza/freepizza.mzn	freepizza/pizza27.dzn
5	freepizza	freepizza/freepizza.mzn	freepizza/pizza6.dzn
6	freepizza	freepizza/freepizza.mzn	freepizza/pizza45.dzn
7	stack-cuttingstock	stack-cuttingstock/stack-cutstock-cumu.mzn	stack-cuttingstock/d14.dzn
8	stack-cuttingstock	stack-cuttingstock/stack-cutstock-cumu.mzn	stack-cuttingstock/d3.dzn
9	stack-cuttingstock	stack-cuttingstock/stack-cutstock-cumu.mzn	stack-cuttingstock/d8.dzn
10	stack-cuttingstock	stack-cuttingstock/stack-cutstock-cumu.mzn	stack-cuttingstock/d5.dzn
11	stack-cuttingstock	stack-cuttingstock/stack-cutstock-cumu.mzn	stack-cuttingstock/d7.dzn
12	zephyrus	zephyrus/zephyrus.mzn	zephyrus/12__8__6__3.dzn
13	zephyrus	zephyrus/zephyrus.mzn	zephyrus/14__8__6__3.dzn
14	zephyrus	zephyrus/zephyrus.mzn	zephyrus/14__6__8__3.dzn
15	zephyrus	zephyrus/zephyrus.mzn	zephyrus/12__6__8__3.dzn
16	zephyrus	zephyrus/zephyrus.mzn	zephyrus/14__10__8__3.dzn
17	depot-placement	depot-placement/depot_placement.mzn	depot-placement/ts225_5.dzn
18	depot-placement	depot-placement/depot_placement.mzn	depot-placement/u159_4.dzn
19	depot-placement	depot-placement/depot_placement.mzn	depot-placement/att48_5.dzn
20	depot-placement	depot-placement/depot_placement.mzn	depot-placement/att48_6.dzn
21	depot-placement	depot-placement/depot_placement.mzn	depot-placement/ulysses22_5.dzn
22	depot-placement	depot-placement/depot_placement.mzn	depot-placement/ulysses16_4.dzn
23	depot-placement	depot-placement/depot_placement.mzn	depot-placement/att48_4.dzn
24	depot-placement	depot-placement/depot_placement.mzn	depot-placement/ulysses16_6.dzn
25	depot-placement	depot-placement/depot_placement.mzn	depot-placement/st70_6.dzn
26	depot-placement	depot-placement/depot_placement.mzn	depot-placement/a280_5.dzn
27	depot-placement	depot-placement/depot_placement.mzn	depot-placement/rat99_6.dzn
28	depot-placement	depot-placement/depot_placement.mzn	depot-placement/ts225_4.dzn
29	depot-placement	depot-placement/depot_placement.mzn	depot-placement/st70_5.dzn
30	depot-placement	depot-placement/depot_placement.mzn	depot-placement/a280_4.dzn
31	depot-placement	depot-placement/depot_placement.mzn	depot-placement/rat99_4.dzn
32	depot-placement	depot-placement/depot_placement.mzn	depot-placement/st70_4.dzn
33	depot-placement	depot-placement/depot_placement.mzn	depot-placement/u159_6.dzn
34	depot-placement	depot-placement/depot_placement.mzn	depot-placement/rat99_5.dzn
35	depot-placement	depot-placement/depot_placement.mzn	depot-placement/a280_6.dzn
36	depot-placement	depot-placement/depot_placement.mzn	depot-placement/ulysses22_4.dzn
37	depot-placement	depot-placement/depot_placement.mzn	depot-placement/u159_5.dzn
38	depot-placement	depot-placement/depot_placement.mzn	depot-placement/ulysses16_5.dzn
39	depot-placement	depot-placement/depot_placement.mzn	depot-placement/ts225_6.dzn
40	depot-placement	depot-placement/depot_placement.mzn	depot-placement/ulysses22_6.dzn
41	train	train/train.mzn	train/instance.15.dzn
42	train	train/train.mzn	train/instance.2.dzn
43	train	train/train.mzn	train/instance.3.dzn
44	train	train/train.mzn	train/instance.6.dzn
45	train	train/train.mzn	train/instance.12.dzn
46	train	train/train.mzn	train/instance.5.dzn
47	train	train/train.mzn	train/instance.1.dzn
48	train	train/train.mzn	train/instance.13.dzn
49	train	train/train.mzn	train/instance.4.dzn
50	train	train/train.mzn	train/instance.9.dzn
51	train	train/train.mzn	train/instance.14.dzn
52	train	train/train.mzn	train/instance.8.dzn
53	train	train/train.mzn	train/instance.7.dzn
54	train	train/train.mzn	train/instance.11.dzn
55	train	train/train.mzn	train/instance.10.dzn
56	triangular	triangular/triangular.mzn	triangular/n10.dzn
57	triangular	triangular/triangular.mzn	triangular/n23.dzn
58	triangular	triangular/triangular.mzn	triangular/n37.dzn
59	triangular	triangular/triangular.mzn	triangular/n29.dzn
60	triangular	triangular/triangular.mzn	triangular/n17.dzn
61	community-detection	community-detection/community-detection.mzn	community-detection/mexican.s26.k4.dzn
62	community-detection	community-detection/community-detection.mzn	community-detection/dolphin.s62.k3.dzn
63	community-detection	community-detection/community-detection.mzn	community-detection/Sampson.s10.k3.dzn
64	community-detection	community-detection/community-detection.mzn	community-detection/Strike.s6.k5.dzn
65	community-detection	community-detection/community-detection.mzn	community-detection/Strike.s2.k8.dzn
66	accap	accap/accap.mzn	accap/accap_instance9.dzn
67	accap	accap/accap.mzn	accap/accap_instance6.dzn
68	accap	accap/accap.mzn	accap/accap_instance3.dzn
69	accap	accap/accap.mzn	accap/accap_instance8.dzn
70	accap	accap/accap.mzn	accap/accap_instance5.dzn
71	amaze	amaze/amaze3.mzn	amaze/2012-07-13.dzn
72	amaze	amaze/amaze3.mzn	amaze/2012-07-27.dzn
73	amaze	amaze/amaze3.mzn	amaze/2012-03-19.dzn
74	amaze	amaze/amaze3.mzn	amaze/2012-03-29.dzn
75	amaze	amaze/amaze3.mzn	amaze/mod2012-03-29.dzn
76	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j60_19_6-wet.dzn
77	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j30_35_9-wet.dzn
78	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j30_43_10-wet.dzn
79	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j90_19_7-wet.dzn
80	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j30_27_5-wet.dzn
81	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j30_4_8-wet.dzn
82	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j90_48_4-wet.dzn
83	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j30_44_8-wet.dzn
84	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j60_36_8-wet.dzn
85	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j60_28_3-wet.dzn
86	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j30_1_3-wet.dzn
87	rcpsp-wet	rcpsp-wet/rcpsp-wet.mzn	rcpsp-wet/j90_10_10-wet.dzn
88	multi-knapsack	multi-knapsack/mknapsack_global.mzn	multi-knapsack/mknap2-2.dzn
89	multi-knapsack	multi-knapsack/mknapsack_global.mzn	multi-knapsack/mknap2-10.dzn
90	multi-knapsack	multi-knapsack/mknapsack_global.mzn	multi-knapsack/mknap1-5.dzn
91	multi-knapsack	multi-knapsack/mknapsack_global.mzn	multi-knapsack/mknap2-1.dzn
92	multi-knapsack	multi-knapsack/mknapsack_global.mzn	multi-knapsack/mknap2-40.dzn
93	city-position	city-position/city-position.mzn	city-position/city-7-04.dzn
94	city-position	city-position/city-position.mzn	city-position/city-5-05.dzn
95	city-position	city-position/city-position.mzn	city-position/city-5-08.dzn
96	city-position	city-position/city-position.mzn	city-position/city-4-04.dzn
97	city-position	city-position/city-position.mzn	city-position/city-5-06.dzn
98	city-position	city-position/city-position.mzn	city-position/city-8-06.dzn
99	roster	roster/roster_model.mzn	roster/chicroster_dataset_1.dzn
100	roster	roster/roster_model.mzn	roster/chicroster_dataset_14.dzn
101	roster	roster/roster_model.mzn	roster/chicroster_dataset_large_15.dzn
102	roster	roster/roster_model.mzn	roster/chicroster_dataset_17.dzn
103	roster	roster/roster_model.mzn	roster/chicroster_dataset_large_18.dzn
104	roster	roster/roster_model.mzn	roster/chicroster_dataset_large_13.dzn
105	roster	roster/roster_model.mzn	roster/chicroster_dataset_4.dzn
106	roster	roster/roster_model.mzn	roster/chicroster_dataset_7.dzn
107	roster	roster/roster_model.mzn	roster/chicroster_dataset_3.dzn
108	roster	roster/roster_model.mzn	roster/chicroster_dataset_5.dzn
109	roster	roster/roster_model.mzn	roster/chicroster_dataset_10.dzn
110	roster	roster/roster_model.mzn	roster/chicroster_dataset_large_20.dzn
111	roster	roster/roster_model.mzn	roster/chicroster_dataset_2.dzn
112	roster	roster/roster_model.mzn	roster/chicroster_dataset_11.dzn
113	roster	roster/roster_model.mzn	roster/chicroster_dataset_9.dzn
114	roster	roster/roster_model.mzn	roster/chicroster_dataset_large_19.dzn
115	roster	roster/roster_model.mzn	roster/chicroster_dataset_6.dzn
116	roster	roster/roster_model.mzn	roster/chicroster_dataset_large_16.dzn
117	roster	roster/roster_model.mzn	roster/chicroster_dataset_8.dzn
118	roster	roster/roster_model.mzn	roster/chicroster_dataset_12.dzn
119	nside	nside/full.mzn	nside/HARD_200_50.dzn
120	nside	nside/full.mzn	nside/MEDIUM_1000_100.dzn
121	nside	nside/full.mzn	nside/EASY_200_50.dzn
122	nside	nside/full.mzn	nside/MEDIUM_200_50.dzn
123	nside	nside/full.mzn	nside/HARD_2000_500.dzn
124	nonogram	nonogram/non.mzn	nonogram/non_fast_5.dzn
125	nonogram	nonogram/non.mzn	nonogram/non_med_2.dzn
126	nonogram	nonogram/non.mzn	nonogram/non_awful_3.dzn
127	nonogram	nonogram/non.mzn	nonogram/non_micro.dzn
128	nonogram	nonogram/non.mzn	nonogram/dom_08.dzn
129	nonogram	nonogram/non.mzn	nonogram/dom_14.dzn
130	nonogram	nonogram/non.mzn	nonogram/non_fast_10.dzn
131	nonogram	nonogram/non.mzn	nonogram/non_awful_5.dzn
132	nonogram	nonogram/non.mzn	nonogram/non_fast_9.dzn
133	nonogram	nonogram/non.mzn	nonogram/dom_10.dzn
134	nonogram	nonogram/non.mzn	nonogram/dom_12.dzn
135	nonogram	nonogram/non.mzn	nonogram/dom_06.dzn
136	nonogram	nonogram/non.mzn	nonogram/non_fast_1.dzn
137	nonogram	nonogram/non.mzn	nonogram/non_fast_11.dzn
138	nonogram	nonogram/non.mzn	nonogram/non_awful_2.dzn
139	nonogram	nonogram/non.mzn	nonogram/non_fast_7.dzn
140	nonogram	nonogram/non.mzn	nonogram/non_fast_3.dzn
141	nonogram	nonogram/non.mzn	nonogram/non_awful_1.dzn
142	nonogram	nonogram/non.mzn	nonogram/non_fast_2.dzn
143	nonogram	nonogram/non.mzn	nonogram/non_fast_6.dzn
144	nonogram	nonogram/non.mzn	nonogram/non_med_3.dzn
145	nonogram	nonogram/non.mzn	nonogram/non_fast_4.dzn
146	nonogram	nonogram/non.mzn	nonogram/non_fast_8.dzn
147	nonogram	nonogram/non.mzn	nonogram/non_med_1.dzn
148	nonogram	nonogram/non.mzn	nonogram/non_med_4.dzn
149	nonogram	nonogram/non.mzn	nonogram/non_awful_4.dzn
150	kidney-exchange	kidney-exchange/ccmcp.mzn	kidney-exchange/3_20_0.25_5.dzn
151	kidney-exchange	kidney-exchange/ccmcp.mzn	kidney-exchange/3_20_0.40_3.dzn
152	kidney-exchange	kidney-exchange/ccmcp.mzn	kidney-exchange/3_20_0.30_5.dzn
153	kidney-exchange	kidney-exchange/ccmcp.mzn	kidney-exchange/3_20_0.25_2.dzn
154	kidney-exchange	kidney-exchange/ccmcp.mzn	kidney-exchange/3_25_0.20_3.dzn
155	median-string	median-string/median_string_dp.mzn	median-string/p2_2_20-2.dzn
156	median-string	median-string/median_string_dp.mzn	median-string/p1_15_20-1.dzn
157	median-string	median-string/median_string_dp.mzn	median-string/p2_10_8-3.dzn
158	median-string	median-string/median_string_dp.mzn	median-string/p2_10_8-0.dzn
159	median-string	median-string/median_string_dp.mzn	median-string/p2_4_20-0.dzn
160	road-cons	road-cons/road_naive.mzn	road-cons/road_33.dzn
161	road-cons	road-cons/road_naive.mzn	road-cons/road_26.dzn
162	road-cons	road-cons/road_naive.mzn	road-cons/road_25.dzn
163	road-cons	road-cons/road_naive.mzn	road-cons/road_18.dzn
164	road-cons	road-cons/road_naive.mzn	road-cons/road_17.dzn
165	groupsplitter	groupsplitter/group.mzn	groupsplitter/u7g2pref1.dzn
166	groupsplitter	groupsplitter/group.mzn	groupsplitter/u12g2pref1.dzn
167	groupsplitter	groupsplitter/group.mzn	groupsplitter/u6g1pref1.dzn
168	groupsplitter	groupsplitter/group.mzn	groupsplitter/u9g1pref1.dzn
169	groupsplitter	groupsplitter/group.mzn	groupsplitter/u15g5pref0.dzn
170	steelmillslab	steelmillslab/steelmillslab.mzn	steelmillslab/bench_20_15.dzn
171	steelmillslab	steelmillslab/steelmillslab.mzn	steelmillslab/bench_2_19.dzn
172	steelmillslab	steelmillslab/steelmillslab.mzn	steelmillslab/bench_17_7.dzn
173	steelmillslab	steelmillslab/steelmillslab.mzn	steelmillslab/bench_20_8.dzn
174	steelmillslab	steelmillslab/steelmillslab.mzn	steelmillslab/bench_19_6.dzn