bytecode-benchmarks/memcmp.csv

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