A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1comps = 1..4;
2ports = 1..4;
3multi_provide_ports = 1..5;
4locations = 1..48;
5resources = 1..1;
6requirement_port_nums = [|
70,6,0,0|0,13,0,0|8,0,0,0|0,0,0,0|];
8provide_port_nums = [|
9-1,0,0,0,0|0,-1,-1,0,0|0,0,0,-1,0|0,0,0,0,3|];
10conflicts = [|
11false,false,false,false|false,false,true,false|false,false,false,false|false,false,false,false|];
12multi_provides = [|
13false,false,false,true|false,false,false,true|false,false,true,false|false,true,false,false|true,false,false,false|];
14costs = [260, 260, 260, 260, 260, 260, 260, 260, 260, 260, 260, 260, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 520, 520, 520, 520, 520, 520, 520, 520, 520, 520, 520, 520];
15resource_provisions = [|
168052|8052|8052|8052|8052|8052|8052|8052|8052|8052|8052|8052|4026|4026|4026|4026|4026|4026|4026|4026|4026|4026|4026|4026|1825|1825|1825|1825|1825|1825|1825|1825|1825|1825|1825|1825|16104|16104|16104|16104|16104|16104|16104|16104|16104|16104|16104|16104|];
17resource_consumptions = [|
18512|64|512|512|];