dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / zephyrus / 14__10__8__3.dzn
at develop 1.1 kB view raw
1comps = 1..4; 2ports = 1..4; 3multi_provide_ports = 1..5; 4locations = 1..56; 5resources = 1..1; 6requirement_port_nums = [| 70,8,0,0|0,17,0,0|10,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, 260, 260, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, 130, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 520, 520, 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|8052|8052|4026|4026|4026|4026|4026|4026|4026|4026|4026|4026|4026|4026|4026|4026|1825|1825|1825|1825|1825|1825|1825|1825|1825|1825|1825|1825|1825|1825|16104|16104|16104|16104|16104|16104|16104|16104|16104|16104|16104|16104|16104|16104|]; 17resource_consumptions = [| 18512|64|512|512|];