Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
half-reif-benchmarks prize.csv
18 kB · 301 lines
at develop
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302"problem","model","data_file""prize","data/prize/prize_orig.mzn","data/prize/20-4-5-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/45-5-9-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/45-5-9-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/20-4-5-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/28-4-7-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/24-4-6-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/20-4-5-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/20-4-5-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/24-4-6-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/28-4-7-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/25-5-5-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/20-4-5-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/30-5-6-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/30-5-6-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/20-4-5-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/25-5-5-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/21-3-7-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/20-4-5-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/18-3-6-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/18-3-6-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/20-4-5-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/21-3-7-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/9-3-3-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/40-5-8-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/35-5-7-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/35-5-7-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/40-5-8-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/9-3-3-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/9-3-3-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/12-3-4-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/40-5-8-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/35-5-7-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/35-5-7-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/40-5-8-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/12-3-4-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/9-3-3-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/9-3-3-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/15-3-5-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/16-4-4-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/40-5-8-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/35-5-7-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/35-5-7-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/40-5-8-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/16-4-4-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/15-3-5-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/9-3-3-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/9-3-3-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/32-4-8-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/40-5-8-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/35-5-7-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/35-5-7-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/40-5-8-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/32-4-8-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/9-3-3-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/9-3-3-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/32-4-8-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/15-3-5-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/12-3-4-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/16-4-4-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/16-4-4-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/12-3-4-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/15-3-5-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/32-4-8-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/9-3-3-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/32-4-8-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/15-3-5-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/16-4-4-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/12-3-4-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/35-5-7-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/35-5-7-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/12-3-4-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/16-4-4-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/15-3-5-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/32-4-8-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/15-3-5-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/32-4-8-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/16-4-4-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/12-3-4-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/12-3-4-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/16-4-4-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/32-4-8-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/15-3-5-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/15-3-5-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/32-4-8-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/12-3-4-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/16-4-4-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/40-5-8-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/40-5-8-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/16-4-4-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/12-3-4-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/32-4-8-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/15-3-5-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/28-4-7-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/21-3-7-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/25-5-5-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/24-4-6-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/45-5-9-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/18-3-6-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/30-5-6-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/30-5-6-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/18-3-6-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/45-5-9-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/24-4-6-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/25-5-5-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/21-3-7-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/28-4-7-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/28-4-7-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/21-3-7-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/25-5-5-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/24-4-6-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/45-5-9-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/18-3-6-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/30-5-6-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/30-5-6-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/18-3-6-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/45-5-9-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/24-4-6-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/25-5-5-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/21-3-7-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/28-4-7-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/28-4-7-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/21-3-7-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/25-5-5-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/24-4-6-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/45-5-9-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/30-5-6-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/18-3-6-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/18-3-6-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/30-5-6-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/45-5-9-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/24-4-6-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/25-5-5-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/21-3-7-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/28-4-7-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/28-4-7-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/21-3-7-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/25-5-5-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/24-4-6-7.dzn""prize","data/prize/prize_orig.mzn","data/prize/45-5-9-5.dzn""prize","data/prize/prize_orig.mzn","data/prize/20-4-5-9.dzn""prize","data/prize/prize_orig.mzn","data/prize/30-5-6-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/18-3-6-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/18-3-6-0.dzn""prize","data/prize/prize_orig.mzn","data/prize/30-5-6-3.dzn""prize","data/prize/prize_orig.mzn","data/prize/20-4-5-8.dzn""prize","data/prize/prize_orig.mzn","data/prize/45-5-9-4.dzn""prize","data/prize/prize_orig.mzn","data/prize/24-4-6-6.dzn""prize","data/prize/prize_orig.mzn","data/prize/25-5-5-2.dzn""prize","data/prize/prize_orig.mzn","data/prize/21-3-7-1.dzn""prize","data/prize/prize_orig.mzn","data/prize/28-4-7-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/20-4-5-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/45-5-9-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/45-5-9-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/20-4-5-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/28-4-7-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/24-4-6-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/20-4-5-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/20-4-5-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/24-4-6-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/28-4-7-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/25-5-5-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/20-4-5-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/30-5-6-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/30-5-6-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/20-4-5-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/25-5-5-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/21-3-7-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/20-4-5-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/18-3-6-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/18-3-6-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/20-4-5-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/21-3-7-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/9-3-3-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/40-5-8-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/35-5-7-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/35-5-7-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/40-5-8-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/9-3-3-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/9-3-3-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/12-3-4-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/40-5-8-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/35-5-7-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/35-5-7-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/40-5-8-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/12-3-4-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/9-3-3-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/9-3-3-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/15-3-5-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/16-4-4-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/40-5-8-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/35-5-7-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/35-5-7-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/40-5-8-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/16-4-4-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/15-3-5-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/9-3-3-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/9-3-3-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/32-4-8-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/40-5-8-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/35-5-7-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/35-5-7-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/40-5-8-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/32-4-8-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/9-3-3-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/9-3-3-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/32-4-8-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/15-3-5-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/12-3-4-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/16-4-4-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/16-4-4-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/12-3-4-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/15-3-5-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/32-4-8-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/9-3-3-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/32-4-8-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/15-3-5-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/16-4-4-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/12-3-4-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/35-5-7-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/35-5-7-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/12-3-4-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/16-4-4-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/15-3-5-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/32-4-8-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/15-3-5-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/32-4-8-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/16-4-4-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/12-3-4-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/12-3-4-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/16-4-4-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/32-4-8-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/15-3-5-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/15-3-5-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/32-4-8-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/12-3-4-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/16-4-4-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/40-5-8-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/40-5-8-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/16-4-4-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/12-3-4-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/32-4-8-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/15-3-5-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/28-4-7-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/21-3-7-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/25-5-5-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/24-4-6-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/45-5-9-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/18-3-6-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/30-5-6-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/30-5-6-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/18-3-6-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/45-5-9-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/24-4-6-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/25-5-5-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/21-3-7-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/28-4-7-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/28-4-7-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/21-3-7-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/25-5-5-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/24-4-6-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/45-5-9-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/18-3-6-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/30-5-6-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/30-5-6-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/18-3-6-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/45-5-9-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/24-4-6-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/25-5-5-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/21-3-7-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/28-4-7-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/28-4-7-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/21-3-7-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/25-5-5-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/24-4-6-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/45-5-9-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/30-5-6-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/18-3-6-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/18-3-6-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/30-5-6-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/45-5-9-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/24-4-6-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/25-5-5-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/21-3-7-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/28-4-7-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/28-4-7-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/21-3-7-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/25-5-5-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/24-4-6-7.dzn""prize","data/prize/prize_imp.mzn","data/prize/45-5-9-5.dzn""prize","data/prize/prize_imp.mzn","data/prize/20-4-5-9.dzn""prize","data/prize/prize_imp.mzn","data/prize/30-5-6-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/18-3-6-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/18-3-6-0.dzn""prize","data/prize/prize_imp.mzn","data/prize/30-5-6-3.dzn""prize","data/prize/prize_imp.mzn","data/prize/20-4-5-8.dzn""prize","data/prize/prize_imp.mzn","data/prize/45-5-9-4.dzn""prize","data/prize/prize_imp.mzn","data/prize/24-4-6-6.dzn""prize","data/prize/prize_imp.mzn","data/prize/25-5-5-2.dzn""prize","data/prize/prize_imp.mzn","data/prize/21-3-7-1.dzn""prize","data/prize/prize_imp.mzn","data/prize/28-4-7-6.dzn"