Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
bytecode-benchmarks timecmp.csv
7.2 kB · 149 lines
at develop
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150problem,data_file,"MiniZinc 2.5.5","Prototype Implementation"freepizza,freepizza/pizza39.dzn,1441,222freepizza,freepizza/pizza78.dzn,1565,246freepizza,freepizza/pizza27.dzn,1260,192freepizza,freepizza/pizza6.dzn,040,001freepizza,freepizza/pizza45.dzn,767,111stack-cuttingstock,stack-cuttingstock/d14.dzn,057,003stack-cuttingstock,stack-cuttingstock/d3.dzn,042,001stack-cuttingstock,stack-cuttingstock/d8.dzn,064,004stack-cuttingstock,stack-cuttingstock/d5.dzn,056,003stack-cuttingstock,stack-cuttingstock/d7.dzn,056,003depot-placement,depot-placement/ts225_5.dzn,039,001depot-placement,depot-placement/u159_4.dzn,038,001depot-placement,depot-placement/att48_5.dzn,039,001depot-placement,depot-placement/att48_6.dzn,040,001depot-placement,depot-placement/ulysses22_5.dzn,039,001depot-placement,depot-placement/ulysses16_4.dzn,038,001depot-placement,depot-placement/att48_4.dzn,038,001depot-placement,depot-placement/ulysses16_6.dzn,041,001depot-placement,depot-placement/st70_6.dzn,041,001depot-placement,depot-placement/a280_5.dzn,039,001depot-placement,depot-placement/rat99_6.dzn,040,001depot-placement,depot-placement/ts225_4.dzn,038,001depot-placement,depot-placement/st70_5.dzn,039,001depot-placement,depot-placement/a280_4.dzn,038,001depot-placement,depot-placement/rat99_4.dzn,038,001depot-placement,depot-placement/st70_4.dzn,038,001depot-placement,depot-placement/u159_6.dzn,040,001depot-placement,depot-placement/rat99_5.dzn,039,001depot-placement,depot-placement/a280_6.dzn,040,001depot-placement,depot-placement/ulysses22_4.dzn,038,001depot-placement,depot-placement/u159_5.dzn,038,001depot-placement,depot-placement/ulysses16_5.dzn,039,001depot-placement,depot-placement/ts225_6.dzn,040,001depot-placement,depot-placement/ulysses22_6.dzn,040,001triangular,triangular/n10.dzn,046,003triangular,triangular/n23.dzn,461,076triangular,triangular/n37.dzn,3259,625triangular,triangular/n29.dzn,1214,207triangular,triangular/n17.dzn,151,020community-detection,community-detection/mexican.s26.k4.dzn,140,004community-detection,community-detection/dolphin.s62.k3.dzn,184,009community-detection,community-detection/Sampson.s10.k3.dzn,129,002community-detection,community-detection/Strike.s6.k5.dzn,131,002community-detection,community-detection/Strike.s2.k8.dzn,134,002accap,accap/accap_instance9.dzn,5893,970accap,accap/accap_instance6.dzn,193,026accap,accap/accap_instance3.dzn,049,002accap,accap/accap_instance8.dzn,5589,949accap,accap/accap_instance5.dzn,095,008amaze,amaze/2012-07-13.dzn,080,006amaze,amaze/2012-07-27.dzn,086,006amaze,amaze/2012-03-19.dzn,065,004amaze,amaze/2012-03-29.dzn,064,004amaze,amaze/mod2012-03-29.dzn,087,007rcpsp-wet,rcpsp-wet/j60_19_6-wet.dzn,504,060rcpsp-wet,rcpsp-wet/j30_35_9-wet.dzn,221,022rcpsp-wet,rcpsp-wet/j30_43_10-wet.dzn,425,051rcpsp-wet,rcpsp-wet/j90_19_7-wet.dzn,734,089rcpsp-wet,rcpsp-wet/j30_27_5-wet.dzn,365,042rcpsp-wet,rcpsp-wet/j30_4_8-wet.dzn,210,021rcpsp-wet,rcpsp-wet/j90_48_4-wet.dzn,2298,348rcpsp-wet,rcpsp-wet/j30_44_8-wet.dzn,366,043rcpsp-wet,rcpsp-wet/j60_36_8-wet.dzn,498,060rcpsp-wet,rcpsp-wet/j60_28_3-wet.dzn,985,132rcpsp-wet,rcpsp-wet/j30_1_3-wet.dzn,190,018rcpsp-wet,rcpsp-wet/j90_10_10-wet.dzn,1554,221multi-knapsack,multi-knapsack/mknap2-2.dzn,093,006multi-knapsack,multi-knapsack/mknap2-10.dzn,040,001multi-knapsack,multi-knapsack/mknap1-5.dzn,039,001multi-knapsack,multi-knapsack/mknap2-1.dzn,093,006multi-knapsack,multi-knapsack/mknap2-40.dzn,047,002city-position,city-position/city-7-04.dzn,035,000city-position,city-position/city-5-05.dzn,034,000city-position,city-position/city-5-08.dzn,035,000city-position,city-position/city-4-04.dzn,033,000city-position,city-position/city-5-06.dzn,034,000city-position,city-position/city-8-06.dzn,037,001roster,roster/chicroster_dataset_1.dzn,132,002roster,roster/chicroster_dataset_14.dzn,208,008roster,roster/chicroster_dataset_large_15.dzn,209,009roster,roster/chicroster_dataset_17.dzn,209,009roster,roster/chicroster_dataset_large_18.dzn,220,010roster,roster/chicroster_dataset_large_13.dzn,206,008roster,roster/chicroster_dataset_4.dzn,149,003roster,roster/chicroster_dataset_7.dzn,159,004roster,roster/chicroster_dataset_3.dzn,146,003roster,roster/chicroster_dataset_5.dzn,152,004roster,roster/chicroster_dataset_10.dzn,188,007roster,roster/chicroster_dataset_large_20.dzn,1203,092roster,roster/chicroster_dataset_2.dzn,143,003roster,roster/chicroster_dataset_11.dzn,198,007roster,roster/chicroster_dataset_9.dzn,180,006roster,roster/chicroster_dataset_large_19.dzn,234,011roster,roster/chicroster_dataset_6.dzn,157,004roster,roster/chicroster_dataset_large_16.dzn,212,009roster,roster/chicroster_dataset_8.dzn,158,004roster,roster/chicroster_dataset_12.dzn,202,008nside,nside/HARD_200_50.dzn,6343,882nside,nside/MEDIUM_1000_100.dzn,12326,1855nside,nside/EASY_200_50.dzn,4794,740nside,nside/MEDIUM_200_50.dzn,5916,852nside,nside/HARD_2000_500.dzn,53934,7083nonogram,nonogram/non_fast_5.dzn,1212,151nonogram,nonogram/non_med_2.dzn,1069,128nonogram,nonogram/non_awful_3.dzn,835,095nonogram,nonogram/non_micro.dzn,139,001nonogram,nonogram/dom_08.dzn,220,009nonogram,nonogram/dom_14.dzn,362,026nonogram,nonogram/non_fast_10.dzn,1207,146nonogram,nonogram/non_awful_5.dzn,894,108nonogram,nonogram/non_fast_9.dzn,1205,146nonogram,nonogram/dom_10.dzn,246,013nonogram,nonogram/dom_12.dzn,296,019nonogram,nonogram/dom_06.dzn,168,005nonogram,nonogram/non_fast_1.dzn,834,094nonogram,nonogram/non_fast_11.dzn,994,122nonogram,nonogram/non_awful_2.dzn,839,093nonogram,nonogram/non_fast_7.dzn,1044,123nonogram,nonogram/non_fast_3.dzn,830,093nonogram,nonogram/non_awful_1.dzn,992,121nonogram,nonogram/non_fast_2.dzn,835,094nonogram,nonogram/non_fast_6.dzn,1048,125nonogram,nonogram/non_med_3.dzn,1242,154nonogram,nonogram/non_fast_4.dzn,720,077nonogram,nonogram/non_fast_8.dzn,984,123nonogram,nonogram/non_med_1.dzn,831,093nonogram,nonogram/non_med_4.dzn,1210,150nonogram,nonogram/non_awful_4.dzn,1233,153kidney-exchange,kidney-exchange/3_20_0.25_5.dzn,061,003kidney-exchange,kidney-exchange/3_20_0.40_3.dzn,058,003kidney-exchange,kidney-exchange/3_20_0.30_5.dzn,058,003kidney-exchange,kidney-exchange/3_20_0.25_2.dzn,057,003kidney-exchange,kidney-exchange/3_25_0.20_3.dzn,067,004road-cons,road-cons/road_33.dzn,36319,4694road-cons,road-cons/road_26.dzn,13118,1602road-cons,road-cons/road_25.dzn,11219,1349road-cons,road-cons/road_18.dzn,2699,297road-cons,road-cons/road_17.dzn,2123,247groupsplitter,groupsplitter/u7g2pref1.dzn,6516,2386groupsplitter,groupsplitter/u12g2pref1.dzn,13323,5382groupsplitter,groupsplitter/u6g1pref1.dzn,5314,1924groupsplitter,groupsplitter/u9g1pref1.dzn,9287,3425groupsplitter,groupsplitter/u15g5pref0.dzn,20186,7624steelmillslab,steelmillslab/bench_20_15.dzn,1355,199steelmillslab,steelmillslab/bench_2_19.dzn,1357,198steelmillslab,steelmillslab/bench_17_7.dzn,1359,198steelmillslab,steelmillslab/bench_20_8.dzn,1350,198steelmillslab,steelmillslab/bench_19_6.dzn,1348,198