A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1"problem","data_file","MiniZinc 2.5.5","Prototype Implementation"
2"freepizza","freepizza/pizza39.dzn","105504","81280"
3"freepizza","freepizza/pizza78.dzn","110324","89532"
4"freepizza","freepizza/pizza27.dzn","92400","70052"
5"freepizza","freepizza/pizza6.dzn","16000","9660"
6"freepizza","freepizza/pizza45.dzn","63604","47312"
7"stack-cuttingstock","stack-cuttingstock/d14.dzn","17872","11200"
8"stack-cuttingstock","stack-cuttingstock/d3.dzn","15996","9580"
9"stack-cuttingstock","stack-cuttingstock/d8.dzn","18652","12064"
10"stack-cuttingstock","stack-cuttingstock/d5.dzn","17940","11052"
11"stack-cuttingstock","stack-cuttingstock/d7.dzn","17916","11232"
12"depot-placement","depot-placement/ts225_5.dzn","15888","9528"
13"depot-placement","depot-placement/u159_4.dzn","15584","9460"
14"depot-placement","depot-placement/att48_5.dzn","15728","9796"
15"depot-placement","depot-placement/att48_6.dzn","15828","9812"
16"depot-placement","depot-placement/ulysses22_5.dzn","15924","9660"
17"depot-placement","depot-placement/ulysses16_4.dzn","15556","9516"
18"depot-placement","depot-placement/att48_4.dzn","15636","9640"
19"depot-placement","depot-placement/ulysses16_6.dzn","15876","9928"
20"depot-placement","depot-placement/st70_6.dzn","15972","9932"
21"depot-placement","depot-placement/a280_5.dzn","15708","9600"
22"depot-placement","depot-placement/rat99_6.dzn","15840","9924"
23"depot-placement","depot-placement/ts225_4.dzn","15708","9584"
24"depot-placement","depot-placement/st70_5.dzn","15964","9764"
25"depot-placement","depot-placement/a280_4.dzn","15624","9644"
26"depot-placement","depot-placement/rat99_4.dzn","15788","9412"
27"depot-placement","depot-placement/st70_4.dzn","15548","9540"
28"depot-placement","depot-placement/u159_6.dzn","15872","10000"
29"depot-placement","depot-placement/rat99_5.dzn","15864","9736"
30"depot-placement","depot-placement/a280_6.dzn","16084","9748"
31"depot-placement","depot-placement/ulysses22_4.dzn","15624","9456"
32"depot-placement","depot-placement/u159_5.dzn","15908","9848"
33"depot-placement","depot-placement/ulysses16_5.dzn","15616","9728"
34"depot-placement","depot-placement/ts225_6.dzn","15892","9888"
35"depot-placement","depot-placement/ulysses22_6.dzn","16064","9928"
36"triangular","triangular/n10.dzn","16272","9828"
37"triangular","triangular/n23.dzn","37848","31368"
38"triangular","triangular/n37.dzn","163676","150216"
39"triangular","triangular/n29.dzn","73840","63816"
40"triangular","triangular/n17.dzn","22748","15932"
41"community-detection","community-detection/mexican.s26.k4.dzn","22640","10660"
42"community-detection","community-detection/dolphin.s62.k3.dzn","24752","12356"
43"community-detection","community-detection/Sampson.s10.k3.dzn","21140","10068"
44"community-detection","community-detection/Strike.s6.k5.dzn","21232","10204"
45"community-detection","community-detection/Strike.s2.k8.dzn","21804","10312"
46"accap","accap/accap_instance9.dzn","181420","199876"
47"accap","accap/accap_instance6.dzn","23380","16652"
48"accap","accap/accap_instance3.dzn","16792","9772"
49"accap","accap/accap_instance8.dzn","165156","194736"
50"accap","accap/accap_instance5.dzn","19036","11416"
51"amaze","amaze/2012-07-13.dzn","20836","13116"
52"amaze","amaze/2012-07-27.dzn","20456","13364"
53"amaze","amaze/2012-03-19.dzn","18780","11760"
54"amaze","amaze/2012-03-29.dzn","18804","11672"
55"amaze","amaze/mod2012-03-29.dzn","20708","13292"
56"rcpsp-wet","rcpsp-wet/j60_19_6-wet.dzn","55760","54748"
57"rcpsp-wet","rcpsp-wet/j30_35_9-wet.dzn","32128","28868"
58"rcpsp-wet","rcpsp-wet/j30_43_10-wet.dzn","41216","43464"
59"rcpsp-wet","rcpsp-wet/j90_19_7-wet.dzn","70944","75296"
60"rcpsp-wet","rcpsp-wet/j30_27_5-wet.dzn","37944","36804"
61"rcpsp-wet","rcpsp-wet/j30_4_8-wet.dzn","31624","27408"
62"rcpsp-wet","rcpsp-wet/j90_48_4-wet.dzn","135920","193292"
63"rcpsp-wet","rcpsp-wet/j30_44_8-wet.dzn","38104","36776"
64"rcpsp-wet","rcpsp-wet/j60_36_8-wet.dzn","55364","54432"
65"rcpsp-wet","rcpsp-wet/j60_28_3-wet.dzn","74300","89612"
66"rcpsp-wet","rcpsp-wet/j30_1_3-wet.dzn","29508","25012"
67"rcpsp-wet","rcpsp-wet/j90_10_10-wet.dzn","108828","134796"
68"multi-knapsack","multi-knapsack/mknap2-2.dzn","19356","10412"
69"multi-knapsack","multi-knapsack/mknap2-10.dzn","15748","9540"
70"multi-knapsack","multi-knapsack/mknap1-5.dzn","15668","9304"
71"multi-knapsack","multi-knapsack/mknap2-1.dzn","19324","10484"
72"multi-knapsack","multi-knapsack/mknap2-40.dzn","16552","9528"
73"city-position","city-position/city-7-04.dzn","15444","9316"
74"city-position","city-position/city-5-05.dzn","15320","9164"
75"city-position","city-position/city-5-08.dzn","15276","9236"
76"city-position","city-position/city-4-04.dzn","15128","9164"
77"city-position","city-position/city-5-06.dzn","15244","9244"
78"city-position","city-position/city-8-06.dzn","15684","9512"
79"roster","roster/chicroster_dataset_1.dzn","21296","10328"
80"roster","roster/chicroster_dataset_14.dzn","27164","15332"
81"roster","roster/chicroster_dataset_large_15.dzn","27592","15848"
82"roster","roster/chicroster_dataset_17.dzn","27436","15912"
83"roster","roster/chicroster_dataset_large_18.dzn","28424","16016"
84"roster","roster/chicroster_dataset_large_13.dzn","27104","15300"
85"roster","roster/chicroster_dataset_4.dzn","22836","11572"
86"roster","roster/chicroster_dataset_7.dzn","24076","12432"
87"roster","roster/chicroster_dataset_3.dzn","23164","11484"
88"roster","roster/chicroster_dataset_5.dzn","23404","11696"
89"roster","roster/chicroster_dataset_10.dzn","25592","13920"
90"roster","roster/chicroster_dataset_large_20.dzn","97820","76184"
91"roster","roster/chicroster_dataset_2.dzn","22160","11060"
92"roster","roster/chicroster_dataset_11.dzn","26300","14620"
93"roster","roster/chicroster_dataset_9.dzn","25088","13468"
94"roster","roster/chicroster_dataset_large_19.dzn","29668","17152"
95"roster","roster/chicroster_dataset_6.dzn","24116","12368"
96"roster","roster/chicroster_dataset_large_16.dzn","27480","15788"
97"roster","roster/chicroster_dataset_8.dzn","24204","12400"
98"roster","roster/chicroster_dataset_12.dzn","26644","14808"
99"nside","nside/HARD_200_50.dzn","375920","424548"
100"nside","nside/MEDIUM_1000_100.dzn","680396","818804"
101"nside","nside/EASY_200_50.dzn","307960","377272"
102"nside","nside/MEDIUM_200_50.dzn","345928","408188"
103"nside","nside/HARD_2000_500.dzn","2704296","2936828"
104"nonogram","nonogram/non_fast_5.dzn","67676","66900"
105"nonogram","nonogram/non_med_2.dzn","62884","58340"
106"nonogram","nonogram/non_awful_3.dzn","56368","47620"
107"nonogram","nonogram/non_micro.dzn","20148","9424"
108"nonogram","nonogram/dom_08.dzn","24280","13468"
109"nonogram","nonogram/dom_14.dzn","32116","22168"
110"nonogram","nonogram/non_fast_10.dzn","68080","66428"
111"nonogram","nonogram/non_awful_5.dzn","58428","50356"
112"nonogram","nonogram/non_fast_9.dzn","67516","66348"
113"nonogram","nonogram/dom_10.dzn","26236","15748"
114"nonogram","nonogram/dom_12.dzn","30060","18740"
115"nonogram","nonogram/dom_06.dzn","22732","11708"
116"nonogram","nonogram/non_fast_1.dzn","56552","47868"
117"nonogram","nonogram/non_fast_11.dzn","63616","57188"
118"nonogram","nonogram/non_awful_2.dzn","56336","47344"
119"nonogram","nonogram/non_fast_7.dzn","62284","57128"
120"nonogram","nonogram/non_fast_3.dzn","53624","47332"
121"nonogram","nonogram/non_awful_1.dzn","63168","56560"
122"nonogram","nonogram/non_fast_2.dzn","56524","47540"
123"nonogram","nonogram/non_fast_6.dzn","62468","57840"
124"nonogram","nonogram/non_med_3.dzn","68564","67620"
125"nonogram","nonogram/non_fast_4.dzn","47912","41560"
126"nonogram","nonogram/non_fast_8.dzn","63464","57476"
127"nonogram","nonogram/non_med_1.dzn","55304","47028"
128"nonogram","nonogram/non_med_4.dzn","67732","66128"
129"nonogram","nonogram/non_awful_4.dzn","69076","68456"
130"kidney-exchange","kidney-exchange/3_20_0.25_5.dzn","17028","10660"
131"kidney-exchange","kidney-exchange/3_20_0.40_3.dzn","17112","10624"
132"kidney-exchange","kidney-exchange/3_20_0.30_5.dzn","17272","10680"
133"kidney-exchange","kidney-exchange/3_20_0.25_2.dzn","17204","10712"
134"kidney-exchange","kidney-exchange/3_25_0.20_3.dzn","18052","11444"
135"road-cons","road-cons/road_33.dzn","1858592","1825336"
136"road-cons","road-cons/road_26.dzn","714024","715296"
137"road-cons","road-cons/road_25.dzn","606056","612488"
138"road-cons","road-cons/road_18.dzn","174152","162020"
139"road-cons","road-cons/road_17.dzn","135512","127752"
140"groupsplitter","groupsplitter/u7g2pref1.dzn","94004","153096"
141"groupsplitter","groupsplitter/u12g2pref1.dzn","123900","331892"
142"groupsplitter","groupsplitter/u6g1pref1.dzn","86896","126568"
143"groupsplitter","groupsplitter/u9g1pref1.dzn","102480","217708"
144"groupsplitter","groupsplitter/u15g5pref0.dzn","140880","471680"
145"steelmillslab","steelmillslab/bench_20_15.dzn","79832","74868"
146"steelmillslab","steelmillslab/bench_2_19.dzn","79796","74492"
147"steelmillslab","steelmillslab/bench_17_7.dzn","79960","74752"
148"steelmillslab","steelmillslab/bench_20_8.dzn","79764","74736"
149"steelmillslab","steelmillslab/bench_19_6.dzn","79848","74688"