dekker.one / half-reif-benchmarks
This repository has no description
Star
Fork 0
Watch
half-reif-benchmarks data qcp_max
64 files
orig_model.txt
qcp_max_imp.mzn
qcp_max_redef.mzn
qcp-10-67-0.dzn
qcp-10-67-1.dzn
qcp-10-67-10.dzn
qcp-10-67-11.dzn
qcp-10-67-12.dzn
qcp-10-67-13.dzn
qcp-10-67-14.dzn
qcp-10-67-2.dzn
qcp-10-67-3.dzn
qcp-10-67-4.dzn
qcp-10-67-5.dzn
qcp-10-67-6.dzn
qcp-10-67-7.dzn
qcp-10-67-8.dzn
qcp-10-67-9.dzn
qcp-15-120-0.dzn
qcp-15-120-1.dzn
qcp-15-120-10.dzn
qcp-15-120-11.dzn
qcp-15-120-12.dzn
qcp-15-120-13.dzn
qcp-15-120-14.dzn
qcp-15-120-2.dzn
qcp-15-120-3.dzn
qcp-15-120-4.dzn
qcp-15-120-5.dzn
qcp-15-120-6.dzn
qcp-15-120-7.dzn
qcp-15-120-8.dzn
qcp-15-120-9.dzn
qcp-20-187-0.dzn
qcp-20-187-1.dzn
qcp-20-187-10.dzn
qcp-20-187-11.dzn
qcp-20-187-12.dzn
qcp-20-187-13.dzn
qcp-20-187-14.dzn
qcp-20-187-2.dzn
qcp-20-187-3.dzn
qcp-20-187-4.dzn
qcp-20-187-5.dzn
qcp-20-187-6.dzn
qcp-20-187-7.dzn
qcp-20-187-8.dzn
qcp-20-187-9.dzn
qcp-25-264-0.dzn
qcp-25-264-1.dzn
qcp-25-264-10.dzn
qcp-25-264-11.dzn
qcp-25-264-12.dzn
qcp-25-264-13.dzn
qcp-25-264-14.dzn
qcp-25-264-2.dzn
qcp-25-264-3.dzn
qcp-25-264-4.dzn
qcp-25-264-5.dzn
qcp-25-264-6.dzn
qcp-25-264-7.dzn
qcp-25-264-8.dzn
qcp-25-264-9.dzn
test.dzn