This page displays general informations on each benchmark in category "all categories"
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Auction/Auction-sum/ Auction-sum-decay300_c18.xml |
COP | 2000 | 300 | 1 | 2 | 2 | [{"size":2,"count":2000}] | 2 | 32 | [{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}] | 17 | 46 | [{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}] | 0 | 0 | [{"type":"sum","count":300}] | t | max SUM | 125d0999a88baf20181d93552da446ae | ||
Auction/Auction-sum/ Auction-sum-matching040_c18.xml |
COP | 2000 | 317 | 1 | 2 | 2 | [{"size":2,"count":2000}] | 3 | 4 | [{"degree":3,"count":4},{"degree":4,"count":1996}] | 2 | 232 | [{"arity":2,"count":1},{"arity":3,"count":54},{"arity":6,"count":107},{"arity":10,"count":119},{"arity":29,"count":1},{"arity":32,"count":1},{"arity":34,"count":2},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":43,"count":1},{"arity":44,"count":1},{"arity":52,"count":1},{"arity":66,"count":1},{"arity":67,"count":1},{"arity":69,"count":1},{"arity":74,"count":1},{"arity":82,"count":1},{"arity":83,"count":1},{"arity":87,"count":1},{"arity":89,"count":1},{"arity":96,"count":1},{"arity":107,"count":1},{"arity":108,"count":1},{"arity":109,"count":1},{"arity":112,"count":1},{"arity":120,"count":2},{"arity":134,"count":2},{"arity":167,"count":1},{"arity":181,"count":1},{"arity":184,"count":1},{"arity":188,"count":1},{"arity":191,"count":1},{"arity":204,"count":1},{"arity":208,"count":1},{"arity":217,"count":1},{"arity":224,"count":1},{"arity":232,"count":1}] | 0 | 0 | [{"type":"sum","count":317}] | t | max SUM | d33511db6974d661f2a7d715e96a1ecf | ||
Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml |
COP | 882 | 947 | 4 | 2 | 12 | [{"size":2,"count":792},{"size":7,"count":12},{"size":11,"count":12},{"size":12,"count":66}] | 1 | 18 | [{"degree":1,"count":12},{"degree":2,"count":12},{"degree":4,"count":792},{"degree":12,"count":11},{"degree":13,"count":20},{"degree":14,"count":15},{"degree":15,"count":9},{"degree":16,"count":6},{"degree":17,"count":1},{"degree":18,"count":4}] | 2 | 67 | [{"arity":2,"count":857},{"arity":12,"count":66},{"arity":67,"count":24}] | 65 | 792 | [{"type":"extension","count":792},{"type":"intension","count":65},{"type":"sum","count":90}] | t | min MAXIMUM | 121f2d819dbc4bca8c6410c9ab5baa2a | ||
BinPacking/BinPacking-mdd-fu/ BinPacking-mdd-fu0120-05.xml |
COP | 470 | 70 | 2 | 62 | 68 | [{"size":62,"count":469},{"size":68,"count":1}] | 2 | 4 | [{"degree":2,"count":1},{"degree":3,"count":402},{"degree":4,"count":67}] | 7 | 469 | [{"arity":7,"count":67},{"arity":68,"count":1},{"arity":469,"count":2}] | 0 | 0 | [{"type":"mdd","count":67},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | 9ef2b094cdda1b830103df1ca446c40b | ||
BinPacking/BinPacking-mdd-fu/ BinPacking-mdd-fu1000-02.xml |
COP | 4061 | 583 | 2 | 82 | 581 | [{"size":82,"count":4060},{"size":581,"count":1}] | 2 | 4 | [{"degree":2,"count":1},{"degree":3,"count":3480},{"degree":4,"count":580}] | 7 | 4060 | [{"arity":7,"count":580},{"arity":581,"count":1},{"arity":4060,"count":2}] | 0 | 0 | [{"type":"mdd","count":580},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | 81a54afd524339631fcda48b56d1b2da | ||
BinPacking/ BinPacking-sum-s28/ BinPacking-sum-s28-195.xml |
COP | 2201 | 179 | 2 | 89 | 162 | [{"size":89,"count":1},{"size":162,"count":2200}] | 2 | 5 | [{"degree":2,"count":1},{"degree":4,"count":2112},{"degree":5,"count":88}] | 25 | 2200 | [{"arity":25,"count":176},{"arity":89,"count":1},{"arity":2200,"count":2}] | 0 | 0 | [{"type":"ordered","count":88},{"type":"lex","count":1},{"type":"sum","count":88},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | d65d33615c5545f7b52e9722b13d9f63 | ||
BinPacking/ BinPacking-sum-skj1/ BinPacking-sum-n1c1w4k.xml |
COP | 89 | 91 | 2 | 39 | 45 | [{"size":39,"count":88},{"size":45,"count":1}] | 2 | 5 | [{"degree":2,"count":1},{"degree":4,"count":44},{"degree":5,"count":44}] | 2 | 88 | [{"arity":2,"count":88},{"arity":45,"count":1},{"arity":88,"count":2}] | 0 | 0 | [{"type":"ordered","count":44},{"type":"lex","count":1},{"type":"sum","count":44},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | bade4ae5f74057612f70883ad9768226 | ||
BinPacking/ BinPacking-sum-skj1/ BinPacking-sum-n1c1w4m.xml |
COP | 130 | 89 | 2 | 35 | 44 | [{"size":35,"count":129},{"size":44,"count":1}] | 2 | 5 | [{"degree":2,"count":1},{"degree":4,"count":86},{"degree":5,"count":43}] | 3 | 129 | [{"arity":3,"count":86},{"arity":44,"count":1},{"arity":129,"count":2}] | 0 | 0 | [{"type":"ordered","count":43},{"type":"lex","count":1},{"type":"sum","count":43},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | 9af4c2349f4dbdb842cc927ab12812f8 | ||
BinPacking/ BinPacking-sum-skj1/ BinPacking-sum-n1c1w4n.xml |
COP | 127 | 87 | 2 | 40 | 43 | [{"size":40,"count":126},{"size":43,"count":1}] | 2 | 5 | [{"degree":2,"count":1},{"degree":4,"count":84},{"degree":5,"count":42}] | 3 | 126 | [{"arity":3,"count":84},{"arity":43,"count":1},{"arity":126,"count":2}] | 0 | 0 | [{"type":"ordered","count":42},{"type":"lex","count":1},{"type":"sum","count":42},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | ff46b38b3e2da44b02be81a37c246a0d | ||
BinPacking/ BinPacking-sum-skj1/ BinPacking-sum-n2c3w1r.xml |
COP | 811 | 93 | 2 | 46 | 63 | [{"size":46,"count":1},{"size":63,"count":810}] | 2 | 5 | [{"degree":2,"count":1},{"degree":4,"count":765},{"degree":5,"count":45}] | 18 | 810 | [{"arity":18,"count":90},{"arity":46,"count":1},{"arity":810,"count":2}] | 0 | 0 | [{"type":"ordered","count":45},{"type":"lex","count":1},{"type":"sum","count":45},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | 48163221e8f5f568f71e6a1b1b758a13 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
BinPacking/ BinPacking-sum-skj1/ BinPacking-sum-n3c3w2d.xml |
COP | 764 | 221 | 2 | 76 | 110 | [{"size":76,"count":763},{"size":110,"count":1}] | 2 | 5 | [{"degree":2,"count":1},{"degree":4,"count":654},{"degree":5,"count":109}] | 7 | 763 | [{"arity":7,"count":218},{"arity":110,"count":1},{"arity":763,"count":2}] | 0 | 0 | [{"type":"ordered","count":109},{"type":"lex","count":1},{"type":"sum","count":109},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | 3d635ffc1c83223a36f997090f45a603 | ||
BinPacking/ BinPacking-sum-skj1/ BinPacking-sum-n4c1w2b.xml |
COP | 1981 | 795 | 2 | 82 | 397 | [{"size":82,"count":1980},{"size":397,"count":1}] | 2 | 5 | [{"degree":2,"count":1},{"degree":4,"count":1584},{"degree":5,"count":396}] | 5 | 1980 | [{"arity":5,"count":792},{"arity":397,"count":1},{"arity":1980,"count":2}] | 0 | 0 | [{"type":"ordered","count":396},{"type":"lex","count":1},{"type":"sum","count":396},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | d888f3c6414640c595bd57a6b8e70245 | ||
BinPacking/ BinPacking-sum-skj2/ BinPacking-sum-n1w1b1r5.xml |
COP | 61 | 43 | 2 | 21 | 42 | [{"size":21,"count":1},{"size":42,"count":60}] | 2 | 5 | [{"degree":2,"count":1},{"degree":4,"count":40},{"degree":5,"count":20}] | 3 | 60 | [{"arity":3,"count":40},{"arity":21,"count":1},{"arity":60,"count":2}] | 0 | 0 | [{"type":"ordered","count":20},{"type":"lex","count":1},{"type":"sum","count":20},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | 15a2bddfb10fd8a6157ce871797528b8 | ||
BinPacking/ BinPacking-sum-skj2/ BinPacking-sum-n1w4b1r5.xml |
COP | 51 | 13 | 2 | 6 | 35 | [{"size":6,"count":1},{"size":35,"count":50}] | 2 | 5 | [{"degree":2,"count":1},{"degree":4,"count":45},{"degree":5,"count":5}] | 6 | 50 | [{"arity":6,"count":1},{"arity":10,"count":10},{"arity":50,"count":2}] | 0 | 0 | [{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"sum","count":5},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | d746abd17fd9f5e52f47be3617d955ae | ||
BinPacking/ BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r1.xml |
COP | 166 | 25 | 2 | 12 | 70 | [{"size":12,"count":1},{"size":70,"count":165}] | 2 | 5 | [{"degree":2,"count":1},{"degree":4,"count":154},{"degree":5,"count":11}] | 12 | 165 | [{"arity":12,"count":1},{"arity":15,"count":22},{"arity":165,"count":2}] | 0 | 0 | [{"type":"ordered","count":11},{"type":"lex","count":1},{"type":"sum","count":11},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | a404c513102fb879343dc63e509eedd5 | ||
BinPacking/ BinPacking-sum-sw100/ BinPacking-sum-sw100-01.xml |
COP | 109 | 39 | 2 | 19 | 47 | [{"size":19,"count":1},{"size":47,"count":108}] | 2 | 5 | [{"degree":2,"count":1},{"degree":4,"count":90},{"degree":5,"count":18}] | 6 | 108 | [{"arity":6,"count":36},{"arity":19,"count":1},{"arity":108,"count":2}] | 0 | 0 | [{"type":"ordered","count":18},{"type":"lex","count":1},{"type":"sum","count":18},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | 158e2c33e228ebf79a07c013c2cd02f9 | ||
BinPacking/BinPacking-tab-fu/ BinPacking-tab-fu0120-04.xml |
COP | 477 | 71 | 2 | 63 | 69 | [{"size":63,"count":476},{"size":69,"count":1}] | 2 | 4 | [{"degree":2,"count":1},{"degree":3,"count":408},{"degree":4,"count":68}] | 7 | 476 | [{"arity":7,"count":68},{"arity":69,"count":1},{"arity":476,"count":2}] | 0 | 68 | [{"type":"extension","count":68},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | 2e923e7e276bbb1d78c8186edf745710 | ||
BinPacking/ BinPacking-tab-sw120/ BinPacking-tab-sw120-75.xml |
COP | 133 | 25 | 2 | 23 | 47 | [{"size":23,"count":1},{"size":47,"count":132}] | 2 | 4 | [{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}] | 6 | 132 | [{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}] | 0 | 22 | [{"type":"extension","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}] | t | max VAR | 9cdf82428becd6b5ad716031980a59d2 | ||
BusScheduling/ BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml |
COP | 3001 | 54 | 1 | 2 | 2 | [{"size":2,"count":3001}] | 2 | 9 | [{"degree":2,"count":11},{"degree":3,"count":68},{"degree":4,"count":284},{"degree":5,"count":1134},{"degree":6,"count":908},{"degree":7,"count":436},{"degree":8,"count":123},{"degree":9,"count":37}] | 139 | 479 | [{"arity":139,"count":1},{"arity":140,"count":1},{"arity":143,"count":1},{"arity":153,"count":3},{"arity":159,"count":1},{"arity":161,"count":1},{"arity":162,"count":2},{"arity":171,"count":1},{"arity":172,"count":1},{"arity":176,"count":1},{"arity":178,"count":1},{"arity":182,"count":1},{"arity":183,"count":1},{"arity":184,"count":2},{"arity":185,"count":1},{"arity":188,"count":1},{"arity":189,"count":2},{"arity":191,"count":2},{"arity":192,"count":1},{"arity":195,"count":2},{"arity":199,"count":1},{"arity":211,"count":2},{"arity":217,"count":1},{"arity":232,"count":1},{"arity":254,"count":1},{"arity":260,"count":1},{"arity":261,"count":1},{"arity":269,"count":1},{"arity":276,"count":1},{"arity":282,"count":1},{"arity":292,"count":1},{"arity":312,"count":1},{"arity":315,"count":1},{"arity":386,"count":1},{"arity":390,"count":1},{"arity":405,"count":1},{"arity":416,"count":2},{"arity":425,"count":1},{"arity":431,"count":1},{"arity":434,"count":1},{"arity":436,"count":1},{"arity":439,"count":1},{"arity":458,"count":1},{"arity":472,"count":1},{"arity":479,"count":1}] | 0 | 0 | [{"type":"count","count":54}] | t | min SUM | 1feceec156c21411e87c939d9e284415 | ||
ChessboardColoration/ ChessboardColoration-int-s1/ ChessboardColoration-int-09-09.xml |
COP | 81 | 1297 | 1 | 81 | 81 | [{"size":81,"count":81}] | 66 | 66 | [{"degree":66,"count":81}] | 4 | 81 | [{"arity":4,"count":1296},{"arity":81,"count":1}] | 1296 | 0 | [{"type":"intension","count":1296},{"type":"lex","count":1}] | t | min MAXIMUM | 72a1fa157874bc53acfadcbdb1252751 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
ChessboardColoration/ ChessboardColoration-int-s2/ ChessboardColoration-int-05-07.xml |
COP | 35 | 211 | 1 | 35 | 35 | [{"size":35,"count":35}] | 26 | 26 | [{"degree":26,"count":35}] | 4 | 35 | [{"arity":4,"count":210},{"arity":35,"count":1}] | 210 | 0 | [{"type":"intension","count":210},{"type":"lex","count":1}] | t | min MAXIMUM | 91a6e92a2ae9197e0e5abb82e178125f | ||
ChessboardColoration/ ChessboardColoration-int-s2/ ChessboardColoration-int-08-10.xml |
COP | 80 | 1261 | 1 | 80 | 80 | [{"size":80,"count":80}] | 65 | 65 | [{"degree":65,"count":80}] | 4 | 80 | [{"arity":4,"count":1260},{"arity":80,"count":1}] | 1260 | 0 | [{"type":"intension","count":1260},{"type":"lex","count":1}] | t | min MAXIMUM | 23e84b7c24701222a8a18862c478c748 | ||
ChessboardColoration/ ChessboardColoration-int-s2/ ChessboardColoration-int-11-13.xml |
COP | 143 | 4291 | 1 | 143 | 143 | [{"size":143,"count":143}] | 122 | 122 | [{"degree":122,"count":143}] | 4 | 143 | [{"arity":4,"count":4290},{"arity":143,"count":1}] | 4290 | 0 | [{"type":"intension","count":4290},{"type":"lex","count":1}] | t | min MAXIMUM | b332b46b2d271d96c2352c0c61c10556 | ||
ChessboardColoration/ ChessboardColoration-m1-s1/ ChessboardColoration-09-09.xml |
COP | 81 | 1296 | 1 | 81 | 81 | [{"size":81,"count":81}] | 65 | 65 | [{"degree":65,"count":81}] | 4 | 4 | [{"arity":4,"count":1296}] | 0 | 0 | [{"type":"nValues","count":1296}] | t | min MAXIMUM | 895fdf75fca3d2136489d7dab90e962a | ||
ChessboardColoration/ ChessboardColoration-m1-s2/ ChessboardColoration-08-10.xml |
COP | 80 | 1260 | 1 | 80 | 80 | [{"size":80,"count":80}] | 64 | 64 | [{"degree":64,"count":80}] | 4 | 4 | [{"arity":4,"count":1260}] | 0 | 0 | [{"type":"nValues","count":1260}] | t | min MAXIMUM | 4ad41382ea3c48fc1b345febd6f905ee | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t03-4.xml |
COP | 672 | 54 | 14 | 2 | 19 | [{"size":2,"count":96},{"size":3,"count":32},{"size":6,"count":32},{"size":7,"count":64},{"size":8,"count":32},{"size":9,"count":32},{"size":10,"count":32},{"size":11,"count":64},{"size":12,"count":32},{"size":13,"count":32},{"size":15,"count":32},{"size":16,"count":64},{"size":17,"count":64},{"size":19,"count":64}] | 3 | 3 | [{"degree":3,"count":672}] | 21 | 640 | [{"arity":21,"count":32},{"arity":32,"count":21},{"arity":640,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":52}] | t | min SUM | 3320713010bd27ff074c3709fe864950 | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t08-0.xml |
COP | 7590 | 702 | 11 | 2 | 166 | [{"size":2,"count":690},{"size":7,"count":690},{"size":56,"count":690},{"size":64,"count":690},{"size":75,"count":690},{"size":98,"count":690},{"size":120,"count":690},{"size":121,"count":690},{"size":141,"count":690},{"size":162,"count":690},{"size":166,"count":690}] | 3 | 3 | [{"degree":3,"count":7590}] | 11 | 6900 | [{"arity":11,"count":690},{"arity":690,"count":11},{"arity":6900,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":700}] | t | min SUM | ed46a5b20d86f225200b9362bdb8a529 | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t08-9.xml |
COP | 7018 | 650 | 11 | 2 | 212 | [{"size":2,"count":638},{"size":22,"count":638},{"size":41,"count":638},{"size":43,"count":638},{"size":46,"count":638},{"size":62,"count":638},{"size":114,"count":638},{"size":137,"count":638},{"size":155,"count":638},{"size":178,"count":638},{"size":212,"count":638}] | 3 | 3 | [{"degree":3,"count":7018}] | 11 | 6380 | [{"arity":11,"count":638},{"arity":638,"count":11},{"arity":6380,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":648}] | t | min SUM | 4c656a32ec3c33e829e63e71b466a9e3 | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t09-2.xml |
COP | 2856 | 158 | 15 | 2 | 21 | [{"size":2,"count":272},{"size":3,"count":272},{"size":4,"count":136},{"size":5,"count":136},{"size":6,"count":136},{"size":8,"count":136},{"size":9,"count":136},{"size":10,"count":136},{"size":12,"count":544},{"size":14,"count":136},{"size":15,"count":136},{"size":16,"count":136},{"size":17,"count":136},{"size":18,"count":136},{"size":21,"count":272}] | 3 | 3 | [{"degree":3,"count":2856}] | 21 | 2720 | [{"arity":21,"count":136},{"arity":136,"count":21},{"arity":2720,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":156}] | t | min SUM | f7684c3e1f9d094a59a7b3edf9b14040 | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t09-6.xml |
COP | 2772 | 154 | 12 | 2 | 17 | [{"size":2,"count":396},{"size":4,"count":264},{"size":5,"count":132},{"size":8,"count":132},{"size":9,"count":132},{"size":10,"count":132},{"size":12,"count":132},{"size":13,"count":396},{"size":14,"count":132},{"size":15,"count":396},{"size":16,"count":264},{"size":17,"count":264}] | 3 | 3 | [{"degree":3,"count":2772}] | 21 | 2640 | [{"arity":21,"count":132},{"arity":132,"count":21},{"arity":2640,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":152}] | t | min SUM | 21aab71f6f536658a77b49f0e4f1f876 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
Cutstock/ Cutstock-zinc-s1/ Cutstock-t09-7.xml |
COP | 4074 | 216 | 11 | 2 | 20 | [{"size":2,"count":776},{"size":3,"count":582},{"size":5,"count":194},{"size":8,"count":194},{"size":11,"count":194},{"size":12,"count":388},{"size":14,"count":388},{"size":17,"count":388},{"size":18,"count":194},{"size":19,"count":582},{"size":20,"count":194}] | 3 | 3 | [{"degree":3,"count":4074}] | 21 | 3880 | [{"arity":21,"count":194},{"arity":194,"count":21},{"arity":3880,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":214}] | t | min SUM | 2318da7117aad88e4beeaec86ff9c63e | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t10-4.xml |
COP | 20580 | 1002 | 21 | 2 | 181 | [{"size":2,"count":980},{"size":8,"count":980},{"size":11,"count":980},{"size":23,"count":980},{"size":51,"count":980},{"size":54,"count":980},{"size":64,"count":980},{"size":71,"count":980},{"size":83,"count":980},{"size":92,"count":980},{"size":97,"count":980},{"size":103,"count":980},{"size":115,"count":980},{"size":121,"count":980},{"size":139,"count":980},{"size":147,"count":980},{"size":154,"count":980},{"size":160,"count":980},{"size":166,"count":980},{"size":180,"count":980},{"size":181,"count":980}] | 3 | 3 | [{"degree":3,"count":20580}] | 21 | 19600 | [{"arity":21,"count":980},{"arity":980,"count":21},{"arity":19600,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":1000}] | t | min SUM | 9ef9cfbbe168b3e655de6bd1a7d8b0b4 | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t13-0.xml |
COP | 968 | 100 | 9 | 2 | 18 | [{"size":2,"count":176},{"size":6,"count":88},{"size":7,"count":88},{"size":8,"count":88},{"size":11,"count":88},{"size":13,"count":176},{"size":15,"count":88},{"size":17,"count":88},{"size":18,"count":88}] | 3 | 3 | [{"degree":3,"count":968}] | 11 | 880 | [{"arity":11,"count":88},{"arity":88,"count":11},{"arity":880,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":98}] | t | min SUM | 558323a2a8170e0d854a4dae083387a0 | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t13-3.xml |
COP | 1111 | 113 | 9 | 2 | 17 | [{"size":2,"count":101},{"size":6,"count":101},{"size":7,"count":101},{"size":10,"count":303},{"size":11,"count":101},{"size":12,"count":101},{"size":13,"count":101},{"size":14,"count":101},{"size":17,"count":101}] | 3 | 3 | [{"degree":3,"count":1111}] | 11 | 1010 | [{"arity":11,"count":101},{"arity":101,"count":11},{"arity":1010,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":111}] | t | min SUM | 0fab81179fd404e9cd210665e915a325 | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t13-4.xml |
COP | 693 | 75 | 8 | 2 | 21 | [{"size":2,"count":189},{"size":5,"count":63},{"size":7,"count":126},{"size":10,"count":63},{"size":17,"count":63},{"size":19,"count":63},{"size":20,"count":63},{"size":21,"count":63}] | 3 | 3 | [{"degree":3,"count":693}] | 11 | 630 | [{"arity":11,"count":63},{"arity":63,"count":11},{"arity":630,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":73}] | t | min SUM | b990a8dd86881825c48c70a9797e9fb6 | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t13-5.xml |
COP | 1001 | 103 | 8 | 2 | 22 | [{"size":2,"count":182},{"size":3,"count":91},{"size":6,"count":91},{"size":11,"count":273},{"size":12,"count":91},{"size":15,"count":91},{"size":17,"count":91},{"size":22,"count":91}] | 3 | 3 | [{"degree":3,"count":1001}] | 11 | 910 | [{"arity":11,"count":91},{"arity":91,"count":11},{"arity":910,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":101}] | t | min SUM | 8b37dab346b69351ace1d2e6f457fa9a | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t13-8.xml |
COP | 935 | 97 | 8 | 2 | 25 | [{"size":2,"count":255},{"size":4,"count":85},{"size":7,"count":85},{"size":8,"count":85},{"size":10,"count":170},{"size":18,"count":85},{"size":24,"count":85},{"size":25,"count":85}] | 3 | 3 | [{"degree":3,"count":935}] | 11 | 850 | [{"arity":11,"count":85},{"arity":85,"count":11},{"arity":850,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":95}] | t | min SUM | 60e0241f2eabd20d57de8d64a330066c | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t14-9.xml |
COP | 8745 | 807 | 11 | 2 | 212 | [{"size":2,"count":795},{"size":22,"count":795},{"size":41,"count":795},{"size":43,"count":795},{"size":46,"count":795},{"size":62,"count":795},{"size":114,"count":795},{"size":137,"count":795},{"size":155,"count":795},{"size":178,"count":795},{"size":212,"count":795}] | 3 | 3 | [{"degree":3,"count":8745}] | 11 | 7950 | [{"arity":11,"count":795},{"arity":795,"count":11},{"arity":7950,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":805}] | t | min SUM | e9ad29b6a3ec13d479e5237fa2547c44 | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t15-0.xml |
COP | 3738 | 200 | 14 | 2 | 22 | [{"size":2,"count":534},{"size":5,"count":178},{"size":6,"count":178},{"size":7,"count":178},{"size":8,"count":178},{"size":9,"count":356},{"size":11,"count":178},{"size":12,"count":712},{"size":13,"count":356},{"size":14,"count":178},{"size":16,"count":178},{"size":17,"count":178},{"size":18,"count":178},{"size":22,"count":178}] | 3 | 3 | [{"degree":3,"count":3738}] | 21 | 3560 | [{"arity":21,"count":178},{"arity":178,"count":21},{"arity":3560,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":198}] | t | min SUM | c061694c4fbf3df02ed1b2618516c596 | ||
Cutstock/ Cutstock-zinc-s1/ Cutstock-t15-1.xml |
COP | 3507 | 189 | 12 | 2 | 20 | [{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}] | 3 | 3 | [{"degree":3,"count":3507}] | 21 | 3340 | [{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"count":1}] | 0 | 0 | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":187}] | t | min SUM | b82332625d17a81d2c62c757de216262 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
Fapp/Fapp-ext/ Fapp-ext-05-0350_c18.xml |
COP | 7232 | 4665 | 18 | 1 | 135 | [{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}] | 2 | 2178 | [{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}] | 2 | 6 | [{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}] | 0 | 4665 | [{"type":"extension","count":4665}] | t | min SUM | 51b7f32ab0afbf3da7a228f765e579fa | ||
Fapp/Fapp-m2s/ Fapp-m2s-17-0300_c18.xml |
COP | 6028 | 3865 | 51 | 1 | 151 | [{"size":1,"count":2},{"size":2,"count":2107},{"size":11,"count":1809},{"size":12,"count":1},{"size":31,"count":40},{"size":33,"count":87},{"size":39,"count":25},{"size":59,"count":10},{"size":64,"count":57},{"size":66,"count":15},{"size":69,"count":34},{"size":70,"count":43},{"size":72,"count":1},{"size":73,"count":50},{"size":74,"count":6},{"size":76,"count":21},{"size":79,"count":26},{"size":82,"count":6},{"size":97,"count":23},{"size":99,"count":8},{"size":101,"count":32},{"size":103,"count":72},{"size":105,"count":85},{"size":107,"count":132},{"size":109,"count":12},{"size":110,"count":53},{"size":113,"count":7},{"size":115,"count":3},{"size":119,"count":40},{"size":130,"count":5},{"size":132,"count":2},{"size":134,"count":32},{"size":136,"count":22},{"size":138,"count":99},{"size":140,"count":66},{"size":143,"count":27},{"size":144,"count":90},{"size":147,"count":132},{"size":151,"count":746}] | 2 | 1810 | [{"degree":2,"count":5428},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":12},{"degree":6,"count":14},{"degree":7,"count":31},{"degree":8,"count":28},{"degree":9,"count":30},{"degree":10,"count":32},{"degree":11,"count":42},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":59},{"degree":15,"count":85},{"degree":16,"count":118},{"degree":17,"count":63},{"degree":1810,"count":1}] | 2 | 6 | [{"arity":2,"count":247},{"arity":3,"count":1809},{"arity":6,"count":1809}] | 2056 | 1809 | [{"type":"extension","count":1809},{"type":"intension","count":2056}] | t | min SUM | 89893934ad5b9c06ca26522ad9c878f8 | ||
Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml |
COP | 4976 | 3812 | 49 | 1 | 151 | [{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}] | 2 | 1426 | [{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}] | 2 | 6 | [{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}] | 2387 | 1425 | [{"type":"extension","count":1425},{"type":"intension","count":2387}] | t | min SUM | 970c879d9e656f0525c6818b69538b39 | ||
Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml |
COP | 7590 | 4736 | 77 | 1 | 151 | [{"size":1,"count":5},{"size":2,"count":2665},{"size":11,"count":2250},{"size":12,"count":1},{"size":25,"count":16},{"size":29,"count":112},{"size":33,"count":7},{"size":35,"count":61},{"size":39,"count":31},{"size":41,"count":3},{"size":44,"count":12},{"size":45,"count":29},{"size":47,"count":9},{"size":48,"count":23},{"size":49,"count":22},{"size":50,"count":3},{"size":51,"count":51},{"size":52,"count":61},{"size":54,"count":8},{"size":57,"count":6},{"size":58,"count":4},{"size":59,"count":3},{"size":60,"count":3},{"size":61,"count":12},{"size":63,"count":25},"...",{"size":92,"count":2}, {"size":93,"count":25}, {"size":97,"count":3}, {"size":101,"count":4}, {"size":102,"count":9}, {"size":103,"count":191}, {"size":105,"count":1}, {"size":108,"count":5}, {"size":109,"count":2}, {"size":111,"count":1}, {"size":112,"count":6}, {"size":115,"count":10}, {"size":116,"count":22}, {"size":118,"count":95}, {"size":122,"count":59}, {"size":123,"count":1}, {"size":124,"count":1}, {"size":125,"count":117}, {"size":126,"count":92}, {"size":127,"count":5}, {"size":137,"count":27}, {"size":138,"count":29}, {"size":140,"count":24}, {"size":141,"count":77}, {"size":151,"count":1259}] | 2 | 2251 | [{"degree":2,"count":6752},{"degree":3,"count":9},{"degree":4,"count":14},{"degree":5,"count":23},{"degree":6,"count":28},{"degree":7,"count":33},{"degree":8,"count":45},{"degree":9,"count":53},{"degree":10,"count":63},{"degree":11,"count":79},{"degree":12,"count":105},{"degree":13,"count":196},{"degree":14,"count":147},{"degree":15,"count":22},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":2251,"count":1}] | 2 | 6 | [{"arity":2,"count":237},{"arity":3,"count":2249},{"arity":6,"count":2250}] | 2486 | 2250 | [{"type":"extension","count":2250},{"type":"intension","count":2486}] | t | min SUM | a9a1ecda6b6f8f1e99c2d233168bcaa1 | ||
Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml |
COP | 4790 | 2852 | 18 | 1 | 121 | [{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}] | 1 | 1264 | [{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}] | 2 | 6 | [{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}] | 1589 | 1263 | [{"type":"extension","count":1263},{"type":"intension","count":1589}] | t | min SUM | 3fdf89d4941046bada2032faa76e855a | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff18.xml |
COP | 275 | 271 | 32 | 30 | 32 | [{"size":30,"count":6},{"size":31,"count":60},{"size":32,"count":209}] | 2 | 46 | [{"degree":2,"count":270},{"degree":46,"count":5}] | 2 | 6 | [{"arity":2,"count":225},{"arity":5,"count":1},{"arity":6,"count":45}] | 0 | 225 | [{"type":"extension","count":225},{"type":"ordered","count":1},{"type":"minimum","count":45}] | t | min SUM | 005f7ae7871747b1063e6e013b23478b | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff21.xml |
COP | 323 | 319 | 34 | 31 | 34 | [{"size":31,"count":24},{"size":32,"count":48},{"size":33,"count":108},{"size":34,"count":143}] | 2 | 54 | [{"degree":2,"count":318},{"degree":54,"count":5}] | 2 | 6 | [{"arity":2,"count":265},{"arity":5,"count":1},{"arity":6,"count":53}] | 0 | 265 | [{"type":"extension","count":265},{"type":"ordered","count":1},{"type":"minimum","count":53}] | t | min SUM | 9ed96a9b02dc4e036934e9ef3088dc03 | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff34.xml |
COP | 703 | 683 | 23 | 21 | 22 | [{"size":21,"count":88},{"size":22,"count":615}] | 2 | 32 | [{"degree":2,"count":682},{"degree":32,"count":21}] | 2 | 22 | [{"arity":2,"count":651},{"arity":21,"count":1},{"arity":22,"count":31}] | 0 | 651 | [{"type":"extension","count":651},{"type":"ordered","count":1},{"type":"minimum","count":31}] | t | min SUM | bce56437d9fb8db43dbe0792f1384def | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff50.xml |
COP | 319 | 313 | 26 | 24 | 25 | [{"size":24,"count":32},{"size":25,"count":287}] | 2 | 40 | [{"degree":2,"count":312},{"degree":40,"count":7}] | 2 | 8 | [{"arity":2,"count":273},{"arity":7,"count":1},{"arity":8,"count":39}] | 0 | 273 | [{"type":"extension","count":273},{"type":"ordered","count":1},{"type":"minimum","count":39}] | t | min SUM | f7819cc540e1493da1332403e09ec21d | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff56.xml |
COP | 299 | 295 | 36 | 34 | 36 | [{"size":34,"count":6},{"size":35,"count":114},{"size":36,"count":179}] | 2 | 50 | [{"degree":2,"count":294},{"degree":50,"count":5}] | 2 | 6 | [{"arity":2,"count":245},{"arity":5,"count":1},{"arity":6,"count":49}] | 0 | 245 | [{"type":"extension","count":245},{"type":"ordered","count":1},{"type":"minimum","count":49}] | t | min SUM | bde8bf62cee6a52be775f8ad73fb794c | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
Fastfood/ Fastfood-m1-s1/ Fastfood-ff59.xml |
COP | 362 | 353 | 27 | 23 | 26 | [{"size":23,"count":11},{"size":25,"count":33},{"size":26,"count":318}] | 2 | 33 | [{"degree":2,"count":352},{"degree":33,"count":10}] | 2 | 11 | [{"arity":2,"count":320},{"arity":10,"count":1},{"arity":11,"count":32}] | 0 | 320 | [{"type":"extension","count":320},{"type":"ordered","count":1},{"type":"minimum","count":32}] | t | min SUM | 1df56f74b1b4f47dde22644efb181f33 | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff60.xml |
COP | 395 | 385 | 27 | 23 | 26 | [{"size":23,"count":12},{"size":25,"count":36},{"size":26,"count":347}] | 2 | 33 | [{"degree":2,"count":384},{"degree":33,"count":11}] | 2 | 12 | [{"arity":2,"count":352},{"arity":11,"count":1},{"arity":12,"count":32}] | 0 | 352 | [{"type":"extension","count":352},{"type":"ordered","count":1},{"type":"minimum","count":32}] | t | min SUM | 7a954e9050bb3a994248d3527dd6cfee | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff61.xml |
COP | 428 | 417 | 27 | 23 | 26 | [{"size":23,"count":13},{"size":25,"count":39},{"size":26,"count":376}] | 2 | 33 | [{"degree":2,"count":416},{"degree":33,"count":12}] | 2 | 13 | [{"arity":2,"count":384},{"arity":12,"count":1},{"arity":13,"count":32}] | 0 | 384 | [{"type":"extension","count":384},{"type":"ordered","count":1},{"type":"minimum","count":32}] | t | min SUM | 275e9239012ab7a817236ff89c8de286 | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff62.xml |
COP | 461 | 449 | 27 | 23 | 26 | [{"size":23,"count":14},{"size":25,"count":42},{"size":26,"count":405}] | 2 | 33 | [{"degree":2,"count":448},{"degree":33,"count":13}] | 2 | 14 | [{"arity":2,"count":416},{"arity":13,"count":1},{"arity":14,"count":32}] | 0 | 416 | [{"type":"extension","count":416},{"type":"ordered","count":1},{"type":"minimum","count":32}] | t | min SUM | 5002a5aac4309249d3aa4752a35eede8 | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff65.xml |
COP | 560 | 545 | 27 | 23 | 26 | [{"size":23,"count":17},{"size":25,"count":51},{"size":26,"count":492}] | 2 | 33 | [{"degree":2,"count":544},{"degree":33,"count":16}] | 2 | 17 | [{"arity":2,"count":512},{"arity":16,"count":1},{"arity":17,"count":32}] | 0 | 512 | [{"type":"extension","count":512},{"type":"ordered","count":1},{"type":"minimum","count":32}] | t | min SUM | 0deffa9f0e673ce4a3cf2d2074b556a7 | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff73.xml |
COP | 230 | 225 | 27 | 23 | 26 | [{"size":23,"count":7},{"size":25,"count":21},{"size":26,"count":202}] | 2 | 33 | [{"degree":2,"count":224},{"degree":33,"count":6}] | 2 | 7 | [{"arity":2,"count":192},{"arity":6,"count":1},{"arity":7,"count":32}] | 0 | 192 | [{"type":"extension","count":192},{"type":"ordered","count":1},{"type":"minimum","count":32}] | t | min SUM | 801e7f15777543f741f290b294b0d689 | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff76.xml |
COP | 329 | 321 | 27 | 23 | 26 | [{"size":23,"count":10},{"size":25,"count":30},{"size":26,"count":289}] | 2 | 33 | [{"degree":2,"count":320},{"degree":33,"count":9}] | 2 | 10 | [{"arity":2,"count":288},{"arity":9,"count":1},{"arity":10,"count":32}] | 0 | 288 | [{"type":"extension","count":288},{"type":"ordered","count":1},{"type":"minimum","count":32}] | t | min SUM | 54271acf01ec811f7f01e8acfeb7516d | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff82.xml |
COP | 495 | 481 | 20 | 18 | 19 | [{"size":18,"count":32},{"size":19,"count":463}] | 2 | 31 | [{"degree":2,"count":480},{"degree":31,"count":15}] | 2 | 16 | [{"arity":2,"count":450},{"arity":15,"count":1},{"arity":16,"count":30}] | 0 | 450 | [{"type":"extension","count":450},{"type":"ordered","count":1},{"type":"minimum","count":30}] | t | min SUM | 3393a669eb5a1b265b3859905e8317a5 | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff85.xml |
COP | 185 | 181 | 20 | 18 | 19 | [{"size":18,"count":12},{"size":19,"count":173}] | 2 | 31 | [{"degree":2,"count":180},{"degree":31,"count":5}] | 2 | 6 | [{"arity":2,"count":150},{"arity":5,"count":1},{"arity":6,"count":30}] | 0 | 150 | [{"type":"extension","count":150},{"type":"ordered","count":1},{"type":"minimum","count":30}] | t | min SUM | afda861cdc29bd1fb05e74ad0e6ff5a8 | ||
Fastfood/ Fastfood-m1-s1/ Fastfood-ff87.xml |
COP | 247 | 241 | 20 | 18 | 19 | [{"size":18,"count":16},{"size":19,"count":231}] | 2 | 31 | [{"degree":2,"count":240},{"degree":31,"count":7}] | 2 | 8 | [{"arity":2,"count":210},{"arity":7,"count":1},{"arity":8,"count":30}] | 0 | 210 | [{"type":"extension","count":210},{"type":"ordered","count":1},{"type":"minimum","count":30}] | t | min SUM | 60c761b657be0d86f100d87a8dc157a6 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
GolombRuler/ GolombRuler-a3-s1/ GolombRuler-10-a3.xml |
COP | 110 | 48 | 2 | 500 | 501 | [{"size":500,"count":45},{"size":501,"count":10}] | 0 | 11 | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":8},{"degree":11,"count":2}] | 1 | 45 | [{"arity":1,"count":1},{"arity":3,"count":45},{"arity":10,"count":1},{"arity":45,"count":1}] | 46 | 0 | [{"type":"intension","count":46},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] | t | min VAR | 1a91370fd3edda64a19224a97cd9d854 | ||
GolombRuler/ GolombRuler-a3-s1/ GolombRuler-14-a3.xml |
COP | 210 | 94 | 2 | 500 | 501 | [{"size":500,"count":91},{"size":501,"count":14}] | 0 | 15 | [{"degree":0,"count":105},{"degree":2,"count":91},{"degree":14,"count":12},{"degree":15,"count":2}] | 1 | 91 | [{"arity":1,"count":1},{"arity":3,"count":91},{"arity":14,"count":1},{"arity":91,"count":1}] | 92 | 0 | [{"type":"intension","count":92},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] | t | min VAR | a5381fa3d98671549d41a8d043d26ba4 | ||
GolombRuler/ GolombRuler-a3-s1/ GolombRuler-28-a3.xml |
COP | 812 | 381 | 2 | 1000 | 1001 | [{"size":1000,"count":378},{"size":1001,"count":28}] | 0 | 29 | [{"degree":0,"count":406},{"degree":2,"count":378},{"degree":28,"count":26},{"degree":29,"count":2}] | 1 | 378 | [{"arity":1,"count":1},{"arity":3,"count":378},{"arity":28,"count":1},{"arity":378,"count":1}] | 379 | 0 | [{"type":"intension","count":379},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] | t | min VAR | 7bf94b2c859f2895a81dfe97f17444ea | ||
GolombRuler/ GolombRuler-a3v18-09_c18.xml |
COP | 90 | 37 | 2 | 81 | 82 | [{"size":81,"count":36},{"size":82,"count":9}] | 0 | 9 | [{"degree":0,"count":45},{"degree":2,"count":36},{"degree":8,"count":8},{"degree":9,"count":1}] | 3 | 36 | [{"arity":3,"count":36},{"arity":36,"count":1}] | 36 | 0 | [{"type":"intension","count":36},{"type":"allDifferent","count":1}] | t | min VAR | 967738086e80168f9eb4b0337d9e8cf6 | ||
GolombRuler/ GolombRuler-a3v18-10_c18.xml |
COP | 110 | 46 | 2 | 100 | 101 | [{"size":100,"count":45},{"size":101,"count":10}] | 0 | 10 | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}] | 3 | 45 | [{"arity":3,"count":45},{"arity":45,"count":1}] | 45 | 0 | [{"type":"intension","count":45},{"type":"allDifferent","count":1}] | t | min VAR | fd7701f01011f2453d3fac3f444f25b8 | ||
GolombRuler/ GolombRuler-a3v18-11_c18.xml |
COP | 132 | 56 | 2 | 121 | 122 | [{"size":121,"count":55},{"size":122,"count":11}] | 0 | 11 | [{"degree":0,"count":66},{"degree":2,"count":55},{"degree":10,"count":10},{"degree":11,"count":1}] | 3 | 55 | [{"arity":3,"count":55},{"arity":55,"count":1}] | 55 | 0 | [{"type":"intension","count":55},{"type":"allDifferent","count":1}] | t | min VAR | ed3f9a47d1f1ba76ff72e7160e212ad4 | ||
GolombRuler/ GolombRuler-a3v18-13_c18.xml |
COP | 182 | 79 | 2 | 169 | 170 | [{"size":169,"count":78},{"size":170,"count":13}] | 0 | 13 | [{"degree":0,"count":91},{"degree":2,"count":78},{"degree":12,"count":12},{"degree":13,"count":1}] | 3 | 78 | [{"arity":3,"count":78},{"arity":78,"count":1}] | 78 | 0 | [{"type":"intension","count":78},{"type":"allDifferent","count":1}] | t | min VAR | 66cce14b45be89e007abc3e2885e8941 | ||
GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml |
COP | 90 | 37 | 2 | 81 | 82 | [{"size":81,"count":36},{"size":82,"count":9}] | 0 | 9 | [{"degree":0,"count":45},{"degree":2,"count":36},{"degree":8,"count":8},{"degree":9,"count":1}] | 3 | 36 | [{"arity":3,"count":36},{"arity":36,"count":1}] | 36 | 0 | [{"type":"intension","count":36},{"type":"allDifferent","count":1}] | t | min VAR | 5099229ea21e0b755c9ada14ed0c0ccc | ||
GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml |
COP | 110 | 46 | 2 | 100 | 101 | [{"size":100,"count":45},{"size":101,"count":10}] | 0 | 10 | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}] | 3 | 45 | [{"arity":3,"count":45},{"arity":45,"count":1}] | 45 | 0 | [{"type":"intension","count":45},{"type":"allDifferent","count":1}] | t | min VAR | 769ec0f26c47f1b96bb609b2e4d8d5d6 | ||
GolombRuler/ GolombRuler-a4-s1/ GolombRuler-09-a4.xml |
COP | 9 | 548 | 1 | 501 | 501 | [{"size":501,"count":9}] | 225 | 226 | [{"degree":225,"count":7},{"degree":226,"count":2}] | 1 | 9 | [{"arity":1,"count":1},{"arity":3,"count":168},{"arity":4,"count":378},{"arity":9,"count":1}] | 547 | 0 | [{"type":"intension","count":547},{"type":"ordered","count":1}] | t | min VAR | 24dd80e7bb1ef2b7df88c183d3ee4992 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
GolombRuler/ GolombRuler-a4-s1/ GolombRuler-11-a4.xml |
COP | 11 | 1322 | 1 | 501 | 501 | [{"size":501,"count":11}] | 451 | 452 | [{"degree":451,"count":9},{"degree":452,"count":2}] | 1 | 11 | [{"arity":1,"count":1},{"arity":3,"count":330},{"arity":4,"count":990},{"arity":11,"count":1}] | 1321 | 0 | [{"type":"intension","count":1321},{"type":"ordered","count":1}] | t | min VAR | 76cd483e3b4252a6c3494775e86c7629 | ||
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o33-h381-bal-1.xml |
COP | 1089 | 34849 | 1 | 1089 | 1089 | [{"size":1089,"count":1089}] | 65 | 66 | [{"degree":65,"count":381},{"degree":66,"count":708}] | 2 | 708 | [{"arity":2,"count":34848},{"arity":708,"count":1}] | 34848 | 0 | [{"type":"intension","count":34848},{"type":"instantiation","count":1}] | t | min MAXIMUM | 2a724879a45d3456306f221189212969 | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml |
COP | 852 | 12201 | 1 | 852 | 852 | [{"size":852,"count":852}] | 9 | 216 | [{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}] | 2 | 2 | [{"arity":2,"count":12201}] | 12201 | 0 | [{"type":"intension","count":12201}] | t | min MAXIMUM | 7175cc64c8263572fa1d1d1459976d33 | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml |
COP | 79 | 156 | 1 | 79 | 79 | [{"size":79,"count":79}] | 4 | 14 | [{"degree":4,"count":13},{"degree":5,"count":65},{"degree":14,"count":1}] | 2 | 2 | [{"arity":2,"count":156}] | 156 | 0 | [{"type":"intension","count":156}] | t | min MAXIMUM | 681bcba91e68c7fd43dde01217071906 | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml |
COP | 1085 | 11395 | 1 | 1085 | 1085 | [{"size":1085,"count":1085}] | 7 | 161 | [{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}] | 2 | 2 | [{"arity":2,"count":11395}] | 11395 | 0 | [{"type":"intension","count":11395}] | t | min MAXIMUM | 9a110b3288dcdd83da8fcc132ac433c6 | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-ash608GPIA.xml |
COP | 1216 | 7844 | 1 | 1216 | 1216 | [{"size":1216,"count":1216}] | 2 | 21 | [{"degree":2,"count":1},{"degree":6,"count":2},{"degree":7,"count":13},{"degree":8,"count":18},{"degree":9,"count":26},{"degree":10,"count":54},{"degree":11,"count":102},{"degree":12,"count":128},{"degree":13,"count":194},{"degree":14,"count":189},{"degree":15,"count":154},{"degree":16,"count":130},{"degree":17,"count":97},{"degree":18,"count":66},{"degree":19,"count":22},{"degree":20,"count":10},{"degree":21,"count":10}] | 2 | 2 | [{"arity":2,"count":7844}] | 7844 | 0 | [{"type":"intension","count":7844}] | t | min MAXIMUM | 0df69417c613ef889e63c8df69e0b506 | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-david.xml |
COP | 87 | 406 | 1 | 87 | 87 | [{"size":87,"count":87}] | 2 | 83 | [{"degree":2,"count":10},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":5},{"degree":6,"count":6},{"degree":7,"count":10},{"degree":8,"count":4},{"degree":9,"count":5},{"degree":10,"count":9},{"degree":11,"count":1},{"degree":12,"count":4},{"degree":13,"count":2},{"degree":15,"count":3},{"degree":16,"count":2},{"degree":17,"count":4},{"degree":18,"count":2},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":22,"count":1},{"degree":29,"count":1},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":83,"count":1}] | 2 | 2 | [{"arity":2,"count":406}] | 406 | 0 | [{"type":"intension","count":406}] | t | min MAXIMUM | 8881d200d983e9a0f6a660f33978a65e | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-homer.xml |
COP | 561 | 1628 | 1 | 561 | 561 | [{"size":561,"count":561}] | 1 | 100 | [{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}] | 2 | 2 | [{"arity":2,"count":1628}] | 1628 | 0 | [{"type":"intension","count":1628}] | t | min MAXIMUM | 4034cc1c4ef788f4220b0fc076e8c883 | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml |
COP | 450 | 5734 | 1 | 450 | 450 | [{"size":450,"count":450}] | 13 | 43 | [{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":10},{"degree":18,"count":6},{"degree":19,"count":10},{"degree":20,"count":22},{"degree":21,"count":28},{"degree":22,"count":21},{"degree":23,"count":21},{"degree":24,"count":32},{"degree":25,"count":35},{"degree":26,"count":35},{"degree":27,"count":39},{"degree":28,"count":34},{"degree":29,"count":31},{"degree":30,"count":23},{"degree":31,"count":27},{"degree":32,"count":13},{"degree":33,"count":17},{"degree":34,"count":11},{"degree":35,"count":11},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":2},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":2},{"degree":43,"count":1}] | 2 | 2 | [{"arity":2,"count":5734}] | 5734 | 0 | [{"type":"intension","count":5734}] | t | min MAXIMUM | 1883a0b97ed6164a2c6d9bdd2047bad0 | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml |
COP | 450 | 9803 | 1 | 450 | 450 | [{"size":450,"count":450}] | 28 | 67 | [{"degree":28,"count":1},{"degree":29,"count":1},{"degree":31,"count":2},{"degree":32,"count":7},{"degree":33,"count":5},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":18},{"degree":37,"count":10},{"degree":38,"count":21},{"degree":39,"count":27},{"degree":40,"count":25},{"degree":41,"count":33},{"degree":42,"count":22},{"degree":43,"count":23},{"degree":44,"count":27},{"degree":45,"count":26},{"degree":46,"count":37},{"degree":47,"count":26},{"degree":48,"count":25},{"degree":49,"count":23},{"degree":50,"count":17},{"degree":51,"count":11},{"degree":52,"count":13},{"degree":53,"count":9},{"degree":54,"count":8},{"degree":55,"count":4},{"degree":56,"count":1},{"degree":57,"count":4},{"degree":58,"count":5},{"degree":60,"count":5},{"degree":61,"count":4},{"degree":63,"count":1},{"degree":66,"count":2},{"degree":67,"count":1}] | 2 | 2 | [{"arity":2,"count":9803}] | 9803 | 0 | [{"type":"intension","count":9803}] | t | min MAXIMUM | 4c5949db6bfbca6a63c3d4670a37bb2f | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml |
COP | 450 | 9757 | 1 | 450 | 450 | [{"size":450,"count":450}] | 30 | 69 | [{"degree":30,"count":2},{"degree":32,"count":5},{"degree":33,"count":14},{"degree":34,"count":7},{"degree":35,"count":13},{"degree":36,"count":18},{"degree":37,"count":13},{"degree":38,"count":17},{"degree":39,"count":17},{"degree":40,"count":27},{"degree":41,"count":16},{"degree":42,"count":32},{"degree":43,"count":28},{"degree":44,"count":28},{"degree":45,"count":29},{"degree":46,"count":24},{"degree":47,"count":22},{"degree":48,"count":17},{"degree":49,"count":23},{"degree":50,"count":15},{"degree":51,"count":17},{"degree":52,"count":14},{"degree":53,"count":14},{"degree":54,"count":11},{"degree":55,"count":9},{"degree":56,"count":4},{"degree":57,"count":4},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":1},{"degree":62,"count":1},{"degree":65,"count":2},{"degree":66,"count":1},{"degree":69,"count":1}] | 2 | 2 | [{"arity":2,"count":9757}] | 9757 | 0 | [{"type":"intension","count":9757}] | t | min MAXIMUM | 368e26568da76f7c30ce4b17b57b0014 | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml |
COP | 450 | 8260 | 1 | 450 | 450 | [{"size":450,"count":450}] | 3 | 129 | [{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}] | 2 | 2 | [{"arity":2,"count":8260}] | 8260 | 0 | [{"type":"intension","count":8260}] | t | min MAXIMUM | 395c447fdc403b125102e151795ddb76 | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-myciel5.xml |
COP | 47 | 236 | 1 | 47 | 47 | [{"size":47,"count":47}] | 6 | 24 | [{"degree":6,"count":5},{"degree":7,"count":5},{"degree":8,"count":6},{"degree":9,"count":5},{"degree":10,"count":5},{"degree":11,"count":5},{"degree":12,"count":1},{"degree":13,"count":7},{"degree":17,"count":5},{"degree":21,"count":1},{"degree":23,"count":1},{"degree":24,"count":1}] | 2 | 2 | [{"arity":2,"count":236}] | 236 | 0 | [{"type":"intension","count":236}] | t | min MAXIMUM | a954d880863fe6e02d270e9cafb0ae96 | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-school1.xml |
COP | 385 | 19095 | 1 | 385 | 385 | [{"size":385,"count":385}] | 2 | 283 | [{"degree":2,"count":8},{"degree":3,"count":2},{"degree":4,"count":3},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":8,"count":1},{"degree":9,"count":4},{"degree":10,"count":1},{"degree":12,"count":1},{"degree":13,"count":4},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":22,"count":1},{"degree":24,"count":3},{"degree":25,"count":5},{"degree":26,"count":2},{"degree":27,"count":1},{"degree":29,"count":2},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":35,"count":2},{"degree":39,"count":1},"...",{"degree":150,"count":2}, {"degree":154,"count":3}, {"degree":155,"count":1}, {"degree":156,"count":2}, {"degree":160,"count":2}, {"degree":161,"count":3}, {"degree":163,"count":1}, {"degree":164,"count":1}, {"degree":167,"count":1}, {"degree":168,"count":1}, {"degree":172,"count":1}, {"degree":175,"count":1}, {"degree":177,"count":1}, {"degree":230,"count":2}, {"degree":246,"count":1}, {"degree":247,"count":1}, {"degree":252,"count":1}, {"degree":257,"count":1}, {"degree":260,"count":1}, {"degree":263,"count":1}, {"degree":265,"count":1}, {"degree":269,"count":2}, {"degree":271,"count":1}, {"degree":273,"count":1}, {"degree":283,"count":1}] | 2 | 2 | [{"arity":2,"count":19095}] | 19095 | 0 | [{"type":"intension","count":19095}] | t | min MAXIMUM | 9dec5151d217f705456bb861c341cf0d | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-will199GPIA.xml |
COP | 701 | 6772 | 1 | 701 | 701 | [{"size":701,"count":701}] | 3 | 39 | [{"degree":3,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":1},{"degree":12,"count":17},{"degree":13,"count":48},{"degree":14,"count":113},{"degree":15,"count":54},{"degree":16,"count":67},{"degree":17,"count":18},{"degree":18,"count":62},{"degree":19,"count":17},{"degree":20,"count":23},{"degree":21,"count":24},{"degree":22,"count":15},{"degree":23,"count":11},{"degree":24,"count":12},{"degree":25,"count":14},{"degree":26,"count":28},{"degree":27,"count":24},{"degree":28,"count":34},{"degree":29,"count":3},{"degree":30,"count":26},{"degree":31,"count":12},{"degree":32,"count":13},{"degree":33,"count":14},{"degree":34,"count":14},{"degree":35,"count":6},{"degree":37,"count":1},{"degree":38,"count":14},{"degree":39,"count":6}] | 2 | 2 | [{"arity":2,"count":6772}] | 6772 | 0 | [{"type":"intension","count":6772}] | t | min MAXIMUM | a5e04939345321982833836e1e755881 | ||
GraphColoring/ GraphColoring-m1-mono/ GraphColoring-zeroin-i-1.xml |
COP | 211 | 4100 | 1 | 211 | 211 | [{"size":211,"count":211}] | 1 | 112 | [{"degree":1,"count":85},{"degree":29,"count":1},{"degree":30,"count":1},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":3},{"degree":34,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":7},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":4},{"degree":43,"count":3},{"degree":44,"count":2},{"degree":45,"count":11},{"degree":47,"count":6},{"degree":48,"count":7},{"degree":49,"count":5},{"degree":50,"count":3},{"degree":51,"count":2},{"degree":52,"count":1},{"degree":53,"count":1},"...",{"degree":68,"count":1}, {"degree":72,"count":1}, {"degree":75,"count":1}, {"degree":85,"count":1}, {"degree":87,"count":1}, {"degree":89,"count":1}, {"degree":90,"count":1}, {"degree":92,"count":1}, {"degree":95,"count":1}, {"degree":97,"count":2}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":100,"count":1}, {"degree":101,"count":5}, {"degree":102,"count":2}, {"degree":103,"count":1}, {"degree":104,"count":6}, {"degree":105,"count":1}, {"degree":106,"count":1}, {"degree":107,"count":1}, {"degree":108,"count":2}, {"degree":109,"count":1}, {"degree":110,"count":11}, {"degree":111,"count":1}, {"degree":112,"count":1}] | 2 | 2 | [{"arity":2,"count":4100}] | 4100 | 0 | [{"type":"intension","count":4100}] | t | min MAXIMUM | bac8a2bd88d13c89c2cced4f7584e960 | ||
Knapsack/ Knapsack-m1-s40/ Knapsack-40-150-01.xml |
COP | 40 | 1 | 1 | 2 | 2 | [{"size":2,"count":40}] | 2 | 2 | [{"degree":2,"count":40}] | 40 | 40 | [{"arity":40,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | 8d3b063d869bbc1321103d2dddf1736e | ||
Knapsack/ Knapsack-m1-s40/ Knapsack-40-150-08.xml |
COP | 40 | 1 | 1 | 2 | 2 | [{"size":2,"count":40}] | 2 | 2 | [{"degree":2,"count":40}] | 40 | 40 | [{"arity":40,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | a0dd3b11b1f6edde9967a93afac168fd | ||
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-00.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | 1dc4c7bf61332e07eccc684c7f29cd57 | ||
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-02.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | 917d2a52bc099bc665a23ef7a1bbabd2 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-03.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | 370e5889e420807efe2c272780cce411 | ||
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-04.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | 9de932a4b5bfbe7a07e43c684f6299af | ||
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-05.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | fc947c5025dc4a3c0350e3415d914057 | ||
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-06.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | e9e920efca2956d8591f17ca956249c3 | ||
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-07.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | c416c7749524dd4f925e3cf47c007fb7 | ||
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-09.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | ad8dee3e46a37d7edd567f31713cba75 | ||
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-11.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | f07db2d4579cd982e010e3ec5f98a04a | ||
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-13.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | e9c019b34e7441e843704d2f83648de8 | ||
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-14.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | 0fb8e68e5b6c8402080e230a0c605796 | ||
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-16.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | e3af77ac2ce2de59a61fc382fed7941a | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
Knapsack/ Knapsack-m1-s50/ Knapsack-50-200-17.xml |
COP | 50 | 1 | 1 | 2 | 2 | [{"size":2,"count":50}] | 2 | 2 | [{"degree":2,"count":50}] | 50 | 50 | [{"arity":50,"count":1}] | 0 | 0 | [{"type":"sum","count":1}] | t | max SUM | 072cba4c7f6c08974f35ec38dd54383a | ||
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-018.xml |
COP | 341 | 187 | 35 | 2 | 35 | [{"size":2,"count":172},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":1},{"size":21,"count":1},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1}] | 0 | 17 | [{"degree":0,"count":136},{"degree":2,"count":187},{"degree":17,"count":18}] | 2 | 18 | [{"arity":2,"count":18},{"arity":3,"count":154},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1}] | 170 | 0 | [{"type":"intension","count":170},{"type":"sum","count":17}] | t | min SUM | 656c4a2fb65f2a7fc120fc4ddb475e5d | ||
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-019.xml |
COP | 379 | 207 | 37 | 2 | 37 | [{"size":2,"count":191},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":21,"count":1},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1}] | 0 | 18 | [{"degree":0,"count":153},{"degree":2,"count":207},{"degree":18,"count":19}] | 2 | 19 | [{"arity":2,"count":19},{"arity":3,"count":172},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1}] | 189 | 0 | [{"type":"intension","count":189},{"type":"sum","count":18}] | t | min SUM | 4db16cf953bf17f15cb901b9adc08541 | ||
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml |
COP | 419 | 228 | 39 | 2 | 39 | [{"size":2,"count":211},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":1},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1}] | 0 | 19 | [{"degree":0,"count":171},{"degree":2,"count":228},{"degree":19,"count":20}] | 2 | 20 | [{"arity":2,"count":20},{"arity":3,"count":191},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1}] | 209 | 0 | [{"type":"intension","count":209},{"type":"sum","count":19}] | t | min SUM | 8d1019e9f102c0840a0dc4bc65e6ddfe | ||
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-021.xml |
COP | 461 | 250 | 41 | 2 | 41 | [{"size":2,"count":232},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1}] | 0 | 20 | [{"degree":0,"count":190},{"degree":2,"count":250},{"degree":20,"count":21}] | 2 | 21 | [{"arity":2,"count":21},{"arity":3,"count":211},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1}] | 230 | 0 | [{"type":"intension","count":230},{"type":"sum","count":20}] | t | min SUM | 6f45f3e4d1081bc980187c6d0b1f79c7 | ||
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-031.xml |
COP | 991 | 525 | 61 | 2 | 61 | [{"size":2,"count":497},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":2},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1},{"size":61,"count":1}] | 0 | 30 | [{"degree":0,"count":435},{"degree":2,"count":525},{"degree":30,"count":31}] | 2 | 31 | [{"arity":2,"count":31},{"arity":3,"count":466},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1}] | 495 | 0 | [{"type":"intension","count":495},{"type":"sum","count":30}] | t | min SUM | 0f1289c6216c2035de546c3b2133ae29 | ||
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml |
COP | 1121 | 592 | 65 | 2 | 65 | [{"size":2,"count":562},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":2},{"size":32,"count":1},{"size":33,"count":2},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1},{"size":61,"count":1},{"size":63,"count":1},{"size":65,"count":1}] | 0 | 32 | [{"degree":0,"count":496},{"degree":2,"count":592},{"degree":32,"count":33}] | 2 | 33 | [{"arity":2,"count":33},{"arity":3,"count":529},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1}] | 560 | 0 | [{"type":"intension","count":560},{"type":"sum","count":32}] | t | min SUM | 0094b37350883aa25196a680c59db77a | ||
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-053.xml |
COP | 2861 | 1482 | 105 | 2 | 105 | [{"size":2,"count":1432},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}] | 0 | 52 | [{"degree":0,"count":1326},{"degree":2,"count":1482},{"degree":52,"count":53}] | 2 | 53 | [{"arity":2,"count":53},{"arity":3,"count":1379},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":29,"count":1}, {"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}] | 1430 | 0 | [{"type":"intension","count":1430},{"type":"sum","count":52}] | t | min SUM | 7b052d900118d6d219a2e5f61835436e | ||
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-072.xml |
COP | 5255 | 2698 | 143 | 2 | 143 | [{"size":2,"count":2629},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}] | 0 | 71 | [{"degree":0,"count":2485},{"degree":2,"count":2698},{"degree":71,"count":72}] | 2 | 72 | [{"arity":2,"count":72},{"arity":3,"count":2557},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}] | 2627 | 0 | [{"type":"intension","count":2627},{"type":"sum","count":71}] | t | min SUM | 3b7c910d9b57f1d6426daaa1c2d4da0c | ||
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-078.xml |
COP | 6161 | 3157 | 155 | 2 | 155 | [{"size":2,"count":3082},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}] | 0 | 77 | [{"degree":0,"count":2926},{"degree":2,"count":3157},{"degree":77,"count":78}] | 2 | 78 | [{"arity":2,"count":78},{"arity":3,"count":3004},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}] | 3080 | 0 | [{"type":"intension","count":3080},{"type":"sum","count":77}] | t | min SUM | b749a4e5de10f3f67b20d160b8ef335e | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-086.xml |
COP | 7481 | 3825 | 171 | 2 | 171 | [{"size":2,"count":3742},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}] | 0 | 85 | [{"degree":0,"count":3570},{"degree":2,"count":3825},{"degree":85,"count":86}] | 2 | 86 | [{"arity":2,"count":86},{"arity":3,"count":3656},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}] | 3740 | 0 | [{"type":"intension","count":3740},{"type":"sum","count":85}] | t | min SUM | a6faa7a5ef9c34b1bccb6ba71ed7d002 | ||
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-088.xml |
COP | 7831 | 4002 | 175 | 2 | 175 | [{"size":2,"count":3917},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}] | 0 | 87 | [{"degree":0,"count":3741},{"degree":2,"count":4002},{"degree":87,"count":88}] | 2 | 88 | [{"arity":2,"count":88},{"arity":3,"count":3829},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}] | 3915 | 0 | [{"type":"intension","count":3915},{"type":"sum","count":87}] | t | min SUM | 433b6a25d6964ee5472894f745fbe815 | ||
LowAutocorrelation/ LowAutocorrelation-m1-s1/ LowAutocorrelation-090.xml |
COP | 8189 | 4183 | 179 | 2 | 179 | [{"size":2,"count":4096},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}] | 0 | 89 | [{"degree":0,"count":3916},{"degree":2,"count":4183},{"degree":89,"count":90}] | 2 | 90 | [{"arity":2,"count":90},{"arity":3,"count":4006},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}] | 4094 | 0 | [{"type":"intension","count":4094},{"type":"sum","count":89}] | t | min SUM | d92bd6a6dba83323313b355bf487e521 | ||
Mario/Mario-zinc-s1/ Mario-n-medium-2.xml |
COP | 90 | 61 | 54 | 1 | 30 | [{"size":1,"count":2},{"size":2,"count":28},{"size":28,"count":1},{"size":29,"count":5},{"size":30,"count":54}] | 1 | 3 | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] | 1 | 30 | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] | 29 | 30 | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] | t | max SUM | d930a285b222420c6879960cff9efc87 | ||
Mario/Mario-zinc-s1/ Mario-n-medium-3.xml |
COP | 90 | 61 | 57 | 1 | 30 | [{"size":1,"count":2},{"size":2,"count":28},{"size":28,"count":1},{"size":29,"count":8},{"size":30,"count":51}] | 1 | 3 | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] | 1 | 30 | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] | 29 | 30 | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] | t | max SUM | 5e375f515acf7f26619053bdd8bbc393 | ||
Mario/Mario-zinc-s1/ Mario-n-medium-4.xml |
COP | 90 | 61 | 53 | 1 | 30 | [{"size":1,"count":2},{"size":2,"count":28},{"size":29,"count":8},{"size":30,"count":52}] | 1 | 3 | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] | 1 | 30 | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] | 29 | 30 | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] | t | max SUM | 6d883eab13fdde7c2f2cac6b4a0af40c | ||
Mario/Mario-zinc-s1/ Mario-n-medium-5.xml |
COP | 90 | 61 | 56 | 1 | 30 | [{"size":1,"count":2},{"size":2,"count":28},{"size":29,"count":5},{"size":30,"count":55}] | 1 | 3 | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] | 1 | 30 | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] | 29 | 30 | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] | t | max SUM | 36a1aa2a38358c951443c34d8d302d49 | ||
Mario/Mario-zinc-s1/ Mario-t-hard-1.xml |
COP | 300 | 201 | 164 | 1 | 100 | [{"size":1,"count":5},{"size":2,"count":95},{"size":85,"count":4},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":6},{"size":89,"count":17},{"size":90,"count":16},{"size":91,"count":14},{"size":92,"count":12},{"size":93,"count":12},{"size":94,"count":9},{"size":95,"count":5},{"size":97,"count":1},{"size":100,"count":100}] | 1 | 3 | [{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}] | 1 | 100 | [{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}] | 99 | 100 | [{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}] | t | max SUM | d0ad504447153d615b89b5c6990e2d3b | ||
Mario/Mario-zinc-s1/ Mario-t-hard-2.xml |
COP | 300 | 201 | 161 | 1 | 100 | [{"size":1,"count":2},{"size":2,"count":98},{"size":85,"count":3},{"size":86,"count":3},{"size":87,"count":7},{"size":88,"count":10},{"size":89,"count":13},{"size":90,"count":11},{"size":91,"count":13},{"size":92,"count":9},{"size":93,"count":7},{"size":94,"count":9},{"size":95,"count":4},{"size":96,"count":8},{"size":97,"count":2},{"size":99,"count":1},{"size":100,"count":100}] | 1 | 3 | [{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}] | 1 | 100 | [{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}] | 99 | 100 | [{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}] | t | max SUM | 2b9b9d57997e47756252872b7d7d2054 | ||
Mario/Mario-zinc-s1/ Mario-t-hard-5.xml |
COP | 300 | 201 | 166 | 1 | 100 | [{"size":1,"count":5},{"size":2,"count":95},{"size":83,"count":1},{"size":85,"count":1},{"size":86,"count":3},{"size":87,"count":3},{"size":88,"count":8},{"size":89,"count":19},{"size":90,"count":19},{"size":91,"count":8},{"size":92,"count":17},{"size":93,"count":12},{"size":94,"count":3},{"size":95,"count":3},{"size":96,"count":1},{"size":97,"count":2},{"size":100,"count":100}] | 1 | 3 | [{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}] | 1 | 100 | [{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}] | 99 | 100 | [{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}] | t | max SUM | 4de37f7087aa8e77bde3fd457ed5d54a | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
NurseRostering/ NurseRostering-01_c18.xml |
COP | 226 | 427 | 11 | 1 | 15 | [{"size":1,"count":14},{"size":2,"count":154},{"size":9,"count":42},{"size":15,"count":16}] | 2 | 18 | [{"degree":2,"count":98},{"degree":3,"count":16},{"degree":8,"count":4},{"degree":9,"count":10},{"degree":10,"count":2},{"degree":11,"count":4},{"degree":12,"count":10},{"degree":13,"count":12},{"degree":14,"count":17},{"degree":15,"count":16},{"degree":16,"count":17},{"degree":17,"count":18},{"degree":18,"count":2}] | 2 | 15 | [{"arity":2,"count":118},{"arity":3,"count":192},{"arity":6,"count":72},{"arity":8,"count":1},{"arity":9,"count":28},{"arity":15,"count":16}] | 74 | 28 | [{"type":"extension","count":28},{"type":"intension","count":74},{"type":"regular","count":192},{"type":"sum","count":16},{"type":"count","count":116},{"type":"instantiation","count":1}] | t | min SUM | 0c15b35a08e73d195c67cb94b6fc4864 | ||
NurseRostering/ NurseRostering-18_c18.xml |
COP | 3286 | 8967 | 16 | 1 | 85 | [{"size":1,"count":96},{"size":2,"count":678},{"size":4,"count":1848},{"size":23,"count":588},{"size":41,"count":2},{"size":44,"count":16},{"size":85,"count":58}] | 2 | 23 | [{"degree":2,"count":1174},{"degree":3,"count":264},{"degree":13,"count":19},{"degree":14,"count":23},{"degree":15,"count":2},{"degree":16,"count":17},{"degree":17,"count":24},{"degree":18,"count":38},{"degree":19,"count":38},{"degree":20,"count":189},{"degree":21,"count":776},{"degree":22,"count":573},{"degree":23,"count":149}] | 2 | 176 | [{"arity":2,"count":3148},{"arity":3,"count":3608},{"arity":4,"count":22},{"arity":5,"count":320},{"arity":6,"count":1422},{"arity":12,"count":22},{"arity":23,"count":336},{"arity":85,"count":88},{"arity":176,"count":1}] | 986 | 2162 | [{"type":"extension","count":2162},{"type":"intension","count":986},{"type":"regular","count":3608},{"type":"sum","count":44},{"type":"count","count":2166},{"type":"instantiation","count":1}] | t | min SUM | 2080050c46f9199df44cd86a0d29de9d | ||
Opd/Opd-sum-large/ Opd-03-350-100.xml |
COP | 1051 | 7 | 2 | 2 | 351 | [{"size":2,"count":1050},{"size":351,"count":1}] | 4 | 4 | [{"degree":4,"count":1051}] | 350 | 1050 | [{"arity":350,"count":3},{"arity":701,"count":3},{"arity":1050,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":6}] | t | min VAR | 2ec8df38dc21edc74720c494de453c4e | ||
Opd/Opd-sum-large/ Opd-04-350-100.xml |
COP | 1401 | 11 | 2 | 2 | 342 | [{"size":2,"count":1400},{"size":342,"count":1}] | 5 | 7 | [{"degree":5,"count":1400},{"degree":7,"count":1}] | 350 | 1400 | [{"arity":350,"count":4},{"arity":701,"count":6},{"arity":1400,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":10}] | t | min VAR | 05a37308653f1418d8a9d31e27700b02 | ||
Opd/Opd-sum-large/ Opd-09-350-100.xml |
COP | 3151 | 46 | 2 | 2 | 330 | [{"size":2,"count":3150},{"size":330,"count":1}] | 10 | 37 | [{"degree":10,"count":3150},{"degree":37,"count":1}] | 350 | 3150 | [{"arity":350,"count":9},{"arity":701,"count":36},{"arity":3150,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":45}] | t | min VAR | 9444e44f99a0ffd374c39bd698e45a3a | ||
Opd/Opd-sum-large/ Opd-15-035-010.xml |
COP | 526 | 121 | 2 | 2 | 33 | [{"size":2,"count":525},{"size":33,"count":1}] | 16 | 106 | [{"degree":16,"count":525},{"degree":106,"count":1}] | 35 | 525 | [{"arity":35,"count":15},{"arity":71,"count":105},{"arity":525,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":120}] | t | min VAR | b4ffb396ba331e6a6f6e6b1bc4ae482f | ||
Opd/Opd-sum-large/ Opd-16-035-010.xml |
COP | 561 | 137 | 2 | 2 | 33 | [{"size":2,"count":560},{"size":33,"count":1}] | 17 | 121 | [{"degree":17,"count":560},{"degree":121,"count":1}] | 35 | 560 | [{"arity":35,"count":16},{"arity":71,"count":120},{"arity":560,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":136}] | t | min VAR | 03e72fbe3dfec80e6807e25b52393289 | ||
Opd/Opd-sum-small/ Opd-09-024-008.xml |
COP | 217 | 46 | 2 | 2 | 23 | [{"size":2,"count":216},{"size":23,"count":1}] | 10 | 37 | [{"degree":10,"count":216},{"degree":37,"count":1}] | 24 | 216 | [{"arity":24,"count":9},{"arity":49,"count":36},{"arity":216,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":45}] | t | min VAR | 0092e4980ed4af349e39cdcd3a0de294 | ||
Opd/Opd-sum-small/ Opd-10-015-006.xml |
COP | 151 | 56 | 2 | 2 | 14 | [{"size":2,"count":150},{"size":14,"count":1}] | 11 | 46 | [{"degree":11,"count":150},{"degree":46,"count":1}] | 15 | 150 | [{"arity":15,"count":10},{"arity":31,"count":45},{"arity":150,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":55}] | t | min VAR | d279c4dbde03937b121f919805027b3b | ||
Opd/Opd-sum-small/ Opd-10-030-009.xml |
COP | 301 | 56 | 2 | 2 | 29 | [{"size":2,"count":300},{"size":29,"count":1}] | 11 | 46 | [{"degree":11,"count":300},{"degree":46,"count":1}] | 30 | 300 | [{"arity":30,"count":10},{"arity":61,"count":45},{"arity":300,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":55}] | t | min VAR | 902db1136df2968cd1e3d1d445559775 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
Opd/Opd-sum-small/ Opd-10-031-009.xml |
COP | 311 | 56 | 2 | 2 | 30 | [{"size":2,"count":310},{"size":30,"count":1}] | 11 | 46 | [{"degree":11,"count":310},{"degree":46,"count":1}] | 31 | 310 | [{"arity":31,"count":10},{"arity":63,"count":45},{"arity":310,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":55}] | t | min VAR | c781bc55b7ee4c4bb57d86a03397642c | ||
Opd/Opd-sum-small/ Opd-10-032-009.xml |
COP | 321 | 56 | 2 | 2 | 31 | [{"size":2,"count":320},{"size":31,"count":1}] | 11 | 46 | [{"degree":11,"count":320},{"degree":46,"count":1}] | 32 | 320 | [{"arity":32,"count":10},{"arity":65,"count":45},{"arity":320,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":55}] | t | min VAR | 60cee350f909e875fed1272f4ca3f397 | ||
Opd/Opd-sum-small/ Opd-10-037-014.xml |
COP | 371 | 56 | 2 | 2 | 33 | [{"size":2,"count":370},{"size":33,"count":1}] | 11 | 46 | [{"degree":11,"count":370},{"degree":46,"count":1}] | 37 | 370 | [{"arity":37,"count":10},{"arity":75,"count":45},{"arity":370,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":55}] | t | min VAR | d77adff4d02ea0a040e7fe9c51d12b8d | ||
Opd/Opd-sum-small/ Opd-10-038-010.xml |
COP | 381 | 56 | 2 | 2 | 37 | [{"size":2,"count":380},{"size":37,"count":1}] | 11 | 46 | [{"degree":11,"count":380},{"degree":46,"count":1}] | 38 | 380 | [{"arity":38,"count":10},{"arity":77,"count":45},{"arity":380,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":55}] | t | min VAR | 8e449228b7b3cf049a5fccac2aa13fe6 | ||
Opd/Opd-sum-small/ Opd-11-011-005.xml |
COP | 122 | 67 | 2 | 2 | 10 | [{"size":2,"count":121},{"size":10,"count":1}] | 12 | 56 | [{"degree":12,"count":121},{"degree":56,"count":1}] | 11 | 121 | [{"arity":11,"count":11},{"arity":23,"count":55},{"arity":121,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":66}] | t | min VAR | 7a6a01f2d694ae1725dbabce720210ef | ||
Opd/Opd-sum-small/ Opd-15-015-004.xml |
COP | 226 | 121 | 2 | 2 | 15 | [{"size":2,"count":225},{"size":15,"count":1}] | 16 | 106 | [{"degree":16,"count":225},{"degree":106,"count":1}] | 15 | 225 | [{"arity":15,"count":15},{"arity":31,"count":105},{"arity":225,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":120}] | t | min VAR | 1a7c138b4bdf03d361f31c5b4036df8a | ||
Opd/Opd-sum-small/ Opd-19-020-009.xml |
COP | 381 | 191 | 2 | 2 | 17 | [{"size":2,"count":380},{"size":17,"count":1}] | 20 | 172 | [{"degree":20,"count":380},{"degree":172,"count":1}] | 20 | 380 | [{"arity":20,"count":19},{"arity":41,"count":171},{"arity":380,"count":1}] | 0 | 0 | [{"type":"lex","count":1},{"type":"sum","count":190}] | t | min VAR | 62ee24bcba75d1d33fbbd4bb45a854a0 | ||
OpenStacks/ OpenStacks-m1c-s1/ OpenStacks-m1c-gp-050-1.xml |
COP | 7600 | 7551 | 17 | 2 | 51 | [{"size":2,"count":5100},{"size":5,"count":50},{"size":6,"count":50},{"size":19,"count":50},{"size":20,"count":50},{"size":40,"count":50},{"size":41,"count":50},{"size":42,"count":50},{"size":43,"count":50},{"size":44,"count":250},{"size":45,"count":500},{"size":46,"count":400},{"size":47,"count":500},{"size":48,"count":100},{"size":49,"count":200},{"size":50,"count":100},{"size":51,"count":50}] | 2 | 51 | [{"degree":2,"count":2600},{"degree":3,"count":4950},{"degree":51,"count":50}] | 2 | 51 | [{"arity":2,"count":2550},{"arity":3,"count":4950},{"arity":50,"count":1},{"arity":51,"count":50}] | 2500 | 2500 | [{"type":"extension","count":2500},{"type":"intension","count":2500},{"type":"allDifferent","count":1},{"type":"sum","count":50},{"type":"element","count":2500}] | t | min MAXIMUM | 00ff107c10292685d5feb35a59a49636 | ||
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-pb-30-15-1.xml |
COP | 1380 | 1366 | 8 | 2 | 16 | [{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"size":15,"count":15},{"size":16,"count":15}] | 2 | 31 | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] | 2 | 31 | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] | 450 | 450 | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] | t | min MAXIMUM | 200d8ff13be0114d953e34120514972f | ||
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbo-30-15-1.xml |
COP | 1380 | 1366 | 6 | 2 | 16 | [{"size":2,"count":1065},{"size":3,"count":150},{"size":4,"count":105},{"size":5,"count":30},{"size":15,"count":15},{"size":16,"count":15}] | 2 | 31 | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] | 2 | 31 | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] | 450 | 450 | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] | t | min MAXIMUM | 9a57509d02107f3cf02e1da9240cc9e8 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-10-20-1.xml |
COP | 640 | 621 | 4 | 2 | 21 | [{"size":2,"count":400},{"size":5,"count":200},{"size":20,"count":20},{"size":21,"count":20}] | 2 | 11 | [{"degree":2,"count":230},{"degree":3,"count":390},{"degree":11,"count":20}] | 2 | 20 | [{"arity":2,"count":210},{"arity":3,"count":390},{"arity":11,"count":20},{"arity":20,"count":1}] | 200 | 200 | [{"type":"extension","count":200},{"type":"intension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"element","count":200}] | t | min MAXIMUM | 4579a6cf23fef813b27c8fe20d1b5728 | ||
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml |
COP | 1380 | 1366 | 4 | 2 | 16 | [{"size":2,"count":900},{"size":3,"count":450},{"size":15,"count":15},{"size":16,"count":15}] | 2 | 31 | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] | 2 | 31 | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] | 450 | 450 | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] | t | min MAXIMUM | 097039f9865a2fa48b7d42a66e75794b | ||
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml |
COP | 2760 | 2731 | 4 | 2 | 31 | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] | 2 | 31 | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] | 2 | 31 | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] | 900 | 900 | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] | t | min MAXIMUM | 67a2d403e3bfd604d92484151c447548 | ||
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbp-15-15-1.xml |
COP | 705 | 691 | 4 | 2 | 16 | [{"size":2,"count":450},{"size":3,"count":225},{"size":15,"count":15},{"size":16,"count":15}] | 2 | 16 | [{"degree":2,"count":255},{"degree":3,"count":435},{"degree":16,"count":15}] | 2 | 16 | [{"arity":2,"count":240},{"arity":3,"count":435},{"arity":15,"count":1},{"arity":16,"count":15}] | 225 | 225 | [{"type":"extension","count":225},{"type":"intension","count":225},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":225}] | t | min MAXIMUM | a951848c4e631b36882baf30b58f4449 | ||
OpenStacks/ OpenStacks-m1-s1/ OpenStacks-m1-gp-050-1.xml |
COP | 7600 | 7551 | 17 | 2 | 51 | [{"size":2,"count":5100},{"size":5,"count":50},{"size":6,"count":50},{"size":19,"count":50},{"size":20,"count":50},{"size":40,"count":50},{"size":41,"count":50},{"size":42,"count":50},{"size":43,"count":50},{"size":44,"count":250},{"size":45,"count":500},{"size":46,"count":400},{"size":47,"count":500},{"size":48,"count":100},{"size":49,"count":200},{"size":50,"count":100},{"size":51,"count":50}] | 2 | 51 | [{"degree":2,"count":2600},{"degree":3,"count":4950},{"degree":51,"count":50}] | 2 | 51 | [{"arity":2,"count":2550},{"arity":3,"count":4950},{"arity":50,"count":1},{"arity":51,"count":50}] | 2500 | 2500 | [{"type":"extension","count":2500},{"type":"intension","count":2500},{"type":"allDifferent","count":1},{"type":"sum","count":50},{"type":"element","count":2500}] | t | min MAXIMUM | fc4e4ea7042e58a9368f3717c71f0857 | ||
OpenStacks/ OpenStacks-m1-s1/ OpenStacks-m1-pb-30-15-1.xml |
COP | 1380 | 1366 | 8 | 2 | 16 | [{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"size":15,"count":15},{"size":16,"count":15}] | 2 | 31 | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] | 2 | 31 | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] | 450 | 450 | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] | t | min MAXIMUM | 1892dc6bbe7f4411da75bff22067cf15 | ||
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-15-30-1.xml |
COP | 1410 | 1381 | 9 | 2 | 31 | [{"size":2,"count":900},{"size":3,"count":30},{"size":4,"count":150},{"size":5,"count":150},{"size":6,"count":60},{"size":7,"count":30},{"size":8,"count":30},{"size":30,"count":30},{"size":31,"count":30}] | 2 | 16 | [{"degree":2,"count":495},{"degree":3,"count":885},{"degree":16,"count":30}] | 2 | 30 | [{"arity":2,"count":465},{"arity":3,"count":885},{"arity":16,"count":30},{"arity":30,"count":1}] | 450 | 450 | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":450}] | t | min MAXIMUM | 274e3e67607724bfcca0861611bdfa28 | ||
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-30-15-1.xml |
COP | 1380 | 1366 | 6 | 2 | 16 | [{"size":2,"count":1065},{"size":3,"count":150},{"size":4,"count":105},{"size":5,"count":30},{"size":15,"count":15},{"size":16,"count":15}] | 2 | 31 | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] | 2 | 31 | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] | 450 | 450 | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] | t | min MAXIMUM | 0da4913a631570f2aab16967eaf6c11a | ||
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-10-20-1.xml |
COP | 640 | 621 | 4 | 2 | 21 | [{"size":2,"count":400},{"size":5,"count":200},{"size":20,"count":20},{"size":21,"count":20}] | 2 | 11 | [{"degree":2,"count":230},{"degree":3,"count":390},{"degree":11,"count":20}] | 2 | 20 | [{"arity":2,"count":210},{"arity":3,"count":390},{"arity":11,"count":20},{"arity":20,"count":1}] | 200 | 200 | [{"type":"extension","count":200},{"type":"intension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"element","count":200}] | t | min MAXIMUM | 81c67383229f275c0057c3a1b360ed12 | ||
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-15-1.xml |
COP | 1380 | 1366 | 4 | 2 | 16 | [{"size":2,"count":900},{"size":3,"count":450},{"size":15,"count":15},{"size":16,"count":15}] | 2 | 31 | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] | 2 | 31 | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] | 450 | 450 | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] | t | min MAXIMUM | b5169c90aef0d626aba0e990e84095c1 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml |
COP | 2760 | 2731 | 4 | 2 | 31 | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] | 2 | 31 | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] | 2 | 31 | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] | 900 | 900 | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] | t | min MAXIMUM | 305bfce3403e7be8ea8343edd9c7d9a7 | ||
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbp-15-15-1.xml |
COP | 705 | 691 | 4 | 2 | 16 | [{"size":2,"count":450},{"size":3,"count":225},{"size":15,"count":15},{"size":16,"count":15}] | 2 | 16 | [{"degree":2,"count":255},{"degree":3,"count":435},{"degree":16,"count":15}] | 2 | 16 | [{"arity":2,"count":240},{"arity":3,"count":435},{"arity":15,"count":1},{"arity":16,"count":15}] | 225 | 225 | [{"type":"extension","count":225},{"type":"intension","count":225},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":225}] | t | min MAXIMUM | 5e70d8b90a79902ca57f9a23b37af6a1 | ||
PeacableArmies/ PeacableArmies-m1-07_c18.xml |
COP | 98 | 1002 | 1 | 2 | 2 | [{"size":2,"count":98}] | 20 | 27 | [{"degree":20,"count":24},{"degree":21,"count":24},{"degree":22,"count":16},{"degree":23,"count":16},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":26,"count":1},{"degree":27,"count":1}] | 2 | 98 | [{"arity":2,"count":1001},{"arity":98,"count":1}] | 1001 | 0 | [{"type":"intension","count":1001},{"type":"sum","count":1}] | t | max SUM | 93689e7972bcd89c8c0248fcf1fc8ef9 | ||
PeacableArmies/ PeacableArmies-m2-07_c18.xml |
COP | 51 | 479 | 2 | 3 | 24 | [{"size":3,"count":49},{"size":24,"count":2}] | 2 | 26 | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":20,"count":24},{"degree":22,"count":16},{"degree":24,"count":8},{"degree":26,"count":1}] | 2 | 50 | [{"arity":2,"count":477},{"arity":50,"count":2}] | 477 | 0 | [{"type":"intension","count":477},{"type":"count","count":2}] | t | max VAR | d533abf730bec48b9e0ac1943d19d6b7 | ||
PizzaVoucher/ PizzaVoucher-12a_c18.xml |
COP | 44 | 105 | 18 | 1 | 21 | [{"size":1,"count":1},{"size":2,"count":24},{"size":3,"count":3},{"size":4,"count":2},{"size":5,"count":1},{"size":7,"count":1},{"size":21,"count":12}] | 2 | 32 | [{"degree":2,"count":32},{"degree":31,"count":6},{"degree":32,"count":6}] | 2 | 13 | [{"arity":2,"count":85},{"arity":13,"count":20}] | 85 | 0 | [{"type":"intension","count":85},{"type":"count","count":20}] | t | min SUM | 56cb9e23f693fb34c9078bf93399e92e | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-18-3-6-8.xml |
COP | 54 | 73 | 19 | 4 | 19 | [{"size":4,"count":6},{"size":5,"count":10},{"size":6,"count":2},{"size":19,"count":36}] | 2 | 21 | [{"degree":2,"count":18},{"degree":19,"count":17},{"degree":20,"count":1},{"degree":21,"count":18}] | 1 | 19 | [{"arity":1,"count":1},{"arity":2,"count":36},{"arity":18,"count":18},{"arity":19,"count":18}] | 19 | 36 | [{"type":"extension","count":36},{"type":"intension","count":19},{"type":"count","count":18}] | t | max SUM | 5d7a010bf2d95efed7f70b0fa6bbffad | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-0.xml |
COP | 60 | 81 | 21 | 3 | 21 | [{"size":3,"count":1},{"size":4,"count":6},{"size":5,"count":10},{"size":6,"count":3},{"size":21,"count":40}] | 2 | 23 | [{"degree":2,"count":20},{"degree":21,"count":19},{"degree":22,"count":1},{"degree":23,"count":20}] | 1 | 21 | [{"arity":1,"count":1},{"arity":2,"count":40},{"arity":20,"count":20},{"arity":21,"count":20}] | 21 | 40 | [{"type":"extension","count":40},{"type":"intension","count":21},{"type":"count","count":20}] | t | max SUM | 74d82578b46c9040964d6b10ded07847 | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-8.xml |
COP | 60 | 81 | 21 | 4 | 21 | [{"size":4,"count":7},{"size":5,"count":7},{"size":6,"count":6},{"size":21,"count":40}] | 2 | 23 | [{"degree":2,"count":20},{"degree":21,"count":19},{"degree":22,"count":1},{"degree":23,"count":20}] | 1 | 21 | [{"arity":1,"count":1},{"arity":2,"count":40},{"arity":20,"count":20},{"arity":21,"count":20}] | 21 | 40 | [{"type":"extension","count":40},{"type":"intension","count":21},{"type":"count","count":20}] | t | max SUM | cc4f118531160cfe6c95c1294546deff | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-1.xml |
COP | 72 | 97 | 24 | 4 | 25 | [{"size":4,"count":8},{"size":5,"count":14},{"size":6,"count":2},{"size":25,"count":48}] | 2 | 27 | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] | 1 | 25 | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] | 25 | 48 | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] | t | max SUM | 105bb238691d484e064b3a25c3dae36e | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-2.xml |
COP | 72 | 97 | 24 | 3 | 25 | [{"size":3,"count":1},{"size":4,"count":8},{"size":5,"count":10},{"size":6,"count":5},{"size":25,"count":48}] | 2 | 27 | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] | 1 | 25 | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] | 25 | 48 | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] | t | max SUM | 6e9eac7fa543eb44f101d0276de9753d | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-3.xml |
COP | 72 | 97 | 24 | 4 | 25 | [{"size":4,"count":11},{"size":5,"count":11},{"size":6,"count":2},{"size":25,"count":48}] | 2 | 27 | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] | 1 | 25 | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] | 25 | 48 | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] | t | max SUM | 95a2ddfb0d7ed65af35b4a4f8b00191d | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-4.xml |
COP | 72 | 97 | 24 | 4 | 25 | [{"size":4,"count":12},{"size":5,"count":12},{"size":25,"count":48}] | 2 | 27 | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] | 1 | 25 | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] | 25 | 48 | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] | t | max SUM | e870fb3a9053f33a7d0d8e73b49cdad7 | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-6.xml |
COP | 72 | 97 | 25 | 3 | 25 | [{"size":3,"count":1},{"size":4,"count":6},{"size":5,"count":12},{"size":6,"count":5},{"size":25,"count":48}] | 2 | 27 | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] | 1 | 25 | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] | 25 | 48 | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] | t | max SUM | 0bc555941feddabd64880acf40a70a83 | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-7.xml |
COP | 72 | 97 | 24 | 3 | 25 | [{"size":3,"count":1},{"size":4,"count":8},{"size":5,"count":12},{"size":6,"count":3},{"size":25,"count":48}] | 2 | 27 | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] | 1 | 25 | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] | 25 | 48 | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] | t | max SUM | d869450afe9c29c5d3a1d31c4402b074 | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-8.xml |
COP | 72 | 97 | 25 | 3 | 25 | [{"size":3,"count":2},{"size":4,"count":8},{"size":5,"count":11},{"size":6,"count":3},{"size":25,"count":48}] | 2 | 27 | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] | 1 | 25 | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] | 25 | 48 | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] | t | max SUM | 2aec32ddb698ed0594b6493531e6a3ee | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-0.xml |
COP | 75 | 101 | 24 | 4 | 26 | [{"size":4,"count":12},{"size":5,"count":7},{"size":6,"count":6},{"size":26,"count":50}] | 2 | 28 | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] | 1 | 26 | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] | 26 | 50 | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] | t | max SUM | 297e7ff3843a631e244fdcc6d730e090 | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-5.xml |
COP | 75 | 101 | 25 | 3 | 26 | [{"size":3,"count":2},{"size":4,"count":9},{"size":5,"count":7},{"size":6,"count":7},{"size":26,"count":50}] | 2 | 28 | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] | 1 | 26 | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] | 26 | 50 | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] | t | max SUM | a365ee41b1fa653da2199bfa573a8fac | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-6.xml |
COP | 75 | 101 | 25 | 3 | 26 | [{"size":3,"count":2},{"size":4,"count":8},{"size":5,"count":13},{"size":6,"count":2},{"size":26,"count":50}] | 2 | 28 | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] | 1 | 26 | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] | 26 | 50 | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] | t | max SUM | 0bc86e74ae8fed70a43ec92abb2586e2 | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-9.xml |
COP | 75 | 101 | 25 | 4 | 26 | [{"size":4,"count":15},{"size":5,"count":6},{"size":6,"count":4},{"size":26,"count":50}] | 2 | 28 | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] | 1 | 26 | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] | 26 | 50 | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] | t | max SUM | 01e24d77724351f9fbbc9dc0447b7ef7 | ||
PrizeCollecting/ PrizeCollecting-jok-s1/ PrizeCollecting-28-4-7-3.xml |
COP | 84 | 113 | 27 | 3 | 29 | [{"size":3,"count":1},{"size":4,"count":11},{"size":5,"count":13},{"size":6,"count":3},{"size":29,"count":56}] | 2 | 31 | [{"degree":2,"count":28},{"degree":29,"count":27},{"degree":30,"count":1},{"degree":31,"count":28}] | 1 | 29 | [{"arity":1,"count":1},{"arity":2,"count":56},{"arity":28,"count":28},{"arity":29,"count":28}] | 29 | 56 | [{"type":"extension","count":56},{"type":"intension","count":29},{"type":"count","count":28}] | t | max SUM | cd71d797d3091c0a3eabb0588ef8346f | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
PseudoBoolean/ PseudoBoolean-opt-bgr/ Pb-bgr-04.xml |
COP | 38 | 44 | 1 | 2 | 2 | [{"size":2,"count":38}] | 2 | 30 | [{"degree":2,"count":21},{"degree":29,"count":5},{"degree":30,"count":12}] | 1 | 18 | [{"arity":1,"count":1},{"arity":8,"count":2},{"arity":9,"count":7},{"arity":10,"count":6},{"arity":13,"count":6},{"arity":14,"count":18},{"arity":18,"count":4}] | 0 | 0 | [{"type":"sum","count":44}] | t | min SUM | a565a7a5aa699043db8dfe2959276911 | ||
PseudoBoolean/ PseudoBoolean-opt-dimacs/ Pb-hanoi4.xml |
COP | 1436 | 5652 | 1 | 2 | 2 | [{"size":2,"count":1436}] | 3 | 29 | [{"degree":3,"count":49},{"degree":4,"count":94},{"degree":5,"count":95},{"degree":6,"count":95},{"degree":7,"count":581},{"degree":9,"count":1},{"degree":10,"count":11},{"degree":11,"count":12},{"degree":12,"count":168},{"degree":15,"count":60},{"degree":19,"count":45},{"degree":21,"count":60},{"degree":23,"count":105},{"degree":29,"count":60}] | 1 | 7 | [{"arity":1,"count":128},{"arity":2,"count":3199},{"arity":3,"count":2280},{"arity":4,"count":15},{"arity":7,"count":30}] | 0 | 0 | [{"type":"sum","count":5652}] | t | min SUM | a17fae509aff329e2f365d061bb5ebf3 | ||
PseudoBoolean/ PseudoBoolean-opt-dimacs/ Pb-ii32b3.xml |
COP | 696 | 6082 | 1 | 2 | 2 | [{"size":2,"count":696}] | 3 | 119 | [{"degree":3,"count":156},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":15},{"degree":24,"count":9},{"degree":25,"count":6},{"degree":26,"count":6},{"degree":27,"count":6},{"degree":28,"count":21},{"degree":29,"count":18},{"degree":30,"count":21},{"degree":31,"count":6},{"degree":32,"count":6},{"degree":33,"count":6},{"degree":34,"count":165},{"degree":35,"count":15},{"degree":36,"count":6},{"degree":37,"count":6},{"degree":40,"count":3},{"degree":42,"count":3},{"degree":43,"count":3},"...",{"degree":86,"count":3}, {"degree":88,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":6}, {"degree":95,"count":6}, {"degree":96,"count":21}, {"degree":97,"count":6}, {"degree":99,"count":15}, {"degree":100,"count":12}, {"degree":101,"count":6}, {"degree":102,"count":12}, {"degree":103,"count":15}, {"degree":105,"count":6}, {"degree":106,"count":21}, {"degree":107,"count":6}, {"degree":108,"count":6}, {"degree":109,"count":3}, {"degree":110,"count":6}, {"degree":111,"count":3}, {"degree":114,"count":3}, {"degree":116,"count":3}, {"degree":118,"count":6}, {"degree":119,"count":3}] | 2 | 32 | [{"arity":2,"count":5436},{"arity":3,"count":52},{"arity":32,"count":594}] | 0 | 0 | [{"type":"sum","count":6082}] | t | min SUM | c1d081b79f1c10e41665328fecc5a7d0 | ||
PseudoBoolean/ PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml |
COP | 660 | 5350 | 1 | 2 | 2 | [{"size":2,"count":660}] | 3 | 107 | [{"degree":3,"count":138},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":6},{"degree":21,"count":15},{"degree":22,"count":3},{"degree":23,"count":9},{"degree":24,"count":30},{"degree":25,"count":3},{"degree":26,"count":18},{"degree":27,"count":3},{"degree":28,"count":30},{"degree":29,"count":9},{"degree":30,"count":3},{"degree":31,"count":15},{"degree":32,"count":6},{"degree":33,"count":3},{"degree":34,"count":141},{"degree":36,"count":3},{"degree":37,"count":3},"...",{"degree":71,"count":3}, {"degree":72,"count":3}, {"degree":73,"count":6}, {"degree":74,"count":12}, {"degree":75,"count":6}, {"degree":76,"count":3}, {"degree":77,"count":12}, {"degree":78,"count":18}, {"degree":79,"count":12}, {"degree":80,"count":18}, {"degree":81,"count":12}, {"degree":82,"count":3}, {"degree":83,"count":6}, {"degree":84,"count":12}, {"degree":85,"count":6}, {"degree":86,"count":3}, {"degree":87,"count":3}, {"degree":89,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":3}, {"degree":95,"count":3}, {"degree":96,"count":3}, {"degree":107,"count":3}] | 2 | 32 | [{"arity":2,"count":4842},{"arity":3,"count":46},{"arity":32,"count":462}] | 0 | 0 | [{"type":"sum","count":5350}] | t | min SUM | bcb3f3ceeead4664bdf41fd123f1defa | ||
PseudoBoolean/ PseudoBoolean-opt-dimacs/ Pb-jnh210.xml |
COP | 200 | 900 | 1 | 2 | 2 | [{"size":2,"count":200}] | 11 | 33 | [{"degree":11,"count":1},{"degree":12,"count":3},{"degree":13,"count":4},{"degree":14,"count":4},{"degree":15,"count":4},{"degree":16,"count":4},{"degree":17,"count":7},{"degree":18,"count":15},{"degree":19,"count":23},{"degree":20,"count":16},{"degree":21,"count":17},{"degree":22,"count":24},{"degree":23,"count":17},{"degree":24,"count":15},{"degree":25,"count":11},{"degree":26,"count":10},{"degree":27,"count":7},{"degree":28,"count":6},{"degree":29,"count":4},{"degree":30,"count":5},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":1}] | 2 | 10 | [{"arity":2,"count":166},{"arity":3,"count":151},{"arity":4,"count":149},{"arity":5,"count":163},{"arity":6,"count":111},{"arity":7,"count":78},{"arity":8,"count":41},{"arity":9,"count":31},{"arity":10,"count":10}] | 0 | 0 | [{"type":"sum","count":900}] | t | min SUM | f39a9bf5a44612488abba91009ee18af | ||
PseudoBoolean/ PseudoBoolean-opt-dimacs/ Pb-par16-3.xml |
COP | 2030 | 4359 | 1 | 2 | 2 | [{"size":2,"count":2030}] | 3 | 44 | [{"degree":3,"count":20},{"degree":4,"count":308},{"degree":5,"count":526},{"degree":6,"count":414},{"degree":7,"count":358},{"degree":8,"count":372},{"degree":26,"count":2},{"degree":28,"count":4},{"degree":30,"count":4},{"degree":32,"count":2},{"degree":34,"count":8},{"degree":36,"count":2},{"degree":38,"count":4},{"degree":40,"count":2},{"degree":42,"count":2},{"degree":44,"count":2}] | 1 | 3 | [{"arity":1,"count":76},{"arity":2,"count":1971},{"arity":3,"count":2312}] | 0 | 0 | [{"type":"sum","count":4359}] | t | min SUM | ad8b9cd5515c3ce9f06e2b183513350f | ||
PseudoBoolean/ PseudoBoolean-opt-factor/ Pb-factor-S9-P211-Q347.xml |
COP | 99 | 244 | 1 | 2 | 2 | [{"size":2,"count":99}] | 4 | 19 | [{"degree":4,"count":81},{"degree":18,"count":9},{"degree":19,"count":9}] | 2 | 81 | [{"arity":2,"count":162},{"arity":3,"count":81},{"arity":81,"count":1}] | 0 | 0 | [{"type":"sum","count":244}] | t | min SUM | 433dd3ec0e7241d29f211aaf8445577c | ||
PseudoBoolean/ PseudoBoolean-opt-factor/ Pb-factor-S9-P347-Q487.xml |
COP | 99 | 244 | 1 | 2 | 2 | [{"size":2,"count":99}] | 4 | 19 | [{"degree":4,"count":81},{"degree":18,"count":9},{"degree":19,"count":9}] | 2 | 81 | [{"arity":2,"count":162},{"arity":3,"count":81},{"arity":81,"count":1}] | 0 | 0 | [{"type":"sum","count":244}] | t | min SUM | 80380e658be8322d68ef398155d216ec | ||
PseudoBoolean/ PseudoBoolean-opt-fx/ Pb-fx84.xml |
COP | 6088 | 6677 | 1 | 2 | 2 | [{"size":2,"count":6088}] | 3 | 762 | [{"degree":3,"count":2560},{"degree":4,"count":256},{"degree":6,"count":768},{"degree":10,"count":1408},{"degree":18,"count":864},{"degree":34,"count":80},{"degree":66,"count":144},{"degree":762,"count":8}] | 2 | 512 | [{"arity":2,"count":6080},{"arity":8,"count":19},{"arity":16,"count":5},{"arity":32,"count":27},{"arity":64,"count":22},{"arity":84,"count":512},{"arity":128,"count":6},{"arity":256,"count":1},{"arity":512,"count":5}] | 0 | 0 | [{"type":"sum","count":6677}] | t | min SUM | 1336b893a40905842b4acbe054af1d4e | ||
PseudoBoolean/ PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml |
COP | 100 | 100 | 1 | 2 | 2 | [{"size":2,"count":100}] | 19 | 44 | [{"degree":19,"count":1},{"degree":22,"count":1},{"degree":24,"count":3},{"degree":25,"count":4},{"degree":26,"count":6},{"degree":27,"count":8},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":9},{"degree":31,"count":10},{"degree":32,"count":6},{"degree":33,"count":11},{"degree":34,"count":8},{"degree":35,"count":6},{"degree":36,"count":2},{"degree":37,"count":3},{"degree":38,"count":3},{"degree":39,"count":2},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":44,"count":1}] | 30 | 30 | [{"arity":30,"count":100}] | 0 | 0 | [{"type":"sum","count":100}] | t | min SUM | 99240cf8fa1004889a7bc67b3b097789 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
PseudoBoolean/ PseudoBoolean-opt-marketSplit/ Pb-msplit-4-30-2.xml |
COP | 31 | 9 | 1 | 2 | 2 | [{"size":2,"count":31}] | 2 | 8 | [{"degree":2,"count":1},{"degree":6,"count":3},{"degree":8,"count":27}] | 1 | 30 | [{"arity":1,"count":1},{"arity":28,"count":2},{"arity":29,"count":2},{"arity":30,"count":4}] | 0 | 0 | [{"type":"sum","count":9}] | t | min SUM | 81d0b6dc5f2e6c238bfcda5bddd020dd | ||
PseudoBoolean/ PseudoBoolean-opt-marketSplit/ Pb-msplit-opt-4-30-1.xml |
COP | 94 | 8 | 1 | 2 | 2 | [{"size":2,"count":94}] | 3 | 8 | [{"degree":3,"count":64},{"degree":6,"count":2},{"degree":8,"count":28}] | 45 | 46 | [{"arity":45,"count":4},{"arity":46,"count":4}] | 0 | 0 | [{"type":"sum","count":8}] | t | min SUM | 0b293698762add7ba6ae5db7003c937f | ||
PseudoBoolean/ PseudoBoolean-opt-marketSplit/ Pb-msplit-opt-4-30-3.xml |
COP | 94 | 8 | 1 | 2 | 2 | [{"size":2,"count":94}] | 3 | 8 | [{"degree":3,"count":64},{"degree":6,"count":1},{"degree":8,"count":29}] | 45 | 46 | [{"arity":45,"count":2},{"arity":46,"count":6}] | 0 | 0 | [{"type":"sum","count":8}] | t | min SUM | caf7afe645c801dd46bb53c517bf0cee | ||
PseudoBoolean/ PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-lseu.xml |
COP | 89 | 28 | 1 | 2 | 2 | [{"size":2,"count":89}] | 2 | 8 | [{"degree":2,"count":8},{"degree":3,"count":13},{"degree":4,"count":23},{"degree":5,"count":27},{"degree":6,"count":16},{"degree":8,"count":2}] | 2 | 47 | [{"arity":2,"count":2},{"arity":3,"count":5},{"arity":4,"count":5},{"arity":5,"count":5},{"arity":7,"count":3},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":22,"count":1},{"arity":24,"count":1},{"arity":30,"count":1},{"arity":33,"count":1},{"arity":47,"count":2}] | 0 | 0 | [{"type":"sum","count":28}] | t | min SUM | b8e79a81cec6901ac635f2e0750bfcb6 | ||
PseudoBoolean/ PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-5.xml |
COP | 240 | 646 | 1 | 2 | 2 | [{"size":2,"count":240}] | 7 | 13 | [{"degree":7,"count":32},{"degree":8,"count":128},{"degree":9,"count":3},{"degree":10,"count":21},{"degree":12,"count":13},{"degree":13,"count":43}] | 2 | 20 | [{"arity":2,"count":244},{"arity":3,"count":328},{"arity":4,"count":62},{"arity":20,"count":12}] | 0 | 0 | [{"type":"sum","count":646}] | t | min SUM | 4027cbc08519a891dc4b49e9e1c39c5c | ||
QuadraticAssignment/ QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15a.xml |
COP | 240 | 15 | 2 | 15 | 64 | [{"size":15,"count":15},{"size":64,"count":14}] | 0 | 4 | [{"degree":0,"count":211},{"degree":2,"count":19},{"degree":3,"count":7},{"degree":4,"count":3}] | 3 | 15 | [{"arity":3,"count":14},{"arity":15,"count":1}] | 0 | 14 | [{"type":"extension","count":14},{"type":"allDifferent","count":1}] | t | min SUM | 2cf522cde643a9876c78ef6348327f24 | ||
QuadraticAssignment/ QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml |
COP | 240 | 15 | 2 | 15 | 64 | [{"size":15,"count":15},{"size":64,"count":14}] | 0 | 3 | [{"degree":0,"count":211},{"degree":2,"count":16},{"degree":3,"count":13}] | 3 | 15 | [{"arity":3,"count":14},{"arity":15,"count":1}] | 0 | 14 | [{"type":"extension","count":14},{"type":"allDifferent","count":1}] | t | min SUM | ce755c39cb9d6ddef8bea85f09074509 | ||
QuadraticAssignment/ QuadraticAssignment-m1-s1/ QuadraticAssignment-chr18a.xml |
COP | 342 | 18 | 2 | 18 | 75 | [{"size":18,"count":18},{"size":75,"count":17}] | 0 | 4 | [{"degree":0,"count":307},{"degree":2,"count":24},{"degree":3,"count":6},{"degree":4,"count":5}] | 3 | 18 | [{"arity":3,"count":17},{"arity":18,"count":1}] | 0 | 17 | [{"type":"extension","count":17},{"type":"allDifferent","count":1}] | t | min SUM | 7a8b402fb105147dc13a1900b7358194 | ||
QuadraticAssignment/ QuadraticAssignment-m1-s1/ QuadraticAssignment-chr22a.xml |
COP | 506 | 22 | 2 | 22 | 45 | [{"size":22,"count":22},{"size":45,"count":21}] | 0 | 5 | [{"degree":0,"count":463},{"degree":2,"count":32},{"degree":3,"count":4},{"degree":4,"count":5},{"degree":5,"count":2}] | 3 | 22 | [{"arity":3,"count":21},{"arity":22,"count":1}] | 0 | 21 | [{"type":"extension","count":21},{"type":"allDifferent","count":1}] | t | min SUM | 8cf591d8b3ba65ef1650a88ec52af52c | ||
QuadraticAssignment/ QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16e.xml |
COP | 272 | 22 | 2 | 4 | 16 | [{"size":4,"count":21},{"size":16,"count":16}] | 0 | 7 | [{"degree":0,"count":235},{"degree":1,"count":7},{"degree":2,"count":23},{"degree":5,"count":1},{"degree":7,"count":6}] | 3 | 16 | [{"arity":3,"count":21},{"arity":16,"count":1}] | 0 | 21 | [{"type":"extension","count":21},{"type":"allDifferent","count":1}] | t | min SUM | 9478703244e8f640224ac5c9e01083b8 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
QuadraticAssignment/ QuadraticAssignment-m1-s1/ QuadraticAssignment-kra30b.xml |
COP | 930 | 436 | 2 | 5 | 30 | [{"size":5,"count":435},{"size":30,"count":30}] | 0 | 30 | [{"degree":0,"count":465},{"degree":2,"count":435},{"degree":30,"count":30}] | 3 | 30 | [{"arity":3,"count":435},{"arity":30,"count":1}] | 0 | 435 | [{"type":"extension","count":435},{"type":"allDifferent","count":1}] | t | min SUM | 96027ecb9680ebc7e976d400499bbdbc | ||
QuadraticAssignment/ QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa50a.xml |
COP | 2550 | 1200 | 2 | 49 | 50 | [{"size":49,"count":1199},{"size":50,"count":50}] | 0 | 50 | [{"degree":0,"count":1301},{"degree":2,"count":1199},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":6},{"degree":49,"count":32},{"degree":50,"count":10}] | 3 | 50 | [{"arity":3,"count":1199},{"arity":50,"count":1}] | 0 | 1199 | [{"type":"extension","count":1199},{"type":"allDifferent","count":1}] | t | min SUM | 4fcc0be526f5147180ee0aa4ecb06fa1 | ||
QuadraticAssignment/ QuadraticAssignment-m1-s1/ QuadraticAssignment-scr15.xml |
COP | 240 | 43 | 2 | 7 | 15 | [{"size":7,"count":42},{"size":15,"count":15}] | 0 | 10 | [{"degree":0,"count":183},{"degree":2,"count":42},{"degree":4,"count":2},{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":4},{"degree":8,"count":2},{"degree":9,"count":1},{"degree":10,"count":1}] | 3 | 15 | [{"arity":3,"count":42},{"arity":15,"count":1}] | 0 | 42 | [{"type":"extension","count":42},{"type":"allDifferent","count":1}] | t | min SUM | 9fad1afbbcb60e61b17bf96c72dc570b | ||
QuadraticAssignment/ QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10a.xml |
COP | 110 | 46 | 2 | 10 | 35 | [{"size":10,"count":10},{"size":35,"count":45}] | 0 | 10 | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":10}] | 3 | 10 | [{"arity":3,"count":45},{"arity":10,"count":1}] | 0 | 45 | [{"type":"extension","count":45},{"type":"allDifferent","count":1}] | t | min SUM | b58690ea851c8aad9573a552336d280c | ||
QueenAttacking/ QueenAttacking-m1-s1/ QueenAttacking-07.xml |
COP | 65 | 64 | 2 | 2 | 49 | [{"size":2,"count":15},{"size":49,"count":50}] | 2 | 15 | [{"degree":2,"count":17},{"degree":3,"count":32},{"degree":4,"count":15},{"degree":15,"count":1}] | 2 | 49 | [{"arity":2,"count":48},{"arity":3,"count":15},{"arity":49,"count":1}] | 63 | 0 | [{"type":"intension","count":63},{"type":"allDifferent","count":1}] | t | min SUM | 7aff4fe352a8c3fb8c4e8479cd8d4369 | ||
Ramsey/ Ramsey-int-s1/ Ramsey-int-13.xml |
COP | 169 | 286 | 1 | 78 | 78 | [{"size":78,"count":78}] | 0 | 12 | [{"degree":0,"count":91},{"degree":12,"count":78}] | 3 | 3 | [{"arity":3,"count":286}] | 286 | 0 | [{"type":"intension","count":286}] | t | min MAXIMUM | f1adf00e8f8fa1741c0d4b74f691c684 | ||
Ramsey/ Ramsey-m1-s1/ Ramsey-13.xml |
COP | 169 | 286 | 1 | 78 | 78 | [{"size":78,"count":78}] | 0 | 12 | [{"degree":0,"count":91},{"degree":12,"count":78}] | 3 | 3 | [{"arity":3,"count":286}] | 0 | 0 | [{"type":"nValues","count":286}] | t | min MAXIMUM | dac12cc2d7c8406352143d9a44a7b315 | ||
Ramsey/ Ramsey-m1-s1/ Ramsey-14.xml |
COP | 196 | 364 | 1 | 91 | 91 | [{"size":91,"count":91}] | 0 | 13 | [{"degree":0,"count":105},{"degree":13,"count":91}] | 3 | 3 | [{"arity":3,"count":364}] | 0 | 0 | [{"type":"nValues","count":364}] | t | min MAXIMUM | f4ca123f15e4fb0e6c90fff9e365f87b | ||
Ramsey/ Ramsey-m1-s1/ Ramsey-45.xml |
COP | 2025 | 14190 | 1 | 990 | 990 | [{"size":990,"count":990}] | 0 | 44 | [{"degree":0,"count":1035},{"degree":44,"count":990}] | 3 | 3 | [{"arity":3,"count":14190}] | 0 | 0 | [{"type":"nValues","count":14190}] | t | min MAXIMUM | 1426235d943c6b8ba94de7087c35e664 | ||
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-41-06.xml |
COP | 122 | 261 | 2 | 1 | 645 | [{"size":1,"count":1},{"size":645,"count":121}] | 3 | 7 | [{"degree":3,"count":3},{"degree":4,"count":11},{"degree":5,"count":73},{"degree":6,"count":28},{"degree":7,"count":7}] | 2 | 35 | [{"arity":2,"count":257},{"arity":23,"count":1},{"arity":30,"count":1},{"arity":32,"count":1},{"arity":35,"count":1}] | 257 | 0 | [{"type":"intension","count":257},{"type":"cumulative","count":4}] | t | min VAR | 74fbdfceca74d16a11799a9df32eef16 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-43-06.xml |
COP | 122 | 261 | 2 | 1 | 616 | [{"size":1,"count":1},{"size":616,"count":121}] | 3 | 7 | [{"degree":3,"count":3},{"degree":4,"count":7},{"degree":5,"count":82},{"degree":6,"count":22},{"degree":7,"count":8}] | 2 | 34 | [{"arity":2,"count":257},{"arity":24,"count":1},{"arity":30,"count":1},{"arity":32,"count":1},{"arity":34,"count":1}] | 257 | 0 | [{"type":"intension","count":257},{"type":"cumulative","count":4}] | t | min VAR | b8ccca606c249b2a94d57c192d734d6e | ||
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-02.xml |
COP | 32 | 62 | 2 | 1 | 180 | [{"size":1,"count":1},{"size":180,"count":31}] | 3 | 9 | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":6,"count":1},{"degree":7,"count":10},{"degree":8,"count":17},{"degree":9,"count":2}] | 2 | 30 | [{"arity":2,"count":58},{"arity":30,"count":4}] | 58 | 0 | [{"type":"intension","count":58},{"type":"cumulative","count":4}] | t | min VAR | fbff45376af17ae2a145abecb1f2c180 | ||
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-05.xml |
COP | 32 | 62 | 2 | 1 | 188 | [{"size":1,"count":1},{"size":188,"count":31}] | 3 | 9 | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":6,"count":3},{"degree":7,"count":7},{"degree":8,"count":17},{"degree":9,"count":3}] | 2 | 30 | [{"arity":2,"count":58},{"arity":30,"count":4}] | 58 | 0 | [{"type":"intension","count":58},{"type":"cumulative","count":4}] | t | min VAR | 28da73d1db83f7f431b4b8f6a2cf23fc | ||
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-07.xml |
COP | 32 | 62 | 2 | 1 | 158 | [{"size":1,"count":1},{"size":158,"count":31}] | 3 | 10 | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":6,"count":3},{"degree":7,"count":8},{"degree":8,"count":16},{"degree":9,"count":2},{"degree":10,"count":1}] | 2 | 30 | [{"arity":2,"count":58},{"arity":30,"count":4}] | 58 | 0 | [{"type":"intension","count":58},{"type":"cumulative","count":4}] | t | min VAR | 883cdd2c39820682d54c3bab8557ea17 | ||
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-41-06.xml |
COP | 32 | 72 | 2 | 1 | 155 | [{"size":1,"count":1},{"size":155,"count":31}] | 3 | 10 | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":5,"count":1},{"degree":6,"count":3},{"degree":7,"count":16},{"degree":8,"count":5},{"degree":9,"count":4},{"degree":10,"count":1}] | 2 | 26 | [{"arity":2,"count":68},{"arity":21,"count":2},{"arity":23,"count":1},{"arity":26,"count":1}] | 68 | 0 | [{"type":"intension","count":68},{"type":"cumulative","count":4}] | t | min VAR | 9c0419560fe3c6efa350d2101b8d9fdb | ||
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-45-01.xml |
COP | 32 | 72 | 2 | 1 | 151 | [{"size":1,"count":1},{"size":151,"count":31}] | 3 | 10 | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":7,"count":1},{"degree":8,"count":21},{"degree":9,"count":5},{"degree":10,"count":3}] | 2 | 30 | [{"arity":2,"count":68},{"arity":30,"count":4}] | 68 | 0 | [{"type":"intension","count":68},{"type":"cumulative","count":4}] | t | min VAR | 1713c5d1d522f34d444b6ff7755d5ded | ||
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-01.xml |
COP | 62 | 116 | 2 | 1 | 332 | [{"size":1,"count":1},{"size":332,"count":61}] | 3 | 8 | [{"degree":3,"count":2},{"degree":4,"count":9},{"degree":5,"count":20},{"degree":6,"count":15},{"degree":7,"count":14},{"degree":8,"count":2}] | 2 | 36 | [{"arity":2,"count":112},{"arity":26,"count":1},{"arity":28,"count":1},{"arity":31,"count":1},{"arity":36,"count":1}] | 112 | 0 | [{"type":"intension","count":112},{"type":"cumulative","count":4}] | t | min VAR | 90855c6c3ff0f3816786e6ae00e0aae6 | ||
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-05.xml |
COP | 62 | 116 | 2 | 1 | 327 | [{"size":1,"count":1},{"size":327,"count":61}] | 3 | 8 | [{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":14},{"degree":6,"count":16},{"degree":7,"count":12},{"degree":8,"count":5}] | 2 | 32 | [{"arity":2,"count":112},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":32,"count":2}] | 112 | 0 | [{"type":"intension","count":112},{"type":"cumulative","count":4}] | t | min VAR | 42feabc1334beaea3bf22cfd312dd4ae | ||
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-07.xml |
COP | 62 | 116 | 2 | 1 | 334 | [{"size":1,"count":1},{"size":334,"count":61}] | 3 | 8 | [{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":14},{"degree":6,"count":16},{"degree":7,"count":12},{"degree":8,"count":5}] | 2 | 38 | [{"arity":2,"count":112},{"arity":21,"count":1},{"arity":27,"count":1},{"arity":35,"count":1},{"arity":38,"count":1}] | 112 | 0 | [{"type":"intension","count":112},{"type":"cumulative","count":4}] | t | min VAR | 8aa67fa0ddb9b908e7b385aede1c36d3 | ||
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-26-09.xml |
COP | 62 | 116 | 2 | 1 | 363 | [{"size":1,"count":1},{"size":363,"count":61}] | 3 | 9 | [{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":8},{"degree":6,"count":19},{"degree":7,"count":16},{"degree":8,"count":10},{"degree":9,"count":5}] | 2 | 50 | [{"arity":2,"count":112},{"arity":41,"count":1},{"arity":45,"count":2},{"arity":50,"count":1}] | 112 | 0 | [{"type":"intension","count":112},{"type":"cumulative","count":4}] | t | min VAR | 54f28c2036fc278050695a3bd6f2d6a5 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-37-01.xml |
COP | 62 | 135 | 2 | 1 | 300 | [{"size":1,"count":1},{"size":300,"count":61}] | 3 | 10 | [{"degree":3,"count":1},{"degree":4,"count":4},{"degree":5,"count":10},{"degree":6,"count":23},{"degree":7,"count":17},{"degree":8,"count":6},{"degree":10,"count":1}] | 2 | 36 | [{"arity":2,"count":131},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":32,"count":1},{"arity":36,"count":1}] | 131 | 0 | [{"type":"intension","count":131},{"type":"cumulative","count":4}] | t | min VAR | cc0e4d4fb1187992b98efb1fb4f076c6 | ||
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-37-03.xml |
COP | 62 | 135 | 2 | 1 | 391 | [{"size":1,"count":1},{"size":391,"count":61}] | 3 | 9 | [{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":13},{"degree":6,"count":23},{"degree":7,"count":16},{"degree":8,"count":5},{"degree":9,"count":2}] | 2 | 34 | [{"arity":2,"count":131},{"arity":28,"count":2},{"arity":31,"count":1},{"arity":34,"count":1}] | 131 | 0 | [{"type":"intension","count":131},{"type":"cumulative","count":4}] | t | min VAR | 7e8aca8f1f1855a8a689daa123caec8a | ||
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-46-08.xml |
COP | 62 | 135 | 2 | 1 | 347 | [{"size":1,"count":1},{"size":347,"count":61}] | 3 | 10 | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":7,"count":5},{"degree":8,"count":40},{"degree":9,"count":9},{"degree":10,"count":6}] | 2 | 60 | [{"arity":2,"count":131},{"arity":60,"count":4}] | 131 | 0 | [{"type":"intension","count":131},{"type":"cumulative","count":4}] | t | min VAR | 1a36b9c979418634ede1d2fbb3d1d330 | ||
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-06-08.xml |
COP | 92 | 142 | 2 | 1 | 505 | [{"size":1,"count":1},{"size":505,"count":91}] | 3 | 7 | [{"degree":3,"count":10},{"degree":4,"count":26},{"degree":5,"count":23},{"degree":6,"count":22},{"degree":7,"count":11}] | 2 | 48 | [{"arity":2,"count":138},{"arity":42,"count":1},{"arity":43,"count":1},{"arity":48,"count":2}] | 138 | 0 | [{"type":"intension","count":138},{"type":"cumulative","count":4}] | t | min VAR | 8d7da43fda8420e04b4d8dcd0c7711ab | ||
Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml |
COP | 1234 | 1134 | 10 | 2 | 44 | [{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}] | 1 | 22 | [{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}] | 2 | 3 | [{"arity":2,"count":100},{"arity":3,"count":1034}] | 1134 | 0 | [{"type":"intension","count":1134}] | t | min SUM | d0ab6aee5f30ff70d66f863e0e3556a1 | ||
Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml |
COP | 680 | 3757 | 7 | 6 | 44 | [{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}] | 2 | 23 | [{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}] | 2 | 2 | [{"arity":2,"count":3757}] | 3757 | 0 | [{"type":"intension","count":3757}] | t | min NVALUES | edb7fc8f5d274005fc89ddd50225e87c | ||
Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml |
COP | 680 | 3907 | 6 | 22 | 44 | [{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}] | 4 | 25 | [{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}] | 2 | 2 | [{"arity":2,"count":3907}] | 3907 | 0 | [{"type":"intension","count":3907}] | t | min MAXIMUM | d4eaac7549f90ed3ded0e25770a164a4 | ||
Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml |
COP | 4749 | 4410 | 9 | 2 | 44 | [{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}] | 2 | 63 | [{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}] | 2 | 280 | [{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}] | 4409 | 0 | [{"type":"intension","count":4409},{"type":"instantiation","count":1}] | t | min SUM | 19bcf73076031218e5fd4b7208c9a15e | ||
Scheduling/ Scheduling-fs-taillard/ Taillard-fs-200-10-1.xml |
COP | 2200 | 2210 | 1 | 10594 | 10594 | [{"size":10594,"count":2200}] | 2 | 3 | [{"degree":2,"count":200},{"degree":3,"count":2000}] | 1 | 200 | [{"arity":1,"count":200},{"arity":2,"count":2000},{"arity":200,"count":10}] | 2200 | 0 | [{"type":"intension","count":2200},{"type":"noOverlap","count":10}] | t | min MAXIMUM | 4dc4d699091ca89690279c2093d69f52 | ||
Scheduling/ Scheduling-js-taillard/ Taillard-js-030-15-2.xml |
COP | 480 | 495 | 1 | 1932 | 1932 | [{"size":1932,"count":480}] | 2 | 3 | [{"degree":2,"count":30},{"degree":3,"count":450}] | 1 | 30 | [{"arity":1,"count":30},{"arity":2,"count":450},{"arity":30,"count":15}] | 480 | 0 | [{"type":"intension","count":480},{"type":"noOverlap","count":15}] | t | min MAXIMUM | ba573a75edcb56a5f29535772f8b277a | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
Scheduling/ Scheduling-js-taillard/ Taillard-js-050-15-1.xml |
COP | 800 | 815 | 1 | 2856 | 2856 | [{"size":2856,"count":800}] | 2 | 3 | [{"degree":2,"count":50},{"degree":3,"count":750}] | 1 | 50 | [{"arity":1,"count":50},{"arity":2,"count":750},{"arity":50,"count":15}] | 800 | 0 | [{"type":"intension","count":800},{"type":"noOverlap","count":15}] | t | min MAXIMUM | 4cb8aacd6a4a2864e81512910dbfacc0 | ||
Scheduling/ Scheduling-js-taillard/ Taillard-js-100-20-6.xml |
COP | 2100 | 2120 | 1 | 5536 | 5536 | [{"size":5536,"count":2100}] | 2 | 3 | [{"degree":2,"count":100},{"degree":3,"count":2000}] | 1 | 100 | [{"arity":1,"count":100},{"arity":2,"count":2000},{"arity":100,"count":20}] | 2100 | 0 | [{"type":"intension","count":2100},{"type":"noOverlap","count":20}] | t | min MAXIMUM | 571b8211ed3e79202e57862d25f221de | ||
Scheduling/ Scheduling-os-taillard/ Taillard-os-05-05-0.xml |
COP | 105 | 90 | 7 | 5 | 400 | [{"size":5,"count":50},{"size":400,"count":55}] | 2 | 6 | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] | 1 | 7 | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] | 30 | 25 | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] | t | min MAXIMUM | da64694dd3ca715594c36c32a8b555a8 | ||
Scheduling/ Scheduling-os-taillard/ Taillard-os-05-05-1.xml |
COP | 105 | 90 | 7 | 4 | 362 | [{"size":4,"count":5},{"size":5,"count":45},{"size":362,"count":55}] | 2 | 6 | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] | 1 | 7 | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] | 30 | 25 | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] | t | min MAXIMUM | 3747a76ad44ca32161ac6cfee5e9d7cb | ||
Scheduling/ Scheduling-os-taillard/ Taillard-os-05-05-3.xml |
COP | 105 | 90 | 7 | 5 | 410 | [{"size":5,"count":50},{"size":410,"count":55}] | 2 | 6 | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] | 1 | 7 | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] | 30 | 25 | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] | t | min MAXIMUM | 486402128da484f7cb4aeca2fb99213d | ||
Scheduling/ Scheduling-os-taillard/ Taillard-os-05-05-4.xml |
COP | 105 | 90 | 7 | 5 | 429 | [{"size":5,"count":50},{"size":429,"count":55}] | 2 | 6 | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] | 1 | 7 | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] | 30 | 25 | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] | t | min MAXIMUM | a08c622730be04b0ce65f9055d76b754 | ||
Scheduling/ Scheduling-os-taillard/ Taillard-os-05-05-5.xml |
COP | 105 | 90 | 7 | 5 | 412 | [{"size":5,"count":50},{"size":412,"count":55}] | 2 | 6 | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] | 1 | 7 | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] | 30 | 25 | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] | t | min MAXIMUM | 5197a9101df9cd680fadf9dcc86a0dcb | ||
Scheduling/ Scheduling-os-taillard/ Taillard-os-05-05-6.xml |
COP | 105 | 90 | 7 | 4 | 405 | [{"size":4,"count":5},{"size":5,"count":45},{"size":405,"count":55}] | 2 | 6 | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] | 1 | 7 | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] | 30 | 25 | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] | t | min MAXIMUM | f9b69c01e6bb1a0d57b760340d1825ed | ||
Scheduling/ Scheduling-os-taillard/ Taillard-os-05-05-8.xml |
COP | 105 | 90 | 7 | 5 | 453 | [{"size":5,"count":50},{"size":453,"count":55}] | 2 | 6 | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] | 1 | 7 | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] | 30 | 25 | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] | t | min MAXIMUM | 43b2ef46cc27b455a3f22cfd7dbefeca | ||
Scheduling/ Scheduling-os-taillard/ Taillard-os-05-05-9.xml |
COP | 105 | 90 | 7 | 5 | 426 | [{"size":5,"count":50},{"size":426,"count":55}] | 2 | 6 | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] | 1 | 7 | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] | 30 | 25 | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] | t | min MAXIMUM | b1b903d633c720775ef1eb29649a113f | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
Scheduling/ Scheduling-os-taillard/ Taillard-os-07-07-8.xml |
COP | 203 | 168 | 9 | 6 | 560 | [{"size":6,"count":7},{"size":7,"count":91},{"size":560,"count":105}] | 2 | 8 | [{"degree":2,"count":56},{"degree":3,"count":98},{"degree":8,"count":49}] | 1 | 9 | [{"arity":1,"count":7},{"arity":2,"count":49},{"arity":3,"count":49},{"arity":7,"count":14},{"arity":9,"count":49}] | 56 | 49 | [{"type":"extension","count":49},{"type":"intension","count":56},{"type":"allDifferent","count":7},{"type":"noOverlap","count":7},{"type":"element","count":49}] | t | min MAXIMUM | 3801e67c429176a130b0cb7922d17a7f | ||
Scheduling/ Scheduling-os-taillard/ Taillard-os-10-10-6.xml |
COP | 410 | 330 | 12 | 8 | 723 | [{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":723,"count":210}] | 2 | 11 | [{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}] | 1 | 12 | [{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}] | 110 | 100 | [{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}] | t | min MAXIMUM | 0823366b416f0d4f591b1c2bb0d09de5 | ||
Scheduling/ Scheduling-os-taillard/ Taillard-os-15-15-5.xml |
COP | 915 | 720 | 17 | 13 | 1059 | [{"size":13,"count":30},{"size":14,"count":90},{"size":15,"count":330},{"size":1059,"count":465}] | 2 | 16 | [{"degree":2,"count":240},{"degree":3,"count":450},{"degree":16,"count":225}] | 1 | 17 | [{"arity":1,"count":15},{"arity":2,"count":225},{"arity":3,"count":225},{"arity":15,"count":30},{"arity":17,"count":225}] | 240 | 225 | [{"type":"extension","count":225},{"type":"intension","count":240},{"type":"allDifferent","count":15},{"type":"noOverlap","count":15},{"type":"element","count":225}] | t | min MAXIMUM | 8b9c4e6e7c9e88d5c00f06b3f0219a0c | ||
SteelMillSlab/ SteelMillSlab-bench_10_9.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":12,"count":111},{"size":47,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | 3187efa1e901acb6cc373eb045baee33 | ||
SteelMillSlab/ SteelMillSlab-bench_11_1.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":13,"count":111},{"size":50,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | 32630071a9cd02ab12e325390d6637b6 | ||
SteelMillSlab/ SteelMillSlab-bench_12_14.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":14,"count":111},{"size":49,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | b79ed9a63f5f06b259b31d8f3686f277 | ||
SteelMillSlab/ SteelMillSlab-bench_13_19.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":12,"count":111},{"size":48,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | 517edee816e601fa237873c001bf01e9 | ||
SteelMillSlab/ SteelMillSlab-bench_13_6.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":12,"count":111},{"size":49,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | 0b4cdd9f2ac3a0985a9efe7e14eeda02 | ||
SteelMillSlab/ SteelMillSlab-bench_14_1.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":11,"count":111},{"size":48,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | 25e4edec3d9f4a5618481cbfa250deb6 | ||
SteelMillSlab/ SteelMillSlab-bench_15_2.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":11,"count":111},{"size":51,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | 5f96bf565600cbf50f8c2cf3fe757a5f | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
SteelMillSlab/ SteelMillSlab-bench_16_2.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":10,"count":111},{"size":51,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | 8e5b61791e512734038a023d36a5924c | ||
SteelMillSlab/ SteelMillSlab-bench_17_11.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":10,"count":111},{"size":51,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | ec43b711d2aa9c243757c5391c9c8921 | ||
SteelMillSlab/ SteelMillSlab-bench_19_19.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":10,"count":111},{"size":48,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | 96fe93baa9d8ae993bfc516e2d84a024 | ||
SteelMillSlab/ SteelMillSlab-bench_20_8.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":11,"count":111},{"size":51,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | 6b176121d3671d41526f7ff611fbc0d5 | ||
SteelMillSlab/ SteelMillSlab-bench_3_12.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":28,"count":111},{"size":38,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | 75a96ae289dcd0162feddbff51d0d425 | ||
SteelMillSlab/ SteelMillSlab-bench_5_11.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":18,"count":111},{"size":51,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | bb782f0c2876622a4bcf03fe44f48018 | ||
SteelMillSlab/ SteelMillSlab-bench_9_11.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":15,"count":111},{"size":51,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | b3f80a69476de872363c069f96d9d14d | ||
SteelMillSlab/ SteelMillSlab-bench_9_13.xml |
COP | 12654 | 466 | 4 | 2 | 111 | [{"size":2,"count":12321},{"size":15,"count":111},{"size":50,"count":111},{"size":111,"count":111}] | 2 | 114 | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] | 2 | 112 | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] | 132 | 0 | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] | t | min SUM | 3c8d95ae467c6bf4a4f8a8c9b5dc34f0 | ||
StillLife/ StillLife-m1-s1/ StillLife-03-14.xml |
COP | 84 | 110 | 2 | 2 | 9 | [{"size":2,"count":42},{"size":9,"count":42}] | 2 | 10 | [{"degree":2,"count":42},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":12}] | 2 | 9 | [{"arity":2,"count":42},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":12}] | 0 | 68 | [{"type":"extension","count":68},{"type":"sum","count":42}] | t | max SUM | bb3a1ca81e7aea213eb86a812d55e65a | ||
StillLife/ StillLife-m1-s1/ StillLife-04-09.xml |
COP | 72 | 90 | 2 | 2 | 9 | [{"size":2,"count":36},{"size":9,"count":36}] | 2 | 10 | [{"degree":2,"count":36},{"degree":7,"count":4},{"degree":8,"count":18},{"degree":10,"count":14}] | 2 | 9 | [{"arity":2,"count":36},{"arity":3,"count":18},{"arity":4,"count":4},{"arity":6,"count":18},{"arity":9,"count":14}] | 0 | 54 | [{"type":"extension","count":54},{"type":"sum","count":36}] | t | max SUM | e25e9e3192808473b45d33bf4350e517 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
StillLife/ StillLife-m1-s1/ StillLife-04-14.xml |
COP | 112 | 140 | 2 | 2 | 9 | [{"size":2,"count":56},{"size":9,"count":56}] | 2 | 10 | [{"degree":2,"count":56},{"degree":7,"count":4},{"degree":8,"count":28},{"degree":10,"count":24}] | 2 | 9 | [{"arity":2,"count":56},{"arity":3,"count":28},{"arity":4,"count":4},{"arity":6,"count":28},{"arity":9,"count":24}] | 0 | 84 | [{"type":"extension","count":84},{"type":"sum","count":56}] | t | max SUM | 19ed80590beafaab4553f21dc50e09e4 | ||
StillLife/ StillLife-m1-s1/ StillLife-04-15.xml |
COP | 120 | 150 | 2 | 2 | 9 | [{"size":2,"count":60},{"size":9,"count":60}] | 2 | 10 | [{"degree":2,"count":60},{"degree":7,"count":4},{"degree":8,"count":30},{"degree":10,"count":26}] | 2 | 9 | [{"arity":2,"count":60},{"arity":3,"count":30},{"arity":4,"count":4},{"arity":6,"count":30},{"arity":9,"count":26}] | 0 | 90 | [{"type":"extension","count":90},{"type":"sum","count":60}] | t | max SUM | cca0fe077f2d073d0e0e51ff08e17328 | ||
StillLife/ StillLife-m1-s1/ StillLife-05-09.xml |
COP | 90 | 110 | 2 | 2 | 9 | [{"size":2,"count":45},{"size":9,"count":45}] | 2 | 10 | [{"degree":2,"count":45},{"degree":7,"count":4},{"degree":8,"count":20},{"degree":10,"count":21}] | 2 | 9 | [{"arity":2,"count":45},{"arity":3,"count":20},{"arity":4,"count":4},{"arity":6,"count":20},{"arity":9,"count":21}] | 0 | 65 | [{"type":"extension","count":65},{"type":"sum","count":45}] | t | max SUM | 9e49e3aba7f2112bed6c24391b9353d8 | ||
StillLife/ StillLife-m1-s1/ StillLife-05-11.xml |
COP | 110 | 134 | 2 | 2 | 9 | [{"size":2,"count":55},{"size":9,"count":55}] | 2 | 10 | [{"degree":2,"count":55},{"degree":7,"count":4},{"degree":8,"count":24},{"degree":10,"count":27}] | 2 | 9 | [{"arity":2,"count":55},{"arity":3,"count":24},{"arity":4,"count":4},{"arity":6,"count":24},{"arity":9,"count":27}] | 0 | 79 | [{"type":"extension","count":79},{"type":"sum","count":55}] | t | max SUM | 797e5cb3172be67eb960f2d678910748 | ||
StillLife/ StillLife-m1-s1/ StillLife-05-12.xml |
COP | 120 | 146 | 2 | 2 | 9 | [{"size":2,"count":60},{"size":9,"count":60}] | 2 | 10 | [{"degree":2,"count":60},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":30}] | 2 | 9 | [{"arity":2,"count":60},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":30}] | 0 | 86 | [{"type":"extension","count":86},{"type":"sum","count":60}] | t | max SUM | d0005c97ad61d9cead696518787f869e | ||
StillLife/ StillLife-m1-s1/ StillLife-05-14.xml |
COP | 140 | 170 | 2 | 2 | 9 | [{"size":2,"count":70},{"size":9,"count":70}] | 2 | 10 | [{"degree":2,"count":70},{"degree":7,"count":4},{"degree":8,"count":30},{"degree":10,"count":36}] | 2 | 9 | [{"arity":2,"count":70},{"arity":3,"count":30},{"arity":4,"count":4},{"arity":6,"count":30},{"arity":9,"count":36}] | 0 | 100 | [{"type":"extension","count":100},{"type":"sum","count":70}] | t | max SUM | ff3476fab8d1f67b2009ab5045109208 | ||
StillLife/ StillLife-m1-s1/ StillLife-05-15.xml |
COP | 150 | 182 | 2 | 2 | 9 | [{"size":2,"count":75},{"size":9,"count":75}] | 2 | 10 | [{"degree":2,"count":75},{"degree":7,"count":4},{"degree":8,"count":32},{"degree":10,"count":39}] | 2 | 9 | [{"arity":2,"count":75},{"arity":3,"count":32},{"arity":4,"count":4},{"arity":6,"count":32},{"arity":9,"count":39}] | 0 | 107 | [{"type":"extension","count":107},{"type":"sum","count":75}] | t | max SUM | 194a9771da43b175c5c48a6f0c769610 | ||
StillLife/ StillLife-m1-s1/ StillLife-06-11.xml |
COP | 132 | 158 | 2 | 2 | 9 | [{"size":2,"count":66},{"size":9,"count":66}] | 2 | 10 | [{"degree":2,"count":66},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":36}] | 2 | 9 | [{"arity":2,"count":66},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":36}] | 0 | 92 | [{"type":"extension","count":92},{"type":"sum","count":66}] | t | max SUM | 5296a674fcd135b0317e95ffe6d81fd1 | ||
StillLife/ StillLife-m1-s1/ StillLife-06-12.xml |
COP | 144 | 172 | 2 | 2 | 9 | [{"size":2,"count":72},{"size":9,"count":72}] | 2 | 10 | [{"degree":2,"count":72},{"degree":7,"count":4},{"degree":8,"count":28},{"degree":10,"count":40}] | 2 | 9 | [{"arity":2,"count":72},{"arity":3,"count":28},{"arity":4,"count":4},{"arity":6,"count":28},{"arity":9,"count":40}] | 0 | 100 | [{"type":"extension","count":100},{"type":"sum","count":72}] | t | max SUM | 7162d4a2bfb4649e5ff01c254dbd946c | ||
StillLife/ StillLife-m1-s1/ StillLife-07-10.xml |
COP | 140 | 166 | 2 | 2 | 9 | [{"size":2,"count":70},{"size":9,"count":70}] | 2 | 10 | [{"degree":2,"count":70},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":40}] | 2 | 9 | [{"arity":2,"count":70},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":40}] | 0 | 96 | [{"type":"extension","count":96},{"type":"sum","count":70}] | t | max SUM | ebe39bf25244fda615bb1bf8fe88192a | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
StillLife/ StillLife-m1-s1/ StillLife-08-09.xml |
COP | 144 | 170 | 2 | 2 | 9 | [{"size":2,"count":72},{"size":9,"count":72}] | 2 | 10 | [{"degree":2,"count":72},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":42}] | 2 | 9 | [{"arity":2,"count":72},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":42}] | 0 | 98 | [{"type":"extension","count":98},{"type":"sum","count":72}] | t | max SUM | 6fd932c8bfa1fb1c2de56266b40b08cd | ||
StillLife/ StillLife-m1-s1/ StillLife-10-14.xml |
COP | 280 | 320 | 2 | 2 | 9 | [{"size":2,"count":140},{"size":9,"count":140}] | 2 | 10 | [{"degree":2,"count":140},{"degree":7,"count":4},{"degree":8,"count":40},{"degree":10,"count":96}] | 2 | 9 | [{"arity":2,"count":140},{"arity":3,"count":40},{"arity":4,"count":4},{"arity":6,"count":40},{"arity":9,"count":96}] | 0 | 180 | [{"type":"extension","count":180},{"type":"sum","count":140}] | t | max SUM | 2f9116219e9bb224096732f26408ee63 | ||
StillLife/ StillLife-wst-s1/ StillLife-wastage-10.xml |
COP | 301 | 208 | 4 | 2 | 289 | [{"size":2,"count":144},{"size":3,"count":144},{"size":101,"count":1},{"size":289,"count":12}] | 1 | 13 | [{"degree":1,"count":4},{"degree":2,"count":141},{"degree":3,"count":15},{"degree":4,"count":40},{"degree":8,"count":36},{"degree":9,"count":64},{"degree":13,"count":1}] | 2 | 14 | [{"arity":2,"count":52},{"arity":3,"count":40},{"arity":10,"count":100},{"arity":12,"count":4},{"arity":13,"count":1},{"arity":14,"count":11}] | 51 | 140 | [{"type":"extension","count":140},{"type":"intension","count":51},{"type":"sum","count":13},{"type":"instantiation","count":4}] | t | max VAR | e31de29e6699e81a7472a47d1439bb7a | ||
Tal/ Tal-03_c18.xml |
COP | 404 | 286 | 10 | 1 | 42 | [{"size":1,"count":63},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":43},{"size":7,"count":9},{"size":8,"count":28},{"size":42,"count":62}] | 0 | 13 | [{"degree":0,"count":177},{"degree":1,"count":63},{"degree":2,"count":47},{"degree":3,"count":8},{"degree":4,"count":9},{"degree":5,"count":25},{"degree":6,"count":17},{"degree":7,"count":12},{"degree":8,"count":12},{"degree":9,"count":17},{"degree":10,"count":8},{"degree":11,"count":5},{"degree":12,"count":3},{"degree":13,"count":1}] | 1 | 10 | [{"arity":1,"count":88},{"arity":2,"count":90},{"arity":3,"count":30},{"arity":4,"count":10},{"arity":5,"count":16},{"arity":6,"count":15},{"arity":7,"count":14},{"arity":8,"count":12},{"arity":9,"count":9},{"arity":10,"count":2}] | 225 | 49 | [{"type":"extension","count":49},{"type":"intension","count":225},{"type":"count","count":12}] | t | min SUM | fb5ba5d4d49d61a1ee3ee3c25fa47163 | ||
Tal/ Tal-05_c18.xml |
COP | 526 | 364 | 11 | 1 | 42 | [{"size":1,"count":84},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":52},{"size":7,"count":9},{"size":8,"count":10},{"size":10,"count":36},{"size":42,"count":79}] | 0 | 14 | [{"degree":0,"count":234},{"degree":1,"count":84},{"degree":2,"count":58},{"degree":3,"count":9},{"degree":4,"count":10},{"degree":5,"count":32},{"degree":6,"count":19},{"degree":7,"count":13},{"degree":8,"count":13},{"degree":9,"count":19},{"degree":10,"count":18},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":3},{"degree":14,"count":1}] | 1 | 11 | [{"arity":1,"count":109},{"arity":2,"count":115},{"arity":3,"count":38},{"arity":4,"count":11},{"arity":5,"count":18},{"arity":6,"count":17},{"arity":7,"count":16},{"arity":8,"count":15},{"arity":9,"count":13},{"arity":10,"count":10},{"arity":11,"count":2}] | 286 | 64 | [{"type":"extension","count":64},{"type":"intension","count":286},{"type":"count","count":14}] | t | min SUM | 0bfba4554f8c52d47ef9f831901bb64c | ||
TemplateDesign/ TemplateDesign-m2-herbs_c18.xml |
COP | 960 | 121 | 3 | 2 | 281 | [{"size":2,"count":30},{"size":43,"count":900},{"size":281,"count":30}] | 2 | 32 | [{"degree":2,"count":870},{"degree":3,"count":60},{"degree":32,"count":30}] | 2 | 60 | [{"arity":2,"count":60},{"arity":30,"count":31},{"arity":60,"count":30}] | 60 | 0 | [{"type":"intension","count":60},{"type":"ordered","count":1},{"type":"sum","count":60}] | t | min SUM | 01ee442f0f2e93e01b5a5546098ec59b | ||
Tpp/Tpp-zinc-s1/ Tpp-3-5-30-1.xml |
COP | 90 | 497 | 47 | 2 | 15 | [{"size":2,"count":1},{"size":3,"count":3},{"size":4,"count":8},{"size":5,"count":4},{"size":8,"count":2},{"size":9,"count":5},{"size":10,"count":9},{"size":11,"count":11},{"size":12,"count":2},{"size":14,"count":30},{"size":15,"count":15}] | 2 | 33 | [{"degree":2,"count":45},{"degree":16,"count":30},{"degree":32,"count":14},{"degree":33,"count":1}] | 1 | 15 | [{"arity":1,"count":1},{"arity":2,"count":495},{"arity":15,"count":1}] | 451 | 45 | [{"type":"extension","count":45},{"type":"intension","count":451},{"type":"circuit","count":1}] | t | min SUM | e91753cc37d5672b16b54feba0c5cd89 | ||
Tpp/Tpp-zinc-s1/ Tpp-4-3-20-1.xml |
COP | 64 | 274 | 34 | 3 | 12 | [{"size":3,"count":4},{"size":4,"count":7},{"size":5,"count":1},{"size":7,"count":2},{"size":8,"count":6},{"size":9,"count":6},{"size":10,"count":5},{"size":11,"count":21},{"size":12,"count":12}] | 2 | 23 | [{"degree":2,"count":32},{"degree":13,"count":20},{"degree":22,"count":11},{"degree":23,"count":1}] | 1 | 12 | [{"arity":1,"count":1},{"arity":2,"count":272},{"arity":12,"count":1}] | 241 | 32 | [{"type":"extension","count":32},{"type":"intension","count":241},{"type":"circuit","count":1}] | t | min SUM | 442eed38f7ecd1daccab0a66e5b4cbca | ||
Tpp/Tpp-zinc-s1/ Tpp-4-5-20-1.xml |
COP | 80 | 442 | 42 | 3 | 20 | [{"size":3,"count":7},{"size":4,"count":10},{"size":5,"count":3},{"size":11,"count":3},{"size":12,"count":3},{"size":13,"count":8},{"size":14,"count":2},{"size":15,"count":4},{"size":19,"count":20},{"size":20,"count":20}] | 2 | 23 | [{"degree":2,"count":40},{"degree":21,"count":20},{"degree":22,"count":19},{"degree":23,"count":1}] | 1 | 20 | [{"arity":1,"count":1},{"arity":2,"count":440},{"arity":20,"count":1}] | 401 | 40 | [{"type":"extension","count":40},{"type":"intension","count":401},{"type":"circuit","count":1}] | t | min SUM | e6e5223db5de59749ca81141a6ec4e70 | ||
Tpp/Tpp-zinc-s1/ Tpp-4-5-30-1.xml |
COP | 100 | 652 | 52 | 3 | 20 | [{"size":3,"count":7},{"size":4,"count":10},{"size":5,"count":3},{"size":8,"count":1},{"size":10,"count":2},{"size":11,"count":4},{"size":12,"count":13},{"size":13,"count":5},{"size":14,"count":3},{"size":15,"count":2},{"size":19,"count":30},{"size":20,"count":20}] | 2 | 33 | [{"degree":2,"count":50},{"degree":21,"count":30},{"degree":32,"count":19},{"degree":33,"count":1}] | 1 | 20 | [{"arity":1,"count":1},{"arity":2,"count":650},{"arity":20,"count":1}] | 601 | 50 | [{"type":"extension","count":50},{"type":"intension","count":601},{"type":"circuit","count":1}] | t | min SUM | 1a3f146023047dfa4a3d56734d0c92f1 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
Tpp/Tpp-zinc-s1/ Tpp-5-3-20-1.xml |
COP | 70 | 337 | 37 | 2 | 15 | [{"size":2,"count":1},{"size":3,"count":3},{"size":4,"count":8},{"size":5,"count":3},{"size":8,"count":1},{"size":9,"count":3},{"size":10,"count":4},{"size":11,"count":7},{"size":12,"count":2},{"size":13,"count":2},{"size":14,"count":21},{"size":15,"count":15}] | 2 | 23 | [{"degree":2,"count":35},{"degree":16,"count":20},{"degree":22,"count":14},{"degree":23,"count":1}] | 1 | 15 | [{"arity":1,"count":1},{"arity":2,"count":335},{"arity":15,"count":1}] | 301 | 35 | [{"type":"extension","count":35},{"type":"intension","count":301},{"type":"circuit","count":1}] | t | min SUM | 01f589e6e1c012d02af2fd4c44442f0f | ||
Tpp/Tpp-zinc-s1/ Tpp-5-5-30-1.xml |
COP | 110 | 807 | 57 | 3 | 25 | [{"size":3,"count":6},{"size":4,"count":14},{"size":5,"count":5},{"size":11,"count":1},{"size":12,"count":2},{"size":13,"count":8},{"size":14,"count":6},{"size":15,"count":9},{"size":16,"count":4},{"size":24,"count":30},{"size":25,"count":25}] | 2 | 33 | [{"degree":2,"count":55},{"degree":26,"count":30},{"degree":32,"count":24},{"degree":33,"count":1}] | 1 | 25 | [{"arity":1,"count":1},{"arity":2,"count":805},{"arity":25,"count":1}] | 751 | 55 | [{"type":"extension","count":55},{"type":"intension","count":751},{"type":"circuit","count":1}] | t | min SUM | af05408dbf994167098c19a92e91e627 | ||
Tpp/Tpp-zinc-s1/ Tpp-6-3-20-1.xml |
COP | 76 | 400 | 40 | 3 | 18 | [{"size":3,"count":6},{"size":4,"count":9},{"size":5,"count":3},{"size":8,"count":1},{"size":10,"count":2},{"size":11,"count":4},{"size":12,"count":6},{"size":13,"count":5},{"size":14,"count":1},{"size":15,"count":1},{"size":17,"count":20},{"size":18,"count":18}] | 2 | 23 | [{"degree":2,"count":38},{"degree":19,"count":20},{"degree":22,"count":17},{"degree":23,"count":1}] | 1 | 18 | [{"arity":1,"count":1},{"arity":2,"count":398},{"arity":18,"count":1}] | 361 | 38 | [{"type":"extension","count":38},{"type":"intension","count":361},{"type":"circuit","count":1}] | t | min SUM | b4cf0cb08a05c1b083ee2f2000733b36 | ||
Tpp/Tpp-zinc-s1/ Tpp-6-3-30-1.xml |
COP | 96 | 590 | 50 | 3 | 18 | [{"size":3,"count":6},{"size":4,"count":9},{"size":5,"count":3},{"size":7,"count":1},{"size":9,"count":2},{"size":10,"count":3},{"size":11,"count":9},{"size":12,"count":9},{"size":13,"count":5},{"size":14,"count":1},{"size":17,"count":30},{"size":18,"count":18}] | 2 | 33 | [{"degree":2,"count":48},{"degree":19,"count":30},{"degree":32,"count":17},{"degree":33,"count":1}] | 1 | 18 | [{"arity":1,"count":1},{"arity":2,"count":588},{"arity":18,"count":1}] | 541 | 48 | [{"type":"extension","count":48},{"type":"intension","count":541},{"type":"circuit","count":1}] | t | min SUM | f61e90724cd8b66989ec046e8a3ea41c | ||
Tpp/Tpp-zinc-s1/ Tpp-6-5-20-1.xml |
COP | 100 | 652 | 52 | 2 | 30 | [{"size":2,"count":1},{"size":3,"count":6},{"size":4,"count":14},{"size":5,"count":9},{"size":13,"count":3},{"size":14,"count":3},{"size":15,"count":4},{"size":16,"count":2},{"size":17,"count":5},{"size":18,"count":2},{"size":19,"count":1},{"size":29,"count":20},{"size":30,"count":30}] | 2 | 31 | [{"degree":2,"count":50},{"degree":22,"count":29},{"degree":23,"count":1},{"degree":31,"count":20}] | 1 | 30 | [{"arity":1,"count":1},{"arity":2,"count":650},{"arity":30,"count":1}] | 601 | 50 | [{"type":"extension","count":50},{"type":"intension","count":601},{"type":"circuit","count":1}] | t | min SUM | 3ec6160036052286f30104bba84c59a2 | ||
Tpp/Tpp-zinc-s1/ Tpp-6-5-30-1.xml |
COP | 120 | 962 | 62 | 2 | 30 | [{"size":2,"count":1},{"size":3,"count":6},{"size":4,"count":14},{"size":5,"count":9},{"size":13,"count":3},{"size":14,"count":4},{"size":15,"count":7},{"size":16,"count":7},{"size":17,"count":8},{"size":18,"count":1},{"size":29,"count":30},{"size":30,"count":30}] | 2 | 33 | [{"degree":2,"count":60},{"degree":31,"count":30},{"degree":32,"count":29},{"degree":33,"count":1}] | 1 | 30 | [{"arity":1,"count":1},{"arity":2,"count":960},{"arity":30,"count":1}] | 901 | 60 | [{"type":"extension","count":60},{"type":"intension","count":901},{"type":"circuit","count":1}] | t | min SUM | ef915df37055c75537688959881a75d3 | ||
Tpp/Tpp-zinc-s1/ Tpp-7-3-20-1.xml |
COP | 82 | 463 | 43 | 2 | 21 | [{"size":2,"count":1},{"size":3,"count":4},{"size":4,"count":13},{"size":5,"count":3},{"size":11,"count":3},{"size":12,"count":3},{"size":13,"count":5},{"size":14,"count":4},{"size":15,"count":5},{"size":20,"count":20},{"size":21,"count":21}] | 2 | 23 | [{"degree":2,"count":41},{"degree":22,"count":40},{"degree":23,"count":1}] | 1 | 21 | [{"arity":1,"count":1},{"arity":2,"count":461},{"arity":21,"count":1}] | 421 | 41 | [{"type":"extension","count":41},{"type":"intension","count":421},{"type":"circuit","count":1}] | t | min SUM | 38f06f34c6c373f6142c39e9ab89bcc1 | ||
Tpp/Tpp-zinc-s1/ Tpp-7-3-30-1.xml |
COP | 102 | 683 | 53 | 2 | 21 | [{"size":2,"count":1},{"size":3,"count":4},{"size":4,"count":13},{"size":5,"count":3},{"size":9,"count":1},{"size":10,"count":1},{"size":11,"count":4},{"size":12,"count":9},{"size":13,"count":8},{"size":14,"count":3},{"size":15,"count":3},{"size":16,"count":1},{"size":20,"count":30},{"size":21,"count":21}] | 2 | 33 | [{"degree":2,"count":51},{"degree":22,"count":30},{"degree":32,"count":20},{"degree":33,"count":1}] | 1 | 21 | [{"arity":1,"count":1},{"arity":2,"count":681},{"arity":21,"count":1}] | 631 | 51 | [{"type":"extension","count":51},{"type":"intension","count":631},{"type":"circuit","count":1}] | t | min SUM | 0f4bef4b37e838bc5603a3a9d9caf103 | ||
Tpp/Tpp-zinc-s1/ Tpp-7-5-20-1.xml |
COP | 110 | 757 | 57 | 2 | 35 | [{"size":2,"count":1},{"size":3,"count":6},{"size":4,"count":18},{"size":5,"count":10},{"size":15,"count":6},{"size":16,"count":4},{"size":17,"count":4},{"size":18,"count":5},{"size":19,"count":1},{"size":34,"count":20},{"size":35,"count":35}] | 2 | 36 | [{"degree":2,"count":55},{"degree":22,"count":34},{"degree":23,"count":1},{"degree":36,"count":20}] | 1 | 35 | [{"arity":1,"count":1},{"arity":2,"count":755},{"arity":35,"count":1}] | 701 | 55 | [{"type":"extension","count":55},{"type":"intension","count":701},{"type":"circuit","count":1}] | t | min SUM | e35b04ec576605d811ffb09e6056798d | ||
Tpp/Tpp-zinc-s1/ Tpp-7-5-30-1.xml |
COP | 130 | 1117 | 67 | 2 | 35 | [{"size":2,"count":1},{"size":3,"count":6},{"size":4,"count":18},{"size":5,"count":10},{"size":14,"count":2},{"size":15,"count":2},{"size":16,"count":7},{"size":17,"count":12},{"size":18,"count":6},{"size":19,"count":1},{"size":34,"count":30},{"size":35,"count":35}] | 2 | 36 | [{"degree":2,"count":65},{"degree":32,"count":34},{"degree":33,"count":1},{"degree":36,"count":30}] | 1 | 35 | [{"arity":1,"count":1},{"arity":2,"count":1115},{"arity":35,"count":1}] | 1051 | 65 | [{"type":"extension","count":65},{"type":"intension","count":1051},{"type":"circuit","count":1}] | t | min SUM | 74f6b053d0485b3d7d553e00e4caa41f | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
TravellingSalesman/ TravellingSalesman-m1-n100/ TravellingSalesman-100-50-02.xml |
COP | 200 | 101 | 2 | 60 | 100 | [{"size":60,"count":100},{"size":100,"count":100}] | 2 | 3 | [{"degree":2,"count":100},{"degree":3,"count":100}] | 3 | 100 | [{"arity":3,"count":100},{"arity":100,"count":1}] | 0 | 100 | [{"type":"extension","count":100},{"type":"allDifferent","count":1}] | t | min SUM | 0e4189ad20205ae354a6aa8eb292dbdf | ||
TravellingSalesman/ TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml |
COP | 200 | 101 | 2 | 62 | 100 | [{"size":62,"count":100},{"size":100,"count":100}] | 2 | 3 | [{"degree":2,"count":100},{"degree":3,"count":100}] | 3 | 100 | [{"arity":3,"count":100},{"arity":100,"count":1}] | 0 | 100 | [{"type":"extension","count":100},{"type":"allDifferent","count":1}] | t | min SUM | 8e11a97c7673f129a8c4890bd1c1105b | ||
TravellingSalesman/ TravellingSalesman-m1-n150/ TravellingSalesman-150-50-13.xml |
COP | 300 | 151 | 2 | 66 | 150 | [{"size":66,"count":150},{"size":150,"count":150}] | 2 | 3 | [{"degree":2,"count":150},{"degree":3,"count":150}] | 3 | 150 | [{"arity":3,"count":150},{"arity":150,"count":1}] | 0 | 150 | [{"type":"extension","count":150},{"type":"allDifferent","count":1}] | t | min SUM | d698eba466bb4d42bacc008ef87467ee | ||
TravellingSalesman/ TravellingSalesman-m1-n15/ TravellingSalesman-15-30-00.xml |
COP | 30 | 16 | 2 | 15 | 31 | [{"size":15,"count":15},{"size":31,"count":15}] | 2 | 3 | [{"degree":2,"count":15},{"degree":3,"count":15}] | 3 | 15 | [{"arity":3,"count":15},{"arity":15,"count":1}] | 0 | 15 | [{"type":"extension","count":15},{"type":"allDifferent","count":1}] | t | min SUM | 0f9f8d62bc132272af22ef8ddad99d7d | ||
TravellingSalesman/ TravellingSalesman-m1-n15/ TravellingSalesman-15-30-04.xml |
COP | 30 | 16 | 2 | 15 | 28 | [{"size":15,"count":15},{"size":28,"count":15}] | 2 | 3 | [{"degree":2,"count":15},{"degree":3,"count":15}] | 3 | 15 | [{"arity":3,"count":15},{"arity":15,"count":1}] | 0 | 15 | [{"type":"extension","count":15},{"type":"allDifferent","count":1}] | t | min SUM | 3ec1135b215453db38ac12e83e420ae6 | ||
TravellingSalesman/ TravellingSalesman-m1-n15/ TravellingSalesman-15-30-10.xml |
COP | 30 | 16 | 2 | 15 | 29 | [{"size":15,"count":15},{"size":29,"count":15}] | 2 | 3 | [{"degree":2,"count":15},{"degree":3,"count":15}] | 3 | 15 | [{"arity":3,"count":15},{"arity":15,"count":1}] | 0 | 15 | [{"type":"extension","count":15},{"type":"allDifferent","count":1}] | t | min SUM | 3c026331d7bc07d88063d95da0d404ae | ||
TravellingSalesman/ TravellingSalesman-m1-n15/ TravellingSalesman-15-30-11.xml |
COP | 30 | 16 | 2 | 15 | 25 | [{"size":15,"count":15},{"size":25,"count":15}] | 2 | 3 | [{"degree":2,"count":15},{"degree":3,"count":15}] | 3 | 15 | [{"arity":3,"count":15},{"arity":15,"count":1}] | 0 | 15 | [{"type":"extension","count":15},{"type":"allDifferent","count":1}] | t | min SUM | c9ef4b7723c27fafe529968b8b9ea7d5 | ||
TravellingSalesman/ TravellingSalesman-m1-n15/ TravellingSalesman-15-30-12.xml |
COP | 30 | 16 | 2 | 15 | 32 | [{"size":15,"count":15},{"size":32,"count":15}] | 2 | 3 | [{"degree":2,"count":15},{"degree":3,"count":15}] | 3 | 15 | [{"arity":3,"count":15},{"arity":15,"count":1}] | 0 | 15 | [{"type":"extension","count":15},{"type":"allDifferent","count":1}] | t | min SUM | dba33b05662b19bf60999f99ad872bed | ||
TravellingSalesman/ TravellingSalesman-m1-n15/ TravellingSalesman-15-30-14.xml |
COP | 30 | 16 | 2 | 15 | 29 | [{"size":15,"count":15},{"size":29,"count":15}] | 2 | 3 | [{"degree":2,"count":15},{"degree":3,"count":15}] | 3 | 15 | [{"arity":3,"count":15},{"arity":15,"count":1}] | 0 | 15 | [{"type":"extension","count":15},{"type":"allDifferent","count":1}] | t | min SUM | 8288d58d1e6d081c99b6d9412791f2b3 | ||
TravellingSalesman/ TravellingSalesman-m1-n15/ TravellingSalesman-15-30-17.xml |
COP | 30 | 16 | 2 | 15 | 27 | [{"size":15,"count":15},{"size":27,"count":15}] | 2 | 3 | [{"degree":2,"count":15},{"degree":3,"count":15}] | 3 | 15 | [{"arity":3,"count":15},{"arity":15,"count":1}] | 0 | 15 | [{"type":"extension","count":15},{"type":"allDifferent","count":1}] | t | min SUM | 97cdfd39e69e24a1288603b41de82026 | ||
Bench name | Best results on this instance | Main category | Sub categories | #variables | #constraints | #domains | Min. Domain Size | Max. Domain Size | Distribution of domain sizes | Min. variable degree | Max. variable degree | Distribution of variable degrees | Min. Arity | Max. Arity | Distribution of constraint arities | #constraints defined by a predicate | #constraints defined by a relation | Distribution of constraint types | optimization problem | type of objective | md5sum |
TravellingSalesman/ TravellingSalesman-m1-n25/ TravellingSalesman-25-30-03.xml |
COP | 50 | 26 | 2 | 25 | 33 | [{"size":25,"count":25},{"size":33,"count":25}] | 2 | 3 | [{"degree":2,"count":25},{"degree":3,"count":25}] | 3 | 25 | [{"arity":3,"count":25},{"arity":25,"count":1}] | 0 | 25 | [{"type":"extension","count":25},{"type":"allDifferent","count":1}] | t | min SUM | 08a8e4115660d732ba32388826654d85 | ||
TravellingSalesman/ TravellingSalesman-m1-n30/ TravellingSalesman-30-30-00.xml |
COP | 60 | 31 | 2 | 30 | 32 | [{"size":30,"count":30},{"size":32,"count":30}] | 2 | 3 | [{"degree":2,"count":30},{"degree":3,"count":30}] | 3 | 30 | [{"arity":3,"count":30},{"arity":30,"count":1}] | 0 | 30 | [{"type":"extension","count":30},{"type":"allDifferent","count":1}] | t | min SUM | b8130450ecaa214ac0617b692471aec1 | ||
TravellingSalesman/ TravellingSalesman-m1-n30/ TravellingSalesman-30-30-11.xml |
COP | 60 | 31 | 2 | 30 | 31 | [{"size":30,"count":30},{"size":31,"count":30}] | 2 | 3 | [{"degree":2,"count":30},{"degree":3,"count":30}] | 3 | 30 | [{"arity":3,"count":30},{"arity":30,"count":1}] | 0 | 30 | [{"type":"extension","count":30},{"type":"allDifferent","count":1}] | t | min SUM | ac86bf8ef4620229a98c72b0f60cfd27 | ||
TravellingSalesman/ TravellingSalesman-m1-n30/ TravellingSalesman-30-30-19.xml |
COP | 60 | 31 | 2 | 30 | 33 | [{"size":30,"count":30},{"size":33,"count":30}] | 2 | 3 | [{"degree":2,"count":30},{"degree":3,"count":30}] | 3 | 30 | [{"arity":3,"count":30},{"arity":30,"count":1}] | 0 | 30 | [{"type":"extension","count":30},{"type":"allDifferent","count":1}] | t | min SUM | a6469c0d47f71dcca9bcaaa451655f38 | ||
TravellingSalesman/ TravellingSalesman-m1-n35/ TravellingSalesman-35-30-07.xml |
COP | 70 | 36 | 2 | 35 | 37 | [{"size":35,"count":35},{"size":37,"count":35}] | 2 | 3 | [{"degree":2,"count":35},{"degree":3,"count":35}] | 3 | 35 | [{"arity":3,"count":35},{"arity":35,"count":1}] | 0 | 35 | [{"type":"extension","count":35},{"type":"allDifferent","count":1}] | t | min SUM | 1a4fb6e98f7c5153812b28830edea47d | ||
Vrp/Vrp-zinc-s1/ Vrp-A-n38-k5.xml |
COP | 1482 | 1443 | 3 | 1 | 101 | [{"size":1,"count":38},{"size":2,"count":1406},{"size":101,"count":37}] | 0 | 73 | [{"degree":0,"count":1},{"degree":1,"count":38},{"degree":2,"count":74},{"degree":4,"count":1332},{"degree":73,"count":37}] | 1 | 37 | [{"arity":1,"count":37},{"arity":3,"count":1332},{"arity":37,"count":74}] | 37 | 0 | [{"type":"intension","count":37},{"type":"sum","count":1332},{"type":"count","count":74}] | t | min SUM | 681710e79c8377b968f88ec392af942b | ||
Vrp/Vrp-zinc-s1/ Vrp-P-n16-k8.xml |
COP | 272 | 255 | 3 | 1 | 36 | [{"size":1,"count":16},{"size":2,"count":240},{"size":36,"count":15}] | 0 | 29 | [{"degree":0,"count":1},{"degree":1,"count":16},{"degree":2,"count":30},{"degree":4,"count":210},{"degree":29,"count":15}] | 1 | 15 | [{"arity":1,"count":15},{"arity":3,"count":210},{"arity":15,"count":30}] | 15 | 0 | [{"type":"intension","count":15},{"type":"sum","count":210},{"type":"count","count":30}] | t | min SUM | cfd5e3ed3d40597c9df5fc0ce0b3cf5f | ||
Vrp/Vrp-zinc-s1/ Vrp-P-n40-k5.xml |
COP | 1640 | 1599 | 3 | 1 | 141 | [{"size":1,"count":40},{"size":2,"count":1560},{"size":141,"count":39}] | 0 | 77 | [{"degree":0,"count":1},{"degree":1,"count":40},{"degree":2,"count":78},{"degree":4,"count":1482},{"degree":77,"count":39}] | 1 | 39 | [{"arity":1,"count":39},{"arity":3,"count":1482},{"arity":39,"count":78}] | 39 | 0 | [{"type":"intension","count":39},{"type":"sum","count":1482},{"type":"count","count":78}] | t | min SUM | aadfd6ed706e08b9468e37c047f4c189 | ||
Warehouse/ Warehouse-m1-s1/ Warehouse-cap081.xml |
COP | 125 | 125 | 52 | 2 | 25 | [{"size":2,"count":25},{"size":24,"count":3},{"size":25,"count":97}] | 2 | 51 | [{"degree":2,"count":50},{"degree":27,"count":50},{"degree":51,"count":25}] | 2 | 50 | [{"arity":2,"count":50},{"arity":26,"count":50},{"arity":50,"count":25}] | 0 | 0 | [{"type":"count","count":25},{"type":"element","count":100}] | t | min SUM | b3bc9c910d0d9ad9cb0df62a165750df | ||
Warehouse/ Warehouse-m1-s1/ Warehouse-cap101.xml |
COP | 125 | 125 | 52 | 2 | 25 | [{"size":2,"count":25},{"size":24,"count":3},{"size":25,"count":97}] | 2 | 51 | [{"degree":2,"count":50},{"degree":27,"count":50},{"degree":51,"count":25}] | 2 | 50 | [{"arity":2,"count":50},{"arity":26,"count":50},{"arity":50,"count":25}] | 0 | 0 | [{"type":"count","count":25},{"type":"element","count":100}] | t | min SUM | b3bc9c910d0d9ad9cb0df62a165750df |