dekker.one / half-reif-benchmarks
The models, scripts, and results of the benchmarks performed for a Half Reification Journal paper
fork atom
half-reif-benchmarks / prize.csv
at develop 301 lines 18 kB view raw
1"problem","model","data_file" 2"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-5.dzn" 3"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-9.dzn" 4"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-8.dzn" 5"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-4.dzn" 6"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-8.dzn" 7"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-8.dzn" 8"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-6.dzn" 9"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-7.dzn" 10"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-9.dzn" 11"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-9.dzn" 12"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-9.dzn" 13"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-3.dzn" 14"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-8.dzn" 15"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-9.dzn" 16"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-2.dzn" 17"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-8.dzn" 18"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-9.dzn" 19"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-0.dzn" 20"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-8.dzn" 21"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-9.dzn" 22"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-1.dzn" 23"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-8.dzn" 24"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-0.dzn" 25"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-5.dzn" 26"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-2.dzn" 27"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-3.dzn" 28"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-4.dzn" 29"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-1.dzn" 30"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-3.dzn" 31"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-8.dzn" 32"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-6.dzn" 33"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-1.dzn" 34"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-0.dzn" 35"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-7.dzn" 36"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-9.dzn" 37"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-2.dzn" 38"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-6.dzn" 39"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-9.dzn" 40"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-9.dzn" 41"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-3.dzn" 42"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-4.dzn" 43"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-5.dzn" 44"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-2.dzn" 45"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-8.dzn" 46"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-8.dzn" 47"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-7.dzn" 48"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-5.dzn" 49"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-9.dzn" 50"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-0.dzn" 51"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-7.dzn" 52"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-6.dzn" 53"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-1.dzn" 54"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-8.dzn" 55"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-4.dzn" 56"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-9.dzn" 57"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-5.dzn" 58"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-6.dzn" 59"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-2.dzn" 60"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-6.dzn" 61"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-7.dzn" 62"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-3.dzn" 63"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-7.dzn" 64"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-4.dzn" 65"prize","data/prize/prize_orig.mzn","data/prize/9-3-3-8.dzn" 66"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-6.dzn" 67"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-5.dzn" 68"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-5.dzn" 69"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-1.dzn" 70"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-8.dzn" 71"prize","data/prize/prize_orig.mzn","data/prize/35-5-7-9.dzn" 72"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-0.dzn" 73"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-4.dzn" 74"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-4.dzn" 75"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-7.dzn" 76"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-0.dzn" 77"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-3.dzn" 78"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-0.dzn" 79"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-4.dzn" 80"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-5.dzn" 81"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-1.dzn" 82"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-2.dzn" 83"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-1.dzn" 84"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-3.dzn" 85"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-0.dzn" 86"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-7.dzn" 87"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-3.dzn" 88"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-9.dzn" 89"prize","data/prize/prize_orig.mzn","data/prize/40-5-8-8.dzn" 90"prize","data/prize/prize_orig.mzn","data/prize/16-4-4-2.dzn" 91"prize","data/prize/prize_orig.mzn","data/prize/12-3-4-6.dzn" 92"prize","data/prize/prize_orig.mzn","data/prize/32-4-8-1.dzn" 93"prize","data/prize/prize_orig.mzn","data/prize/15-3-5-2.dzn" 94"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-2.dzn" 95"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-5.dzn" 96"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-6.dzn" 97"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-2.dzn" 98"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-0.dzn" 99"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-4.dzn" 100"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-7.dzn" 101"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-6.dzn" 102"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-5.dzn" 103"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-1.dzn" 104"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-3.dzn" 105"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-7.dzn" 106"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-4.dzn" 107"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-3.dzn" 108"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-1.dzn" 109"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-6.dzn" 110"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-5.dzn" 111"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-1.dzn" 112"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-3.dzn" 113"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-7.dzn" 114"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-4.dzn" 115"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-5.dzn" 116"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-6.dzn" 117"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-2.dzn" 118"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-0.dzn" 119"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-4.dzn" 120"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-7.dzn" 121"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-0.dzn" 122"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-4.dzn" 123"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-3.dzn" 124"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-0.dzn" 125"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-4.dzn" 126"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-6.dzn" 127"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-1.dzn" 128"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-2.dzn" 129"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-3.dzn" 130"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-0.dzn" 131"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-7.dzn" 132"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-5.dzn" 133"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-1.dzn" 134"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-2.dzn" 135"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-5.dzn" 136"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-7.dzn" 137"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-0.dzn" 138"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-3.dzn" 139"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-7.dzn" 140"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-5.dzn" 141"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-9.dzn" 142"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-2.dzn" 143"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-1.dzn" 144"prize","data/prize/prize_orig.mzn","data/prize/18-3-6-0.dzn" 145"prize","data/prize/prize_orig.mzn","data/prize/30-5-6-3.dzn" 146"prize","data/prize/prize_orig.mzn","data/prize/20-4-5-8.dzn" 147"prize","data/prize/prize_orig.mzn","data/prize/45-5-9-4.dzn" 148"prize","data/prize/prize_orig.mzn","data/prize/24-4-6-6.dzn" 149"prize","data/prize/prize_orig.mzn","data/prize/25-5-5-2.dzn" 150"prize","data/prize/prize_orig.mzn","data/prize/21-3-7-1.dzn" 151"prize","data/prize/prize_orig.mzn","data/prize/28-4-7-6.dzn" 152"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-5.dzn" 153"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-9.dzn" 154"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-8.dzn" 155"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-4.dzn" 156"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-8.dzn" 157"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-8.dzn" 158"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-6.dzn" 159"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-7.dzn" 160"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-9.dzn" 161"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-9.dzn" 162"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-9.dzn" 163"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-3.dzn" 164"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-8.dzn" 165"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-9.dzn" 166"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-2.dzn" 167"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-8.dzn" 168"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-9.dzn" 169"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-0.dzn" 170"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-8.dzn" 171"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-9.dzn" 172"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-1.dzn" 173"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-8.dzn" 174"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-0.dzn" 175"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-5.dzn" 176"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-2.dzn" 177"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-3.dzn" 178"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-4.dzn" 179"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-1.dzn" 180"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-3.dzn" 181"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-8.dzn" 182"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-6.dzn" 183"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-1.dzn" 184"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-0.dzn" 185"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-7.dzn" 186"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-9.dzn" 187"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-2.dzn" 188"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-6.dzn" 189"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-9.dzn" 190"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-9.dzn" 191"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-3.dzn" 192"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-4.dzn" 193"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-5.dzn" 194"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-2.dzn" 195"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-8.dzn" 196"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-8.dzn" 197"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-7.dzn" 198"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-5.dzn" 199"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-9.dzn" 200"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-0.dzn" 201"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-7.dzn" 202"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-6.dzn" 203"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-1.dzn" 204"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-8.dzn" 205"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-4.dzn" 206"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-9.dzn" 207"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-5.dzn" 208"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-6.dzn" 209"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-2.dzn" 210"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-6.dzn" 211"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-7.dzn" 212"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-3.dzn" 213"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-7.dzn" 214"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-4.dzn" 215"prize","data/prize/prize_imp.mzn","data/prize/9-3-3-8.dzn" 216"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-6.dzn" 217"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-5.dzn" 218"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-5.dzn" 219"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-1.dzn" 220"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-8.dzn" 221"prize","data/prize/prize_imp.mzn","data/prize/35-5-7-9.dzn" 222"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-0.dzn" 223"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-4.dzn" 224"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-4.dzn" 225"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-7.dzn" 226"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-0.dzn" 227"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-3.dzn" 228"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-0.dzn" 229"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-4.dzn" 230"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-5.dzn" 231"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-1.dzn" 232"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-2.dzn" 233"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-1.dzn" 234"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-3.dzn" 235"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-0.dzn" 236"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-7.dzn" 237"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-3.dzn" 238"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-9.dzn" 239"prize","data/prize/prize_imp.mzn","data/prize/40-5-8-8.dzn" 240"prize","data/prize/prize_imp.mzn","data/prize/16-4-4-2.dzn" 241"prize","data/prize/prize_imp.mzn","data/prize/12-3-4-6.dzn" 242"prize","data/prize/prize_imp.mzn","data/prize/32-4-8-1.dzn" 243"prize","data/prize/prize_imp.mzn","data/prize/15-3-5-2.dzn" 244"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-2.dzn" 245"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-5.dzn" 246"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-6.dzn" 247"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-2.dzn" 248"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-0.dzn" 249"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-4.dzn" 250"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-7.dzn" 251"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-6.dzn" 252"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-5.dzn" 253"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-1.dzn" 254"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-3.dzn" 255"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-7.dzn" 256"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-4.dzn" 257"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-3.dzn" 258"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-1.dzn" 259"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-6.dzn" 260"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-5.dzn" 261"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-1.dzn" 262"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-3.dzn" 263"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-7.dzn" 264"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-4.dzn" 265"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-5.dzn" 266"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-6.dzn" 267"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-2.dzn" 268"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-0.dzn" 269"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-4.dzn" 270"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-7.dzn" 271"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-0.dzn" 272"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-4.dzn" 273"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-3.dzn" 274"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-0.dzn" 275"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-4.dzn" 276"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-6.dzn" 277"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-1.dzn" 278"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-2.dzn" 279"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-3.dzn" 280"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-0.dzn" 281"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-7.dzn" 282"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-5.dzn" 283"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-1.dzn" 284"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-2.dzn" 285"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-5.dzn" 286"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-7.dzn" 287"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-0.dzn" 288"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-3.dzn" 289"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-7.dzn" 290"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-5.dzn" 291"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-9.dzn" 292"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-2.dzn" 293"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-1.dzn" 294"prize","data/prize/prize_imp.mzn","data/prize/18-3-6-0.dzn" 295"prize","data/prize/prize_imp.mzn","data/prize/30-5-6-3.dzn" 296"prize","data/prize/prize_imp.mzn","data/prize/20-4-5-8.dzn" 297"prize","data/prize/prize_imp.mzn","data/prize/45-5-9-4.dzn" 298"prize","data/prize/prize_imp.mzn","data/prize/24-4-6-6.dzn" 299"prize","data/prize/prize_imp.mzn","data/prize/25-5-5-2.dzn" 300"prize","data/prize/prize_imp.mzn","data/prize/21-3-7-1.dzn" 301"prize","data/prize/prize_imp.mzn","data/prize/28-4-7-6.dzn"