A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
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"