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