bytecode-benchmarks/timecmp.csv

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