A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1problem,data_file,"MiniZinc 2.5.5","Prototype Implementation"
2freepizza,freepizza/pizza39.dzn,1441,222
3freepizza,freepizza/pizza78.dzn,1565,246
4freepizza,freepizza/pizza27.dzn,1260,192
5freepizza,freepizza/pizza6.dzn,040,001
6freepizza,freepizza/pizza45.dzn,767,111
7stack-cuttingstock,stack-cuttingstock/d14.dzn,057,003
8stack-cuttingstock,stack-cuttingstock/d3.dzn,042,001
9stack-cuttingstock,stack-cuttingstock/d8.dzn,064,004
10stack-cuttingstock,stack-cuttingstock/d5.dzn,056,003
11stack-cuttingstock,stack-cuttingstock/d7.dzn,056,003
12depot-placement,depot-placement/ts225_5.dzn,039,001
13depot-placement,depot-placement/u159_4.dzn,038,001
14depot-placement,depot-placement/att48_5.dzn,039,001
15depot-placement,depot-placement/att48_6.dzn,040,001
16depot-placement,depot-placement/ulysses22_5.dzn,039,001
17depot-placement,depot-placement/ulysses16_4.dzn,038,001
18depot-placement,depot-placement/att48_4.dzn,038,001
19depot-placement,depot-placement/ulysses16_6.dzn,041,001
20depot-placement,depot-placement/st70_6.dzn,041,001
21depot-placement,depot-placement/a280_5.dzn,039,001
22depot-placement,depot-placement/rat99_6.dzn,040,001
23depot-placement,depot-placement/ts225_4.dzn,038,001
24depot-placement,depot-placement/st70_5.dzn,039,001
25depot-placement,depot-placement/a280_4.dzn,038,001
26depot-placement,depot-placement/rat99_4.dzn,038,001
27depot-placement,depot-placement/st70_4.dzn,038,001
28depot-placement,depot-placement/u159_6.dzn,040,001
29depot-placement,depot-placement/rat99_5.dzn,039,001
30depot-placement,depot-placement/a280_6.dzn,040,001
31depot-placement,depot-placement/ulysses22_4.dzn,038,001
32depot-placement,depot-placement/u159_5.dzn,038,001
33depot-placement,depot-placement/ulysses16_5.dzn,039,001
34depot-placement,depot-placement/ts225_6.dzn,040,001
35depot-placement,depot-placement/ulysses22_6.dzn,040,001
36triangular,triangular/n10.dzn,046,003
37triangular,triangular/n23.dzn,461,076
38triangular,triangular/n37.dzn,3259,625
39triangular,triangular/n29.dzn,1214,207
40triangular,triangular/n17.dzn,151,020
41community-detection,community-detection/mexican.s26.k4.dzn,140,004
42community-detection,community-detection/dolphin.s62.k3.dzn,184,009
43community-detection,community-detection/Sampson.s10.k3.dzn,129,002
44community-detection,community-detection/Strike.s6.k5.dzn,131,002
45community-detection,community-detection/Strike.s2.k8.dzn,134,002
46accap,accap/accap_instance9.dzn,5893,970
47accap,accap/accap_instance6.dzn,193,026
48accap,accap/accap_instance3.dzn,049,002
49accap,accap/accap_instance8.dzn,5589,949
50accap,accap/accap_instance5.dzn,095,008
51amaze,amaze/2012-07-13.dzn,080,006
52amaze,amaze/2012-07-27.dzn,086,006
53amaze,amaze/2012-03-19.dzn,065,004
54amaze,amaze/2012-03-29.dzn,064,004
55amaze,amaze/mod2012-03-29.dzn,087,007
56rcpsp-wet,rcpsp-wet/j60_19_6-wet.dzn,504,060
57rcpsp-wet,rcpsp-wet/j30_35_9-wet.dzn,221,022
58rcpsp-wet,rcpsp-wet/j30_43_10-wet.dzn,425,051
59rcpsp-wet,rcpsp-wet/j90_19_7-wet.dzn,734,089
60rcpsp-wet,rcpsp-wet/j30_27_5-wet.dzn,365,042
61rcpsp-wet,rcpsp-wet/j30_4_8-wet.dzn,210,021
62rcpsp-wet,rcpsp-wet/j90_48_4-wet.dzn,2298,348
63rcpsp-wet,rcpsp-wet/j30_44_8-wet.dzn,366,043
64rcpsp-wet,rcpsp-wet/j60_36_8-wet.dzn,498,060
65rcpsp-wet,rcpsp-wet/j60_28_3-wet.dzn,985,132
66rcpsp-wet,rcpsp-wet/j30_1_3-wet.dzn,190,018
67rcpsp-wet,rcpsp-wet/j90_10_10-wet.dzn,1554,221
68multi-knapsack,multi-knapsack/mknap2-2.dzn,093,006
69multi-knapsack,multi-knapsack/mknap2-10.dzn,040,001
70multi-knapsack,multi-knapsack/mknap1-5.dzn,039,001
71multi-knapsack,multi-knapsack/mknap2-1.dzn,093,006
72multi-knapsack,multi-knapsack/mknap2-40.dzn,047,002
73city-position,city-position/city-7-04.dzn,035,000
74city-position,city-position/city-5-05.dzn,034,000
75city-position,city-position/city-5-08.dzn,035,000
76city-position,city-position/city-4-04.dzn,033,000
77city-position,city-position/city-5-06.dzn,034,000
78city-position,city-position/city-8-06.dzn,037,001
79roster,roster/chicroster_dataset_1.dzn,132,002
80roster,roster/chicroster_dataset_14.dzn,208,008
81roster,roster/chicroster_dataset_large_15.dzn,209,009
82roster,roster/chicroster_dataset_17.dzn,209,009
83roster,roster/chicroster_dataset_large_18.dzn,220,010
84roster,roster/chicroster_dataset_large_13.dzn,206,008
85roster,roster/chicroster_dataset_4.dzn,149,003
86roster,roster/chicroster_dataset_7.dzn,159,004
87roster,roster/chicroster_dataset_3.dzn,146,003
88roster,roster/chicroster_dataset_5.dzn,152,004
89roster,roster/chicroster_dataset_10.dzn,188,007
90roster,roster/chicroster_dataset_large_20.dzn,1203,092
91roster,roster/chicroster_dataset_2.dzn,143,003
92roster,roster/chicroster_dataset_11.dzn,198,007
93roster,roster/chicroster_dataset_9.dzn,180,006
94roster,roster/chicroster_dataset_large_19.dzn,234,011
95roster,roster/chicroster_dataset_6.dzn,157,004
96roster,roster/chicroster_dataset_large_16.dzn,212,009
97roster,roster/chicroster_dataset_8.dzn,158,004
98roster,roster/chicroster_dataset_12.dzn,202,008
99nside,nside/HARD_200_50.dzn,6343,882
100nside,nside/MEDIUM_1000_100.dzn,12326,1855
101nside,nside/EASY_200_50.dzn,4794,740
102nside,nside/MEDIUM_200_50.dzn,5916,852
103nside,nside/HARD_2000_500.dzn,53934,7083
104nonogram,nonogram/non_fast_5.dzn,1212,151
105nonogram,nonogram/non_med_2.dzn,1069,128
106nonogram,nonogram/non_awful_3.dzn,835,095
107nonogram,nonogram/non_micro.dzn,139,001
108nonogram,nonogram/dom_08.dzn,220,009
109nonogram,nonogram/dom_14.dzn,362,026
110nonogram,nonogram/non_fast_10.dzn,1207,146
111nonogram,nonogram/non_awful_5.dzn,894,108
112nonogram,nonogram/non_fast_9.dzn,1205,146
113nonogram,nonogram/dom_10.dzn,246,013
114nonogram,nonogram/dom_12.dzn,296,019
115nonogram,nonogram/dom_06.dzn,168,005
116nonogram,nonogram/non_fast_1.dzn,834,094
117nonogram,nonogram/non_fast_11.dzn,994,122
118nonogram,nonogram/non_awful_2.dzn,839,093
119nonogram,nonogram/non_fast_7.dzn,1044,123
120nonogram,nonogram/non_fast_3.dzn,830,093
121nonogram,nonogram/non_awful_1.dzn,992,121
122nonogram,nonogram/non_fast_2.dzn,835,094
123nonogram,nonogram/non_fast_6.dzn,1048,125
124nonogram,nonogram/non_med_3.dzn,1242,154
125nonogram,nonogram/non_fast_4.dzn,720,077
126nonogram,nonogram/non_fast_8.dzn,984,123
127nonogram,nonogram/non_med_1.dzn,831,093
128nonogram,nonogram/non_med_4.dzn,1210,150
129nonogram,nonogram/non_awful_4.dzn,1233,153
130kidney-exchange,kidney-exchange/3_20_0.25_5.dzn,061,003
131kidney-exchange,kidney-exchange/3_20_0.40_3.dzn,058,003
132kidney-exchange,kidney-exchange/3_20_0.30_5.dzn,058,003
133kidney-exchange,kidney-exchange/3_20_0.25_2.dzn,057,003
134kidney-exchange,kidney-exchange/3_25_0.20_3.dzn,067,004
135road-cons,road-cons/road_33.dzn,36319,4694
136road-cons,road-cons/road_26.dzn,13118,1602
137road-cons,road-cons/road_25.dzn,11219,1349
138road-cons,road-cons/road_18.dzn,2699,297
139road-cons,road-cons/road_17.dzn,2123,247
140groupsplitter,groupsplitter/u7g2pref1.dzn,6516,2386
141groupsplitter,groupsplitter/u12g2pref1.dzn,13323,5382
142groupsplitter,groupsplitter/u6g1pref1.dzn,5314,1924
143groupsplitter,groupsplitter/u9g1pref1.dzn,9287,3425
144groupsplitter,groupsplitter/u15g5pref0.dzn,20186,7624
145steelmillslab,steelmillslab/bench_20_15.dzn,1355,199
146steelmillslab,steelmillslab/bench_2_19.dzn,1357,198
147steelmillslab,steelmillslab/bench_17_7.dzn,1359,198
148steelmillslab,steelmillslab/bench_20_8.dzn,1350,198
149steelmillslab,steelmillslab/bench_19_6.dzn,1348,198