20 KiB
20 KiB
| 1 | problem | model | data_file |
|---|---|---|---|
| 2 | amaze | data/mznc2019/amaze/amaze3.mzn | data/mznc2019/amaze/2012-03-29.dzn |
| 3 | amaze | data/mznc2019/amaze/amaze3.mzn | data/mznc2019/amaze/2012-07-13.dzn |
| 4 | amaze | data/mznc2019/amaze/amaze3.mzn | data/mznc2019/amaze/mod2012-03-29.dzn |
| 5 | amaze | data/mznc2019/amaze/amaze3.mzn | data/mznc2019/amaze/2012-07-27.dzn |
| 6 | amaze | data/mznc2019/amaze/amaze3.mzn | data/mznc2019/amaze/2012-03-19.dzn |
| 7 | nside | data/mznc2019/nside/full.mzn | data/mznc2019/nside/MEDIUM_1000_100.dzn |
| 8 | nside | data/mznc2019/nside/full.mzn | data/mznc2019/nside/MEDIUM_200_50.dzn |
| 9 | nside | data/mznc2019/nside/full.mzn | data/mznc2019/nside/HARD_2000_500.dzn |
| 10 | nside | data/mznc2019/nside/full.mzn | data/mznc2019/nside/HARD_200_50.dzn |
| 11 | nside | data/mznc2019/nside/full.mzn | data/mznc2019/nside/EASY_200_50.dzn |
| 12 | rcpsp-wet-diverse | data/mznc2019/rcpsp-wet-diverse/rcpsp-wet-diverse.mzn | data/mznc2019/rcpsp-wet-diverse/j60_19_6-wet-diverse-3.dzn |
| 13 | rcpsp-wet-diverse | data/mznc2019/rcpsp-wet-diverse/rcpsp-wet-diverse.mzn | data/mznc2019/rcpsp-wet-diverse/j30_27_5-wet-diverse-3.dzn |
| 14 | rcpsp-wet-diverse | data/mznc2019/rcpsp-wet-diverse/rcpsp-wet-diverse.mzn | data/mznc2019/rcpsp-wet-diverse/j30_44_8-wet-diverse-4.dzn |
| 15 | rcpsp-wet-diverse | data/mznc2019/rcpsp-wet-diverse/rcpsp-wet-diverse.mzn | data/mznc2019/rcpsp-wet-diverse/j30_27_5-wet-diverse-4.dzn |
| 16 | rcpsp-wet-diverse | data/mznc2019/rcpsp-wet-diverse/rcpsp-wet-diverse.mzn | data/mznc2019/rcpsp-wet-diverse/j90_48_4-wet-diverse-3.dzn |
| 17 | triangular | data/mznc2019/triangular/triangular.mzn | data/mznc2019/triangular/n17.dzn |
| 18 | triangular | data/mznc2019/triangular/triangular.mzn | data/mznc2019/triangular/n29.dzn |
| 19 | triangular | data/mznc2019/triangular/triangular.mzn | data/mznc2019/triangular/n10.dzn |
| 20 | triangular | data/mznc2019/triangular/triangular.mzn | data/mznc2019/triangular/n37.dzn |
| 21 | triangular | data/mznc2019/triangular/triangular.mzn | data/mznc2019/triangular/n23.dzn |
| 22 | multi-knapsack | data/mznc2019/multi-knapsack/mknapsack_global.mzn | data/mznc2019/multi-knapsack/mknap1-5.dzn |
| 23 | multi-knapsack | data/mznc2019/multi-knapsack/mknapsack_global.mzn | data/mznc2019/multi-knapsack/mknap2-2.dzn |
| 24 | multi-knapsack | data/mznc2019/multi-knapsack/mknapsack_global.mzn | data/mznc2019/multi-knapsack/mknap2-1.dzn |
| 25 | multi-knapsack | data/mznc2019/multi-knapsack/mknapsack_global.mzn | data/mznc2019/multi-knapsack/mknap2-40.dzn |
| 26 | multi-knapsack | data/mznc2019/multi-knapsack/mknapsack_global.mzn | data/mznc2019/multi-knapsack/mknap2-10.dzn |
| 27 | ptv | data/mznc2019/ptv/pax_model.mzn | data/mznc2019/ptv/pax_period_20_3b.dzn |
| 28 | ptv | data/mznc2019/ptv/pax_model.mzn | data/mznc2019/ptv/pax_period_20_2b.dzn |
| 29 | ptv | data/mznc2019/ptv/pax_model.mzn | data/mznc2019/ptv/pax_period_20_5a.dzn |
| 30 | ptv | data/mznc2019/ptv/pax_model.mzn | data/mznc2019/ptv/pax_period_20_5b.dzn |
| 31 | ptv | data/mznc2019/ptv/pax_model.mzn | data/mznc2019/ptv/pax_period_20_1c.dzn |
| 32 | zephyrus | data/mznc2019/zephyrus/zephyrus.mzn | data/mznc2019/zephyrus/12__8__6__3.dzn |
| 33 | zephyrus | data/mznc2019/zephyrus/zephyrus.mzn | data/mznc2019/zephyrus/14__10__6__3.dzn |
| 34 | zephyrus | data/mznc2019/zephyrus/zephyrus.mzn | data/mznc2019/zephyrus/12__10__8__3.dzn |
| 35 | zephyrus | data/mznc2019/zephyrus/zephyrus.mzn | data/mznc2019/zephyrus/12__6__6__3.dzn |
| 36 | zephyrus | data/mznc2019/zephyrus/zephyrus.mzn | data/mznc2019/zephyrus/14__6__6__3.dzn |
| 37 | lot-sizing | data/mznc2019/lot-sizing/lot_sizing_cp.mzn | data/mznc2019/lot-sizing/pigment15a.psp.dzn |
| 38 | lot-sizing | data/mznc2019/lot-sizing/lot_sizing_cp.mzn | data/mznc2019/lot-sizing/pigment30b.psp.dzn |
| 39 | lot-sizing | data/mznc2019/lot-sizing/lot_sizing_cp.mzn | data/mznc2019/lot-sizing/pigment20a.psp.dzn |
| 40 | lot-sizing | data/mznc2019/lot-sizing/lot_sizing_cp.mzn | data/mznc2019/lot-sizing/pigment20c.psp.dzn |
| 41 | lot-sizing | data/mznc2019/lot-sizing/lot_sizing_cp.mzn | data/mznc2019/lot-sizing/pigment15d.psp.dzn |
| 42 | stochastic-vrp | data/mznc2019/stochastic-vrp/vrp-s5-v2-c6_vrp-v2-c6_det.mzn | |
| 43 | stochastic-vrp | data/mznc2019/stochastic-vrp/vrp-s2-v2-c9_vrp-v2-c9_det.mzn | |
| 44 | stochastic-vrp | data/mznc2019/stochastic-vrp/vrp-s2-v2-c8_vrp-v2-c8_det.mzn | |
| 45 | stochastic-vrp | data/mznc2019/stochastic-vrp/vrp-s4-v2-c3_svrp-v2-c3_det.mzn | |
| 46 | stochastic-vrp | data/mznc2019/stochastic-vrp/vrp-s3-v2-c7_vrp-v2-c7_det.mzn | |
| 47 | kidney-exchange | data/mznc2019/kidney-exchange/ccmcp.mzn | data/mznc2019/kidney-exchange/3_20_0.30_5.dzn |
| 48 | kidney-exchange | data/mznc2019/kidney-exchange/ccmcp.mzn | data/mznc2019/kidney-exchange/3_25_0.20_3.dzn |
| 49 | kidney-exchange | data/mznc2019/kidney-exchange/ccmcp.mzn | data/mznc2019/kidney-exchange/3_20_0.25_2.dzn |
| 50 | kidney-exchange | data/mznc2019/kidney-exchange/ccmcp.mzn | data/mznc2019/kidney-exchange/3_20_0.25_5.dzn |
| 51 | kidney-exchange | data/mznc2019/kidney-exchange/ccmcp.mzn | data/mznc2019/kidney-exchange/3_20_0.40_3.dzn |
| 52 | steelmillslab | data/mznc2019/steelmillslab/steelmillslab.mzn | data/mznc2019/steelmillslab/bench_19_6.dzn |
| 53 | steelmillslab | data/mznc2019/steelmillslab/steelmillslab.mzn | data/mznc2019/steelmillslab/bench_17_7.dzn |
| 54 | steelmillslab | data/mznc2019/steelmillslab/steelmillslab.mzn | data/mznc2019/steelmillslab/bench_20_8.dzn |
| 55 | steelmillslab | data/mznc2019/steelmillslab/steelmillslab.mzn | data/mznc2019/steelmillslab/bench_20_15.dzn |
| 56 | steelmillslab | data/mznc2019/steelmillslab/steelmillslab.mzn | data/mznc2019/steelmillslab/bench_2_19.dzn |
| 57 | median-string | data/mznc2019/median-string/median_string_dp.mzn | data/mznc2019/median-string/p1_15_20-1.dzn |
| 58 | median-string | data/mznc2019/median-string/median_string_dp.mzn | data/mznc2019/median-string/p2_2_20-2.dzn |
| 59 | median-string | data/mznc2019/median-string/median_string_dp.mzn | data/mznc2019/median-string/p2_10_8-0.dzn |
| 60 | median-string | data/mznc2019/median-string/median_string_dp.mzn | data/mznc2019/median-string/p2_4_20-0.dzn |
| 61 | median-string | data/mznc2019/median-string/median_string_dp.mzn | data/mznc2019/median-string/p2_10_8-3.dzn |
| 62 | hrc | data/mznc2019/hrc/hrc.mzn | data/mznc2019/hrc/exp1-1-5425.dzn |
| 63 | hrc | data/mznc2019/hrc/hrc.mzn | data/mznc2019/hrc/exp2-1-5600.dzn |
| 64 | hrc | data/mznc2019/hrc/hrc.mzn | data/mznc2019/hrc/exp2-1-5145.dzn |
| 65 | hrc | data/mznc2019/hrc/hrc.mzn | data/mznc2019/hrc/exp1-1-5110.dzn |
| 66 | hrc | data/mznc2019/hrc/hrc.mzn | data/mznc2019/hrc/exp1-1-5460.dzn |
| 67 | groupsplitter | data/mznc2019/groupsplitter/group.mzn | data/mznc2019/groupsplitter/u6g1pref1.dzn |
| 68 | groupsplitter | data/mznc2019/groupsplitter/group.mzn | data/mznc2019/groupsplitter/u7g2pref1.dzn |
| 69 | groupsplitter | data/mznc2019/groupsplitter/group.mzn | data/mznc2019/groupsplitter/u9g1pref1.dzn |
| 70 | groupsplitter | data/mznc2019/groupsplitter/group.mzn | data/mznc2019/groupsplitter/u12g2pref1.dzn |
| 71 | groupsplitter | data/mznc2019/groupsplitter/group.mzn | data/mznc2019/groupsplitter/u15g5pref0.dzn |
| 72 | fox-geese-corn | data/mznc2019/fox-geese-corn/foxgeesecorn.mzn | data/mznc2019/fox-geese-corn/foxgeesecorn_60.dzn |
| 73 | fox-geese-corn | data/mznc2019/fox-geese-corn/foxgeesecorn.mzn | data/mznc2019/fox-geese-corn/fgc_50_50_50_00.dzn |
| 74 | fox-geese-corn | data/mznc2019/fox-geese-corn/foxgeesecorn.mzn | data/mznc2019/fox-geese-corn/fgc_06_07_08_00.dzn |
| 75 | fox-geese-corn | data/mznc2019/fox-geese-corn/foxgeesecorn.mzn | data/mznc2019/fox-geese-corn/foxgeesecorn_13.dzn |
| 76 | fox-geese-corn | data/mznc2019/fox-geese-corn/foxgeesecorn.mzn | data/mznc2019/fox-geese-corn/foxgeesecorn_54.dzn |
| 77 | stack-cuttingstock | data/mznc2019/stack-cuttingstock/stack-cutstock-cumu.mzn | data/mznc2019/stack-cuttingstock/d8.dzn |
| 78 | stack-cuttingstock | data/mznc2019/stack-cuttingstock/stack-cutstock-cumu.mzn | data/mznc2019/stack-cuttingstock/d5.dzn |
| 79 | stack-cuttingstock | data/mznc2019/stack-cuttingstock/stack-cutstock-cumu.mzn | data/mznc2019/stack-cuttingstock/d14.dzn |
| 80 | stack-cuttingstock | data/mznc2019/stack-cuttingstock/stack-cutstock-cumu.mzn | data/mznc2019/stack-cuttingstock/d7.dzn |
| 81 | stack-cuttingstock | data/mznc2019/stack-cuttingstock/stack-cutstock-cumu.mzn | data/mznc2019/stack-cuttingstock/d3.dzn |
| 82 | rotating-workforce | data/mznc2019/rotating-workforce/rotating-workforce.mzn | data/mznc2019/rotating-workforce/Example789.dzn |
| 83 | rotating-workforce | data/mznc2019/rotating-workforce/rotating-workforce.mzn | data/mznc2019/rotating-workforce/Example1174.dzn |
| 84 | rotating-workforce | data/mznc2019/rotating-workforce/rotating-workforce.mzn | data/mznc2019/rotating-workforce/Example1370.dzn |
| 85 | rotating-workforce | data/mznc2019/rotating-workforce/rotating-workforce.mzn | data/mznc2019/rotating-workforce/Example1242.dzn |
| 86 | rotating-workforce | data/mznc2019/rotating-workforce/rotating-workforce.mzn | data/mznc2019/rotating-workforce/Example1337.dzn |
| 87 | code-generator | data/mznc2019/code-generator/unison.mzn | data/mznc2019/code-generator/mips_mesa.shapes.auxWireBox.dzn |
| 88 | code-generator | data/mznc2019/code-generator/unison.mzn | data/mznc2019/code-generator/mips_gcc.cfgrtl.update_br_prob_note.dzn |
| 89 | code-generator | data/mznc2019/code-generator/unison.mzn | data/mznc2019/code-generator/mips_gobmk.patterns.autohelperpat1114.dzn |
| 90 | code-generator | data/mznc2019/code-generator/unison.mzn | data/mznc2019/code-generator/mips_gobmk.helpers.dragon_weak.dzn |
| 91 | code-generator | data/mznc2019/code-generator/unison.mzn | data/mznc2019/code-generator/mips_gcc.function.use_return_register.dzn |
| 92 | liner-sf-repositioning | data/mznc2019/liner-sf-repositioning/tp7_4.mzn | |
| 93 | liner-sf-repositioning | data/mznc2019/liner-sf-repositioning/tp7_2.mzn | |
| 94 | liner-sf-repositioning | data/mznc2019/liner-sf-repositioning/fm3_0.mzn | |
| 95 | liner-sf-repositioning | data/mznc2019/liner-sf-repositioning/fm3_3.mzn | |
| 96 | liner-sf-repositioning | data/mznc2019/liner-sf-repositioning/tp7_12.mzn | |
| 97 | accap | data/mznc2019/accap/accap.mzn | data/mznc2019/accap/accap_instance6.dzn |
| 98 | accap | data/mznc2019/accap/accap.mzn | data/mznc2019/accap/accap_instance5.dzn |
| 99 | accap | data/mznc2019/accap/accap.mzn | data/mznc2019/accap/accap_instance3.dzn |
| 100 | accap | data/mznc2019/accap/accap.mzn | data/mznc2019/accap/accap_instance9.dzn |
| 101 | accap | data/mznc2019/accap/accap.mzn | data/mznc2019/accap/accap_instance8.dzn |
| 102 | sdn-chain | data/mznc2020/sdn-chain/model.mzn | data/mznc2020/sdn-chain/d26n600-2.dzn |
| 103 | sdn-chain | data/mznc2020/sdn-chain/model.mzn | data/mznc2020/sdn-chain/d10n780-2.dzn |
| 104 | sdn-chain | data/mznc2020/sdn-chain/model.mzn | data/mznc2020/sdn-chain/d24n600-3.dzn |
| 105 | sdn-chain | data/mznc2020/sdn-chain/model.mzn | data/mznc2020/sdn-chain/d10n780-1.dzn |
| 106 | sdn-chain | data/mznc2020/sdn-chain/model.mzn | data/mznc2020/sdn-chain/d30n600-5.dzn |
| 107 | lot-sizing | data/mznc2020/lot-sizing/lot_sizing_cp.mzn | data/mznc2020/lot-sizing/pigment30c.psp.dzn |
| 108 | lot-sizing | data/mznc2020/lot-sizing/lot_sizing_cp.mzn | data/mznc2020/lot-sizing/pigment20b.psp.dzn |
| 109 | lot-sizing | data/mznc2020/lot-sizing/lot_sizing_cp.mzn | data/mznc2020/lot-sizing/pigment15b.psp.dzn |
| 110 | lot-sizing | data/mznc2020/lot-sizing/lot_sizing_cp.mzn | data/mznc2020/lot-sizing/pigment30a.psp.dzn |
| 111 | lot-sizing | data/mznc2020/lot-sizing/lot_sizing_cp.mzn | data/mznc2020/lot-sizing/pigment15c.psp.dzn |
| 112 | stable-goods | data/mznc2020/stable-goods/stable-goods-solution.mzn | data/mznc2020/stable-goods/s-d16.dzn |
| 113 | stable-goods | data/mznc2020/stable-goods/stable-goods-solution.mzn | data/mznc2020/stable-goods/s-d6.dzn |
| 114 | stable-goods | data/mznc2020/stable-goods/stable-goods-solution.mzn | data/mznc2020/stable-goods/s-d7.dzn |
| 115 | stable-goods | data/mznc2020/stable-goods/stable-goods-solution.mzn | data/mznc2020/stable-goods/s-d19.dzn |
| 116 | stable-goods | data/mznc2020/stable-goods/stable-goods-solution.mzn | data/mznc2020/stable-goods/s-d8.dzn |
| 117 | radiation | data/mznc2020/radiation/radiation.mzn | data/mznc2020/radiation/i8-9.dzn |
| 118 | radiation | data/mznc2020/radiation/radiation.mzn | data/mznc2020/radiation/i8-40.dzn |
| 119 | radiation | data/mznc2020/radiation/radiation.mzn | data/mznc2020/radiation/i7-21.dzn |
| 120 | radiation | data/mznc2020/radiation/radiation.mzn | data/mznc2020/radiation/i9-21.dzn |
| 121 | radiation | data/mznc2020/radiation/radiation.mzn | data/mznc2020/radiation/i6-9.dzn |
| 122 | is | data/mznc2020/is/model.mzn | data/mznc2020/is/v1HjuSBQMb.dzn |
| 123 | is | data/mznc2020/is/model.mzn | data/mznc2020/is/YfFfEiuCQo.dzn |
| 124 | is | data/mznc2020/is/model.mzn | data/mznc2020/is/A3PZaPjnUz.dzn |
| 125 | is | data/mznc2020/is/model.mzn | data/mznc2020/is/Ws5Q6fhGi5.dzn |
| 126 | is | data/mznc2020/is/model.mzn | data/mznc2020/is/LeTaZW8Ij5.dzn |
| 127 | pentominoes | data/mznc2020/pentominoes/pentominoes-int.mzn | data/mznc2020/pentominoes/02.dzn |
| 128 | pentominoes | data/mznc2020/pentominoes/pentominoes-int.mzn | data/mznc2020/pentominoes/05.dzn |
| 129 | pentominoes | data/mznc2020/pentominoes/pentominoes-int.mzn | data/mznc2020/pentominoes/04.dzn |
| 130 | pentominoes | data/mznc2020/pentominoes/pentominoes-int.mzn | data/mznc2020/pentominoes/06.dzn |
| 131 | pentominoes | data/mznc2020/pentominoes/pentominoes-int.mzn | data/mznc2020/pentominoes/07.dzn |
| 132 | tower_challenge | data/mznc2020/tower_challenge/tower.mzn | data/mznc2020/tower_challenge/tower_070_070_30_100-05.dzn |
| 133 | tower_challenge | data/mznc2020/tower_challenge/tower.mzn | data/mznc2020/tower_challenge/tower_070_070_15_070-06.dzn |
| 134 | tower_challenge | data/mznc2020/tower_challenge/tower.mzn | data/mznc2020/tower_challenge/tower_070_070_15_070-04.dzn |
| 135 | tower_challenge | data/mznc2020/tower_challenge/tower.mzn | data/mznc2020/tower_challenge/tower_070_070_15_100-05.dzn |
| 136 | tower_challenge | data/mznc2020/tower_challenge/tower.mzn | data/mznc2020/tower_challenge/tower_070_070_15_100-04.dzn |
| 137 | pillars-and-planks | data/mznc2020/pillars-and-planks/pillars-planks-solution.mzn | data/mznc2020/pillars-and-planks/p-d12.dzn |
| 138 | pillars-and-planks | data/mznc2020/pillars-and-planks/pillars-planks-solution.mzn | data/mznc2020/pillars-and-planks/p-d10.dzn |
| 139 | pillars-and-planks | data/mznc2020/pillars-and-planks/pillars-planks-solution.mzn | data/mznc2020/pillars-and-planks/p-d17.dzn |
| 140 | pillars-and-planks | data/mznc2020/pillars-and-planks/pillars-planks-solution.mzn | data/mznc2020/pillars-and-planks/p-d7.dzn |
| 141 | pillars-and-planks | data/mznc2020/pillars-and-planks/pillars-planks-solution.mzn | data/mznc2020/pillars-and-planks/p-d2.dzn |
| 142 | cable_tree_wiring | data/mznc2020/cable_tree_wiring/ctw.mzn | data/mznc2020/cable_tree_wiring/R189.dzn |
| 143 | cable_tree_wiring | data/mznc2020/cable_tree_wiring/ctw.mzn | data/mznc2020/cable_tree_wiring/A031.dzn |
| 144 | cable_tree_wiring | data/mznc2020/cable_tree_wiring/ctw.mzn | data/mznc2020/cable_tree_wiring/R046.dzn |
| 145 | cable_tree_wiring | data/mznc2020/cable_tree_wiring/ctw.mzn | data/mznc2020/cable_tree_wiring/A073.dzn |
| 146 | cable_tree_wiring | data/mznc2020/cable_tree_wiring/ctw.mzn | data/mznc2020/cable_tree_wiring/R196.dzn |
| 147 | skill-allocation | data/mznc2020/skill-allocation/skill_allocation_only.mzn | data/mznc2020/skill-allocation/skill_allocation_mzn_1m_1.dzn |
| 148 | skill-allocation | data/mznc2020/skill-allocation/skill_allocation_only.mzn | data/mznc2020/skill-allocation/skill_allocation_mzn_3m_3.dzn |
| 149 | skill-allocation | data/mznc2020/skill-allocation/skill_allocation_only.mzn | data/mznc2020/skill-allocation/skill_allocation_mzn_2m_1.dzn |
| 150 | skill-allocation | data/mznc2020/skill-allocation/skill_allocation_only.mzn | data/mznc2020/skill-allocation/skill_allocation_mzn_2m_3.dzn |
| 151 | skill-allocation | data/mznc2020/skill-allocation/skill_allocation_only.mzn | data/mznc2020/skill-allocation/skill_allocation_mzn_2w_1.dzn |
| 152 | p1f-pjs | data/mznc2020/p1f-pjs/p1f-pjs.mzn | data/mznc2020/p1f-pjs/17.dzn |
| 153 | p1f-pjs | data/mznc2020/p1f-pjs/p1f-pjs.mzn | data/mznc2020/p1f-pjs/16.dzn |
| 154 | p1f-pjs | data/mznc2020/p1f-pjs/p1f-pjs.mzn | data/mznc2020/p1f-pjs/10.dzn |
| 155 | p1f-pjs | data/mznc2020/p1f-pjs/p1f-pjs.mzn | data/mznc2020/p1f-pjs/21.dzn |
| 156 | p1f-pjs | data/mznc2020/p1f-pjs/p1f-pjs.mzn | data/mznc2020/p1f-pjs/20.dzn |
| 157 | minimal-decision-sets | data/mznc2020/minimal-decision-sets/sparse_mds.mzn | data/mznc2020/minimal-decision-sets/breast-cancer_train4.dzn |
| 158 | minimal-decision-sets | data/mznc2020/minimal-decision-sets/sparse_mds.mzn | data/mznc2020/minimal-decision-sets/cleve_train5.dzn |
| 159 | minimal-decision-sets | data/mznc2020/minimal-decision-sets/sparse_mds.mzn | data/mznc2020/minimal-decision-sets/backache_train4.dzn |
| 160 | minimal-decision-sets | data/mznc2020/minimal-decision-sets/sparse_mds.mzn | data/mznc2020/minimal-decision-sets/australian_train5.dzn |
| 161 | minimal-decision-sets | data/mznc2020/minimal-decision-sets/sparse_mds.mzn | data/mznc2020/minimal-decision-sets/colic_train4.dzn |
| 162 | collaborative-construction | data/mznc2020/collaborative-construction/macc.mzn | data/mznc2020/collaborative-construction/175.dzn |
| 163 | collaborative-construction | data/mznc2020/collaborative-construction/macc.mzn | data/mznc2020/collaborative-construction/307.dzn |
| 164 | collaborative-construction | data/mznc2020/collaborative-construction/macc.mzn | data/mznc2020/collaborative-construction/37.dzn |
| 165 | collaborative-construction | data/mznc2020/collaborative-construction/macc.mzn | data/mznc2020/collaborative-construction/455.dzn |
| 166 | collaborative-construction | data/mznc2020/collaborative-construction/macc.mzn | data/mznc2020/collaborative-construction/46.dzn |
| 167 | gbac | data/mznc2020/gbac/gbac.mzn | data/mznc2020/gbac/reduced_UD7-gbac.dzn |
| 168 | gbac | data/mznc2020/gbac/gbac.mzn | data/mznc2020/gbac/UD9-gbac.dzn |
| 169 | gbac | data/mznc2020/gbac/gbac.mzn | data/mznc2020/gbac/UD10-gbac.dzn |
| 170 | gbac | data/mznc2020/gbac/gbac.mzn | data/mznc2020/gbac/reduced_UD5-gbac.dzn |
| 171 | gbac | data/mznc2020/gbac/gbac.mzn | data/mznc2020/gbac/reduced_UD2-gbac.dzn |
| 172 | hoist-benchmark-for-minizinc | data/mznc2020/hoist-benchmark-for-minizinc/hoist-benchmark.mzn | data/mznc2020/hoist-benchmark-for-minizinc/PU_2_8_1.dzn |
| 173 | hoist-benchmark-for-minizinc | data/mznc2020/hoist-benchmark-for-minizinc/hoist-benchmark.mzn | data/mznc2020/hoist-benchmark-for-minizinc/PU_3_8_5.dzn |
| 174 | hoist-benchmark-for-minizinc | data/mznc2020/hoist-benchmark-for-minizinc/hoist-benchmark.mzn | data/mznc2020/hoist-benchmark-for-minizinc/PU_1_2_2.dzn |
| 175 | hoist-benchmark-for-minizinc | data/mznc2020/hoist-benchmark-for-minizinc/hoist-benchmark.mzn | data/mznc2020/hoist-benchmark-for-minizinc/PU_3_2_5.dzn |
| 176 | hoist-benchmark-for-minizinc | data/mznc2020/hoist-benchmark-for-minizinc/hoist-benchmark.mzn | data/mznc2020/hoist-benchmark-for-minizinc/PU_3_4_1.dzn |
| 177 | soccer-computational | data/mznc2020/soccer-computational/ecp.mzn | data/mznc2020/soccer-computational/xIGData_24_24_16_1.dzn |
| 178 | soccer-computational | data/mznc2020/soccer-computational/ecp.mzn | data/mznc2020/soccer-computational/xIGData_28_23_16_1.dzn |
| 179 | soccer-computational | data/mznc2020/soccer-computational/ecp.mzn | data/mznc2020/soccer-computational/xIGData_22_12_22_5.dzn |
| 180 | soccer-computational | data/mznc2020/soccer-computational/ecp.mzn | data/mznc2020/soccer-computational/xIGData_30_25_15_4.dzn |
| 181 | soccer-computational | data/mznc2020/soccer-computational/ecp.mzn | data/mznc2020/soccer-computational/xIGData_28_22_7_4.dzn |
| 182 | racp | data/mznc2020/racp/racp.mzn | data/mznc2020/racp/j60_48_9_1.0.dzn |
| 183 | racp | data/mznc2020/racp/racp.mzn | data/mznc2020/racp/j60_9_9_1.25.dzn |
| 184 | racp | data/mznc2020/racp/racp.mzn | data/mznc2020/racp/j60_13_4_1.0.dzn |
| 185 | racp | data/mznc2020/racp/racp.mzn | data/mznc2020/racp/j30_26_2_1.0.dzn |
| 186 | racp | data/mznc2020/racp/racp.mzn | data/mznc2020/racp/j60_10_6_1.25.dzn |
| 187 | whirlpool | data/mznc2020/whirlpool/whirlpool-x.mzn | data/mznc2020/whirlpool/d21.dzn |
| 188 | whirlpool | data/mznc2020/whirlpool/whirlpool-x.mzn | data/mznc2020/whirlpool/d30.dzn |
| 189 | whirlpool | data/mznc2020/whirlpool/whirlpool-x.mzn | data/mznc2020/whirlpool/d8.dzn |
| 190 | whirlpool | data/mznc2020/whirlpool/whirlpool-x.mzn | data/mznc2020/whirlpool/d29.dzn |
| 191 | whirlpool | data/mznc2020/whirlpool/whirlpool-x.mzn | data/mznc2020/whirlpool/d12.dzn |
| 192 | code-generator | data/mznc2020/code-generator/unison.mzn | data/mznc2020/code-generator/hexagon_gcc.reload1.gen_reload.dzn |
| 193 | code-generator | data/mznc2020/code-generator/unison.mzn | data/mznc2020/code-generator/mips_pgp.crypto.encryptfile.dzn |
| 194 | code-generator | data/mznc2020/code-generator/unison.mzn | data/mznc2020/code-generator/mips_gcc.cfgbuild.control_flow_insn_p.dzn |
| 195 | code-generator | data/mznc2020/code-generator/unison.mzn | data/mznc2020/code-generator/mips_gcc.real.eiremain.dzn |
| 196 | code-generator | data/mznc2020/code-generator/unison.mzn | data/mznc2020/code-generator/mips_gobmk.patterns.autohelperpat508.dzn |
| 197 | bnn-planner | data/mznc2020/bnn-planner/sysadmin_5_4s.mzn | |
| 198 | bnn-planner | data/mznc2020/bnn-planner/inventory_4_8s.mzn | |
| 199 | bnn-planner | data/mznc2020/bnn-planner/navigation_5x5_10s.mzn | |
| 200 | bnn-planner | data/mznc2020/bnn-planner/cellda_y_10s.mzn | |
| 201 | bnn-planner | data/mznc2020/bnn-planner/sysadmin_4_2s.mzn |