2019 XCSP3 competition: mini-solver track (sequential and parallel solvers): General informations on benchmark

General informations on benchmarks in category "all categories"

This page displays general informations on each benchmark in category "all categories"

Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
AllInterval/
AllInterval-m1-s1/
AllInterval-040.xml
CSP 79 41 2 39 40 [{"size":39,"count":39},{"size":40,"count":40}] 2 3 [{"degree":2,"count":41},{"degree":3,"count":38}] 3 40 [{"arity":3,"count":39},{"arity":39,"count":1},{"arity":40,"count":1}] 39 0 [{"type":"intension","count":39},{"type":"allDifferent","count":2}] f b74d7d5d03f7c84e1bb19748e6149180
AllInterval/
AllInterval-m1-s1/
AllInterval-075.xml
CSP 149 76 2 74 75 [{"size":74,"count":74},{"size":75,"count":75}] 2 3 [{"degree":2,"count":76},{"degree":3,"count":73}] 3 75 [{"arity":3,"count":74},{"arity":74,"count":1},{"arity":75,"count":1}] 74 0 [{"type":"intension","count":74},{"type":"allDifferent","count":2}] f dfbde825bf319b4caa28116806ec8592
Auction/Auction-sum/
Auction-sum-decay200_c18.xml
COP 2000 200 1 2 2 [{"size":2,"count":2000}] 2 30 [{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}] 36 75 [{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}] 0 0 [{"type":"sum","count":200}] t max SUM ef8d95b3b89bfc5ccba73a2d09f74d17
Auction/Auction-sum/
Auction-sum-decay500_c18.xml
COP 2000 500 1 2 2 [{"size":2,"count":2000}] 2 37 [{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}] 7 42 [{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}] 0 0 [{"type":"sum","count":500}] t max SUM d1d7e4f351cab0858660dafd89ccc193
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
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07-2_X2.xml
CSP 112 1262 4 1 28 [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] 0 56 [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] 2 2 [{"arity":2,"count":1262}] 0 1262 [{"type":"extension","count":1262}] f bca347db5d1c552995f700e5a754db73
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07-3_X2.xml
CSP 112 1262 4 1 28 [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] 0 56 [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] 2 2 [{"arity":2,"count":1262}] 0 1262 [{"type":"extension","count":1262}] f 72c85c51a44e0e8527757e040a083bca
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07-4_X2.xml
CSP 112 1262 4 1 28 [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] 0 56 [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] 2 2 [{"arity":2,"count":1262}] 0 1262 [{"type":"extension","count":1262}] f 69e102c6eb18d0fe6bc9694d1b83e185
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07-7_X2.xml
CSP 112 1262 4 1 28 [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] 0 56 [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] 2 2 [{"arity":2,"count":1262}] 0 1262 [{"type":"extension","count":1262}] f 58733bdc54ee5d0b54338851c7cdf9d7
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07-8_X2.xml
CSP 112 1262 4 1 28 [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] 0 56 [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] 2 2 [{"arity":2,"count":1262}] 0 1262 [{"type":"extension","count":1262}] f 5c0d10b65067a89bbe36375c556425e1
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07-9_X2.xml
CSP 112 1262 4 1 28 [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] 0 56 [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] 2 2 [{"arity":2,"count":1262}] 0 1262 [{"type":"extension","count":1262}] f a7efa7459c7ca72744d0a792626ba479
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07h-0_X2.xml
CSP 112 1262 4 1 28 [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] 0 56 [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] 2 2 [{"arity":2,"count":1262}] 0 1262 [{"type":"extension","count":1262}] f e5c3d43a301dadc2ad5fa4651c286aba
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07h-3_X2.xml
CSP 112 1262 4 1 28 [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] 0 56 [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] 2 2 [{"arity":2,"count":1262}] 0 1262 [{"type":"extension","count":1262}] f 078f744f5e677e31fb1e43d5f58b7def
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07h-6_X2.xml
CSP 112 1262 4 1 28 [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] 0 56 [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] 2 2 [{"arity":2,"count":1262}] 0 1262 [{"type":"extension","count":1262}] f 43dd96c97b3ff33ff7a4c42b6a5606ab
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07h-8_X2.xml
CSP 112 1262 4 1 28 [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] 0 56 [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] 2 2 [{"arity":2,"count":1262}] 0 1262 [{"type":"extension","count":1262}] f abe6e1fab69c306265861f259d6961ae
ColouredQueens/
ColouredQueens-m1-s1/
ColouredQueens-08.xml
CSP 64 42 1 8 8 [{"size":8,"count":64}] 3 4 [{"degree":3,"count":4},{"degree":4,"count":60}] 2 8 [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":18}] 0 0 [{"type":"allDifferent","count":42}] f 097ee2ac2bfb45f3aedded97da1eabe0
ColouredQueens/
ColouredQueens-m1-s1/
ColouredQueens-13.xml
CSP 169 72 1 13 13 [{"size":13,"count":169}] 3 4 [{"degree":3,"count":4},{"degree":4,"count":165}] 2 13 [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":28}] 0 0 [{"type":"allDifferent","count":72}] f 3785e9b0b2758b612fcaaefab5873f44
ColouredQueens/
ColouredQueens-m1-s1/
ColouredQueens-15.xml
CSP 225 84 1 15 15 [{"size":15,"count":225}] 3 4 [{"degree":3,"count":4},{"degree":4,"count":221}] 2 15 [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":4},{"arity":14,"count":4},{"arity":15,"count":32}] 0 0 [{"type":"allDifferent","count":84}] f 531220ca8f264cab5c203edb1f2daff4
ColouredQueens/
ColouredQueens-m1-s1/
ColouredQueens-16.xml
CSP 256 90 1 16 16 [{"size":16,"count":256}] 3 4 [{"degree":3,"count":4},{"degree":4,"count":252}] 2 16 [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":4},{"arity":14,"count":4},{"arity":15,"count":4},{"arity":16,"count":34}] 0 0 [{"type":"allDifferent","count":90}] f ca60191094dbbdd7cca22b5ebea1cb75
CoveringArray/
CoveringArray-elt-s1/
CoveringArray-elt-3-08-2-11.xml
CSP 1064 515 2 8 11 [{"size":8,"count":616},{"size":11,"count":448}] 2 9 [{"degree":2,"count":448},{"degree":9,"count":616}] 8 56 [{"arity":8,"count":56},{"arity":12,"count":448},{"arity":56,"count":11}] 0 11 [{"type":"extension","count":11},{"type":"allDifferent","count":56},{"type":"element","count":448}] f 4ce84553270c29613a23d62b5dd197d4
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
CoveringArray/
CoveringArray-elt-s1/
CoveringArray-elt-3-09-2-12.xml
CSP 1680 768 2 8 12 [{"size":8,"count":1008},{"size":12,"count":672}] 2 9 [{"degree":2,"count":672},{"degree":9,"count":1008}] 8 84 [{"arity":8,"count":84},{"arity":13,"count":672},{"arity":84,"count":12}] 0 12 [{"type":"extension","count":12},{"type":"allDifferent","count":84},{"type":"element","count":672}] f 184e4a42ac40b5c8b3b859f3d89928ae
CoveringArray/
CoveringArray-elt-s1/
CoveringArray-elt-3-10-2-11.xml
CSP 2280 1091 2 8 11 [{"size":8,"count":1320},{"size":11,"count":960}] 2 9 [{"degree":2,"count":960},{"degree":9,"count":1320}] 8 120 [{"arity":8,"count":120},{"arity":12,"count":960},{"arity":120,"count":11}] 0 11 [{"type":"extension","count":11},{"type":"allDifferent","count":120},{"type":"element","count":960}] f c5b4e9c2e16defa9f5099964bd118207
CoveringArray/
CoveringArray-elt-s1/
CoveringArray-elt-3-11-2-11.xml
CSP 3135 1496 2 8 11 [{"size":8,"count":1815},{"size":11,"count":1320}] 2 9 [{"degree":2,"count":1320},{"degree":9,"count":1815}] 8 165 [{"arity":8,"count":165},{"arity":12,"count":1320},{"arity":165,"count":11}] 0 11 [{"type":"extension","count":11},{"type":"allDifferent","count":165},{"type":"element","count":1320}] f c0667791697b10c41f5c8efbba83a1bb
Crossword/
Crossword-m1c-lex-herald/
Crossword-m1c-lex-h1502.xml
CSP 225 80 1 26 26 [{"size":26,"count":191}] 0 2 [{"degree":0,"count":34},{"degree":2,"count":191}] 3 15 [{"arity":3,"count":16},{"arity":4,"count":36},{"arity":5,"count":14},{"arity":6,"count":6},{"arity":7,"count":2},{"arity":10,"count":4},{"arity":15,"count":2}] 0 80 [{"type":"extension","count":80}] f 67637afd32d187a68521c67430c8a4b5
Crossword/
Crossword-m1c-lex-herald/
Crossword-m1c-lex-h1503.xml
CSP 225 78 1 26 26 [{"size":26,"count":189}] 0 2 [{"degree":0,"count":36},{"degree":2,"count":189}] 3 8 [{"arity":3,"count":4},{"arity":4,"count":36},{"arity":5,"count":22},{"arity":6,"count":8},{"arity":8,"count":8}] 0 78 [{"type":"extension","count":78}] f c2c91a653476dc87297b956fafe3b045
Crossword/
Crossword-m1c-lex-herald/
Crossword-m1c-lex-h1901.xml
CSP 361 128 1 26 26 [{"size":26,"count":301}] 0 2 [{"degree":0,"count":60},{"degree":2,"count":301}] 3 9 [{"arity":3,"count":12},{"arity":4,"count":70},{"arity":5,"count":24},{"arity":6,"count":4},{"arity":7,"count":8},{"arity":8,"count":4},{"arity":9,"count":6}] 0 128 [{"type":"extension","count":128}] f b627052f6eec3dff392a56204c359d86
Crossword/
Crossword-m1c-lex-herald/
Crossword-m1c-lex-h1906.xml
CSP 361 128 1 26 26 [{"size":26,"count":287}] 0 2 [{"degree":0,"count":74},{"degree":2,"count":287}] 3 11 [{"arity":3,"count":32},{"arity":4,"count":58},{"arity":5,"count":22},{"arity":6,"count":2},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":10,"count":2},{"arity":11,"count":4}] 0 128 [{"type":"extension","count":128}] f 3013a79fa199431aa1441aa360343669
Crossword/
Crossword-m1c-lex-herald/
Crossword-m1c-lex-h2102.xml
CSP 441 150 1 26 26 [{"size":26,"count":369}] 0 2 [{"degree":0,"count":72},{"degree":2,"count":369}] 3 12 [{"arity":3,"count":16},{"arity":4,"count":50},{"arity":5,"count":54},{"arity":6,"count":12},{"arity":7,"count":8},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":12,"count":2}] 0 150 [{"type":"extension","count":150}] f 952ee7e6352d4c04745f93af14338515
Crossword/
Crossword-m1c-lex-herald/
Crossword-m1c-lex-h2304.xml
CSP 529 170 1 26 26 [{"size":26,"count":449}] 0 2 [{"degree":0,"count":80},{"degree":2,"count":449}] 3 9 [{"arity":3,"count":20},{"arity":4,"count":20},{"arity":5,"count":84},{"arity":6,"count":12},{"arity":7,"count":14},{"arity":8,"count":12},{"arity":9,"count":8}] 0 170 [{"type":"extension","count":170}] f 2b17aa29d465407901b3bf5b8794b9ea
Crossword/
Crossword-m1c-lex-herald/
Crossword-m1c-lex-h2307.xml
CSP 529 174 1 26 26 [{"size":26,"count":446}] 0 2 [{"degree":0,"count":83},{"degree":2,"count":446}] 3 12 [{"arity":3,"count":16},{"arity":4,"count":64},{"arity":5,"count":54},{"arity":6,"count":14},{"arity":7,"count":4},{"arity":8,"count":8},{"arity":9,"count":4},{"arity":10,"count":6},{"arity":11,"count":2},{"arity":12,"count":2}] 0 174 [{"type":"extension","count":174}] f 07d1be45dab1ec82d1b4d00a54d73f42
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Crossword/
Crossword-m1c-lex-vg/
Crossword-m1c-lex-vg-4-8.xml
CSP 32 12 1 26 26 [{"size":26,"count":32}] 2 2 [{"degree":2,"count":32}] 4 8 [{"arity":4,"count":8},{"arity":8,"count":4}] 0 12 [{"type":"extension","count":12}] f c10dd5dec070ff1211512088bfd197f2
Crossword/
Crossword-m1c-lex-vg/
Crossword-m1c-lex-vg-5-6.xml
CSP 30 11 1 26 26 [{"size":26,"count":30}] 2 2 [{"degree":2,"count":30}] 5 6 [{"arity":5,"count":6},{"arity":6,"count":5}] 0 11 [{"type":"extension","count":11}] f c1b07a7f88496e248f54be8a150a9021
Crossword/Crossword-m1c-lex-vg/
Crossword-m1c-lex-vg-7-10.xml
CSP 70 17 1 26 26 [{"size":26,"count":70}] 2 2 [{"degree":2,"count":70}] 7 10 [{"arity":7,"count":10},{"arity":10,"count":7}] 0 17 [{"type":"extension","count":17}] f 7b36518c0e1800efc1f1e3dffa069753
Crossword/
Crossword-m1c-ogd2008-herald/
Crossword-m1c-ogd2008-h1905.xml
CSP 361 126 1 26 26 [{"size":26,"count":291}] 0 2 [{"degree":0,"count":70},{"degree":2,"count":291}] 3 19 [{"arity":3,"count":25},{"arity":4,"count":62},{"arity":5,"count":18},{"arity":6,"count":8},{"arity":7,"count":10},{"arity":16,"count":2},{"arity":19,"count":1}] 0 126 [{"type":"extension","count":126}] f b304f6c83ea7150e2963a619c79f8da9
Crossword/
Crossword-m1c-ogd2008-herald/
Crossword-m1c-ogd2008-h1907.xml
CSP 361 134 1 26 26 [{"size":26,"count":291}] 0 2 [{"degree":0,"count":70},{"degree":2,"count":291}] 3 15 [{"arity":3,"count":40},{"arity":4,"count":66},{"arity":5,"count":10},{"arity":6,"count":4},{"arity":7,"count":8},{"arity":8,"count":2},{"arity":11,"count":2},{"arity":15,"count":2}] 0 134 [{"type":"extension","count":134}] f 813693fba5385f71d5f3ee094f0d6875
Crossword/
Crossword-m1c-ogd2008-puzzle/
Crossword-m1c-ogd2008-p16.xml
CSP 169 68 1 26 26 [{"size":26,"count":135}] 0 2 [{"degree":0,"count":34},{"degree":2,"count":135}] 3 7 [{"arity":3,"count":26},{"arity":4,"count":28},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":2}] 0 68 [{"type":"extension","count":68}] f f7bafb5a46c6b45d2f3c803c1cbe62d0
Crossword/
Crossword-m1c-ogd2008-puzzle/
Crossword-m1c-ogd2008-p19.xml
CSP 225 80 1 26 26 [{"size":26,"count":187}] 0 2 [{"degree":0,"count":38},{"degree":2,"count":187}] 3 10 [{"arity":3,"count":12},{"arity":4,"count":32},{"arity":5,"count":23},{"arity":6,"count":4},{"arity":7,"count":5},{"arity":8,"count":2},{"arity":10,"count":2}] 0 80 [{"type":"extension","count":80}] f b9fecb7b2b1d38fb0c8113a14d4f93e4
Crossword/Crossword-m1c-ogd2008-vg/
Crossword-m1c-ogd2008-vg-7-7.xml
CSP 49 14 1 26 26 [{"size":26,"count":49}] 2 2 [{"degree":2,"count":49}] 7 7 [{"arity":7,"count":14}] 0 14 [{"type":"extension","count":14}] f 330f15ebb99b37761d3f89dc1b9e8a1c
Crossword/
Crossword-m1c-ogd-puzzle/
Crossword-m1c-ogd-p14.xml
CSP 100 28 1 26 26 [{"size":26,"count":62}] 0 2 [{"degree":0,"count":38},{"degree":2,"count":62}] 3 7 [{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":8},{"arity":7,"count":4}] 0 28 [{"type":"extension","count":28}] f 6bc055ae6ee811181fc9348d6866c0aa
Crossword/Crossword-m1c-ogd-vg/
Crossword-m1c-ogd-vg-14-15.xml
CSP 210 29 1 26 26 [{"size":26,"count":210}] 2 2 [{"degree":2,"count":210}] 14 15 [{"arity":14,"count":15},{"arity":15,"count":14}] 0 29 [{"type":"extension","count":29}] f 8fe4d4ff25aed39a536d9c0933ae8bb1
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Crossword/Crossword-m1c-ogd-vg/
Crossword-m1c-ogd-vg-14-18.xml
CSP 252 32 1 26 26 [{"size":26,"count":252}] 2 2 [{"degree":2,"count":252}] 14 18 [{"arity":14,"count":18},{"arity":18,"count":14}] 0 32 [{"type":"extension","count":32}] f 77e50d894994e06b4164c9562b36b0c0
Crossword/Crossword-m1c-ogd-vg/
Crossword-m1c-ogd-vg-15-15.xml
CSP 225 30 1 26 26 [{"size":26,"count":225}] 2 2 [{"degree":2,"count":225}] 15 15 [{"arity":15,"count":30}] 0 30 [{"type":"extension","count":30}] f 94349d528652aa586fea9ac8f202fac3
Crossword/Crossword-m1c-ogd-vg/
Crossword-m1c-ogd-vg-9-12.xml
CSP 108 21 1 26 26 [{"size":26,"count":108}] 2 2 [{"degree":2,"count":108}] 9 12 [{"arity":9,"count":12},{"arity":12,"count":9}] 0 21 [{"type":"extension","count":21}] f a9927b7810a76af14e99b6eaf4b0df2c
Crossword/
Crossword-m1c-uk-herald/
Crossword-m1c-uk-h1506.xml
CSP 225 72 1 26 26 [{"size":26,"count":195}] 0 2 [{"degree":0,"count":30},{"degree":2,"count":195}] 3 9 [{"arity":3,"count":8},{"arity":4,"count":20},{"arity":5,"count":14},{"arity":6,"count":4},{"arity":7,"count":19},{"arity":8,"count":4},{"arity":9,"count":3}] 0 72 [{"type":"extension","count":72}] f 65aec3725bf39405ee9d6e6552742dd1
Crossword/
Crossword-m1c-uk-herald/
Crossword-m1c-uk-h1903.xml
CSP 361 118 1 26 26 [{"size":26,"count":307}] 0 2 [{"degree":0,"count":54},{"degree":2,"count":307}] 3 9 [{"arity":3,"count":20},{"arity":4,"count":16},{"arity":5,"count":32},{"arity":6,"count":28},{"arity":7,"count":16},{"arity":8,"count":4},{"arity":9,"count":2}] 0 118 [{"type":"extension","count":118}] f e48b51ed57763ea68f961ecc3a31c06c
Crossword/
Crossword-m1c-uk-herald/
Crossword-m1c-uk-h1908.xml
CSP 361 130 1 26 26 [{"size":26,"count":295}] 0 2 [{"degree":0,"count":66},{"degree":2,"count":295}] 3 12 [{"arity":3,"count":20},{"arity":4,"count":74},{"arity":5,"count":20},{"arity":6,"count":2},{"arity":7,"count":2},{"arity":8,"count":8},{"arity":10,"count":2},{"arity":12,"count":2}] 0 130 [{"type":"extension","count":130}] f 71d2667819f51492ea03a326946014a5
Crossword/
Crossword-m1c-uk-herald/
Crossword-m1c-uk-h2302.xml
CSP 529 182 1 26 26 [{"size":26,"count":435}] 0 2 [{"degree":0,"count":94},{"degree":2,"count":435}] 3 12 [{"arity":3,"count":32},{"arity":4,"count":72},{"arity":5,"count":48},{"arity":6,"count":8},{"arity":7,"count":7},{"arity":8,"count":2},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":3},{"arity":12,"count":2}] 0 182 [{"type":"extension","count":182}] f 5a2736295b20af6b7d3ac2e1ef9f25b9
Crossword/
Crossword-m1c-uk-herald/
Crossword-m1c-uk-h2304.xml
CSP 529 170 1 26 26 [{"size":26,"count":449}] 0 2 [{"degree":0,"count":80},{"degree":2,"count":449}] 3 9 [{"arity":3,"count":20},{"arity":4,"count":20},{"arity":5,"count":84},{"arity":6,"count":12},{"arity":7,"count":14},{"arity":8,"count":12},{"arity":9,"count":8}] 0 170 [{"type":"extension","count":170}] f 0f229f6774eccfe8c059f5e01c03a42b
Crossword/
Crossword-m1c-uk-herald/
Crossword-m1c-uk-h2308.xml
CSP 529 172 1 26 26 [{"size":26,"count":454}] 0 2 [{"degree":0,"count":75},{"degree":2,"count":454}] 3 8 [{"arity":3,"count":16},{"arity":4,"count":44},{"arity":5,"count":40},{"arity":6,"count":24},{"arity":7,"count":44},{"arity":8,"count":4}] 0 172 [{"type":"extension","count":172}] f 5969e307ef40b6bddb40abbd128c6699
Crossword/Crossword-m1c-uk-vg/
Crossword-m1c-uk-vg-14-14.xml
CSP 196 28 1 26 26 [{"size":26,"count":196}] 2 2 [{"degree":2,"count":196}] 14 14 [{"arity":14,"count":28}] 0 28 [{"type":"extension","count":28}] f 14937a3724a735a6f6732c9e94caebed
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Crossword/Crossword-m1c-uk-vg/
Crossword-m1c-uk-vg-16-20.xml
CSP 320 36 1 26 26 [{"size":26,"count":320}] 2 2 [{"degree":2,"count":320}] 16 20 [{"arity":16,"count":20},{"arity":20,"count":16}] 0 36 [{"type":"extension","count":36}] f cc7c63589c1630944990d1d48736e421
Crossword/Crossword-m1c-uk-vg/
Crossword-m1c-uk-vg-5-7.xml
CSP 35 12 1 26 26 [{"size":26,"count":35}] 2 2 [{"degree":2,"count":35}] 5 7 [{"arity":5,"count":7},{"arity":7,"count":5}] 0 12 [{"type":"extension","count":12}] f 052802eb17c0f57ea02db175e3fb388a
Crossword/Crossword-m1c-uk-vg/
Crossword-m1c-uk-vg-8-9.xml
CSP 72 17 1 26 26 [{"size":26,"count":72}] 2 2 [{"degree":2,"count":72}] 8 9 [{"arity":8,"count":9},{"arity":9,"count":8}] 0 17 [{"type":"extension","count":17}] f d0b0eed1d6d204767f77a0623277ccee
Crossword/
Crossword-m1c-words-herald/
Crossword-m1c-words-h0509.xml
CSP 25 10 1 26 26 [{"size":26,"count":19}] 0 2 [{"degree":0,"count":6},{"degree":2,"count":19}] 3 5 [{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2}] 0 10 [{"type":"extension","count":10}] f 795b0853e1a411d51b5742a039f740d0
Crossword/
Crossword-m1c-words-herald/
Crossword-m1c-words-h1502.xml
CSP 225 80 1 26 26 [{"size":26,"count":191}] 0 2 [{"degree":0,"count":34},{"degree":2,"count":191}] 3 15 [{"arity":3,"count":16},{"arity":4,"count":36},{"arity":5,"count":14},{"arity":6,"count":6},{"arity":7,"count":2},{"arity":10,"count":4},{"arity":15,"count":2}] 0 80 [{"type":"extension","count":80}] f a2752b8de0f795c003fe60b87ed13d66
Crossword/
Crossword-m1c-words-herald/
Crossword-m1c-words-h1510.xml
CSP 225 72 1 26 26 [{"size":26,"count":190}] 0 2 [{"degree":0,"count":35},{"degree":2,"count":190}] 4 10 [{"arity":4,"count":38},{"arity":5,"count":18},{"arity":6,"count":2},{"arity":7,"count":4},{"arity":9,"count":2},{"arity":10,"count":8}] 0 72 [{"type":"extension","count":72}] f 15f94e8f7f6e887d379f43c98217641b
Crossword/
Crossword-m1c-words-herald/
Crossword-m1c-words-h1901.xml
CSP 361 128 1 26 26 [{"size":26,"count":301}] 0 2 [{"degree":0,"count":60},{"degree":2,"count":301}] 3 9 [{"arity":3,"count":12},{"arity":4,"count":70},{"arity":5,"count":24},{"arity":6,"count":4},{"arity":7,"count":8},{"arity":8,"count":4},{"arity":9,"count":6}] 0 128 [{"type":"extension","count":128}] f 52c2e2d0247fa3a8188eb496ea589d9d
Crossword/
Crossword-m1c-words-herald/
Crossword-m1c-words-h1903.xml
CSP 361 118 1 26 26 [{"size":26,"count":307}] 0 2 [{"degree":0,"count":54},{"degree":2,"count":307}] 3 9 [{"arity":3,"count":20},{"arity":4,"count":16},{"arity":5,"count":32},{"arity":6,"count":28},{"arity":7,"count":16},{"arity":8,"count":4},{"arity":9,"count":2}] 0 118 [{"type":"extension","count":118}] f 94398236869411f6481c15585795eebd
Crossword/
Crossword-m1c-words-herald/
Crossword-m1c-words-h1908.xml
CSP 361 130 1 26 26 [{"size":26,"count":295}] 0 2 [{"degree":0,"count":66},{"degree":2,"count":295}] 3 12 [{"arity":3,"count":20},{"arity":4,"count":74},{"arity":5,"count":20},{"arity":6,"count":2},{"arity":7,"count":2},{"arity":8,"count":8},{"arity":10,"count":2},{"arity":12,"count":2}] 0 130 [{"type":"extension","count":130}] f 973ab128a6dc1f65117fbccd648aef61
Crossword/
Crossword-m1c-words-herald/
Crossword-m1c-words-h2104.xml
CSP 441 144 1 26 26 [{"size":26,"count":378}] 0 2 [{"degree":0,"count":63},{"degree":2,"count":378}] 3 8 [{"arity":3,"count":20},{"arity":4,"count":20},{"arity":5,"count":56},{"arity":6,"count":8},{"arity":7,"count":32},{"arity":8,"count":8}] 0 144 [{"type":"extension","count":144}] f 2b53b13a276a9b29646c6cab07cf5eb7
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Crossword/
Crossword-m1c-words-herald/
Crossword-m1c-words-h2307.xml
CSP 529 174 1 26 26 [{"size":26,"count":446}] 0 2 [{"degree":0,"count":83},{"degree":2,"count":446}] 3 12 [{"arity":3,"count":16},{"arity":4,"count":64},{"arity":5,"count":54},{"arity":6,"count":14},{"arity":7,"count":4},{"arity":8,"count":8},{"arity":9,"count":4},{"arity":10,"count":6},{"arity":11,"count":2},{"arity":12,"count":2}] 0 174 [{"type":"extension","count":174}] f cb107445c2a1f3acd393b0d9fea9c65e
Crossword/Crossword-m1c-words-vg/
Crossword-m1c-words-vg-10-10.xml
CSP 100 20 1 26 26 [{"size":26,"count":100}] 2 2 [{"degree":2,"count":100}] 10 10 [{"arity":10,"count":20}] 0 20 [{"type":"extension","count":20}] f 7ebaeac534d7c560869f15b4ef8a3074
Crossword/Crossword-m1c-words-vg/
Crossword-m1c-words-vg-6-10.xml
CSP 60 16 1 26 26 [{"size":26,"count":60}] 2 2 [{"degree":2,"count":60}] 6 10 [{"arity":6,"count":10},{"arity":10,"count":6}] 0 16 [{"type":"extension","count":16}] f 3776c3f00ca9fe967794d57d1bcace41
Dubois/
Dubois-m1-s1/
Dubois-028.xml
CSP 84 56 1 2 2 [{"size":2,"count":84}] 2 2 [{"degree":2,"count":84}] 3 3 [{"arity":3,"count":56}] 0 56 [{"type":"extension","count":56}] f db9859f55fdeeb063308babcaf6783a7
GolombRuler/
GolombRuler-a3v18-08_c18.xml
COP 72 29 2 64 65 [{"size":64,"count":28},{"size":65,"count":8}] 0 8 [{"degree":0,"count":36},{"degree":2,"count":28},{"degree":7,"count":7},{"degree":8,"count":1}] 3 28 [{"arity":3,"count":28},{"arity":28,"count":1}] 28 0 [{"type":"intension","count":28},{"type":"allDifferent","count":1}] t min VAR 5c5040f535ec624befc4f337dc6f1e70
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-14_c18.xml
COP 210 92 2 196 197 [{"size":196,"count":91},{"size":197,"count":14}] 0 14 [{"degree":0,"count":105},{"degree":2,"count":91},{"degree":13,"count":13},{"degree":14,"count":1}] 3 91 [{"arity":3,"count":91},{"arity":91,"count":1}] 91 0 [{"type":"intension","count":91},{"type":"allDifferent","count":1}] t min VAR c1878b2d9e06b3112b686731368ac8cc
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
GracefulGraph/
GracefulGraph-K04-P04_c18.xml
CSP 92 38 2 36 37 [{"size":36,"count":36},{"size":37,"count":16}] 0 6 [{"degree":0,"count":40},{"degree":2,"count":36},{"degree":5,"count":8},{"degree":6,"count":8}] 3 36 [{"arity":3,"count":36},{"arity":16,"count":1},{"arity":36,"count":1}] 36 0 [{"type":"intension","count":36},{"type":"allDifferent","count":2}] f bba9b3428f0c8228a4e28ff2342631fb
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
GracefulGraph/
GracefulGraph-K05-P02_c18.xml
CSP 65 27 2 25 26 [{"size":25,"count":25},{"size":26,"count":10}] 0 6 [{"degree":0,"count":30},{"degree":2,"count":25},{"degree":6,"count":10}] 3 25 [{"arity":3,"count":25},{"arity":10,"count":1},{"arity":25,"count":1}] 25 0 [{"type":"intension","count":25},{"type":"allDifferent","count":2}] f 803795f7a37fd3a40686e408980b1bff
GracefulGraph/
GracefulGraph-K07-P03_c18.xml
CSP 182 79 2 77 78 [{"size":77,"count":77},{"size":78,"count":21}] 0 9 [{"degree":0,"count":84},{"degree":2,"count":77},{"degree":8,"count":14},{"degree":9,"count":7}] 3 77 [{"arity":3,"count":77},{"arity":21,"count":1},{"arity":77,"count":1}] 77 0 [{"type":"intension","count":77},{"type":"allDifferent","count":2}] f ca21bb45cdf77f5b8e0b27a9f8e7d69e
GracefulGraph/
GracefulGraph-m1-s1/
GracefulGraph-K05-P02.xml
CSP 65 27 2 25 26 [{"size":25,"count":25},{"size":26,"count":10}] 0 6 [{"degree":0,"count":30},{"degree":2,"count":25},{"degree":6,"count":10}] 3 25 [{"arity":3,"count":25},{"arity":10,"count":1},{"arity":25,"count":1}] 25 0 [{"type":"intension","count":25},{"type":"allDifferent","count":2}] f 803795f7a37fd3a40686e408980b1bff
GracefulGraph/
GracefulGraph-m1-s1/
GracefulGraph-K08-P03.xml
CSP 232 102 2 100 101 [{"size":100,"count":100},{"size":101,"count":24}] 0 10 [{"degree":0,"count":108},{"degree":2,"count":100},{"degree":9,"count":16},{"degree":10,"count":8}] 3 100 [{"arity":3,"count":100},{"arity":24,"count":1},{"arity":100,"count":1}] 100 0 [{"type":"intension","count":100},{"type":"allDifferent","count":2}] f 142465cd49ad43655120d5ee0661b038
GracefulGraph/
GracefulGraph-m1-s1/
GracefulGraph-K12-P08.xml
CSP 1332 614 2 612 613 [{"size":612,"count":612},{"size":613,"count":96}] 0 14 [{"degree":0,"count":624},{"degree":2,"count":612},{"degree":13,"count":24},{"degree":14,"count":72}] 3 612 [{"arity":3,"count":612},{"arity":96,"count":1},{"arity":612,"count":1}] 612 0 [{"type":"intension","count":612},{"type":"allDifferent","count":2}] f 9611f8ac50407bec4b89a807890af998
GracefulGraph/
GracefulGraph-m1-s1/
GracefulGraph-K13-P04.xml
CSP 767 353 2 351 352 [{"size":351,"count":351},{"size":352,"count":52}] 0 15 [{"degree":0,"count":364},{"degree":2,"count":351},{"degree":14,"count":26},{"degree":15,"count":26}] 3 351 [{"arity":3,"count":351},{"arity":52,"count":1},{"arity":351,"count":1}] 351 0 [{"type":"intension","count":351},{"type":"allDifferent","count":2}] f d0b71dfa4b5b9c5fdcf93c837b98c609
GracefulGraph/
GracefulGraph-m1-s1/
GracefulGraph-K14-P05.xml
CSP 1106 513 2 511 512 [{"size":511,"count":511},{"size":512,"count":70}] 0 16 [{"degree":0,"count":525},{"degree":2,"count":511},{"degree":15,"count":28},{"degree":16,"count":42}] 3 511 [{"arity":3,"count":511},{"arity":70,"count":1},{"arity":511,"count":1}] 511 0 [{"type":"intension","count":511},{"type":"allDifferent","count":2}] f 59020dc5d68df7ba2fdec80297510e85
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-1-fullins-5.xml
COP 282 3247 1 282 282 [{"size":282,"count":282}] 9 96 [{"degree":9,"count":4},{"degree":10,"count":6},{"degree":11,"count":11},{"degree":12,"count":8},{"degree":13,"count":13},{"degree":14,"count":13},{"degree":15,"count":13},{"degree":16,"count":16},{"degree":17,"count":15},{"degree":18,"count":15},{"degree":19,"count":11},{"degree":20,"count":11},{"degree":21,"count":12},{"degree":22,"count":12},{"degree":23,"count":9},{"degree":24,"count":9},{"degree":25,"count":10},{"degree":26,"count":10},{"degree":27,"count":10},{"degree":28,"count":10},{"degree":29,"count":4},{"degree":30,"count":4},{"degree":31,"count":4},{"degree":32,"count":4},{"degree":33,"count":3},{"degree":34,"count":3},{"degree":35,"count":6},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":38,"count":3},{"degree":39,"count":3},{"degree":40,"count":3},{"degree":45,"count":3},{"degree":46,"count":3},{"degree":47,"count":3},{"degree":48,"count":3},{"degree":65,"count":3},{"degree":66,"count":3},{"degree":96,"count":3}] 2 2 [{"arity":2,"count":3247}] 3247 0 [{"type":"intension","count":3247}] t min MAXIMUM d0b670f2d456fe73f660694510078368
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-3-fullins-3.xml
COP 80 346 1 80 80 [{"size":80,"count":80}] 5 20 [{"degree":5,"count":4},{"degree":6,"count":14},{"degree":7,"count":8},{"degree":8,"count":24},{"degree":9,"count":5},{"degree":13,"count":5},{"degree":14,"count":15},{"degree":20,"count":5}] 2 2 [{"arity":2,"count":346}] 346 0 [{"type":"intension","count":346}] t min MAXIMUM 82134059a152e9a81bd5479c14cdc8eb
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
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-3.xml
COP 154 792 1 154 154 [{"size":154,"count":154}] 5 28 [{"degree":5,"count":4},{"degree":6,"count":22},{"degree":7,"count":12},{"degree":8,"count":60},{"degree":11,"count":7},{"degree":17,"count":7},{"degree":18,"count":35},{"degree":28,"count":7}] 2 2 [{"arity":2,"count":792}] 792 0 [{"type":"intension","count":792}] t min MAXIMUM eef3a44daff87ab56f58eeeb8cf69225
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-ash331GPIA.xml
COP 662 4181 1 662 662 [{"size":662,"count":662}] 2 24 [{"degree":2,"count":1},{"degree":7,"count":6},{"degree":8,"count":4},{"degree":9,"count":32},{"degree":10,"count":59},{"degree":11,"count":48},{"degree":12,"count":58},{"degree":13,"count":88},{"degree":14,"count":129},{"degree":15,"count":115},{"degree":16,"count":41},{"degree":17,"count":31},{"degree":18,"count":16},{"degree":19,"count":14},{"degree":20,"count":4},{"degree":21,"count":6},{"degree":22,"count":4},{"degree":23,"count":4},{"degree":24,"count":2}] 2 2 [{"arity":2,"count":4181}] 4181 0 [{"type":"intension","count":4181}] t min MAXIMUM a2156ca8d664195666e0b5da895e2590
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-dsjc-1000-9.xml
COP 1000 449449 1 1000 1000 [{"size":1000,"count":1000}] 871 925 [{"degree":871,"count":2},{"degree":873,"count":1},{"degree":874,"count":3},{"degree":875,"count":3},{"degree":876,"count":2},{"degree":877,"count":3},{"degree":879,"count":5},{"degree":880,"count":3},{"degree":881,"count":2},{"degree":882,"count":6},{"degree":883,"count":13},{"degree":884,"count":11},{"degree":885,"count":11},{"degree":886,"count":12},{"degree":887,"count":29},{"degree":888,"count":21},{"degree":889,"count":31},{"degree":890,"count":18},{"degree":891,"count":21},{"degree":892,"count":24},{"degree":893,"count":29},{"degree":894,"count":36},{"degree":895,"count":34},{"degree":896,"count":37},{"degree":897,"count":35},"...",{"degree":900,"count":30}, {"degree":901,"count":55}, {"degree":902,"count":30}, {"degree":903,"count":34}, {"degree":904,"count":39}, {"degree":905,"count":31}, {"degree":906,"count":28}, {"degree":907,"count":30}, {"degree":908,"count":34}, {"degree":909,"count":26}, {"degree":910,"count":26}, {"degree":911,"count":35}, {"degree":912,"count":21}, {"degree":913,"count":15}, {"degree":914,"count":22}, {"degree":915,"count":10}, {"degree":916,"count":11}, {"degree":917,"count":11}, {"degree":918,"count":3}, {"degree":919,"count":10}, {"degree":920,"count":2}, {"degree":921,"count":4}, {"degree":922,"count":2}, {"degree":924,"count":1}, {"degree":925,"count":2}] 2 2 [{"arity":2,"count":449449}] 449449 0 [{"type":"intension","count":449449}] t min MAXIMUM 7e8c40b74266585f6434aeb3a0bbeb87
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-dsjc-250-5.xml
COP 250 15668 1 250 250 [{"size":250,"count":250}] 102 148 [{"degree":102,"count":1},{"degree":110,"count":3},{"degree":111,"count":2},{"degree":112,"count":2},{"degree":113,"count":3},{"degree":114,"count":3},{"degree":115,"count":5},{"degree":116,"count":6},{"degree":117,"count":8},{"degree":118,"count":7},{"degree":119,"count":9},{"degree":120,"count":8},{"degree":121,"count":9},{"degree":122,"count":12},{"degree":123,"count":12},{"degree":124,"count":14},{"degree":125,"count":10},{"degree":126,"count":12},{"degree":127,"count":17},{"degree":128,"count":13},{"degree":129,"count":14},{"degree":130,"count":13},{"degree":131,"count":6},{"degree":132,"count":11},{"degree":133,"count":6},{"degree":134,"count":10},{"degree":135,"count":2},{"degree":136,"count":6},{"degree":137,"count":7},{"degree":138,"count":1},{"degree":139,"count":4},{"degree":140,"count":4},{"degree":141,"count":1},{"degree":142,"count":1},{"degree":143,"count":1},{"degree":144,"count":3},{"degree":145,"count":2},{"degree":146,"count":1},{"degree":148,"count":1}] 2 2 [{"arity":2,"count":15668}] 15668 0 [{"type":"intension","count":15668}] t min MAXIMUM ab305c524aabd76bb0e53710a597355c
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-dsjr-500-1.xml
COP 500 3555 1 500 500 [{"size":500,"count":500}] 5 26 [{"degree":5,"count":1},{"degree":6,"count":4},{"degree":7,"count":14},{"degree":8,"count":14},{"degree":9,"count":22},{"degree":10,"count":28},{"degree":11,"count":27},{"degree":12,"count":40},{"degree":13,"count":28},{"degree":14,"count":44},{"degree":15,"count":39},{"degree":16,"count":32},{"degree":17,"count":44},{"degree":18,"count":41},{"degree":19,"count":29},{"degree":20,"count":29},{"degree":21,"count":30},{"degree":22,"count":11},{"degree":23,"count":14},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":4}] 2 2 [{"arity":2,"count":3555}] 3555 0 [{"type":"intension","count":3555}] t min MAXIMUM 63617ebb940b75a46f0f1a167a7b759f
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-fpsol2-i-1.xml
COP 496 11654 1 496 496 [{"size":496,"count":496}] 1 253 [{"degree":1,"count":227},{"degree":27,"count":8},{"degree":28,"count":11},{"degree":29,"count":4},{"degree":30,"count":3},{"degree":31,"count":1},{"degree":35,"count":1},{"degree":40,"count":1},{"degree":42,"count":2},{"degree":43,"count":1},{"degree":44,"count":3},{"degree":45,"count":3},{"degree":47,"count":1},{"degree":48,"count":3},{"degree":49,"count":6},{"degree":50,"count":4},{"degree":51,"count":3},{"degree":52,"count":6},{"degree":53,"count":9},{"degree":54,"count":7},{"degree":55,"count":3},{"degree":56,"count":9},{"degree":57,"count":10},{"degree":58,"count":4},{"degree":59,"count":6},"...",{"degree":112,"count":3}, {"degree":118,"count":1}, {"degree":119,"count":1}, {"degree":120,"count":1}, {"degree":131,"count":1}, {"degree":134,"count":1}, {"degree":189,"count":2}, {"degree":191,"count":2}, {"degree":211,"count":6}, {"degree":216,"count":1}, {"degree":217,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":2}, {"degree":220,"count":1}, {"degree":221,"count":1}, {"degree":222,"count":1}, {"degree":223,"count":1}, {"degree":224,"count":10}, {"degree":225,"count":7}, {"degree":226,"count":1}, {"degree":227,"count":1}, {"degree":228,"count":1}, {"degree":229,"count":1}, {"degree":230,"count":1}, {"degree":253,"count":3}] 2 2 [{"arity":2,"count":11654}] 11654 0 [{"type":"intension","count":11654}] t min MAXIMUM eb626c86eebc9610b3d9f58ff910c3c8
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-fpsol2-i-2.xml
COP 451 8691 1 451 451 [{"size":451,"count":451}] 1 347 [{"degree":1,"count":88},{"degree":20,"count":4},{"degree":21,"count":2},{"degree":22,"count":16},{"degree":23,"count":17},{"degree":24,"count":29},{"degree":25,"count":33},{"degree":26,"count":11},{"degree":27,"count":31},{"degree":28,"count":37},{"degree":29,"count":23},{"degree":30,"count":22},{"degree":31,"count":14},{"degree":32,"count":21},{"degree":33,"count":14},{"degree":34,"count":6},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":3},{"degree":38,"count":3},{"degree":39,"count":4},{"degree":40,"count":2},{"degree":41,"count":2},{"degree":42,"count":1},{"degree":44,"count":2},"...",{"degree":72,"count":1}, {"degree":73,"count":2}, {"degree":74,"count":1}, {"degree":76,"count":1}, {"degree":77,"count":1}, {"degree":87,"count":1}, {"degree":103,"count":1}, {"degree":109,"count":1}, {"degree":119,"count":1}, {"degree":129,"count":1}, {"degree":150,"count":1}, {"degree":158,"count":1}, {"degree":273,"count":1}, {"degree":296,"count":1}, {"degree":310,"count":1}, {"degree":311,"count":1}, {"degree":312,"count":1}, {"degree":313,"count":1}, {"degree":314,"count":1}, {"degree":315,"count":1}, {"degree":316,"count":1}, {"degree":317,"count":1}, {"degree":318,"count":1}, {"degree":319,"count":6}, {"degree":347,"count":3}] 2 2 [{"arity":2,"count":8691}] 8691 0 [{"type":"intension","count":8691}] t min MAXIMUM c86e18ac14d31aed4bce7cd82fa964e0
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-huck.xml
COP 74 301 1 74 74 [{"size":74,"count":74}] 2 54 [{"degree":2,"count":7},{"degree":3,"count":9},{"degree":4,"count":5},{"degree":5,"count":4},{"degree":6,"count":3},{"degree":7,"count":3},{"degree":8,"count":3},{"degree":9,"count":6},{"degree":10,"count":9},{"degree":11,"count":15},{"degree":12,"count":1},{"degree":14,"count":1},{"degree":17,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":2},{"degree":26,"count":1},{"degree":54,"count":1}] 2 2 [{"arity":2,"count":301}] 301 0 [{"type":"intension","count":301}] t min MAXIMUM d34e8a95a1772739b73fcfbe434c4441
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
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-queen8-12.xml
COP 96 1368 1 96 96 [{"size":96,"count":96}] 26 33 [{"degree":26,"count":16},{"degree":27,"count":4},{"degree":28,"count":16},{"degree":29,"count":8},{"degree":30,"count":20},{"degree":31,"count":8},{"degree":32,"count":12},{"degree":33,"count":12}] 2 2 [{"arity":2,"count":1368}] 1368 0 [{"type":"intension","count":1368}] t min MAXIMUM 0f2e0cc847fead705bd6876ff81c3284
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-wap05a.xml
COP 905 43081 1 905 905 [{"size":905,"count":905}] 10 229 [{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":4},{"degree":33,"count":3},{"degree":34,"count":9},{"degree":35,"count":27},{"degree":36,"count":14},{"degree":37,"count":7},{"degree":38,"count":14},{"degree":39,"count":9},{"degree":40,"count":53},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":2},{"degree":44,"count":8},{"degree":45,"count":3},{"degree":46,"count":8},"...",{"degree":181,"count":3}, {"degree":182,"count":2}, {"degree":183,"count":2}, {"degree":184,"count":3}, {"degree":185,"count":3}, {"degree":186,"count":2}, {"degree":188,"count":3}, {"degree":189,"count":2}, {"degree":190,"count":1}, {"degree":192,"count":1}, {"degree":193,"count":1}, {"degree":195,"count":2}, {"degree":199,"count":1}, {"degree":200,"count":2}, {"degree":201,"count":2}, {"degree":202,"count":1}, {"degree":204,"count":1}, {"degree":207,"count":1}, {"degree":208,"count":1}, {"degree":209,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":215,"count":1}, {"degree":223,"count":1}, {"degree":229,"count":1}] 2 2 [{"arity":2,"count":43081}] 43081 0 [{"type":"intension","count":43081}] t min MAXIMUM 65000887fb2f8b24354973580126d11a
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-zeroin-i-2.xml
COP 211 3541 1 211 211 [{"size":211,"count":211}] 1 141 [{"degree":1,"count":54},{"degree":18,"count":4},{"degree":19,"count":6},{"degree":20,"count":3},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":1},{"degree":26,"count":1},{"degree":27,"count":5},{"degree":28,"count":16},{"degree":29,"count":17},{"degree":30,"count":13},{"degree":31,"count":13},{"degree":32,"count":10},{"degree":33,"count":5},{"degree":34,"count":2},{"degree":35,"count":3},{"degree":36,"count":2},{"degree":37,"count":4},{"degree":38,"count":3},{"degree":39,"count":1},{"degree":41,"count":6},{"degree":42,"count":2},{"degree":43,"count":2},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":49,"count":1},{"degree":64,"count":1},{"degree":67,"count":1},{"degree":79,"count":1},{"degree":81,"count":1},{"degree":96,"count":2},{"degree":100,"count":3},{"degree":115,"count":1},{"degree":122,"count":1},{"degree":124,"count":1},{"degree":126,"count":1},{"degree":128,"count":1},{"degree":130,"count":1},{"degree":131,"count":1},{"degree":132,"count":1},{"degree":134,"count":1},{"degree":135,"count":1},{"degree":136,"count":5},{"degree":141,"count":4}] 2 2 [{"arity":2,"count":3541}] 3541 0 [{"type":"intension","count":3541}] t min MAXIMUM a04f0997626ec1f3044856c4dbf73ce4
Knapsack/
Knapsack-m1-s30/
Knapsack-30-100-02.xml
COP 30 1 1 2 2 [{"size":2,"count":30}] 2 2 [{"degree":2,"count":30}] 30 30 [{"arity":30,"count":1}] 0 0 [{"type":"sum","count":1}] t max SUM 79dd8f870fd3e2c68adb067ca0446855
Knapsack/
Knapsack-m1-s30/
Knapsack-30-100-03.xml
COP 30 1 1 2 2 [{"size":2,"count":30}] 2 2 [{"degree":2,"count":30}] 30 30 [{"arity":30,"count":1}] 0 0 [{"type":"sum","count":1}] t max SUM 0746125508c57681f40885835e89af46
Knapsack/
Knapsack-m1-s30/
Knapsack-30-100-08.xml
COP 30 1 1 2 2 [{"size":2,"count":30}] 2 2 [{"degree":2,"count":30}] 30 30 [{"arity":30,"count":1}] 0 0 [{"type":"sum","count":1}] t max SUM 050e295621c645d01420f9d2367ab908
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Knapsack/
Knapsack-m1-s30/
Knapsack-30-100-09.xml
COP 30 1 1 2 2 [{"size":2,"count":30}] 2 2 [{"degree":2,"count":30}] 30 30 [{"arity":30,"count":1}] 0 0 [{"type":"sum","count":1}] t max SUM e55a65e4a8506bbec37219f6c44464bf
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-00.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 c033178a1c92732c6616d8bd8ee8c714
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-05.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 c00d7a7737576336394fd8e000fbe694
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-06.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 f0b17acaf15e7f242fbcf4ba2870d415
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-07.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 ddd3703b8a67d475e5b0b20416c98cf0
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-s40/
Knapsack-40-150-09.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 2fc95f1f833c0354bbdb34bc24957c6b
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-10.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 7d53ddb9deac026edc8fe04b44850151
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-12.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 bf7ce9a6e5c92622f49c68f6563ab950
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-13.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 49bae13ce1119ad83723318d75d2f35c
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-14.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 509130b78a017279216ba6ac2146d6f3
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-15.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 190be979f01823b0595aa0b928662a4c
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-16.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 b96279f92050ffb29891facc982b592e
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-17.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 4b4fd4bba19c26a5908d02e8a2109730
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-18.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 bca44d8327d67e05e28042b98b055fd1
Knapsack/
Knapsack-m1-s40/
Knapsack-40-150-19.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 e4885ad867db1b599da65422ca3160e7
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-01.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 f3af09ab16e693c32f4df19e0bf70cc2
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 nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
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-08.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 c9131871596ce5315a5d89ad18a4d2ac
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-10.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 7641dddc202be057f7d4a21c49f49271
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-15.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 27698e7bb9445ab46ccbc2d6352697e0
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
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
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
Knapsack/
Knapsack-m1-s50/
Knapsack-50-200-18.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 fc58042bc4c17dd15fe4721e0dab7678
Knapsack/
Knapsack-m1-s50/
Knapsack-50-200-19.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 9f5c722166722391410399ea9473543e
Langford/
Langford-m1-k3/
Langford-3-45.xml
CSP 135 91 1 135 135 [{"size":135,"count":135}] 2 3 [{"degree":2,"count":90},{"degree":3,"count":45}] 2 135 [{"arity":2,"count":90},{"arity":135,"count":1}] 90 0 [{"type":"intension","count":90},{"type":"allDifferent","count":1}] f c29e6924973099ab0a0c802e448a5f67
Langford/
Langford-m1-k4/
Langford-4-16.xml
CSP 64 49 1 64 64 [{"size":64,"count":64}] 2 3 [{"degree":2,"count":32},{"degree":3,"count":32}] 2 64 [{"arity":2,"count":48},{"arity":64,"count":1}] 48 0 [{"type":"intension","count":48},{"type":"allDifferent","count":1}] f a550bb6a39ca50ab9210b9c0283e2640
Langford/
Langford-m2-s1/
LangfordBin-20.xml
CSP 80 60 2 20 40 [{"size":20,"count":40},{"size":40,"count":40}] 2 40 [{"degree":2,"count":40},{"degree":40,"count":40}] 2 41 [{"arity":2,"count":20},{"arity":41,"count":40}] 20 0 [{"type":"intension","count":20},{"type":"element","count":40}] f c97ba700228b3fd10685369d1da0ace8
Langford/
Langford-m2-s1/
LangfordBin-24.xml
CSP 96 72 2 24 48 [{"size":24,"count":48},{"size":48,"count":48}] 2 48 [{"degree":2,"count":48},{"degree":48,"count":48}] 2 49 [{"arity":2,"count":24},{"arity":49,"count":48}] 24 0 [{"type":"intension","count":24},{"type":"element","count":48}] f b01688073e480c624588c966ee77ed3a
Langford/
Langford-m2-s1/
LangfordBin-70.xml
CSP 280 210 2 70 140 [{"size":70,"count":140},{"size":140,"count":140}] 2 140 [{"degree":2,"count":140},{"degree":140,"count":140}] 2 141 [{"arity":2,"count":70},{"arity":141,"count":140}] 70 0 [{"type":"intension","count":70},{"type":"element","count":140}] f 232b00b06301dc20842d0d34bf6a9f64
LatinSquare/
LatinSquare-xcsp2-qcp20/
qcp-20-187-03_X2.xml
CSP 400 7600 21 1 20 [{"size":1,"count":213},{"size":20,"count":187}] 38 38 [{"degree":38,"count":400}] 2 2 [{"arity":2,"count":7600}] 0 7600 [{"type":"extension","count":7600}] f 4a37c494e900f0ba3f0d12c0246e9ab1
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
LatinSquare/
LatinSquare-xcsp2-qcp25/
qcp-25-264-09_X2.xml
CSP 625 15000 26 1 25 [{"size":1,"count":361},{"size":25,"count":264}] 48 48 [{"degree":48,"count":625}] 2 2 [{"arity":2,"count":15000}] 0 15000 [{"type":"extension","count":15000}] f 9027aa50623a7bf75cd9351701a12dc2
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-006.xml
COP 41 25 11 2 11 [{"size":2,"count":22},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":1},{"size":9,"count":1},{"size":11,"count":1}] 0 5 [{"degree":0,"count":10},{"degree":2,"count":25},{"degree":5,"count":6}] 2 6 [{"arity":2,"count":6},{"arity":3,"count":16},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1}] 20 0 [{"type":"intension","count":20},{"type":"sum","count":5}] t min SUM 4af01ce06b730b4761acd70e4153220a
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-012.xml
COP 155 88 23 2 23 [{"size":2,"count":79},{"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":1},{"size":15,"count":1},{"size":17,"count":1},{"size":19,"count":1},{"size":21,"count":1},{"size":23,"count":1}] 0 11 [{"degree":0,"count":55},{"degree":2,"count":88},{"degree":11,"count":12}] 2 12 [{"arity":2,"count":12},{"arity":3,"count":67},{"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}] 77 0 [{"type":"intension","count":77},{"type":"sum","count":11}] t min SUM 21cb3b9cf2c4977776dddee8c2cf22c0
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-013.xml
COP 181 102 25 2 25 [{"size":2,"count":92},{"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":15,"count":1},{"size":17,"count":1},{"size":19,"count":1},{"size":21,"count":1},{"size":23,"count":1},{"size":25,"count":1}] 0 12 [{"degree":0,"count":66},{"degree":2,"count":102},{"degree":12,"count":13}] 2 13 [{"arity":2,"count":13},{"arity":3,"count":79},{"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}] 90 0 [{"type":"intension","count":90},{"type":"sum","count":12}] t min SUM b76e3dd835cfa29a148b2c7537ac72a3
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-017.xml
COP 305 168 33 2 33 [{"size":2,"count":154},{"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":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}] 0 16 [{"degree":0,"count":120},{"degree":2,"count":168},{"degree":16,"count":17}] 2 17 [{"arity":2,"count":17},{"arity":3,"count":137},{"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}] 152 0 [{"type":"intension","count":152},{"type":"sum","count":16}] t min SUM 0c1c5c68e188d2d47ba67b7c3f6e3a51
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-029.xml
COP 869 462 57 2 57 [{"size":2,"count":436},{"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":31,"count":1},{"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}] 0 28 [{"degree":0,"count":378},{"degree":2,"count":462},{"degree":28,"count":29}] 2 29 [{"arity":2,"count":29},{"arity":3,"count":407},{"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}] 434 0 [{"type":"intension","count":434},{"type":"sum","count":28}] t min SUM 2530020c88b41e2c4a30acf630ee7109
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
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-038.xml
COP 1481 777 75 2 75 [{"size":2,"count":742},{"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":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"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}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}] 0 37 [{"degree":0,"count":666},{"degree":2,"count":777},{"degree":37,"count":38}] 2 38 [{"arity":2,"count":38},{"arity":3,"count":704},{"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},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1}] 740 0 [{"type":"intension","count":740},{"type":"sum","count":37}] t min SUM 5c46c59146557e02d06c9ff3e1746190
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-062.xml
COP 3905 2013 123 2 123 [{"size":2,"count":1954},{"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":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}, {"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}] 0 61 [{"degree":0,"count":1830},{"degree":2,"count":2013},{"degree":61,"count":62}] 2 62 [{"arity":2,"count":62},{"arity":3,"count":1892},{"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":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}, {"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}] 1952 0 [{"type":"intension","count":1952},{"type":"sum","count":61}] t min SUM 008177aac4f491992dc0e91994ba9658
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-067.xml
COP 4555 2343 133 2 133 [{"size":2,"count":2279},{"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":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}, {"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}] 0 66 [{"degree":0,"count":2145},{"degree":2,"count":2343},{"degree":66,"count":67}] 2 67 [{"arity":2,"count":67},{"arity":3,"count":2212},{"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":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}, {"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}] 2277 0 [{"type":"intension","count":2277},{"type":"sum","count":66}] t min SUM 8abeb688e9afa7c6cb128f8ab9c8d8c8
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-089.xml
COP 8009 4092 177 2 177 [{"size":2,"count":4006},{"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":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}, {"size":177,"count":1}] 0 88 [{"degree":0,"count":3828},{"degree":2,"count":4092},{"degree":88,"count":89}] 2 89 [{"arity":2,"count":89},{"arity":3,"count":3917},{"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":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}, {"arity":89,"count":1}] 4004 0 [{"type":"intension","count":4004},{"type":"sum","count":88}] t min SUM b134ae6526e1b305a73b94d53fbb6eb5
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-04-0003.xml
CSP 49 28 1 37 37 [{"size":37,"count":37}] 0 9 [{"degree":0,"count":12},{"degree":4,"count":31},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 37 [{"arity":2,"count":6},{"arity":4,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":3},{"arity":37,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":21}] f dd4ed178c47046d12ce38b3d0d17c272
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-05-0033.xml
CSP 81 34 1 61 61 [{"size":61,"count":61}] 0 9 [{"degree":0,"count":20},{"degree":4,"count":55},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 61 [{"arity":2,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":3},{"arity":61,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":27}] f d12e11df164b59f4f24fb6a77d637105
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-05-m012.xml
CSP 81 34 1 61 61 [{"size":61,"count":61}] 0 9 [{"degree":0,"count":20},{"degree":4,"count":55},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 61 [{"arity":2,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":3},{"arity":61,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":27}] f f25b1aae0c79188cbfab33516e563679
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-06-m111.xml
CSP 121 40 1 91 91 [{"size":91,"count":91}] 0 9 [{"degree":0,"count":30},{"degree":4,"count":85},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 91 [{"arity":2,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":3},{"arity":91,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":33}] f eea69d6048e370864a24a271aefbf270
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-07-0080.xml
CSP 169 46 1 127 127 [{"size":127,"count":127}] 0 9 [{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 127 [{"arity":2,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":3},{"arity":127,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":39}] f 9b203975fed1c25a0b87c4f345706814
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-07-m102.xml
CSP 169 46 1 127 127 [{"size":127,"count":127}] 0 9 [{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 127 [{"arity":2,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":3},{"arity":127,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":39}] f bbadb8bb150fe08b457e14a3e1d53e02
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-07-m167.xml
CSP 169 46 1 127 127 [{"size":127,"count":127}] 0 9 [{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 127 [{"arity":2,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":3},{"arity":127,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":39}] f ae02566aa5dbc1451df4d54b8d104dd0
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-11-m018.xml
CSP 441 70 1 331 331 [{"size":331,"count":331}] 0 9 [{"degree":0,"count":110},{"degree":4,"count":325},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 331 [{"arity":2,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":6},{"arity":16,"count":6},{"arity":17,"count":6},{"arity":18,"count":6},{"arity":19,"count":6},{"arity":20,"count":6},{"arity":21,"count":3},{"arity":331,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":63}] f b5a9a76cf66b8bb787e8dcd8982cd647
MagicSquare/
MagicSquare-sum-s1/
MagicSquare-27-sum.xml
CSP 729 57 1 729 729 [{"size":729,"count":729}] 3 5 [{"degree":3,"count":676},{"degree":4,"count":52},{"degree":5,"count":1}] 27 729 [{"arity":27,"count":56},{"arity":729,"count":1}] 0 0 [{"type":"allDifferent","count":1},{"type":"sum","count":56}] f d104f54931e81c640cdf77e394aea107
MarketSplit/
MarketSplit-m1-gp/
MarketSplit-08.xml
CSP 30 4 1 2 2 [{"size":2,"count":30}] 4 4 [{"degree":4,"count":30}] 30 30 [{"arity":30,"count":4}] 0 0 [{"type":"sum","count":4}] f c33b611f783ff62a93dcb2ff1216bc06
MaxCSP/MaxCSP-maxclique-s1/
MaxCSP-p-hat1000-2.xml
CSP 1001 255701 2 1 2 [{"size":1,"count":1},{"size":2,"count":1000}] 234 1000 [{"degree":234,"count":1},{"degree":236,"count":1},{"degree":239,"count":1},{"degree":245,"count":1},{"degree":246,"count":1},{"degree":252,"count":1},{"degree":253,"count":1},{"degree":255,"count":1},{"degree":256,"count":1},{"degree":257,"count":4},{"degree":259,"count":2},{"degree":260,"count":1},{"degree":261,"count":1},{"degree":262,"count":3},{"degree":264,"count":1},{"degree":265,"count":4},{"degree":266,"count":2},{"degree":267,"count":1},{"degree":268,"count":2},{"degree":270,"count":1},{"degree":273,"count":2},{"degree":274,"count":2},{"degree":275,"count":1},{"degree":276,"count":1},{"degree":278,"count":2},"...",{"degree":740,"count":2}, {"degree":741,"count":2}, {"degree":742,"count":1}, {"degree":743,"count":1}, {"degree":744,"count":1}, {"degree":745,"count":4}, {"degree":746,"count":2}, {"degree":747,"count":3}, {"degree":748,"count":4}, {"degree":749,"count":1}, {"degree":750,"count":1}, {"degree":751,"count":2}, {"degree":752,"count":3}, {"degree":753,"count":1}, {"degree":754,"count":1}, {"degree":755,"count":2}, {"degree":756,"count":1}, {"degree":757,"count":1}, {"degree":758,"count":2}, {"degree":760,"count":1}, {"degree":761,"count":2}, {"degree":763,"count":3}, {"degree":764,"count":1}, {"degree":768,"count":1}, {"degree":1000,"count":1}] 2 2 [{"arity":2,"count":255701}] 0 255701 [{"type":"extension","count":255701}] f d0cbff57f87ee8948fd9629d44706bbe
MaxCSP/
MaxCSP-maxclique-s1/MaxCSP-san-1000.xml
CSP 1001 250000 2 1 2 [{"size":1,"count":1},{"size":2,"count":1000}] 450 1000 [{"degree":450,"count":1},{"degree":452,"count":2},{"degree":453,"count":3},{"degree":454,"count":2},{"degree":455,"count":1},{"degree":456,"count":3},{"degree":457,"count":4},{"degree":458,"count":4},{"degree":459,"count":6},{"degree":460,"count":4},{"degree":461,"count":9},{"degree":462,"count":6},{"degree":463,"count":9},{"degree":464,"count":11},{"degree":465,"count":21},{"degree":466,"count":14},{"degree":467,"count":17},{"degree":468,"count":23},{"degree":469,"count":23},{"degree":470,"count":24},{"degree":471,"count":23},{"degree":472,"count":26},{"degree":473,"count":29},{"degree":474,"count":16},{"degree":475,"count":22},"...",{"degree":528,"count":24}, {"degree":529,"count":25}, {"degree":530,"count":31}, {"degree":531,"count":20}, {"degree":532,"count":14}, {"degree":533,"count":14}, {"degree":534,"count":14}, {"degree":535,"count":15}, {"degree":536,"count":15}, {"degree":537,"count":20}, {"degree":538,"count":10}, {"degree":539,"count":9}, {"degree":540,"count":3}, {"degree":541,"count":8}, {"degree":542,"count":2}, {"degree":543,"count":1}, {"degree":544,"count":5}, {"degree":545,"count":3}, {"degree":546,"count":1}, {"degree":547,"count":3}, {"degree":548,"count":1}, {"degree":549,"count":1}, {"degree":550,"count":1}, {"degree":555,"count":1}, {"degree":1000,"count":1}] 2 2 [{"arity":2,"count":250000}] 0 250000 [{"type":"extension","count":250000}] f c378318764dc85849fda1238470994ed
MaxCSP/
MaxCSP-random-denseLoose/rand-30-10-25-48-32.xml
CSP 30 109 1 10 10 [{"size":10,"count":30}] 2 13 [{"degree":2,"count":3},{"degree":4,"count":1},{"degree":5,"count":3},{"degree":6,"count":4},{"degree":7,"count":3},{"degree":8,"count":8},{"degree":9,"count":1},{"degree":10,"count":4},{"degree":11,"count":2},{"degree":13,"count":1}] 2 2 [{"arity":2,"count":109}] 0 109 [{"type":"extension","count":109}] f 2ec9b332d00a6737d40ecfaa84fd3121
Mixed/
Mixed-xcsp2-cril/
cril-2_X2.xml
CSP 208 2032 2 8 10 [{"size":8,"count":200},{"size":10,"count":8}] 4 35 [{"degree":4,"count":1},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":1},{"degree":8,"count":1},{"degree":9,"count":3},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":3},{"degree":13,"count":8},{"degree":14,"count":4},{"degree":15,"count":12},{"degree":16,"count":15},{"degree":17,"count":16},{"degree":18,"count":13},{"degree":19,"count":12},{"degree":20,"count":23},{"degree":21,"count":26},{"degree":22,"count":16},{"degree":23,"count":9},{"degree":24,"count":12},{"degree":25,"count":7},{"degree":26,"count":4},{"degree":27,"count":5},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":30,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":35,"count":1}] 2 2 [{"arity":2,"count":2032}] 0 2032 [{"type":"extension","count":2032}] f e953f4a4989b8abb5ffb897aaba74e21
MultiKnapsack/
MultiKnapsack-m1-gp/
MultiKnapsack-1-06.xml
CSP 50 6 1 2 2 [{"size":2,"count":50}] 6 6 [{"degree":6,"count":50}] 50 50 [{"arity":50,"count":6}] 0 0 [{"type":"sum","count":6}] f b8a831972e6e6770c8a4017652155aa1
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Nonogram/
Nonogram-table-s1/
Nonogram-019-table.xml
CSP 1024 64 1 2 2 [{"size":2,"count":1024}] 2 2 [{"degree":2,"count":1024}] 32 32 [{"arity":32,"count":64}] 0 64 [{"type":"extension","count":64}] f ca0e062825474c5f6a4b5580dce0b6b2
Nonogram/
Nonogram-table-s1/
Nonogram-122-table.xml
CSP 1024 64 1 2 2 [{"size":2,"count":1024}] 2 2 [{"degree":2,"count":1024}] 32 32 [{"arity":32,"count":64}] 0 64 [{"type":"extension","count":64}] f 1ecda127feec841a205962b399f2051f
Nonogram/
Nonogram-table-s1/
Nonogram-151-table.xml
CSP 1024 64 1 2 2 [{"size":2,"count":1024}] 2 2 [{"degree":2,"count":1024}] 32 32 [{"arity":32,"count":64}] 0 64 [{"type":"extension","count":64}] f 7319cc8867797858cf0ed5703d969b38
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-20-10-1.xml
COP 620 611 7 2 11 [{"size":2,"count":470},{"size":3,"count":60},{"size":4,"count":40},{"size":5,"count":20},{"size":7,"count":10},{"size":10,"count":10},{"size":11,"count":10}] 2 21 [{"degree":2,"count":230},{"degree":3,"count":380},{"degree":21,"count":10}] 2 21 [{"arity":2,"count":220},{"arity":3,"count":380},{"arity":10,"count":1},{"arity":21,"count":10}] 200 200 [{"type":"extension","count":200},{"type":"intension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":10},{"type":"element","count":200}] t min MAXIMUM ff1bc4a34c66e5e56c53f1f89f42a15d
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbo-10-20-1.xml
COP 640 621 6 2 21 [{"size":2,"count":420},{"size":4,"count":20},{"size":5,"count":140},{"size":9,"count":20},{"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 d7c471897aabf9bcf88e3289701225f5
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-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 fbcd0bfcb2f1b8042d526b590f2e61a5
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbo-20-20-1.xml
COP 1240 1221 6 2 21 [{"size":2,"count":940},{"size":3,"count":140},{"size":4,"count":100},{"size":5,"count":20},{"size":20,"count":20},{"size":21,"count":20}] 2 21 [{"degree":2,"count":440},{"degree":3,"count":780},{"degree":21,"count":20}] 2 21 [{"arity":2,"count":420},{"arity":3,"count":780},{"arity":20,"count":1},{"arity":21,"count":20}] 400 400 [{"type":"extension","count":400},{"type":"intension","count":400},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"element","count":400}] t min MAXIMUM 0984db1a7a9ebde432e4c6b918824edc
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbo-30-10-1.xml
COP 920 911 7 2 11 [{"size":2,"count":730},{"size":3,"count":100},{"size":4,"count":20},{"size":5,"count":40},{"size":6,"count":10},{"size":10,"count":10},{"size":11,"count":10}] 2 31 [{"degree":2,"count":340},{"degree":3,"count":570},{"degree":31,"count":10}] 2 31 [{"arity":2,"count":330},{"arity":3,"count":570},{"arity":10,"count":1},{"arity":31,"count":10}] 300 300 [{"type":"extension","count":300},{"type":"intension","count":300},{"type":"allDifferent","count":1},{"type":"sum","count":10},{"type":"element","count":300}] t min MAXIMUM dd223f53e99966dd907f4082bd2f0263
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 nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
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-20-20-1.xml
COP 1240 1221 4 2 21 [{"size":2,"count":800},{"size":3,"count":400},{"size":20,"count":20},{"size":21,"count":20}] 2 21 [{"degree":2,"count":440},{"degree":3,"count":780},{"degree":21,"count":20}] 2 21 [{"arity":2,"count":420},{"arity":3,"count":780},{"arity":20,"count":1},{"arity":21,"count":20}] 400 400 [{"type":"extension","count":400},{"type":"intension","count":400},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"element","count":400}] t min MAXIMUM 785d140714ffae854306107e7d3c3e72
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-m1c-s1/
OpenStacks-m1c-wbp-20-10-1.xml
COP 620 611 4 2 11 [{"size":2,"count":400},{"size":3,"count":200},{"size":10,"count":10},{"size":11,"count":10}] 2 21 [{"degree":2,"count":230},{"degree":3,"count":380},{"degree":21,"count":10}] 2 21 [{"arity":2,"count":220},{"arity":3,"count":380},{"arity":10,"count":1},{"arity":21,"count":10}] 200 200 [{"type":"extension","count":200},{"type":"intension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":10},{"type":"element","count":200}] t min MAXIMUM 9a8cbf5cb3e98f462f173e96713d469d
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-Miller-19.xml
COP 2480 2441 4 2 41 [{"size":2,"count":1600},{"size":9,"count":800},{"size":40,"count":40},{"size":41,"count":40}] 2 21 [{"degree":2,"count":860},{"degree":3,"count":1580},{"degree":21,"count":40}] 2 40 [{"arity":2,"count":820},{"arity":3,"count":1580},{"arity":21,"count":40},{"arity":40,"count":1}] 800 800 [{"type":"extension","count":800},{"type":"intension","count":800},{"type":"allDifferent","count":1},{"type":"sum","count":40},{"type":"element","count":800}] t min MAXIMUM f95358b1c1572ff37ec09cd547c08821
OpenStacks/OpenStacks-m1-s1/
OpenStacks-m1-nrwsLarge-4-1.xml
COP 1860 1831 6 2 31 [{"size":2,"count":1200},{"size":7,"count":90},{"size":8,"count":30},{"size":9,"count":480},{"size":30,"count":30},{"size":31,"count":30}] 2 21 [{"degree":2,"count":650},{"degree":3,"count":1180},{"degree":21,"count":30}] 2 30 [{"arity":2,"count":620},{"arity":3,"count":1180},{"arity":21,"count":30},{"arity":30,"count":1}] 600 600 [{"type":"extension","count":600},{"type":"intension","count":600},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":600}] t min MAXIMUM fb1196d60740a5b5329aac25a5f07e84
OpenStacks/
OpenStacks-m1-s1/
OpenStacks-m1-pb-20-10-1.xml
COP 620 611 7 2 11 [{"size":2,"count":470},{"size":3,"count":60},{"size":4,"count":40},{"size":5,"count":20},{"size":7,"count":10},{"size":10,"count":10},{"size":11,"count":10}] 2 21 [{"degree":2,"count":230},{"degree":3,"count":380},{"degree":21,"count":10}] 2 21 [{"arity":2,"count":220},{"arity":3,"count":380},{"arity":10,"count":1},{"arity":21,"count":10}] 200 200 [{"type":"extension","count":200},{"type":"intension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":10},{"type":"element","count":200}] t min MAXIMUM 6d5ad6e560d8ba4150ae6f3b32071d86
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
OpenStacks/
OpenStacks-m1-s1/
OpenStacks-m1-pb-30-10-1.xml
COP 920 911 7 2 11 [{"size":2,"count":700},{"size":3,"count":110},{"size":4,"count":60},{"size":5,"count":20},{"size":6,"count":10},{"size":10,"count":10},{"size":11,"count":10}] 2 31 [{"degree":2,"count":340},{"degree":3,"count":570},{"degree":31,"count":10}] 2 31 [{"arity":2,"count":330},{"arity":3,"count":570},{"arity":10,"count":1},{"arity":31,"count":10}] 300 300 [{"type":"extension","count":300},{"type":"intension","count":300},{"type":"allDifferent","count":1},{"type":"sum","count":10},{"type":"element","count":300}] t min MAXIMUM 04263f06d7f4389d01b9d141494c3595
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-10-20-1.xml
COP 640 621 6 2 21 [{"size":2,"count":420},{"size":4,"count":20},{"size":5,"count":140},{"size":9,"count":20},{"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 b636351ed0990ca81125a03dae8bdef8
OpenStacks/OpenStacks-m1-s1/
OpenStacks-m1-wbo-10-30-1.xml
COP 960 931 8 2 31 [{"size":2,"count":600},{"size":5,"count":30},{"size":6,"count":90},{"size":7,"count":60},{"size":8,"count":90},{"size":9,"count":30},{"size":30,"count":30},{"size":31,"count":30}] 2 11 [{"degree":2,"count":340},{"degree":3,"count":590},{"degree":11,"count":30}] 2 30 [{"arity":2,"count":310},{"arity":3,"count":590},{"arity":11,"count":30},{"arity":30,"count":1}] 300 300 [{"type":"extension","count":300},{"type":"intension","count":300},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":300}] t min MAXIMUM 4c43adae21bac384dbb29a10e46c8da1
OpenStacks/OpenStacks-m1-s1/
OpenStacks-m1-wbo-20-20-1.xml
COP 1240 1221 6 2 21 [{"size":2,"count":940},{"size":3,"count":140},{"size":4,"count":100},{"size":5,"count":20},{"size":20,"count":20},{"size":21,"count":20}] 2 21 [{"degree":2,"count":440},{"degree":3,"count":780},{"degree":21,"count":20}] 2 21 [{"arity":2,"count":420},{"arity":3,"count":780},{"arity":20,"count":1},{"arity":21,"count":20}] 400 400 [{"type":"extension","count":400},{"type":"intension","count":400},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"element","count":400}] t min MAXIMUM 5b93b48ad6b062323b606fb9459cf1e9
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
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
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
PigeonsPlus/
PigeonsPlus-m1-s1/
pigeonsPlus-06-10.xml
CSP 66 27 2 5 6 [{"size":5,"count":6},{"size":6,"count":60}] 1 6 [{"degree":1,"count":54},{"degree":2,"count":6},{"degree":6,"count":6}] 2 10 [{"arity":2,"count":21},{"arity":10,"count":6}] 0 27 [{"type":"extension","count":27}] f d8f2dbbfaf974ac67eca0d36488f1391
PigeonsPlus/
PigeonsPlus-m1-s1/
pigeonsPlus-10-07.xml
CSP 80 65 2 9 10 [{"size":9,"count":10},{"size":10,"count":70}] 1 10 [{"degree":1,"count":60},{"degree":2,"count":10},{"degree":10,"count":10}] 2 7 [{"arity":2,"count":55},{"arity":7,"count":10}] 0 65 [{"type":"extension","count":65}] f be3145b3ca4b2537c465fbe886a795e4
PigeonsPlus/
PigeonsPlus-m1-s1/
pigeonsPlus-11-07.xml
CSP 88 77 2 10 11 [{"size":10,"count":11},{"size":11,"count":77}] 1 11 [{"degree":1,"count":66},{"degree":2,"count":11},{"degree":11,"count":11}] 2 7 [{"arity":2,"count":66},{"arity":7,"count":11}] 0 77 [{"type":"extension","count":77}] f d1039f108c326f97fd828537a2e865c9
Primes/Primes-m1-p10/
Primes-10-40-3-5.xml
CSP 100 40 1 28 28 [{"size":28,"count":91}] 0 6 [{"degree":0,"count":9},{"degree":1,"count":19},{"degree":2,"count":29},{"degree":3,"count":25},{"degree":4,"count":15},{"degree":6,"count":3}] 3 8 [{"arity":3,"count":3},{"arity":4,"count":8},{"arity":5,"count":9},{"arity":6,"count":5},{"arity":7,"count":6},{"arity":8,"count":9}] 0 0 [{"type":"sum","count":40}] f b9738aa7a21d23764c9c35483473acef
Primes/Primes-m1-p10/
Primes-10-60-3-5.xml
CSP 100 60 1 28 28 [{"size":28,"count":99}] 0 8 [{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}] 3 8 [{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}] 0 0 [{"type":"sum","count":60}] f be3388c5d29b2a85b1452e4a694387b2
Primes/Primes-m1-p20/
Primes-20-20-3-3.xml
CSP 100 20 1 70 70 [{"size":70,"count":60}] 0 3 [{"degree":0,"count":40},{"degree":1,"count":35},{"degree":2,"count":17},{"degree":3,"count":8}] 3 6 [{"arity":3,"count":3},{"arity":4,"count":7},{"arity":5,"count":4},{"arity":6,"count":6}] 0 0 [{"type":"sum","count":20}] f 065412ea00e4edb14381318bc4e9318f
Primes/Primes-m1-p20/
Primes-20-40-2-7.xml
CSP 100 40 1 70 70 [{"size":70,"count":88}] 0 7 [{"degree":0,"count":12},{"degree":1,"count":20},{"degree":2,"count":25},{"degree":3,"count":20},{"degree":4,"count":12},{"degree":5,"count":5},{"degree":6,"count":3},{"degree":7,"count":3}] 2 9 [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":7},{"arity":7,"count":4},{"arity":8,"count":9},{"arity":9,"count":6}] 0 0 [{"type":"sum","count":40}] f 37689576328d0295b96bd2728694e285
Primes/Primes-m1-p20/
Primes-20-60-3-5.xml
CSP 100 60 1 70 70 [{"size":70,"count":99}] 0 8 [{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}] 3 8 [{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}] 0 0 [{"type":"sum","count":60}] f 0dd1a305ead2bfc8d563708a38f33655
Primes/Primes-m1-p25/
Primes-25-60-3-3.xml
CSP 100 60 1 96 96 [{"size":96,"count":95}] 0 8 [{"degree":0,"count":5},{"degree":1,"count":23},{"degree":2,"count":17},{"degree":3,"count":23},{"degree":4,"count":15},{"degree":5,"count":8},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}] 3 6 [{"arity":3,"count":8},{"arity":4,"count":19},{"arity":5,"count":14},{"arity":6,"count":19}] 0 0 [{"type":"sum","count":60}] f 3fdcf923ebfb65eacc6da577e9a49f9f
Primes/Primes-m1-p25/
Primes-25-60-3-7.xml
CSP 100 60 1 96 96 [{"size":96,"count":97}] 0 11 [{"degree":0,"count":3},{"degree":1,"count":4},{"degree":2,"count":14},{"degree":3,"count":20},{"degree":4,"count":25},{"degree":5,"count":13},{"degree":6,"count":10},{"degree":7,"count":8},{"degree":8,"count":1},{"degree":10,"count":1},{"degree":11,"count":1}] 3 10 [{"arity":3,"count":6},{"arity":4,"count":7},{"arity":5,"count":12},{"arity":6,"count":1},{"arity":7,"count":9},{"arity":8,"count":7},{"arity":9,"count":9},{"arity":10,"count":9}] 0 0 [{"type":"sum","count":60}] f cb02fe1604c5e2402c2e6090aa48ef6c
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Primes/Primes-m1-p25/
Primes-25-80-3-5.xml
CSP 100 80 1 96 96 [{"size":96,"count":100}] 1 10 [{"degree":1,"count":7},{"degree":2,"count":10},{"degree":3,"count":14},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":16},{"degree":7,"count":6},{"degree":8,"count":4},{"degree":9,"count":3},{"degree":10,"count":2}] 3 8 [{"arity":3,"count":6},{"arity":4,"count":13},{"arity":5,"count":19},{"arity":6,"count":13},{"arity":7,"count":15},{"arity":8,"count":14}] 0 0 [{"type":"sum","count":80}] f e16822278c06eeddd9fe176270acc92b
Primes/Primes-m1-p30/
Primes-30-80-3-7.xml
CSP 100 80 1 112 112 [{"size":112,"count":100}] 1 12 [{"degree":1,"count":3},{"degree":2,"count":3},{"degree":3,"count":7},{"degree":4,"count":26},{"degree":5,"count":14},{"degree":6,"count":23},{"degree":7,"count":15},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":11,"count":1},{"degree":12,"count":1}] 3 10 [{"arity":3,"count":10},{"arity":4,"count":9},{"arity":5,"count":13},{"arity":6,"count":3},{"arity":7,"count":12},{"arity":8,"count":9},{"arity":9,"count":11},{"arity":10,"count":13}] 0 0 [{"type":"sum","count":80}] f d6f47189ec9a9650b4b34af3081cbaad
PropStress/
PropStress-m1-s1/
PropStress-0200.xml
CSP 402 20501 1 40001 40001 [{"size":40001,"count":402}] 2 201 [{"degree":2,"count":1},{"degree":3,"count":199},{"degree":200,"count":199},{"degree":201,"count":3}] 2 2 [{"arity":2,"count":20501}] 20501 0 [{"type":"intension","count":20501}] f 0d3e60901fc96036944749fe1efc55c4
PropStress/
PropStress-m1-s1/
PropStress-0450.xml
CSP 902 102376 1 202501 202501 [{"size":202501,"count":902}] 2 451 [{"degree":2,"count":1},{"degree":3,"count":449},{"degree":450,"count":449},{"degree":451,"count":3}] 2 2 [{"arity":2,"count":102376}] 102376 0 [{"type":"intension","count":102376}] f ffc1a166c9e21b9812230f61f9b6f38e
PropStress/
PropStress-m1-s1/
PropStress-0650.xml
CSP 1302 212876 1 422501 422501 [{"size":422501,"count":1302}] 2 651 [{"degree":2,"count":1},{"degree":3,"count":649},{"degree":650,"count":649},{"degree":651,"count":3}] 2 2 [{"arity":2,"count":212876}] 212876 0 [{"type":"intension","count":212876}] f b97d8d5b055c4339b2e4c2984249c74f
PseudoBoolean/
PseudoBoolean-dec-fpga/
Pb-chnl10-11.xml
CSP 220 42 1 2 2 [{"size":2,"count":220}] 2 2 [{"degree":2,"count":220}] 10 11 [{"arity":10,"count":22},{"arity":11,"count":20}] 0 0 [{"type":"sum","count":42}] f 0cb6e3dc45605db1284c892a60e68314
PseudoBoolean/
PseudoBoolean-dec-fpga/
Pb-chnl40-50.xml
CSP 4000 180 1 2 2 [{"size":2,"count":4000}] 2 2 [{"degree":2,"count":4000}] 40 50 [{"arity":40,"count":100},{"arity":50,"count":80}] 0 0 [{"type":"sum","count":180}] f 6fc9298037ec0e80b4c0d0dc3fa4715e
PseudoBoolean/
PseudoBoolean-dec-fpga/
Pb-fpga45-44-sat.xml
CSP 2970 2113 1 2 2 [{"size":2,"count":2970}] 3 45 [{"degree":3,"count":1980},{"degree":45,"count":990}] 22 45 [{"arity":22,"count":22},{"arity":23,"count":2002},{"arity":44,"count":45},{"arity":45,"count":44}] 0 0 [{"type":"sum","count":2113}] f 5bcfa8fa7457011a5ed18201858fb80b
PseudoBoolean/
PseudoBoolean-dec-pigeon/
Pb-pigeon-card-011-010.xml
CSP 110 21 1 2 2 [{"size":2,"count":110}] 2 2 [{"degree":2,"count":110}] 10 11 [{"arity":10,"count":11},{"arity":11,"count":10}] 0 0 [{"type":"sum","count":21}] f 304d36c9f4738ce6debdcd70a29e2b53
PseudoBoolean/
PseudoBoolean-dec-pigeon/
Pb-pigeon-card-015-010.xml
CSP 150 25 1 2 2 [{"size":2,"count":150}] 2 2 [{"degree":2,"count":150}] 10 15 [{"arity":10,"count":15},{"arity":15,"count":10}] 0 0 [{"type":"sum","count":25}] f 4075ec57c143d98d1900f8e9a33246e5
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
PseudoBoolean/
PseudoBoolean-dec-pigeon/
Pb-pigeon-clau-011-010.xml
CSP 110 561 1 2 2 [{"size":2,"count":110}] 11 11 [{"degree":11,"count":110}] 2 10 [{"arity":2,"count":550},{"arity":10,"count":11}] 0 0 [{"type":"sum","count":561}] f 46ced5e3eb9b8d9f9897ebef4f7d04b7
PseudoBoolean/
PseudoBoolean-dec-spba/
Pb-BeauxArts-K67.xml
CSP 3685 3821 1 2 2 [{"size":2,"count":3685}] 3 9 [{"degree":3,"count":1},{"degree":4,"count":127},{"degree":5,"count":550},{"degree":6,"count":1960},{"degree":7,"count":590},{"degree":8,"count":327},{"degree":9,"count":130}] 1 67 [{"arity":1,"count":2},{"arity":2,"count":660},{"arity":3,"count":1914},{"arity":4,"count":594},{"arity":5,"count":330},{"arity":6,"count":132},{"arity":55,"count":134},{"arity":67,"count":55}] 0 0 [{"type":"sum","count":3821}] f 4516aa109e121890953f360029c48088
PseudoBoolean/
PseudoBoolean-dec-spba/
Pb-BeauxArts-K75.xml
CSP 4125 4277 1 2 2 [{"size":2,"count":4125}] 3 9 [{"degree":3,"count":1},{"degree":4,"count":135},{"degree":5,"count":614},{"degree":6,"count":2200},{"degree":7,"count":662},{"degree":8,"count":367},{"degree":9,"count":146}] 1 75 [{"arity":1,"count":2},{"arity":2,"count":740},{"arity":3,"count":2146},{"arity":4,"count":666},{"arity":5,"count":370},{"arity":6,"count":148},{"arity":55,"count":150},{"arity":75,"count":55}] 0 0 [{"type":"sum","count":4277}] f 8f78aa4e69c9652301cd362eed6f968a
PseudoBoolean/
PseudoBoolean-dec-spba/
Pb-BeauxArts-K80.xml
CSP 4400 4562 1 2 2 [{"size":2,"count":4400}] 3 9 [{"degree":3,"count":1},{"degree":4,"count":140},{"degree":5,"count":654},{"degree":6,"count":2350},{"degree":7,"count":707},{"degree":8,"count":392},{"degree":9,"count":156}] 1 80 [{"arity":1,"count":2},{"arity":2,"count":790},{"arity":3,"count":2291},{"arity":4,"count":711},{"arity":5,"count":395},{"arity":6,"count":158},{"arity":55,"count":160},{"arity":80,"count":55}] 0 0 [{"type":"sum","count":4562}] f 330870ed9e83d00984bc877f52c977b4
PseudoBoolean/
PseudoBoolean-dec-spng/
Pb-NG-K138.xml
CSP 16422 16700 1 2 2 [{"size":2,"count":16422}] 3 12 [{"degree":3,"count":1},{"degree":4,"count":266},{"degree":5,"count":1687},{"degree":6,"count":7377},{"degree":7,"count":4501},{"degree":8,"count":1771},{"degree":9,"count":546},{"degree":10,"count":136},{"degree":11,"count":1},{"degree":12,"count":136}] 1 138 [{"arity":1,"count":2},{"arity":2,"count":1781},{"arity":3,"count":7398},{"arity":4,"count":4521},{"arity":5,"count":1918},{"arity":6,"count":411},{"arity":7,"count":137},{"arity":9,"count":137},{"arity":119,"count":276},{"arity":138,"count":119}] 0 0 [{"type":"sum","count":16700}] f d1127b901f05c0465fc5ca2bd763ec4c
PseudoBoolean/
PseudoBoolean-dec-spng/
Pb-NG-K151.xml
CSP 17969 18273 1 2 2 [{"size":2,"count":17969}] 3 12 [{"degree":3,"count":1},{"degree":4,"count":279},{"degree":5,"count":1843},{"degree":6,"count":8079},{"degree":7,"count":4930},{"degree":8,"count":1940},{"degree":9,"count":598},{"degree":10,"count":149},{"degree":11,"count":1},{"degree":12,"count":149}] 1 151 [{"arity":1,"count":2},{"arity":2,"count":1950},{"arity":3,"count":8100},{"arity":4,"count":4950},{"arity":5,"count":2100},{"arity":6,"count":450},{"arity":7,"count":150},{"arity":9,"count":150},{"arity":119,"count":302},{"arity":151,"count":119}] 0 0 [{"type":"sum","count":18273}] f e95cbc33f220035f9b7ccd0bb1eeb0b2
PseudoBoolean/
PseudoBoolean-dec-spng/
Pb-NG-K152.xml
CSP 18088 18394 1 2 2 [{"size":2,"count":18088}] 3 12 [{"degree":3,"count":1},{"degree":4,"count":280},{"degree":5,"count":1855},{"degree":6,"count":8133},{"degree":7,"count":4963},{"degree":8,"count":1953},{"degree":9,"count":602},{"degree":10,"count":150},{"degree":11,"count":1},{"degree":12,"count":150}] 1 152 [{"arity":1,"count":2},{"arity":2,"count":1963},{"arity":3,"count":8154},{"arity":4,"count":4983},{"arity":5,"count":2114},{"arity":6,"count":453},{"arity":7,"count":151},{"arity":9,"count":151},{"arity":119,"count":304},{"arity":152,"count":119}] 0 0 [{"type":"sum","count":18394}] f 148cc1c525306be86034ad988a5e8607
PseudoBoolean/
PseudoBoolean-dec-spng/
Pb-NG-K171.xml
CSP 20349 20693 1 2 2 [{"size":2,"count":20349}] 3 12 [{"degree":3,"count":1},{"degree":4,"count":299},{"degree":5,"count":2083},{"degree":6,"count":9159},{"degree":7,"count":5590},{"degree":8,"count":2200},{"degree":9,"count":678},{"degree":10,"count":169},{"degree":11,"count":1},{"degree":12,"count":169}] 1 171 [{"arity":1,"count":2},{"arity":2,"count":2210},{"arity":3,"count":9180},{"arity":4,"count":5610},{"arity":5,"count":2380},{"arity":6,"count":510},{"arity":7,"count":170},{"arity":9,"count":170},{"arity":119,"count":342},{"arity":171,"count":119}] 0 0 [{"type":"sum","count":20693}] f fad44a9d187d2d79449e3ca32a08f321
PseudoBoolean/
PseudoBoolean-dec-sptate/
Pb-Tate-K090.xml
CSP 6120 6302 1 2 2 [{"size":2,"count":6120}] 3 10 [{"degree":3,"count":1},{"degree":4,"count":167},{"degree":5,"count":1084},{"degree":6,"count":2393},{"degree":7,"count":1502},{"degree":8,"count":619},{"degree":9,"count":178},{"degree":10,"count":176}] 1 90 [{"arity":1,"count":2},{"arity":2,"count":1157},{"arity":3,"count":2403},{"arity":4,"count":1602},{"arity":5,"count":534},{"arity":6,"count":178},{"arity":7,"count":178},{"arity":68,"count":180},{"arity":90,"count":68}] 0 0 [{"type":"sum","count":6302}] f fb0a00432fe3f34c7f96c9cd31e06ed3
PseudoBoolean/
PseudoBoolean-dec-sptate/
Pb-Tate-K097.xml
CSP 6596 6792 1 2 2 [{"size":2,"count":6596}] 3 10 [{"degree":3,"count":1},{"degree":4,"count":174},{"degree":5,"count":1168},{"degree":6,"count":2582},{"degree":7,"count":1621},{"degree":8,"count":668},{"degree":9,"count":192},{"degree":10,"count":190}] 1 97 [{"arity":1,"count":2},{"arity":2,"count":1248},{"arity":3,"count":2592},{"arity":4,"count":1728},{"arity":5,"count":576},{"arity":6,"count":192},{"arity":7,"count":192},{"arity":68,"count":194},{"arity":97,"count":68}] 0 0 [{"type":"sum","count":6792}] f c736c64a10dc2dd55507b217b8552514
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
PseudoBoolean/
PseudoBoolean-dec-sptate/
Pb-Tate-K100.xml
CSP 6800 7002 1 2 2 [{"size":2,"count":6800}] 3 10 [{"degree":3,"count":1},{"degree":4,"count":177},{"degree":5,"count":1204},{"degree":6,"count":2663},{"degree":7,"count":1672},{"degree":8,"count":689},{"degree":9,"count":198},{"degree":10,"count":196}] 1 100 [{"arity":1,"count":2},{"arity":2,"count":1287},{"arity":3,"count":2673},{"arity":4,"count":1782},{"arity":5,"count":594},{"arity":6,"count":198},{"arity":7,"count":198},{"arity":68,"count":200},{"arity":100,"count":68}] 0 0 [{"type":"sum","count":7002}] f 26b9bfa7097c81a56529190245724c1c
PseudoBoolean/
PseudoBoolean-dec-sptate/
Pb-Tate-K104.xml
CSP 7072 7282 1 2 2 [{"size":2,"count":7072}] 3 10 [{"degree":3,"count":1},{"degree":4,"count":181},{"degree":5,"count":1252},{"degree":6,"count":2771},{"degree":7,"count":1740},{"degree":8,"count":717},{"degree":9,"count":206},{"degree":10,"count":204}] 1 104 [{"arity":1,"count":2},{"arity":2,"count":1339},{"arity":3,"count":2781},{"arity":4,"count":1854},{"arity":5,"count":618},{"arity":6,"count":206},{"arity":7,"count":206},{"arity":68,"count":208},{"arity":104,"count":68}] 0 0 [{"type":"sum","count":7282}] f 6ed29f3170f2d24d94b936f24e5b4a9d
PseudoBoolean/
PseudoBoolean-dec-sptate/
Pb-Tate-K105.xml
CSP 7140 7352 1 2 2 [{"size":2,"count":7140}] 3 10 [{"degree":3,"count":1},{"degree":4,"count":182},{"degree":5,"count":1264},{"degree":6,"count":2798},{"degree":7,"count":1757},{"degree":8,"count":724},{"degree":9,"count":208},{"degree":10,"count":206}] 1 105 [{"arity":1,"count":2},{"arity":2,"count":1352},{"arity":3,"count":2808},{"arity":4,"count":1872},{"arity":5,"count":624},{"arity":6,"count":208},{"arity":7,"count":208},{"arity":68,"count":210},{"arity":105,"count":68}] 0 0 [{"type":"sum","count":7352}] f 97ecf18ee478429776da5a0579fdf50d
PseudoBoolean/
PseudoBoolean-dec-sptate/
Pb-Tate-K106.xml
CSP 7208 7422 1 2 2 [{"size":2,"count":7208}] 3 10 [{"degree":3,"count":1},{"degree":4,"count":183},{"degree":5,"count":1276},{"degree":6,"count":2825},{"degree":7,"count":1774},{"degree":8,"count":731},{"degree":9,"count":210},{"degree":10,"count":208}] 1 106 [{"arity":1,"count":2},{"arity":2,"count":1365},{"arity":3,"count":2835},{"arity":4,"count":1890},{"arity":5,"count":630},{"arity":6,"count":210},{"arity":7,"count":210},{"arity":68,"count":212},{"arity":106,"count":68}] 0 0 [{"type":"sum","count":7422}] f 5d95bf0924f574ebe5a8a8a61c057e43
PseudoBoolean/
PseudoBoolean-dec-sptate/
Pb-Tate-K108.xml
CSP 7344 7562 1 2 2 [{"size":2,"count":7344}] 3 10 [{"degree":3,"count":1},{"degree":4,"count":185},{"degree":5,"count":1300},{"degree":6,"count":2879},{"degree":7,"count":1808},{"degree":8,"count":745},{"degree":9,"count":214},{"degree":10,"count":212}] 1 108 [{"arity":1,"count":2},{"arity":2,"count":1391},{"arity":3,"count":2889},{"arity":4,"count":1926},{"arity":5,"count":642},{"arity":6,"count":214},{"arity":7,"count":214},{"arity":68,"count":216},{"arity":108,"count":68}] 0 0 [{"type":"sum","count":7562}] f 2a47884be513939e719b7a1148b6038b
PseudoBoolean/
PseudoBoolean-dec-sptate/
Pb-Tate-K109.xml
CSP 7412 7632 1 2 2 [{"size":2,"count":7412}] 3 10 [{"degree":3,"count":1},{"degree":4,"count":186},{"degree":5,"count":1312},{"degree":6,"count":2906},{"degree":7,"count":1825},{"degree":8,"count":752},{"degree":9,"count":216},{"degree":10,"count":214}] 1 109 [{"arity":1,"count":2},{"arity":2,"count":1404},{"arity":3,"count":2916},{"arity":4,"count":1944},{"arity":5,"count":648},{"arity":6,"count":216},{"arity":7,"count":216},{"arity":68,"count":218},{"arity":109,"count":68}] 0 0 [{"type":"sum","count":7632}] f d51c756c633143c4b9edb9b6f06ce71e
PseudoBoolean/
PseudoBoolean-opt-bgr/
Pb-bgr-06.xml
COP 139 216 1 2 2 [{"size":2,"count":139}] 2 112 [{"degree":2,"count":106},{"degree":111,"count":6},{"degree":112,"count":27}] 1 24 [{"arity":1,"count":1},{"arity":10,"count":2},{"arity":11,"count":7},{"arity":12,"count":20},{"arity":13,"count":6},{"arity":16,"count":6},{"arity":17,"count":54},{"arity":18,"count":54},{"arity":19,"count":6},{"arity":22,"count":12},{"arity":23,"count":36},{"arity":24,"count":12}] 0 0 [{"type":"sum","count":216}] t min SUM 13781919ebaa3dfa405a2e3a2e4eb30e
PseudoBoolean/
PseudoBoolean-opt-dimacs/
Pb-aim-200-2-0-yes1-1.xml
COP 400 600 1 2 2 [{"size":2,"count":400}] 4 5 [{"degree":4,"count":1},{"degree":5,"count":399}] 2 3 [{"arity":2,"count":201},{"arity":3,"count":399}] 0 0 [{"type":"sum","count":600}] t min SUM 6ad2e7f30bb7d9397c84686fc3771451
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-ii16c1.xml
COP 3160 18047 1 2 2 [{"size":2,"count":3160}] 3 38 [{"degree":3,"count":940},{"degree":15,"count":20},{"degree":16,"count":20},{"degree":18,"count":940},{"degree":19,"count":80},{"degree":20,"count":40},{"degree":21,"count":60},{"degree":22,"count":40},{"degree":23,"count":20},{"degree":24,"count":80},{"degree":25,"count":120},{"degree":26,"count":80},{"degree":27,"count":60},{"degree":28,"count":160},{"degree":29,"count":80},{"degree":30,"count":40},{"degree":31,"count":40},{"degree":32,"count":80},{"degree":33,"count":60},{"degree":34,"count":40},{"degree":35,"count":40},{"degree":37,"count":60},{"degree":38,"count":60}] 2 20 [{"arity":2,"count":16940},{"arity":16,"count":1060},{"arity":20,"count":47}] 0 0 [{"type":"sum","count":18047}] t min SUM 0fff0f0071920d8b80a5dc1573fb75f4
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
PseudoBoolean/
PseudoBoolean-opt-dimacs/
Pb-ii32a1.xml
COP 918 9671 1 2 2 [{"size":2,"count":918}] 3 110 [{"degree":3,"count":267},{"degree":27,"count":3},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":34,"count":267},{"degree":35,"count":3},{"degree":38,"count":6},{"degree":40,"count":3},{"degree":41,"count":12},{"degree":42,"count":9},{"degree":43,"count":9},{"degree":44,"count":15},{"degree":45,"count":15},{"degree":46,"count":6},{"degree":47,"count":9},{"degree":48,"count":9},{"degree":49,"count":6},{"degree":50,"count":15},{"degree":51,"count":15},{"degree":52,"count":9},{"degree":53,"count":9},{"degree":54,"count":12},{"degree":55,"count":6},{"degree":57,"count":6},{"degree":58,"count":6},"...",{"degree":69,"count":3}, {"degree":71,"count":6}, {"degree":72,"count":9}, {"degree":74,"count":3}, {"degree":75,"count":6}, {"degree":77,"count":12}, {"degree":78,"count":12}, {"degree":79,"count":9}, {"degree":80,"count":6}, {"degree":81,"count":6}, {"degree":82,"count":12}, {"degree":83,"count":12}, {"degree":84,"count":6}, {"degree":85,"count":6}, {"degree":86,"count":9}, {"degree":87,"count":12}, {"degree":88,"count":12}, {"degree":90,"count":6}, {"degree":91,"count":3}, {"degree":93,"count":9}, {"degree":94,"count":6}, {"degree":96,"count":3}, {"degree":101,"count":3}, {"degree":107,"count":6}, {"degree":110,"count":3}] 2 32 [{"arity":2,"count":9099},{"arity":3,"count":89},{"arity":32,"count":483}] 0 0 [{"type":"sum","count":9671}] t min SUM f79f0460403e66f3200e441fc7b1c413
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-ii32e5.xml
COP 1044 12158 1 2 2 [{"size":2,"count":1044}] 3 182 [{"degree":3,"count":330},{"degree":25,"count":3},{"degree":30,"count":3},{"degree":32,"count":3},{"degree":34,"count":333},{"degree":43,"count":3},{"degree":46,"count":6},{"degree":48,"count":3},{"degree":50,"count":3},{"degree":52,"count":15},{"degree":53,"count":9},{"degree":54,"count":9},{"degree":55,"count":12},{"degree":56,"count":6},{"degree":57,"count":18},{"degree":59,"count":18},{"degree":60,"count":6},{"degree":61,"count":12},{"degree":62,"count":9},{"degree":63,"count":9},{"degree":64,"count":15},{"degree":66,"count":3},{"degree":68,"count":3},{"degree":70,"count":6},{"degree":73,"count":3},"...",{"degree":140,"count":9}, {"degree":142,"count":3}, {"degree":143,"count":3}, {"degree":144,"count":12}, {"degree":145,"count":12}, {"degree":146,"count":3}, {"degree":147,"count":12}, {"degree":148,"count":3}, {"degree":149,"count":12}, {"degree":150,"count":12}, {"degree":151,"count":3}, {"degree":152,"count":3}, {"degree":154,"count":9}, {"degree":155,"count":3}, {"degree":156,"count":9}, {"degree":157,"count":6}, {"degree":158,"count":3}, {"degree":159,"count":3}, {"degree":160,"count":3}, {"degree":163,"count":6}, {"degree":165,"count":3}, {"degree":166,"count":3}, {"degree":172,"count":3}, {"degree":175,"count":3}, {"degree":182,"count":3}] 2 32 [{"arity":2,"count":11178},{"arity":3,"count":110},{"arity":32,"count":870}] 0 0 [{"type":"sum","count":12158}] t min SUM 09b37649e722f1a7e8efbcfa22777a90
PseudoBoolean/
PseudoBoolean-opt-dimacs/
Pb-jnh217.xml
COP 200 900 1 2 2 [{"size":2,"count":200}] 11 33 [{"degree":11,"count":1},{"degree":12,"count":2},{"degree":13,"count":4},{"degree":14,"count":4},{"degree":15,"count":3},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":16},{"degree":19,"count":19},{"degree":20,"count":15},{"degree":21,"count":24},{"degree":22,"count":17},{"degree":23,"count":12},{"degree":24,"count":18},{"degree":25,"count":13},{"degree":26,"count":10},{"degree":27,"count":7},{"degree":28,"count":5},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":4},{"degree":33,"count":2}] 2 11 [{"arity":2,"count":148},{"arity":3,"count":151},{"arity":4,"count":192},{"arity":5,"count":151},{"arity":6,"count":92},{"arity":7,"count":74},{"arity":8,"count":49},{"arity":9,"count":29},{"arity":10,"count":10},{"arity":11,"count":4}] 0 0 [{"type":"sum","count":900}] t min SUM 22080d50f9445b142e794791d56d4fc4
PseudoBoolean/
PseudoBoolean-opt-dimacs/
Pb-jnh220.xml
COP 200 900 1 2 2 [{"size":2,"count":200}] 11 35 [{"degree":11,"count":1},{"degree":12,"count":2},{"degree":13,"count":5},{"degree":14,"count":5},{"degree":15,"count":4},{"degree":16,"count":4},{"degree":17,"count":8},{"degree":18,"count":18},{"degree":19,"count":21},{"degree":20,"count":15},{"degree":21,"count":14},{"degree":22,"count":21},{"degree":23,"count":17},{"degree":24,"count":17},{"degree":25,"count":9},{"degree":26,"count":13},{"degree":27,"count":4},{"degree":28,"count":10},{"degree":29,"count":3},{"degree":30,"count":7},{"degree":32,"count":1},{"degree":35,"count":1}] 2 11 [{"arity":2,"count":152},{"arity":3,"count":151},{"arity":4,"count":179},{"arity":5,"count":158},{"arity":6,"count":96},{"arity":7,"count":75},{"arity":8,"count":51},{"arity":9,"count":31},{"arity":10,"count":5},{"arity":11,"count":2}] 0 0 [{"type":"sum","count":900}] t min SUM 34d87733f3639331983bb5ef1ff2b913
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-P293-Q307.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 254671fc607e3f1fca87da643fa2fbf5
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-ex6inp-r.xml
COP 96 28 1 2 2 [{"size":2,"count":96}] 8 17 [{"degree":8,"count":12},{"degree":13,"count":27},{"degree":16,"count":37},{"degree":17,"count":20}] 2 50 [{"arity":2,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":48,"count":14},{"arity":49,"count":7},{"arity":50,"count":4}] 0 0 [{"type":"sum","count":28}] t min SUM 01b2ab3a288f1223e0066a031b2bcf30
PseudoBoolean/
PseudoBoolean-opt-logicSynthesis/
Pb-logic-m050-100-30-30-r.xml
COP 100 50 1 2 2 [{"size":2,"count":100}] 6 24 [{"degree":6,"count":1},{"degree":10,"count":1},{"degree":11,"count":5},{"degree":12,"count":5},{"degree":13,"count":6},{"degree":14,"count":13},{"degree":15,"count":12},{"degree":16,"count":15},{"degree":17,"count":11},{"degree":18,"count":12},{"degree":19,"count":7},{"degree":20,"count":6},{"degree":21,"count":3},{"degree":22,"count":1},{"degree":24,"count":2}] 30 30 [{"arity":30,"count":50}] 0 0 [{"type":"sum","count":50}] t min SUM 825977a0e50b6eafe15407d946435b7c
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
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
PseudoBoolean/
PseudoBoolean-opt-logicSynthesis/
Pb-logic-prom2-pi.xml
COP 2617 1988 1 2 2 [{"size":2,"count":2617}] 2 21 [{"degree":2,"count":85},{"degree":3,"count":203},{"degree":4,"count":325},{"degree":5,"count":382},{"degree":6,"count":316},{"degree":7,"count":312},{"degree":8,"count":276},{"degree":9,"count":216},{"degree":10,"count":149},{"degree":11,"count":137},{"degree":12,"count":79},{"degree":13,"count":47},{"degree":14,"count":35},{"degree":15,"count":21},{"degree":16,"count":14},{"degree":17,"count":11},{"degree":18,"count":4},{"degree":19,"count":4},{"degree":21,"count":1}] 1 30 [{"arity":1,"count":9},{"arity":2,"count":65},{"arity":3,"count":167},{"arity":4,"count":210},{"arity":5,"count":194},{"arity":6,"count":274},{"arity":7,"count":181},{"arity":8,"count":181},{"arity":9,"count":159},{"arity":10,"count":129},{"arity":11,"count":104},{"arity":12,"count":67},{"arity":13,"count":48},{"arity":14,"count":40},{"arity":15,"count":32},{"arity":16,"count":32},{"arity":17,"count":23},{"arity":18,"count":14},{"arity":19,"count":14},{"arity":20,"count":15},{"arity":21,"count":11},{"arity":22,"count":7},{"arity":23,"count":4},{"arity":24,"count":1},{"arity":25,"count":5},{"arity":26,"count":1},{"arity":30,"count":1}] 0 0 [{"type":"sum","count":1988}] t min SUM 6aee68d8961a94fe28c0ecc99a34bb31
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-mps/
Pb-mps-v2-20-10-p0040.xml
COP 40 23 1 2 2 [{"size":2,"count":40}] 3 4 [{"degree":3,"count":10},{"degree":4,"count":30}] 4 10 [{"arity":4,"count":20},{"arity":10,"count":3}] 0 0 [{"type":"sum","count":23}] t min SUM 1df45f623f00e03c25ba1b3396194e1d
PseudoBoolean/
PseudoBoolean-opt-routing/
Pb-routing-s4-4-3-1.xml
COP 672 2028 1 2 2 [{"size":2,"count":672}] 7 16 [{"degree":7,"count":30},{"degree":8,"count":196},{"degree":9,"count":29},{"degree":10,"count":105},{"degree":12,"count":27},{"degree":13,"count":197},{"degree":16,"count":88}] 2 28 [{"arity":2,"count":386},{"arity":3,"count":1206},{"arity":4,"count":412},{"arity":28,"count":24}] 0 0 [{"type":"sum","count":2028}] t min SUM 9bdc264ff4851a594b86438466621d8b
PseudoBoolean/
PseudoBoolean-opt-ttp/
Pb-circ8-3.xml
COP 1344 16096 1 2 2 [{"size":2,"count":1344}] 16 158 [{"degree":16,"count":16},{"degree":17,"count":112},{"degree":24,"count":16},{"degree":25,"count":16},{"degree":26,"count":120},{"degree":34,"count":56},{"degree":40,"count":336},{"degree":47,"count":56},{"degree":60,"count":56},{"degree":72,"count":56},{"degree":84,"count":56},{"degree":96,"count":56},{"degree":108,"count":56},{"degree":120,"count":56},{"degree":132,"count":56},{"degree":144,"count":56},{"degree":154,"count":56},{"degree":155,"count":56},{"degree":158,"count":56}] 2 28 [{"arity":2,"count":1624},{"arity":3,"count":6496},{"arity":4,"count":760},{"arity":5,"count":672},{"arity":6,"count":672},{"arity":7,"count":912},{"arity":8,"count":784},{"arity":9,"count":672},{"arity":10,"count":672},{"arity":11,"count":672},{"arity":12,"count":672},{"arity":13,"count":672},{"arity":14,"count":728},{"arity":28,"count":88}] 0 0 [{"type":"sum","count":16096}] t min SUM 7db04233d06e2f858d703f8c476ffab2
QRandom/QRandom-bdd-15-21-2/
bdd-15-21-2-2713-79-01.xml
CSP 21 2713 1 2 2 [{"size":2,"count":21}] 1898 1980 [{"degree":1898,"count":1},{"degree":1910,"count":1},{"degree":1912,"count":1},{"degree":1916,"count":1},{"degree":1919,"count":1},{"degree":1923,"count":1},{"degree":1926,"count":1},{"degree":1931,"count":1},{"degree":1932,"count":1},{"degree":1933,"count":1},{"degree":1935,"count":1},{"degree":1936,"count":1},{"degree":1938,"count":1},{"degree":1950,"count":1},{"degree":1954,"count":2},{"degree":1955,"count":1},{"degree":1960,"count":1},{"degree":1961,"count":1},{"degree":1972,"count":1},{"degree":1980,"count":1}] 15 15 [{"arity":15,"count":2713}] 0 2713 [{"type":"extension","count":2713}] f cd10109bc919984d4da6946b61d0a215
QRandom/QRandom-bdd-15-21-2/
bdd-15-21-2-2713-79-19.xml
CSP 21 2713 1 2 2 [{"size":2,"count":21}] 1893 1981 [{"degree":1893,"count":1},{"degree":1910,"count":2},{"degree":1912,"count":1},{"degree":1916,"count":1},{"degree":1917,"count":1},{"degree":1921,"count":1},{"degree":1923,"count":1},{"degree":1927,"count":1},{"degree":1941,"count":1},{"degree":1943,"count":2},{"degree":1946,"count":2},{"degree":1951,"count":1},{"degree":1955,"count":2},{"degree":1963,"count":1},{"degree":1971,"count":2},{"degree":1981,"count":1}] 15 15 [{"arity":15,"count":2713}] 0 2713 [{"type":"extension","count":2713}] f c622486bfe805fe7b4319e9c74a24dc9
QRandom/QRandom-bdd-15-21-2/
bdd-15-21-2-2713-79-21.xml
CSP 21 2713 1 2 2 [{"size":2,"count":21}] 1891 1979 [{"degree":1891,"count":1},{"degree":1903,"count":1},{"degree":1911,"count":1},{"degree":1912,"count":1},{"degree":1927,"count":1},{"degree":1929,"count":1},{"degree":1930,"count":1},{"degree":1935,"count":1},{"degree":1937,"count":1},{"degree":1938,"count":1},{"degree":1942,"count":1},{"degree":1943,"count":1},{"degree":1944,"count":1},{"degree":1945,"count":2},{"degree":1946,"count":1},{"degree":1948,"count":1},{"degree":1949,"count":1},{"degree":1963,"count":1},{"degree":1978,"count":1},{"degree":1979,"count":1}] 15 15 [{"arity":15,"count":2713}] 0 2713 [{"type":"extension","count":2713}] f 3238c47f3875684cc1fb44c9e6bc05fb
QRandom/QRandom-bdd-15-21-2/
bdd-15-21-2-2713-79-30.xml
CSP 21 2713 1 2 2 [{"size":2,"count":21}] 1903 1977 [{"degree":1903,"count":1},{"degree":1904,"count":1},{"degree":1912,"count":1},{"degree":1924,"count":1},{"degree":1926,"count":1},{"degree":1929,"count":1},{"degree":1930,"count":1},{"degree":1934,"count":1},{"degree":1936,"count":1},{"degree":1937,"count":1},{"degree":1940,"count":2},{"degree":1942,"count":1},{"degree":1943,"count":1},{"degree":1945,"count":1},{"degree":1947,"count":2},{"degree":1950,"count":1},{"degree":1959,"count":1},{"degree":1970,"count":1},{"degree":1977,"count":1}] 15 15 [{"arity":15,"count":2713}] 0 2713 [{"type":"extension","count":2713}] f 8b6ef29061622b0e39695724d5e1a830
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
QRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-04.xml
CSP 21 133 1 2 2 [{"size":2,"count":21}] 109 121 [{"degree":109,"count":3},{"degree":110,"count":2},{"degree":111,"count":1},{"degree":112,"count":1},{"degree":113,"count":2},{"degree":114,"count":2},{"degree":115,"count":2},{"degree":116,"count":2},{"degree":117,"count":3},{"degree":118,"count":2},{"degree":121,"count":1}] 18 18 [{"arity":18,"count":133}] 0 133 [{"type":"extension","count":133}] f 98bd058b9e6ea098fba44ab4cdeb871c
QRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-06.xml
CSP 21 133 1 2 2 [{"size":2,"count":21}] 106 123 [{"degree":106,"count":1},{"degree":107,"count":1},{"degree":108,"count":1},{"degree":111,"count":2},{"degree":112,"count":4},{"degree":113,"count":2},{"degree":114,"count":1},{"degree":116,"count":1},{"degree":117,"count":4},{"degree":118,"count":2},{"degree":120,"count":1},{"degree":123,"count":1}] 18 18 [{"arity":18,"count":133}] 0 133 [{"type":"extension","count":133}] f c11db23a97f48af6ae936ba62121dffc
QRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-11.xml
CSP 21 133 1 2 2 [{"size":2,"count":21}] 103 125 [{"degree":103,"count":1},{"degree":106,"count":1},{"degree":109,"count":1},{"degree":110,"count":1},{"degree":112,"count":2},{"degree":113,"count":4},{"degree":114,"count":1},{"degree":115,"count":2},{"degree":116,"count":2},{"degree":117,"count":3},{"degree":118,"count":1},{"degree":120,"count":1},{"degree":125,"count":1}] 18 18 [{"arity":18,"count":133}] 0 133 [{"type":"extension","count":133}] f 25dc74dcc7a2a32497e3917bea6263ac
QRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-15.xml
CSP 21 133 1 2 2 [{"size":2,"count":21}] 109 120 [{"degree":109,"count":4},{"degree":110,"count":1},{"degree":111,"count":1},{"degree":112,"count":2},{"degree":113,"count":2},{"degree":114,"count":2},{"degree":115,"count":1},{"degree":116,"count":1},{"degree":117,"count":1},{"degree":118,"count":4},{"degree":119,"count":1},{"degree":120,"count":1}] 18 18 [{"arity":18,"count":133}] 0 133 [{"type":"extension","count":133}] f aa6334ae19a32d8ab21efe8cea133e1a
QRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-16.xml
CSP 21 133 1 2 2 [{"size":2,"count":21}] 106 123 [{"degree":106,"count":1},{"degree":108,"count":1},{"degree":109,"count":1},{"degree":110,"count":1},{"degree":111,"count":2},{"degree":112,"count":3},{"degree":115,"count":3},{"degree":116,"count":5},{"degree":118,"count":2},{"degree":119,"count":1},{"degree":123,"count":1}] 18 18 [{"arity":18,"count":133}] 0 133 [{"type":"extension","count":133}] f 74354509b556f414b8aa4958fcde2f67
QRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-18.xml
CSP 21 133 1 2 2 [{"size":2,"count":21}] 107 121 [{"degree":107,"count":2},{"degree":111,"count":1},{"degree":112,"count":2},{"degree":113,"count":3},{"degree":114,"count":6},{"degree":115,"count":2},{"degree":116,"count":1},{"degree":117,"count":1},{"degree":118,"count":1},{"degree":120,"count":1},{"degree":121,"count":1}] 18 18 [{"arity":18,"count":133}] 0 133 [{"type":"extension","count":133}] f 03de5d85780f89dae2307ad754f86f2d
QRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-23.xml
CSP 21 133 1 2 2 [{"size":2,"count":21}] 108 119 [{"degree":108,"count":1},{"degree":110,"count":1},{"degree":111,"count":2},{"degree":112,"count":2},{"degree":113,"count":4},{"degree":115,"count":4},{"degree":116,"count":4},{"degree":117,"count":1},{"degree":118,"count":1},{"degree":119,"count":1}] 18 18 [{"arity":18,"count":133}] 0 133 [{"type":"extension","count":133}] f 7a08c94365f1c3fe18f892c4f19feb85
QRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-24.xml
CSP 21 133 1 2 2 [{"size":2,"count":21}] 101 123 [{"degree":101,"count":1},{"degree":106,"count":1},{"degree":110,"count":2},{"degree":111,"count":2},{"degree":112,"count":1},{"degree":113,"count":3},{"degree":114,"count":1},{"degree":115,"count":1},{"degree":116,"count":2},{"degree":117,"count":2},{"degree":118,"count":1},{"degree":119,"count":2},{"degree":120,"count":1},{"degree":123,"count":1}] 18 18 [{"arity":18,"count":133}] 0 133 [{"type":"extension","count":133}] f 12e2e274c64cbf9c8a04283668281b9c
QRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-28.xml
CSP 21 133 1 2 2 [{"size":2,"count":21}] 103 120 [{"degree":103,"count":1},{"degree":109,"count":1},{"degree":110,"count":1},{"degree":111,"count":1},{"degree":112,"count":2},{"degree":113,"count":2},{"degree":114,"count":4},{"degree":115,"count":1},{"degree":116,"count":3},{"degree":117,"count":2},{"degree":119,"count":2},{"degree":120,"count":1}] 18 18 [{"arity":18,"count":133}] 0 133 [{"type":"extension","count":133}] f e81abcf4008fd8c0378014693d8f02bd
QRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-30.xml
CSP 21 133 1 2 2 [{"size":2,"count":21}] 106 122 [{"degree":106,"count":1},{"degree":110,"count":2},{"degree":112,"count":4},{"degree":113,"count":3},{"degree":114,"count":3},{"degree":115,"count":1},{"degree":116,"count":3},{"degree":117,"count":1},{"degree":118,"count":1},{"degree":119,"count":1},{"degree":122,"count":1}] 18 18 [{"arity":18,"count":133}] 0 133 [{"type":"extension","count":133}] f 6a71367f697c8f1ff3d6915a43bf6592
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
QRandom/QRandom-geometric-rw/
geometric-50-20-d4-75-31.xml
CSP 50 377 1 20 20 [{"size":20,"count":50}] 10 23 [{"degree":10,"count":4},{"degree":11,"count":5},{"degree":12,"count":3},{"degree":13,"count":5},{"degree":14,"count":5},{"degree":15,"count":6},{"degree":16,"count":8},{"degree":17,"count":1},{"degree":18,"count":5},{"degree":19,"count":4},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":1}] 2 2 [{"arity":2,"count":377}] 0 377 [{"type":"extension","count":377}] f f18b5c829ca7556822a75f6c246dce23
QRandom/QRandom-geometric-rw/
geometric-50-20-d4-75-70.xml
CSP 50 451 1 20 20 [{"size":20,"count":50}] 4 31 [{"degree":4,"count":1},{"degree":5,"count":1},{"degree":6,"count":1},{"degree":7,"count":2},{"degree":8,"count":1},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":3},{"degree":16,"count":1},{"degree":17,"count":4},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":6},{"degree":21,"count":2},{"degree":22,"count":2},{"degree":23,"count":2},{"degree":24,"count":4},{"degree":25,"count":1},{"degree":26,"count":2},{"degree":28,"count":4},{"degree":30,"count":1},{"degree":31,"count":1}] 2 2 [{"arity":2,"count":451}] 0 451 [{"type":"extension","count":451}] f 8e028cdc732505d0b2fced1a2b36235c
QRandom/
QRandom-mdd-7-25-5/
mdd-7-25-5-56-01.xml
CSP 25 56 1 5 5 [{"size":5,"count":25}] 11 24 [{"degree":11,"count":5},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":5},{"degree":15,"count":1},{"degree":16,"count":2},{"degree":17,"count":1},{"degree":18,"count":2},{"degree":20,"count":2},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":1}] 7 7 [{"arity":7,"count":56}] 0 56 [{"type":"extension","count":56}] f 38fbb435e56fa73fec05cbb523a31b1b
QRandom/
QRandom-mdd-7-25-5/
mdd-7-25-5-56-02.xml
CSP 25 56 1 5 5 [{"size":5,"count":25}] 9 23 [{"degree":9,"count":1},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":3},{"degree":21,"count":3},{"degree":23,"count":1}] 7 7 [{"arity":7,"count":56}] 0 56 [{"type":"extension","count":56}] f eda3e143b65a543b5abd93f521b89dfa
QRandom/
QRandom-mdd-7-25-5/
mdd-7-25-5-56-06.xml
CSP 25 56 1 5 5 [{"size":5,"count":25}] 9 24 [{"degree":9,"count":2},{"degree":11,"count":1},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":5},{"degree":15,"count":3},{"degree":16,"count":1},{"degree":17,"count":2},{"degree":18,"count":1},{"degree":19,"count":4},{"degree":20,"count":1},{"degree":23,"count":1},{"degree":24,"count":1}] 7 7 [{"arity":7,"count":56}] 0 56 [{"type":"extension","count":56}] f f9209a24bc0104c8a1f699b946be7b26
QRandom/
QRandom-mdd-7-25-5/
mdd-7-25-5-56-17.xml
CSP 25 56 1 5 5 [{"size":5,"count":25}] 8 25 [{"degree":8,"count":1},{"degree":10,"count":1},{"degree":11,"count":3},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":2},{"degree":15,"count":3},{"degree":16,"count":2},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":25,"count":1}] 7 7 [{"arity":7,"count":56}] 0 56 [{"type":"extension","count":56}] f 9efca6d5489e39e5f473d5ee8bd54dad
QRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-2.xml
CSP 25 58 1 5 5 [{"size":5,"count":25}] 9 25 [{"degree":9,"count":2},{"degree":10,"count":1},{"degree":11,"count":2},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":2},{"degree":16,"count":2},{"degree":17,"count":5},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":3},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":25,"count":1}] 7 7 [{"arity":7,"count":58}] 0 58 [{"type":"extension","count":58}] f 126f057fb64a70fe3a8473fec490c642
QRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-3.xml
CSP 25 58 1 5 5 [{"size":5,"count":25}] 8 23 [{"degree":8,"count":1},{"degree":11,"count":1},{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":4},{"degree":18,"count":2},{"degree":19,"count":3},{"degree":20,"count":1},{"degree":21,"count":2},{"degree":23,"count":1}] 7 7 [{"arity":7,"count":58}] 0 58 [{"type":"extension","count":58}] f 740fe7811b49d7235b98ec4fc0ed8229
QRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-9.xml
CSP 25 58 1 5 5 [{"size":5,"count":25}] 12 25 [{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":6},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":23,"count":1},{"degree":25,"count":1}] 7 7 [{"arity":7,"count":58}] 0 58 [{"type":"extension","count":58}] f 2d7f03e466d78847960dc3f747db29ef
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-bur26d.xml
COP 702 326 2 26 250 [{"size":26,"count":26},{"size":250,"count":325}] 0 26 [{"degree":0,"count":351},{"degree":2,"count":325},{"degree":26,"count":26}] 3 26 [{"arity":3,"count":325},{"arity":26,"count":1}] 0 325 [{"type":"extension","count":325},{"type":"allDifferent","count":1}] t min SUM abf2c0e117f00569837aab37f0052195
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-chr15b.xml
COP 240 15 2 15 64 [{"size":15,"count":15},{"size":64,"count":14}] 0 5 [{"degree":0,"count":211},{"degree":2,"count":23},{"degree":3,"count":2},{"degree":4,"count":1},{"degree":5,"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 5bc0542c3f468113015d9e85db5fb258
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-chr20b.xml
COP 420 20 2 10 20 [{"size":10,"count":19},{"size":20,"count":20}] 0 3 [{"degree":0,"count":381},{"degree":2,"count":21},{"degree":3,"count":18}] 3 20 [{"arity":3,"count":19},{"arity":20,"count":1}] 0 19 [{"type":"extension","count":19},{"type":"allDifferent","count":1}] t min SUM 260fd80204e0f144bd4a5efeedc28067
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-esc16d.xml
COP 272 22 2 4 16 [{"size":4,"count":21},{"size":16,"count":16}] 0 7 [{"degree":0,"count":235},{"degree":1,"count":2},{"degree":2,"count":22},{"degree":3,"count":6},{"degree":4,"count":2},{"degree":5,"count":3},{"degree":6,"count":1},{"degree":7,"count":1}] 3 16 [{"arity":3,"count":21},{"arity":16,"count":1}] 0 21 [{"type":"extension","count":21},{"type":"allDifferent","count":1}] t min SUM 797dd3ed6ca3fcac5df6221abf320949
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
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-kra32.xml
COP 1056 166 2 14 32 [{"size":14,"count":165},{"size":32,"count":32}] 0 21 [{"degree":0,"count":859},{"degree":1,"count":2},{"degree":2,"count":168},{"degree":4,"count":2},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":8,"count":1},{"degree":9,"count":2},{"degree":11,"count":1},{"degree":12,"count":1},{"degree":13,"count":3},{"degree":15,"count":5},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":21,"count":1}] 3 32 [{"arity":3,"count":165},{"arity":32,"count":1}] 0 165 [{"type":"extension","count":165},{"type":"allDifferent","count":1}] t min SUM 6a905f95d8410023ab58daf573045c33
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-lipa30b.xml
COP 930 420 2 29 30 [{"size":29,"count":419},{"size":30,"count":30}] 0 30 [{"degree":0,"count":481},{"degree":2,"count":419},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":5},{"degree":29,"count":15},{"degree":30,"count":8}] 3 30 [{"arity":3,"count":419},{"arity":30,"count":1}] 0 419 [{"type":"extension","count":419},{"type":"allDifferent","count":1}] t min SUM 205bdfbfcc3ea2dee357f2e21bf6ef88
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-lipa60b.xml
COP 3660 1744 2 60 61 [{"size":60,"count":60},{"size":61,"count":1743}] 0 60 [{"degree":0,"count":1857},{"degree":2,"count":1743},{"degree":57,"count":4},{"degree":58,"count":9},{"degree":59,"count":24},{"degree":60,"count":23}] 3 60 [{"arity":3,"count":1743},{"arity":60,"count":1}] 0 1743 [{"type":"extension","count":1743},{"type":"allDifferent","count":1}] t min SUM d3c2bfd6fc3d7b839ebf0f38d378e232
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-nug16a.xml
COP 272 121 2 8 16 [{"size":8,"count":120},{"size":16,"count":16}] 0 16 [{"degree":0,"count":136},{"degree":2,"count":120},{"degree":16,"count":16}] 3 16 [{"arity":3,"count":120},{"arity":16,"count":1}] 0 120 [{"type":"extension","count":120},{"type":"allDifferent","count":1}] t min SUM d203714480eb297c8cf0da3ad77b9d1d
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-nug17.xml
COP 306 137 2 8 17 [{"size":8,"count":136},{"size":17,"count":17}] 0 17 [{"degree":0,"count":153},{"degree":2,"count":136},{"degree":17,"count":17}] 3 17 [{"arity":3,"count":136},{"arity":17,"count":1}] 0 136 [{"type":"extension","count":136},{"type":"allDifferent","count":1}] t min SUM 6e05af8ee6b2dd3640e99d658021e077
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-scr12.xml
COP 156 29 2 6 12 [{"size":6,"count":28},{"size":12,"count":12}] 0 8 [{"degree":0,"count":116},{"degree":2,"count":28},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":7,"count":2},{"degree":8,"count":2}] 3 12 [{"arity":3,"count":28},{"arity":12,"count":1}] 0 28 [{"type":"extension","count":28},{"type":"allDifferent","count":1}] t min SUM 69987b7c316e25217da306c2a18f6d47
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-sko42.xml
COP 1806 862 2 8 42 [{"size":8,"count":861},{"size":42,"count":42}] 0 42 [{"degree":0,"count":903},{"degree":2,"count":861},{"degree":42,"count":42}] 3 42 [{"arity":3,"count":861},{"arity":42,"count":1}] 0 861 [{"type":"extension","count":861},{"type":"allDifferent","count":1}] t min SUM ee3f8a7d47c87a95d16b6f1492d4a345
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
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-tai10b.xml
COP 110 46 2 10 39 [{"size":10,"count":10},{"size":39,"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 8cbeed9b899096335d8f109a5af96966
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-tai17a.xml
COP 306 134 2 17 71 [{"size":17,"count":17},{"size":71,"count":133}] 0 17 [{"degree":0,"count":156},{"degree":2,"count":133},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":12}] 3 17 [{"arity":3,"count":133},{"arity":17,"count":1}] 0 133 [{"type":"extension","count":133},{"type":"allDifferent","count":1}] t min SUM 81773d4209de6c351c936c9444bef020
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-wil100.xml
COP 10100 4951 2 10 100 [{"size":10,"count":4950},{"size":100,"count":100}] 0 100 [{"degree":0,"count":5050},{"degree":2,"count":4950},{"degree":100,"count":100}] 3 100 [{"arity":3,"count":4950},{"arity":100,"count":1}] 0 4950 [{"type":"extension","count":4950},{"type":"allDifferent","count":1}] t min SUM 1336f815b0da41bdd00c29c220879b91
Random/Random-D-t050/
rand-2-40-25-180-050-28.xml
CSP 40 180 1 25 25 [{"size":25,"count":40}] 4 15 [{"degree":4,"count":1},{"degree":5,"count":3},{"degree":6,"count":3},{"degree":7,"count":10},{"degree":8,"count":2},{"degree":9,"count":3},{"degree":10,"count":4},{"degree":11,"count":4},{"degree":12,"count":7},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1}] 2 2 [{"arity":2,"count":180}] 0 180 [{"type":"extension","count":180}] f 560bf5e5a0850b7fa95b0714462f69a3
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Random/Random-D-t065/
rand-2-40-40-135-065-20.xml
CSP 40 135 1 40 40 [{"size":40,"count":40}] 3 13 [{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":6},{"degree":6,"count":5},{"degree":7,"count":5},{"degree":8,"count":7},{"degree":9,"count":3},{"degree":11,"count":3},{"degree":12,"count":1},{"degree":13,"count":1}] 2 2 [{"arity":2,"count":135}] 0 135 [{"type":"extension","count":135}] f 29440b03c0dd3c0c5f2298a79016991a
Random/Random-m1-10-60-20/
rand-10-60-20-30-51200-43.xml
CSP 60 30 1 20 20 [{"size":20,"count":60}] 1 9 [{"degree":1,"count":1},{"degree":2,"count":3},{"degree":3,"count":8},{"degree":4,"count":14},{"degree":5,"count":10},{"degree":6,"count":12},{"degree":7,"count":6},{"degree":8,"count":5},{"degree":9,"count":1}] 10 10 [{"arity":10,"count":30}] 0 30 [{"type":"extension","count":30}] f b8d48d817bcc13bb1c11a01b9e9dbb1a
Random/Random-m1-5-12-12/
rand-5-12-12-200-12442-18.xml
CSP 12 200 1 12 12 [{"size":12,"count":12}] 77 94 [{"degree":77,"count":1},{"degree":79,"count":1},{"degree":80,"count":1},{"degree":81,"count":1},{"degree":82,"count":3},{"degree":83,"count":1},{"degree":85,"count":1},{"degree":87,"count":1},{"degree":88,"count":1},{"degree":94,"count":1}] 5 5 [{"arity":5,"count":200}] 0 200 [{"type":"extension","count":200}] f 5b88c9bb20a550a9749bc07814b0743b
Random/Random-m1-7-40-8t/
rand-7-40-8-40-20000-2.xml
CSP 40 40 1 8 8 [{"size":8,"count":40}] 3 13 [{"degree":3,"count":1},{"degree":4,"count":5},{"degree":5,"count":7},{"degree":6,"count":4},{"degree":7,"count":7},{"degree":8,"count":5},{"degree":9,"count":7},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":1},{"degree":13,"count":1}] 7 7 [{"arity":7,"count":40}] 0 40 [{"type":"extension","count":40}] f 2ec71a65c59c9a29cdcd024018e96c54
Random/Random-RB-2-40-19f/
rand-2-40-19-443-230f-30.xml
CSP 40 334 1 19 19 [{"size":19,"count":40}] 8 21 [{"degree":8,"count":1},{"degree":10,"count":1},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":6},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":4},{"degree":19,"count":4},{"degree":20,"count":6},{"degree":21,"count":4}] 2 2 [{"arity":2,"count":334}] 0 334 [{"type":"extension","count":334}] f 50ce50ecf2588fb2b611ab94508eaebd
Random/Random-RB-2-50-23/
rand-2-50-23-587-230-39.xml
CSP 50 462 1 23 23 [{"size":23,"count":50}] 11 27 [{"degree":11,"count":2},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":16,"count":5},{"degree":17,"count":1},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":9},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":1}] 2 2 [{"arity":2,"count":462}] 0 462 [{"type":"extension","count":462}] f 6ed171dcccdb92ebb130c3872609e61b
Random/Random-RB-3-20-20f/
rand-3-20-20-60-632f-11.xml
CSP 20 60 1 20 20 [{"size":20,"count":20}] 3 14 [{"degree":3,"count":1},{"degree":7,"count":4},{"degree":8,"count":1},{"degree":9,"count":6},{"degree":10,"count":4},{"degree":11,"count":3},{"degree":14,"count":1}] 3 3 [{"arity":3,"count":60}] 0 60 [{"type":"extension","count":60}] f 2177eeb766f29dacd684113dff68ce63
Random/Random-RB-3-24-24f/
rand-3-24-24-76-632f-04.xml
CSP 24 76 1 24 24 [{"size":24,"count":24}] 2 20 [{"degree":2,"count":1},{"degree":4,"count":1},{"degree":5,"count":1},{"degree":6,"count":1},{"degree":7,"count":7},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":10,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":1},{"degree":15,"count":2},{"degree":16,"count":1},{"degree":20,"count":1}] 3 3 [{"arity":3,"count":76}] 0 76 [{"type":"extension","count":76}] f 8affd435144207d453aaf856f2d63137
Random/Random-RB-3-28-28f/
rand-3-28-28-93-632f-36.xml
CSP 28 93 1 28 28 [{"size":28,"count":28}] 4 16 [{"degree":4,"count":2},{"degree":5,"count":1},{"degree":6,"count":1},{"degree":7,"count":3},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":10,"count":5},{"degree":11,"count":4},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":1}] 3 3 [{"arity":3,"count":93}] 0 93 [{"type":"extension","count":93}] f e0a8d3734b0eaa27800dfa1f13e1fbfb
Rlfap_mini/
Rlfap-dec-scens11_mini/
Rlfap-ext-scen-11-f02_c18.xml
CSP 680 4103 5 6 42 [{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":35,"count":336},{"size":42,"count":328}] 1 62 [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] 2 2 [{"arity":2,"count":4103}] 0 4103 [{"type":"extension","count":4103}] f 7ac25fa9c4532324d4bc78edd5427656
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Rlfap_mini/
Rlfap-dec-scens11_mini/
Rlfap-ext-scen-11-f04_c18.xml
CSP 680 4103 5 6 40 [{"size":6,"count":2},{"size":22,"count":14},{"size":33,"count":336},{"size":40,"count":328}] 1 62 [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] 2 2 [{"arity":2,"count":4103}] 0 4103 [{"type":"extension","count":4103}] f 297c804b8c4092219cf99e305dde67fa
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-03-opt_c18.xml
COP 200 1134 6 6 44 [{"size":6,"count":2},{"size":22,"count":6},{"size":24,"count":8},{"size":36,"count":62},{"size":42,"count":58},{"size":44,"count":64}] 7 19 [{"degree":7,"count":1},{"degree":8,"count":9},{"degree":9,"count":8},{"degree":10,"count":26},{"degree":11,"count":29},{"degree":12,"count":41},{"degree":13,"count":21},{"degree":14,"count":32},{"degree":15,"count":20},{"degree":16,"count":4},{"degree":17,"count":5},{"degree":19,"count":4}] 2 2 [{"arity":2,"count":1134}] 0 1134 [{"type":"extension","count":1134}] t min MAXIMUM f1986227dccdc8b29c5f1a91eb038035
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-04-opt_c18.xml
COP 400 2244 6 22 44 [{"size":22,"count":32},{"size":24,"count":14},{"size":36,"count":90},{"size":42,"count":152},{"size":44,"count":112}] 5 21 [{"degree":5,"count":2},{"degree":6,"count":13},{"degree":7,"count":13},{"degree":8,"count":28},{"degree":9,"count":47},{"degree":10,"count":60},{"degree":11,"count":36},{"degree":12,"count":37},{"degree":13,"count":22},{"degree":14,"count":21},{"degree":15,"count":19},{"degree":16,"count":31},{"degree":17,"count":42},{"degree":18,"count":12},{"degree":19,"count":11},{"degree":20,"count":4},{"degree":21,"count":2}] 2 2 [{"arity":2,"count":2244}] 0 2244 [{"type":"extension","count":2244}] t min MAXIMUM 8ddce3708400d921c379abaa17dc44a5
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-07-opt_c18.xml
COP 2554 2472 11 2 44 [{"size":2,"count":2154},{"size":6,"count":34},{"size":22,"count":16},{"size":24,"count":18},{"size":36,"count":98},{"size":42,"count":76},{"size":44,"count":158}] 2 24 [{"degree":2,"count":2157},{"degree":3,"count":7},{"degree":4,"count":10},{"degree":5,"count":31},{"degree":6,"count":34},{"degree":7,"count":44},{"degree":8,"count":53},{"degree":9,"count":42},{"degree":10,"count":16},{"degree":11,"count":21},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":1},{"degree":17,"count":5},{"degree":18,"count":18},{"degree":19,"count":17},{"degree":20,"count":28},{"degree":21,"count":35},{"degree":22,"count":12},{"degree":23,"count":7},{"degree":24,"count":4}] 1 3 [{"arity":1,"count":118},{"arity":2,"count":384},{"arity":3,"count":1970}] 118 2354 [{"type":"extension","count":2354},{"type":"intension","count":118}] t min SUM 329b1afce400cc34fffd8b13b36e29fe
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-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}] 0 3907 [{"type":"extension","count":3907}] t min MAXIMUM 243bcfbcb34c1b91a77d0c7cb67e5fc9
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-11-opt_c18.xml
COP 4097 3757 11 2 44 [{"size":2,"count":3417},{"size":6,"count":48},{"size":22,"count":32},{"size":24,"count":18},{"size":36,"count":132},{"size":42,"count":168},{"size":44,"count":282}] 1 22 [{"degree":1,"count":3},{"degree":2,"count":3418},{"degree":3,"count":6},{"degree":4,"count":10},{"degree":5,"count":46},{"degree":6,"count":68},{"degree":7,"count":77},{"degree":8,"count":85},{"degree":9,"count":54},{"degree":10,"count":33},{"degree":11,"count":37},{"degree":12,"count":21},{"degree":13,"count":8},{"degree":14,"count":1},{"degree":15,"count":35},{"degree":16,"count":26},{"degree":17,"count":63},{"degree":18,"count":54},{"degree":19,"count":32},{"degree":20,"count":12},{"degree":21,"count":7},{"degree":22,"count":1}] 2 3 [{"arity":2,"count":340},{"arity":3,"count":3417}] 0 3757 [{"type":"extension","count":3757}] t min SUM 883afe48e037930c9e115af2d6f001fb
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-04-opt_c18.xml
COP 680 4247 5 6 44 [{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}] 3 64 [{"degree":3,"count":1},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":62},{"degree":7,"count":42},{"degree":8,"count":62},{"degree":9,"count":40},{"degree":10,"count":55},{"degree":11,"count":55},{"degree":12,"count":47},{"degree":13,"count":41},{"degree":14,"count":26},{"degree":15,"count":25},{"degree":16,"count":24},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":10},{"degree":21,"count":10},{"degree":22,"count":17},{"degree":23,"count":8},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":26,"count":9},{"degree":27,"count":10},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":40,"count":3},{"degree":41,"count":1},{"degree":44,"count":2},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":57,"count":1},{"degree":64,"count":1}] 1 2 [{"arity":1,"count":280},{"arity":2,"count":3967}] 280 3967 [{"type":"extension","count":3967},{"type":"intension","count":280}] t min NVALUES 617c7fbe4ff46dae5ed8ccf637b784a5
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-05-opt_c18.xml
COP 400 2598 4 6 44 [{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}] 2 60 [{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":53,"count":1},{"degree":60,"count":1}] 2 2 [{"arity":2,"count":2598}] 0 2598 [{"type":"extension","count":2598}] t min MAXIMUM 274cbe62d699e50b76b6a0f77c1be099
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-10-opt_c18.xml
COP 4749 4689 11 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}] 1 3 [{"arity":1,"count":280},{"arity":2,"count":646},{"arity":3,"count":3763}] 280 4409 [{"type":"extension","count":4409},{"type":"intension","count":280}] t min SUM d97bf760713e7741c92fd1268dd09e15
Sat/
Sat-m1-various/
hole-10.xml
CSP 110 561 1 2 2 [{"size":2,"count":110}] 11 11 [{"degree":11,"count":110}] 2 10 [{"arity":2,"count":550},{"arity":10,"count":11}] 0 561 [{"type":"extension","count":561}] f 9520e39dbeb812da3aa0c7bffde6870d
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
SchurrLemma/
SchurrLemma-mod-s1/
SchurrLemma-mod-015-9.xml
CSP 15 49 1 9 9 [{"size":9,"count":15}] 7 13 [{"degree":7,"count":2},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":10,"count":4},{"degree":11,"count":2},{"degree":12,"count":2},{"degree":13,"count":1}] 3 3 [{"arity":3,"count":49}] 0 0 [{"type":"allDifferent","count":49}] f ef774e94f0394e23d671f928f91d9aff
SchurrLemma/
SchurrLemma-mod-s1/
SchurrLemma-mod-100-9.xml
CSP 100 2450 1 9 9 [{"size":9,"count":100}] 49 98 [{"degree":49,"count":1},{"degree":50,"count":2},{"degree":51,"count":2},{"degree":52,"count":2},{"degree":53,"count":2},{"degree":54,"count":2},{"degree":55,"count":2},{"degree":56,"count":2},{"degree":57,"count":2},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":2},{"degree":61,"count":2},{"degree":62,"count":2},{"degree":63,"count":2},{"degree":64,"count":2},{"degree":65,"count":2},{"degree":66,"count":2},{"degree":67,"count":2},{"degree":68,"count":2},{"degree":69,"count":2},{"degree":70,"count":2},{"degree":71,"count":2},{"degree":72,"count":2},{"degree":73,"count":3},{"degree":74,"count":3},{"degree":75,"count":2},{"degree":76,"count":2},{"degree":77,"count":2},{"degree":78,"count":2},{"degree":79,"count":2},{"degree":80,"count":2},{"degree":81,"count":2},{"degree":82,"count":2},{"degree":83,"count":2},{"degree":84,"count":2},{"degree":85,"count":2},{"degree":86,"count":2},{"degree":87,"count":2},{"degree":88,"count":2},{"degree":89,"count":2},{"degree":90,"count":2},{"degree":91,"count":2},{"degree":92,"count":2},{"degree":93,"count":2},{"degree":94,"count":2},{"degree":95,"count":2},{"degree":96,"count":2},{"degree":97,"count":2},{"degree":98,"count":1}] 3 3 [{"arity":3,"count":2450}] 0 0 [{"type":"allDifferent","count":2450}] f 4f03c112a8f6a228f13fa4574ba8a054
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g04-g43.xml
CSP 10 56 1 128 128 [{"size":128,"count":10}] 11 11 [{"degree":11,"count":10}] 1 10 [{"arity":1,"count":10},{"arity":2,"count":45},{"arity":10,"count":1}] 0 55 [{"type":"extension","count":55},{"type":"allDifferent","count":1}] f bd57e6e8a3cd14d78fa38f894c475db9
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g07-g50.xml
CSP 20 101 1 128 128 [{"size":128,"count":20}] 11 11 [{"degree":11,"count":20}] 2 20 [{"arity":2,"count":100},{"arity":20,"count":1}] 0 100 [{"type":"extension","count":100},{"type":"allDifferent","count":1}] f d16e1032f96f443f4c8e54c16e647779
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g10-g15.xml
CSP 41 122 1 50 50 [{"size":50,"count":41}] 3 11 [{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":14},{"degree":7,"count":4},{"degree":8,"count":4},{"degree":10,"count":1},{"degree":11,"count":1}] 1 41 [{"arity":1,"count":41},{"arity":2,"count":80},{"arity":41,"count":1}] 0 121 [{"type":"extension","count":121},{"type":"allDifferent","count":1}] f c61674a03ec016e027955a3fd45acfb3
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g10-g22.xml
CSP 41 115 1 67 67 [{"size":67,"count":41}] 2 11 [{"degree":2,"count":1},{"degree":3,"count":6},{"degree":5,"count":10},{"degree":6,"count":14},{"degree":7,"count":4},{"degree":8,"count":4},{"degree":10,"count":1},{"degree":11,"count":1}] 1 41 [{"arity":1,"count":34},{"arity":2,"count":80},{"arity":41,"count":1}] 0 114 [{"type":"extension","count":114},{"type":"allDifferent","count":1}] f 4ba333145af123387ac74acde8324b08
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g10-g47.xml
CSP 41 83 1 128 128 [{"size":128,"count":41}] 2 11 [{"degree":2,"count":1},{"degree":3,"count":6},{"degree":4,"count":10},{"degree":5,"count":14},{"degree":6,"count":4},{"degree":7,"count":4},{"degree":10,"count":1},{"degree":11,"count":1}] 1 41 [{"arity":1,"count":2},{"arity":2,"count":80},{"arity":41,"count":1}] 0 82 [{"type":"extension","count":82},{"type":"allDifferent","count":1}] f 334d7669d2b71554b19d311723364262
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g13-g27.xml
CSP 49 163 1 86 86 [{"size":86,"count":49}] 1 21 [{"degree":1,"count":10},{"degree":2,"count":2},{"degree":4,"count":6},{"degree":5,"count":6},{"degree":6,"count":8},{"degree":7,"count":3},{"degree":9,"count":2},{"degree":10,"count":4},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":1},{"degree":19,"count":3},{"degree":21,"count":1}] 1 49 [{"arity":1,"count":37},{"arity":2,"count":125},{"arity":49,"count":1}] 0 162 [{"type":"extension","count":162},{"type":"allDifferent","count":1}] f 08191c1a00f6acedc1c5b66da9365c90
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g19-g25.xml
CSP 64 233 1 75 75 [{"size":75,"count":64}] 4 10 [{"degree":4,"count":4},{"degree":5,"count":8},{"degree":6,"count":20},{"degree":8,"count":16},{"degree":10,"count":16}] 1 64 [{"arity":1,"count":64},{"arity":2,"count":168},{"arity":64,"count":1}] 0 232 [{"type":"extension","count":232},{"type":"allDifferent","count":1}] f 6a0b9ff28537b74082311c97fcf8fc06
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g29-g30.xml
CSP 100 1006 1 100 100 [{"size":100,"count":100}] 11 33 [{"degree":11,"count":1},{"degree":13,"count":2},{"degree":14,"count":4},{"degree":15,"count":4},{"degree":16,"count":2},{"degree":17,"count":7},{"degree":18,"count":10},{"degree":19,"count":11},{"degree":20,"count":17},{"degree":21,"count":14},{"degree":22,"count":6},{"degree":23,"count":4},{"degree":24,"count":7},{"degree":25,"count":3},{"degree":26,"count":5},{"degree":27,"count":2},{"degree":33,"count":1}] 1 100 [{"arity":1,"count":99},{"arity":2,"count":906},{"arity":100,"count":1}] 0 1005 [{"type":"extension","count":1005},{"type":"allDifferent","count":1}] f ca121169e452cc264181c5d1ff44fbda
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g34-g41.xml
CSP 120 361 1 128 128 [{"size":128,"count":120}] 6 6 [{"degree":6,"count":120}] 1 120 [{"arity":1,"count":120},{"arity":2,"count":240},{"arity":120,"count":1}] 0 360 [{"type":"extension","count":360},{"type":"allDifferent","count":1}] f 08f0588346954a5d029398e391cdf5d4
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g41-g47.xml
CSP 128 380 1 128 128 [{"size":128,"count":128}] 4 12 [{"degree":4,"count":3},{"degree":5,"count":19},{"degree":6,"count":39},{"degree":7,"count":29},{"degree":8,"count":27},{"degree":10,"count":8},{"degree":11,"count":1},{"degree":12,"count":2}] 1 128 [{"arity":1,"count":11},{"arity":2,"count":368},{"arity":128,"count":1}] 0 379 [{"type":"extension","count":379},{"type":"allDifferent","count":1}] f f8191918c166ba166eeddd833cfd8184
Subisomorphism/
Subisomorphism-m1-SF/
Subisomorphism-B-07.xml
CSP 540 1702 1 600 600 [{"size":600,"count":540}] 3 10 [{"degree":3,"count":1},{"degree":4,"count":17},{"degree":5,"count":98},{"degree":6,"count":191},{"degree":8,"count":118},{"degree":9,"count":92},{"degree":10,"count":23}] 1 540 [{"arity":1,"count":233},{"arity":2,"count":1468},{"arity":540,"count":1}] 0 1701 [{"type":"extension","count":1701},{"type":"allDifferent","count":1}] f 78dd225f03d2cb4ebd4aa6d0341733c8
Subisomorphism/
Subisomorphism-m1-SF/
Subisomorphism-C-04.xml
CSP 900 2893 1 1000 1000 [{"size":1000,"count":900}] 3 10 [{"degree":3,"count":5},{"degree":4,"count":23},{"degree":5,"count":153},{"degree":6,"count":302},{"degree":8,"count":225},{"degree":9,"count":137},{"degree":10,"count":55}] 1 900 [{"arity":1,"count":417},{"arity":2,"count":2475},{"arity":900,"count":1}] 0 2892 [{"type":"extension","count":2892},{"type":"allDifferent","count":1}] f 7ed815e37f1e3a59161c23fd89b9fd05
Subisomorphism/
Subisomorphism-m1-SF/
Subisomorphism-C-05.xml
CSP 900 2849 1 1000 1000 [{"size":1000,"count":900}] 3 10 [{"degree":3,"count":6},{"degree":4,"count":22},{"degree":5,"count":149},{"degree":6,"count":334},{"degree":8,"count":211},{"degree":9,"count":116},{"degree":10,"count":62}] 1 900 [{"arity":1,"count":389},{"arity":2,"count":2459},{"arity":900,"count":1}] 0 2848 [{"type":"extension","count":2848},{"type":"allDifferent","count":1}] f bc678216c46f11358e3aa91811794df2
Subisomorphism/
Subisomorphism-m1-SF/
Subisomorphism-C-07.xml
CSP 900 2873 1 1000 1000 [{"size":1000,"count":900}] 3 10 [{"degree":3,"count":2},{"degree":4,"count":27},{"degree":5,"count":145},{"degree":6,"count":321},{"degree":8,"count":219},{"degree":9,"count":138},{"degree":10,"count":48}] 1 900 [{"arity":1,"count":405},{"arity":2,"count":2467},{"arity":900,"count":1}] 0 2872 [{"type":"extension","count":2872},{"type":"allDifferent","count":1}] f a5a4a9d4a920730d3bacf5ea7eebaa8b
Subisomorphism/
Subisomorphism-m1-SF/
Subisomorphism-C-08.xml
CSP 900 2851 1 1000 1000 [{"size":1000,"count":900}] 3 10 [{"degree":3,"count":3},{"degree":4,"count":36},{"degree":5,"count":139},{"degree":6,"count":333},{"degree":8,"count":202},{"degree":9,"count":121},{"degree":10,"count":66}] 1 900 [{"arity":1,"count":389},{"arity":2,"count":2461},{"arity":900,"count":1}] 0 2850 [{"type":"extension","count":2850},{"type":"allDifferent","count":1}] f 80a719c4c79a30e7b2e20b8ec7ac60ce
Subisomorphism/
Subisomorphism-m1-SF/
Subisomorphism-C-09.xml
CSP 900 2816 1 1000 1000 [{"size":1000,"count":900}] 3 10 [{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":159},{"degree":6,"count":343},{"degree":8,"count":185},{"degree":9,"count":134},{"degree":10,"count":51}] 1 900 [{"arity":1,"count":370},{"arity":2,"count":2445},{"arity":900,"count":1}] 0 2815 [{"type":"extension","count":2815},{"type":"allDifferent","count":1}] f 18125f95757af2ec1affa4359b7bf149
Subisomorphism/
Subisomorphism-m1-SF/
Subisomorphism-C-11.xml
CSP 900 2856 1 1000 1000 [{"size":1000,"count":900}] 3 10 [{"degree":3,"count":2},{"degree":4,"count":25},{"degree":5,"count":151},{"degree":6,"count":327},{"degree":8,"count":211},{"degree":9,"count":136},{"degree":10,"count":48}] 1 900 [{"arity":1,"count":395},{"arity":2,"count":2460},{"arity":900,"count":1}] 0 2855 [{"type":"extension","count":2855},{"type":"allDifferent","count":1}] f 9c9a5599c053099b486050b62d747370
Subisomorphism/
Subisomorphism-m1-SF/
Subisomorphism-C-15.xml
CSP 900 2801 1 1000 1000 [{"size":1000,"count":900}] 3 10 [{"degree":3,"count":5},{"degree":4,"count":29},{"degree":5,"count":162},{"degree":6,"count":338},{"degree":8,"count":194},{"degree":9,"count":107},{"degree":10,"count":65}] 1 900 [{"arity":1,"count":366},{"arity":2,"count":2434},{"arity":900,"count":1}] 0 2800 [{"type":"extension","count":2800},{"type":"allDifferent","count":1}] f 50f56dca320223e53125a5eeb841a09c
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Subisomorphism/
Subisomorphism-m1-SF/
Subisomorphism-C-17.xml
CSP 900 2799 1 1000 1000 [{"size":1000,"count":900}] 3 10 [{"degree":3,"count":2},{"degree":4,"count":34},{"degree":5,"count":156},{"degree":6,"count":337},{"degree":8,"count":204},{"degree":9,"count":121},{"degree":10,"count":46}] 1 900 [{"arity":1,"count":371},{"arity":2,"count":2427},{"arity":900,"count":1}] 0 2798 [{"type":"extension","count":2798},{"type":"allDifferent","count":1}] f 968946b1363fb973e37d639f4c64f12a
Subisomorphism/
Subisomorphism-m1-SF/
Subisomorphism-F-20.xml
CSP 270 5395 1 300 300 [{"size":300,"count":270}] 16 224 [{"degree":16,"count":1},{"degree":17,"count":7},{"degree":18,"count":6},{"degree":19,"count":13},{"degree":20,"count":22},{"degree":21,"count":13},{"degree":23,"count":10},{"degree":24,"count":13},{"degree":25,"count":12},{"degree":26,"count":12},{"degree":27,"count":11},{"degree":28,"count":11},{"degree":29,"count":8},{"degree":30,"count":4},{"degree":31,"count":7},{"degree":32,"count":10},{"degree":33,"count":3},{"degree":34,"count":8},{"degree":35,"count":5},{"degree":36,"count":7},{"degree":37,"count":4},{"degree":38,"count":2},{"degree":39,"count":5},{"degree":40,"count":2},{"degree":41,"count":2},"...",{"degree":69,"count":2}, {"degree":71,"count":1}, {"degree":72,"count":1}, {"degree":77,"count":1}, {"degree":78,"count":1}, {"degree":95,"count":1}, {"degree":97,"count":1}, {"degree":100,"count":2}, {"degree":103,"count":1}, {"degree":105,"count":1}, {"degree":107,"count":1}, {"degree":110,"count":1}, {"degree":111,"count":1}, {"degree":122,"count":1}, {"degree":124,"count":1}, {"degree":131,"count":2}, {"degree":133,"count":1}, {"degree":137,"count":1}, {"degree":142,"count":1}, {"degree":167,"count":1}, {"degree":173,"count":1}, {"degree":183,"count":1}, {"degree":187,"count":1}, {"degree":220,"count":1}, {"degree":224,"count":1}] 1 270 [{"arity":1,"count":208},{"arity":2,"count":5186},{"arity":270,"count":1}] 0 5394 [{"type":"extension","count":5394},{"type":"allDifferent","count":1}] f 82ee18a9f0b9eb8094027018544c12e6
Subisomorphism/
Subisomorphism-m1-si2-bvg/
Subisomorphism-si2-b03m-m800-09.xml
CSP 160 341 1 800 800 [{"size":800,"count":160}] 3 24 [{"degree":3,"count":75},{"degree":4,"count":30},{"degree":5,"count":47},{"degree":6,"count":3},{"degree":12,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":1},{"degree":24,"count":1}] 1 160 [{"arity":1,"count":160},{"arity":2,"count":180},{"arity":160,"count":1}] 0 340 [{"type":"extension","count":340},{"type":"allDifferent","count":1}] f fd69e77754fb96838bac76ad2b6503f8
Subisomorphism/
Subisomorphism-m1-si2-bvg/
Subisomorphism-si2-b06m-m400-03.xml
CSP 80 163 1 400 400 [{"size":400,"count":80}] 2 20 [{"degree":2,"count":13},{"degree":3,"count":19},{"degree":4,"count":23},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":8},{"degree":19,"count":1},{"degree":20,"count":1}] 1 80 [{"arity":1,"count":25},{"arity":2,"count":137},{"arity":80,"count":1}] 0 162 [{"type":"extension","count":162},{"type":"allDifferent","count":1}] f f1702622d49cf987df96627c7341e578
Subisomorphism/
Subisomorphism-m1-si2-m4D/
Subisomorphism-si2-m4Dr6-m1296-03.xml
CSP 259 658 1 1296 1296 [{"size":1296,"count":259}] 2 14 [{"degree":2,"count":38},{"degree":3,"count":54},{"degree":4,"count":47},{"degree":6,"count":28},{"degree":7,"count":23},{"degree":8,"count":7},{"degree":9,"count":16},{"degree":10,"count":23},{"degree":11,"count":12},{"degree":12,"count":8},{"degree":13,"count":2},{"degree":14,"count":1}] 1 259 [{"arity":1,"count":120},{"arity":2,"count":537},{"arity":259,"count":1}] 0 657 [{"type":"extension","count":657},{"type":"allDifferent","count":1}] f 4cb7d5e8a178d27d6e53e2ab86be58d4
Subisomorphism/
Subisomorphism-m1-si4-rand/
Subisomorphism-si4-r005-m600-07.xml
CSP 240 2771 1 600 600 [{"size":600,"count":240}] 13 36 [{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":7},{"degree":17,"count":4},{"degree":18,"count":12},{"degree":19,"count":4},{"degree":20,"count":19},{"degree":21,"count":13},{"degree":22,"count":24},{"degree":23,"count":26},{"degree":24,"count":17},{"degree":25,"count":19},{"degree":26,"count":15},{"degree":27,"count":24},{"degree":28,"count":14},{"degree":29,"count":12},{"degree":30,"count":4},{"degree":31,"count":4},{"degree":32,"count":4},{"degree":33,"count":4},{"degree":34,"count":4},{"degree":35,"count":3},{"degree":36,"count":1}] 2 240 [{"arity":2,"count":2770},{"arity":240,"count":1}] 0 2770 [{"type":"extension","count":2770},{"type":"allDifferent","count":1}] f 1982aa996c838b28e3c9b82540ec3331
Subisomorphism/
Subisomorphism-m1-si6-bvg/
Subisomorphism-si6-b09m-m200-07.xml
CSP 120 485 1 200 200 [{"size":200,"count":120}] 2 23 [{"degree":2,"count":1},{"degree":3,"count":2},{"degree":4,"count":10},{"degree":5,"count":6},{"degree":6,"count":17},{"degree":7,"count":15},{"degree":9,"count":29},{"degree":10,"count":14},{"degree":11,"count":14},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":18,"count":1},{"degree":23,"count":1}] 1 120 [{"arity":1,"count":69},{"arity":2,"count":415},{"arity":120,"count":1}] 0 484 [{"type":"extension","count":484},{"type":"allDifferent","count":1}] f ff3fbb1fa1e97710e818a2cc85beaf29
Subisomorphism/
Subisomorphism-m1-si6-m4D/
Subisomorphism-si6-m4D-m1296-05.xml
CSP 777 2709 1 1296 1296 [{"size":1296,"count":777}] 1 10 [{"degree":1,"count":59},{"degree":2,"count":16},{"degree":3,"count":36},{"degree":4,"count":16},{"degree":6,"count":52},{"degree":7,"count":120},{"degree":8,"count":222},{"degree":9,"count":208},{"degree":10,"count":48}] 1 777 [{"arity":1,"count":650},{"arity":2,"count":2058},{"arity":777,"count":1}] 0 2708 [{"type":"extension","count":2708},{"type":"allDifferent","count":1}] f ae5a12998e749ab69535554811a41b7d
Subisomorphism/
Subisomorphism-m1-si6-m4D/
Subisomorphism-si6-m4D-m256-08.xml
CSP 153 543 1 256 256 [{"size":256,"count":153}] 3 10 [{"degree":3,"count":2},{"degree":4,"count":15},{"degree":6,"count":28},{"degree":7,"count":34},{"degree":8,"count":41},{"degree":9,"count":29},{"degree":10,"count":4}] 1 153 [{"arity":1,"count":136},{"arity":2,"count":406},{"arity":153,"count":1}] 0 542 [{"type":"extension","count":542},{"type":"allDifferent","count":1}] f e08b74c1d6e9f7e08abc14a201f93ec8
Subisomorphism/
Subisomorphism-m1-si6-m4D/
Subisomorphism-si6-m4Dr2-m1296-00.xml
CSP 777 2355 1 1296 1296 [{"size":1296,"count":777}] 2 13 [{"degree":2,"count":43},{"degree":3,"count":63},{"degree":4,"count":118},{"degree":6,"count":139},{"degree":7,"count":156},{"degree":8,"count":133},{"degree":9,"count":72},{"degree":10,"count":38},{"degree":11,"count":14},{"degree":13,"count":1}] 1 777 [{"arity":1,"count":553},{"arity":2,"count":1801},{"arity":777,"count":1}] 0 2354 [{"type":"extension","count":2354},{"type":"allDifferent","count":1}] f 00904093fc0977500c25d1b10bd456ab
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
Subisomorphism/
Subisomorphism-m1-si6-m4D/
Subisomorphism-si6-m4Dr4-m1296-00.xml
CSP 777 2536 1 1296 1296 [{"size":1296,"count":777}] 2 14 [{"degree":2,"count":26},{"degree":3,"count":80},{"degree":4,"count":116},{"degree":6,"count":97},{"degree":7,"count":102},{"degree":8,"count":137},{"degree":9,"count":108},{"degree":10,"count":69},{"degree":11,"count":28},{"degree":12,"count":9},{"degree":13,"count":4},{"degree":14,"count":1}] 1 777 [{"arity":1,"count":555},{"arity":2,"count":1980},{"arity":777,"count":1}] 0 2535 [{"type":"extension","count":2535},{"type":"allDifferent","count":1}] f a9cd926a2629bbaec4afda2d0ef48a16
Subisomorphism/
Subisomorphism-m1-si6-m4D/
Subisomorphism-si6-m4Dr4-m1296-05.xml
CSP 777 2455 1 1296 1296 [{"size":1296,"count":777}] 2 13 [{"degree":2,"count":38},{"degree":3,"count":68},{"degree":4,"count":105},{"degree":6,"count":140},{"degree":7,"count":121},{"degree":8,"count":132},{"degree":9,"count":92},{"degree":10,"count":50},{"degree":11,"count":25},{"degree":12,"count":5},{"degree":13,"count":1}] 1 777 [{"arity":1,"count":566},{"arity":2,"count":1888},{"arity":777,"count":1}] 0 2454 [{"type":"extension","count":2454},{"type":"allDifferent","count":1}] f 8bf15ca3b223eef4cbfa4e50decdbacf
SumColoring/
SumColoring-dsjc-250-1_c18.xml
COP 250 3218 1 250 250 [{"size":250,"count":250}] 14 39 [{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":5},{"degree":18,"count":6},{"degree":19,"count":5},{"degree":20,"count":6},{"degree":21,"count":11},{"degree":22,"count":14},{"degree":23,"count":16},{"degree":24,"count":14},{"degree":25,"count":25},{"degree":26,"count":17},{"degree":27,"count":14},{"degree":28,"count":12},{"degree":29,"count":25},{"degree":30,"count":21},{"degree":31,"count":11},{"degree":32,"count":9},{"degree":33,"count":9},{"degree":34,"count":4},{"degree":35,"count":6},{"degree":36,"count":9},{"degree":37,"count":3},{"degree":38,"count":2},{"degree":39,"count":1}] 2 2 [{"arity":2,"count":3218}] 3218 0 [{"type":"intension","count":3218}] t min SUM 23e20eff05b11a5b5f7472de7de36ab3
test/cop/
OpenStacks-m1-pb-10-10-1.xml
COP t 6d608cb246764b26f2fd04eaba1e7ec3
TravellingSalesman/
TravellingSalesman-m1-n100/
TravellingSalesman-100-50-01.xml
COP 200 101 2 65 100 [{"size":65,"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 f7be32ed8ab62d66a7c5b401ec1c6089
TravellingSalesman/
TravellingSalesman-m1-n100/
TravellingSalesman-100-50-13.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 33030e55b0c66a9a18d6b9223ab81497
TravellingSalesman/
TravellingSalesman-m1-n150/
TravellingSalesman-150-50-00.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 784274e168c99e425b71be44c62c6ab3
TravellingSalesman/
TravellingSalesman-m1-n150/
TravellingSalesman-150-50-07.xml
COP 300 151 2 61 150 [{"size":61,"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 085cda1b13f6303a9f5f924c492c290a
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-01.xml
COP 30 16 2 15 24 [{"size":15,"count":15},{"size":24,"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 47b15046b8b091c4bf04c3c6cda399a9
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
TravellingSalesman/
TravellingSalesman-m1-n15/
TravellingSalesman-15-30-02.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 7e883b5907207d5b8ee8faecb471e218
TravellingSalesman/
TravellingSalesman-m1-n15/
TravellingSalesman-15-30-03.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 b4c2c5fda1e52dcd110cb3247db3b2b6
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-06.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 ade148a10c7d29c0192a6b2badaa2a73
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-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
TravellingSalesman/
TravellingSalesman-m1-n20/
TravellingSalesman-20-30-04.xml
COP 40 21 2 20 31 [{"size":20,"count":20},{"size":31,"count":20}] 2 3 [{"degree":2,"count":20},{"degree":3,"count":20}] 3 20 [{"arity":3,"count":20},{"arity":20,"count":1}] 0 20 [{"type":"extension","count":20},{"type":"allDifferent","count":1}] t min SUM b71521ce1917b31a1de4920ce1e04ad3
TravellingSalesman/
TravellingSalesman-m1-n20/
TravellingSalesman-20-30-05.xml
COP 40 21 2 20 32 [{"size":20,"count":20},{"size":32,"count":20}] 2 3 [{"degree":2,"count":20},{"degree":3,"count":20}] 3 20 [{"arity":3,"count":20},{"arity":20,"count":1}] 0 20 [{"type":"extension","count":20},{"type":"allDifferent","count":1}] t min SUM 6b55f0e9dc993e2546b868899e60f341
Bench nameBest results
on this
instance
Main categorySub categories#variables#constraints#domainsMin. Domain SizeMax. Domain SizeDistribution of domain sizesMin. variable degreeMax. variable degreeDistribution of variable degreesMin. ArityMax. ArityDistribution of constraint arities#constraints defined by a predicate#constraints defined by a relationDistribution of constraint typesoptimization problemtype of objectivemd5sum
TravellingSalesman/
TravellingSalesman-m1-n20/
TravellingSalesman-20-30-14.xml
COP 40 21 2 20 30 [{"size":20,"count":20},{"size":30,"count":20}] 2 3 [{"degree":2,"count":20},{"degree":3,"count":20}] 3 20 [{"arity":3,"count":20},{"arity":20,"count":1}] 0 20 [{"type":"extension","count":20},{"type":"allDifferent","count":1}] t min SUM ce3a169279db7bbca720b415ad84d08c
TravellingSalesman/
TravellingSalesman-m1-n25/
TravellingSalesman-25-30-01.xml
COP 50 26 2 25 31 [{"size":25,"count":25},{"size":31,"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 c56376dbe966608a38512c6186d3b268
TravellingSalesman/
TravellingSalesman-m1-n30/
TravellingSalesman-30-30-10.xml
COP 60 31 2 30 34 [{"size":30,"count":30},{"size":34,"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 5b2f64ce8ea12bd170df7a7ab6f64ceb
TravellingSalesman/
TravellingSalesman-m1-n40/
TravellingSalesman-40-30-06.xml
COP 80 41 2 37 40 [{"size":37,"count":40},{"size":40,"count":40}] 2 3 [{"degree":2,"count":40},{"degree":3,"count":40}] 3 40 [{"arity":3,"count":40},{"arity":40,"count":1}] 0 40 [{"type":"extension","count":40},{"type":"allDifferent","count":1}] t min SUM c4e3649350b31554f70edb72ddfb3355
TravellingSalesman/
TravellingSalesman-m1-n40/
TravellingSalesman-40-30-12.xml
COP 80 41 2 37 40 [{"size":37,"count":40},{"size":40,"count":40}] 2 3 [{"degree":2,"count":40},{"degree":3,"count":40}] 3 40 [{"arity":3,"count":40},{"arity":40,"count":1}] 0 40 [{"type":"extension","count":40},{"type":"allDifferent","count":1}] t min SUM e748ab835a8846d33987f42bf2708adf
TravellingSalesman/
TravellingSalesman-m1-n45/
TravellingSalesman-45-30-01.xml
COP 90 46 2 35 45 [{"size":35,"count":45},{"size":45,"count":45}] 2 3 [{"degree":2,"count":45},{"degree":3,"count":45}] 3 45 [{"arity":3,"count":45},{"arity":45,"count":1}] 0 45 [{"type":"extension","count":45},{"type":"allDifferent","count":1}] t min SUM 9f6d2eef465d4ced4ecc5e4d4ab5c0f8
TravellingSalesman/
TravellingSalesman-m1-n45/
TravellingSalesman-45-30-17.xml
COP 90 46 2 36 45 [{"size":36,"count":45},{"size":45,"count":45}] 2 3 [{"degree":2,"count":45},{"degree":3,"count":45}] 3 45 [{"arity":3,"count":45},{"arity":45,"count":1}] 0 45 [{"type":"extension","count":45},{"type":"allDifferent","count":1}] t min SUM 369093f5c07699bd32757068998f5546
TravellingSalesman/
TravellingSalesman-m1-n50/
TravellingSalesman-50-30-04.xml
COP 100 51 2 34 50 [{"size":34,"count":50},{"size":50,"count":50}] 2 3 [{"degree":2,"count":50},{"degree":3,"count":50}] 3 50 [{"arity":3,"count":50},{"arity":50,"count":1}] 0 50 [{"type":"extension","count":50},{"type":"allDifferent","count":1}] t min SUM dde584f4236215118ba95836a189047c
TravellingSalesman/
TravellingSalesman-xcsp2-s20a4/
TravellingSalesman-4-20-075-a4_X2.xml
CSP 61 228 5 1 1001 [{"size":1,"count":2},{"size":20,"count":20},{"size":180,"count":19},{"size":1001,"count":20}] 1 208 [{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}] 2 4 [{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}] 0 228 [{"type":"extension","count":228}] f 0d46043221e63cab3e036ad7daf2b407
TravellingSalesman/
TravellingSalesman-xcsp2-s20/
TravellingSalesman-20-453_X2.xml
CSP 61 230 5 1 1001 [{"size":1,"count":2},{"size":20,"count":20},{"size":180,"count":19},{"size":1001,"count":20}] 1 20 [{"degree":1,"count":2},{"degree":2,"count":39},{"degree":20,"count":20}] 2 3 [{"arity":2,"count":210},{"arity":3,"count":20}] 0 230 [{"type":"extension","count":230}] f 925e5fe90f97cdf1c5e5ffd441a363a2