2017 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-007.xml
CSP 13 8 2 6 7 [{"size":6,"count":6},{"size":7,"count":7}] 2 3 [{"degree":2,"count":8},{"degree":3,"count":5}] 3 7 [{"arity":3,"count":6},{"arity":6,"count":1},{"arity":7,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":2}] f a884c61e46efb30737f5a293b2c9f9b8
AllInterval/
AllInterval-m1-s1/
AllInterval-012.xml
CSP 23 13 2 11 12 [{"size":11,"count":11},{"size":12,"count":12}] 2 3 [{"degree":2,"count":13},{"degree":3,"count":10}] 3 12 [{"arity":3,"count":11},{"arity":11,"count":1},{"arity":12,"count":1}] 11 0 [{"type":"intension","count":11},{"type":"allDifferent","count":2}] f fe577b710e96b69a06cd84ef61ac8806
AllInterval/
AllInterval-m1-s1/
AllInterval-016.xml
CSP 31 17 2 15 16 [{"size":15,"count":15},{"size":16,"count":16}] 2 3 [{"degree":2,"count":17},{"degree":3,"count":14}] 3 16 [{"arity":3,"count":15},{"arity":15,"count":1},{"arity":16,"count":1}] 15 0 [{"type":"intension","count":15},{"type":"allDifferent","count":2}] f dac573268cbee9df0798b3d421ad7cf6
AllInterval/
AllInterval-m1-s1/
AllInterval-035.xml
CSP 69 36 2 34 35 [{"size":34,"count":34},{"size":35,"count":35}] 2 3 [{"degree":2,"count":36},{"degree":3,"count":33}] 3 35 [{"arity":3,"count":34},{"arity":34,"count":1},{"arity":35,"count":1}] 34 0 [{"type":"intension","count":34},{"type":"allDifferent","count":2}] f fe30f006f3af9f6842518347a037ed7d
AllInterval/
AllInterval-m1-s1/
AllInterval-050.xml
CSP 99 51 2 49 50 [{"size":49,"count":49},{"size":50,"count":50}] 2 3 [{"degree":2,"count":51},{"degree":3,"count":48}] 3 50 [{"arity":3,"count":49},{"arity":49,"count":1},{"arity":50,"count":1}] 49 0 [{"type":"intension","count":49},{"type":"allDifferent","count":2}] f 010bfed6e804a02be5e9f2a754b88433
AllInterval/
AllInterval-m1-s1/
AllInterval-080.xml
CSP 159 81 2 79 80 [{"size":79,"count":79},{"size":80,"count":80}] 2 3 [{"degree":2,"count":81},{"degree":3,"count":78}] 3 80 [{"arity":3,"count":79},{"arity":79,"count":1},{"arity":80,"count":1}] 79 0 [{"type":"intension","count":79},{"type":"allDifferent","count":2}] f f0cd38ecba005234ebb464e977fa1d5a
Blackhole/
Blackhole-xcsp2-s04/
Blackhole-4-04-2_X2.xml
CSP 64 432 4 1 16 [{"size":1,"count":2},{"size":4,"count":16},{"size":8,"count":15},{"size":16,"count":30}] 0 32 [{"degree":0,"count":1},{"degree":2,"count":17},{"degree":3,"count":14},{"degree":16,"count":1},{"degree":17,"count":10},{"degree":18,"count":5},{"degree":32,"count":16}] 2 2 [{"arity":2,"count":432}] 0 432 [{"type":"extension","count":432}] f 6b054a9e51d4cac3cb4cd1a46e01dd0a
Blackhole/
Blackhole-xcsp2-s04/
Blackhole-4-04-9_X2.xml
CSP 64 432 4 1 16 [{"size":1,"count":2},{"size":4,"count":16},{"size":8,"count":15},{"size":16,"count":30}] 0 32 [{"degree":0,"count":1},{"degree":2,"count":17},{"degree":3,"count":14},{"degree":16,"count":1},{"degree":17,"count":10},{"degree":18,"count":5},{"degree":32,"count":16}] 2 2 [{"arity":2,"count":432}] 0 432 [{"type":"extension","count":432}] f e9d0a4cd59366da39c3f7cdf7e8fed32
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07-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 fad96b2eb778b7f693e68e3d100e5397
Blackhole/
Blackhole-xcsp2-s07/
Blackhole-4-07h-5_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 0d344e361328211ed16699cc315bd3d7
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-07h-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 1a2530643870bd226f8d107acaf48581
Blackhole/
Blackhole-xcsp2-s13/
Blackhole-4-13-2_X2.xml
CSP 208 4218 4 1 52 [{"size":1,"count":2},{"size":13,"count":52},{"size":26,"count":51},{"size":52,"count":102}] 0 104 [{"degree":0,"count":1},{"degree":2,"count":53},{"degree":3,"count":50},{"degree":52,"count":1},{"degree":53,"count":34},{"degree":54,"count":17},{"degree":104,"count":52}] 2 2 [{"arity":2,"count":4218}] 0 4218 [{"type":"extension","count":4218}] f 88708c27ba26ffc45c437651276dcd59
ColouredQueens/
ColouredQueens-m1-s1/
ColouredQueens-03.xml
CSP 9 12 1 3 3 [{"size":3,"count":9}] 3 4 [{"degree":3,"count":4},{"degree":4,"count":5}] 2 3 [{"arity":2,"count":4},{"arity":3,"count":8}] 0 0 [{"type":"allDifferent","count":12}] f b06f1b70dae22c3afae7c1f4b3decb30
ColouredQueens/
ColouredQueens-m1-s1/
ColouredQueens-10.xml
CSP 100 54 1 10 10 [{"size":10,"count":100}] 3 4 [{"degree":3,"count":4},{"degree":4,"count":96}] 2 10 [{"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":22}] 0 0 [{"type":"allDifferent","count":54}] f dd9b438f7b2aa476e711f04952c9024a
ColouredQueens/
ColouredQueens-m1-s1/
ColouredQueens-11.xml
CSP 121 60 1 11 11 [{"size":11,"count":121}] 3 4 [{"degree":3,"count":4},{"degree":4,"count":117}] 2 11 [{"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":24}] 0 0 [{"type":"allDifferent","count":60}] f 3da25fcd556a00d93fc440927ef81e89
ColouredQueens/
ColouredQueens-m1-s1/
ColouredQueens-12.xml
CSP 144 66 1 12 12 [{"size":12,"count":144}] 3 4 [{"degree":3,"count":4},{"degree":4,"count":140}] 2 12 [{"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":26}] 0 0 [{"type":"allDifferent","count":66}] f 130c0e53e5c1e074e18659561dd41fce
ColouredQueens/
ColouredQueens-m1-s1/
ColouredQueens-14.xml
CSP 196 78 1 14 14 [{"size":14,"count":196}] 3 4 [{"degree":3,"count":4},{"degree":4,"count":192}] 2 14 [{"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":30}] 0 0 [{"type":"allDifferent","count":78}] f eb742fbc5fe115028f4ee34ab4b949cf
ColouredQueens/
ColouredQueens-m1-s1/
ColouredQueens-19.xml
CSP 361 108 1 19 19 [{"size":19,"count":361}] 3 4 [{"degree":3,"count":4},{"degree":4,"count":357}] 2 19 [{"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":4},{"arity":17,"count":4},{"arity":18,"count":4},{"arity":19,"count":40}] 0 0 [{"type":"allDifferent","count":108}] f 83a04d869151a5b67f4c27500757dc69
CoveringArray/
CoveringArray-elt-s1/
CoveringArray-elt-3-04-2-08.xml
CSP 64 44 1 8 8 [{"size":8,"count":64}] 2 9 [{"degree":2,"count":32},{"degree":9,"count":32}] 4 9 [{"arity":4,"count":8},{"arity":8,"count":4},{"arity":9,"count":32}] 0 8 [{"type":"extension","count":8},{"type":"allDifferent","count":4},{"type":"element","count":32}] f 17db91fb5ac5a139b323ef8c05694434
CoveringArray/
CoveringArray-elt-s1/
CoveringArray-elt-3-04-2-09.xml
CSP 68 45 2 8 9 [{"size":8,"count":36},{"size":9,"count":32}] 2 9 [{"degree":2,"count":32},{"degree":9,"count":36}] 4 10 [{"arity":4,"count":9},{"arity":8,"count":4},{"arity":10,"count":32}] 0 9 [{"type":"extension","count":9},{"type":"allDifferent","count":4},{"type":"element","count":32}] f 2324a6ffb08ebf271119fd35f5319f57
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-06-2-12.xml
CSP 400 192 2 8 12 [{"size":8,"count":240},{"size":12,"count":160}] 2 9 [{"degree":2,"count":160},{"degree":9,"count":240}] 8 20 [{"arity":8,"count":20},{"arity":13,"count":160},{"arity":20,"count":12}] 0 12 [{"type":"extension","count":12},{"type":"allDifferent","count":20},{"type":"element","count":160}] f 6a2428e0ea9e56c54fb162011650005e
CoveringArray/
CoveringArray-elt-s1/
CoveringArray-elt-3-07-2-12.xml
CSP 700 327 2 8 12 [{"size":8,"count":420},{"size":12,"count":280}] 2 9 [{"degree":2,"count":280},{"degree":9,"count":420}] 8 35 [{"arity":8,"count":35},{"arity":13,"count":280},{"arity":35,"count":12}] 0 12 [{"type":"extension","count":12},{"type":"allDifferent","count":35},{"type":"element","count":280}] f d28d3b77622c454a4009aeb11785833b
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-12.xml
CSP 2400 1092 2 8 12 [{"size":8,"count":1440},{"size":12,"count":960}] 2 9 [{"degree":2,"count":960},{"degree":9,"count":1440}] 8 120 [{"arity":8,"count":120},{"arity":13,"count":960},{"arity":120,"count":12}] 0 12 [{"type":"extension","count":12},{"type":"allDifferent","count":120},{"type":"element","count":960}] f 616f71b8e0d8bc577b21aa831e8a99b8
Crossword/
Crossword-m1c-lex-herald/
Crossword-m1c-lex-h1501.xml
CSP 225 78 1 26 26 [{"size":26,"count":189}] 0 2 [{"degree":0,"count":36},{"degree":2,"count":189}] 3 10 [{"arity":3,"count":16},{"arity":4,"count":24},{"arity":5,"count":16},{"arity":6,"count":12},{"arity":7,"count":6},{"arity":10,"count":4}] 0 78 [{"type":"extension","count":78}] f eaee0bb41b12beaeb46f1fdaac1cdc8b
Crossword/Crossword-m1c-ogd2008-vg/
Crossword-m1c-ogd2008-vg-11-12.xml
CSP 132 23 1 26 26 [{"size":26,"count":132}] 2 2 [{"degree":2,"count":132}] 11 12 [{"arity":11,"count":12},{"arity":12,"count":11}] 0 23 [{"type":"extension","count":23}] f 9ac58fd867900409c70334584dcd9d09
Crossword/Crossword-m1c-ogd2008-vg/
Crossword-m1c-ogd2008-vg-13-13.xml
CSP 169 26 1 26 26 [{"size":26,"count":169}] 2 2 [{"degree":2,"count":169}] 13 13 [{"arity":13,"count":26}] 0 26 [{"type":"extension","count":26}] f d4dde8f3e9f2541e7949826ca81c8251
Crossword/
Crossword-m1c-ogd-herald/
Crossword-m1c-ogd-h2310.xml
CSP 529 156 1 26 26 [{"size":26,"count":462}] 0 2 [{"degree":0,"count":67},{"degree":2,"count":462}] 3 13 [{"arity":3,"count":24},{"arity":4,"count":12},{"arity":5,"count":32},{"arity":6,"count":40},{"arity":7,"count":16},{"arity":8,"count":12},{"arity":9,"count":16},{"arity":13,"count":4}] 0 156 [{"type":"extension","count":156}] f 1382364eb69d46a6a3e5c5342b2b1514
Crossword/Crossword-m1c-uk-vg/
Crossword-m1c-uk-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 04dba95a54a8594b13594f30f6e89992
Crossword/
Crossword-m1c-words-puzzle/
Crossword-m1c-words-p20.xml
CSP 81 24 1 26 26 [{"size":26,"count":52}] 0 2 [{"degree":0,"count":29},{"degree":2,"count":52}] 3 7 [{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":4},{"arity":7,"count":4}] 0 24 [{"type":"extension","count":24}] f 652ba5e791d0de7647c1c6f96b05e6d5
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
Driver/
Driver-m1-s1/
driverlogw-01c.xml
CSP 71 217 3 2 4 [{"size":2,"count":32},{"size":3,"count":25},{"size":4,"count":14}] 1 10 [{"degree":1,"count":2},{"degree":2,"count":5},{"degree":3,"count":3},{"degree":4,"count":7},{"degree":5,"count":5},{"degree":6,"count":14},{"degree":7,"count":20},{"degree":8,"count":6},{"degree":9,"count":2},{"degree":10,"count":7}] 2 2 [{"arity":2,"count":217}] 0 217 [{"type":"extension","count":217}] f 91a89527f75c87fa26db92386f49e27c
Driver/
Driver-m1-s1/
driverlogw-02c.xml
CSP 301 4055 6 2 8 [{"size":2,"count":89},{"size":3,"count":47},{"size":4,"count":59},{"size":5,"count":46},{"size":6,"count":52},{"size":8,"count":8}] 1 64 [{"degree":1,"count":2},{"degree":3,"count":5},{"degree":4,"count":2},{"degree":5,"count":2},{"degree":6,"count":7},{"degree":7,"count":7},{"degree":8,"count":3},{"degree":9,"count":3},{"degree":10,"count":9},{"degree":11,"count":5},{"degree":12,"count":4},{"degree":13,"count":14},{"degree":14,"count":9},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":15},{"degree":18,"count":3},{"degree":19,"count":4},{"degree":20,"count":10},{"degree":21,"count":11},{"degree":22,"count":4},{"degree":23,"count":10},{"degree":24,"count":12},{"degree":25,"count":8},{"degree":26,"count":12},"...",{"degree":37,"count":6}, {"degree":38,"count":11}, {"degree":39,"count":4}, {"degree":40,"count":2}, {"degree":41,"count":5}, {"degree":42,"count":2}, {"degree":43,"count":5}, {"degree":44,"count":2}, {"degree":45,"count":3}, {"degree":46,"count":3}, {"degree":47,"count":1}, {"degree":48,"count":3}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":2}, {"degree":52,"count":4}, {"degree":53,"count":3}, {"degree":54,"count":1}, {"degree":55,"count":3}, {"degree":56,"count":4}, {"degree":57,"count":3}, {"degree":58,"count":1}, {"degree":62,"count":1}, {"degree":63,"count":3}, {"degree":64,"count":2}] 2 2 [{"arity":2,"count":4055}] 0 4055 [{"type":"extension","count":4055}] f c8fd18e75f0cc97e5aebd901dbc03ce8
Driver/
Driver-m1-s1/
driverlogw-04c.xml
CSP 272 3876 9 2 11 [{"size":2,"count":91},{"size":3,"count":42},{"size":4,"count":54},{"size":5,"count":52},{"size":6,"count":12},{"size":7,"count":5},{"size":8,"count":13},{"size":9,"count":1},{"size":11,"count":2}] 1 75 [{"degree":1,"count":2},{"degree":3,"count":5},{"degree":4,"count":2},{"degree":5,"count":3},{"degree":6,"count":6},{"degree":7,"count":8},{"degree":9,"count":6},{"degree":10,"count":6},{"degree":11,"count":7},{"degree":12,"count":10},{"degree":13,"count":10},{"degree":14,"count":8},{"degree":15,"count":4},{"degree":17,"count":6},{"degree":18,"count":4},{"degree":19,"count":9},{"degree":20,"count":5},{"degree":21,"count":6},{"degree":22,"count":10},{"degree":23,"count":4},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":27,"count":7},{"degree":28,"count":3},{"degree":29,"count":3},"...",{"degree":40,"count":1}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":1}, {"degree":44,"count":3}, {"degree":45,"count":2}, {"degree":46,"count":6}, {"degree":47,"count":5}, {"degree":48,"count":4}, {"degree":49,"count":3}, {"degree":50,"count":4}, {"degree":51,"count":4}, {"degree":52,"count":2}, {"degree":53,"count":3}, {"degree":54,"count":1}, {"degree":55,"count":3}, {"degree":56,"count":1}, {"degree":58,"count":1}, {"degree":60,"count":3}, {"degree":61,"count":2}, {"degree":65,"count":1}, {"degree":67,"count":1}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":75,"count":4}] 2 2 [{"arity":2,"count":3876}] 0 3876 [{"type":"extension","count":3876}] f 4bc1459377379f6150b2de38fe5214e8
Driver/Driver-m1-s1/
driverlogw-08cc.xml
CSP 408 9321 8 2 11 [{"size":2,"count":131},{"size":3,"count":64},{"size":4,"count":64},{"size":5,"count":95},{"size":6,"count":10},{"size":7,"count":23},{"size":8,"count":18},{"size":11,"count":3}] 1 117 [{"degree":1,"count":5},{"degree":3,"count":3},{"degree":5,"count":17},{"degree":7,"count":2},{"degree":8,"count":9},{"degree":9,"count":8},{"degree":10,"count":5},{"degree":11,"count":7},{"degree":12,"count":6},{"degree":13,"count":3},{"degree":14,"count":14},{"degree":15,"count":3},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":3},{"degree":20,"count":4},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":8},{"degree":25,"count":3},{"degree":26,"count":4},{"degree":27,"count":1},{"degree":28,"count":2},{"degree":29,"count":1},"...",{"degree":74,"count":1}, {"degree":75,"count":5}, {"degree":76,"count":1}, {"degree":77,"count":5}, {"degree":78,"count":4}, {"degree":79,"count":7}, {"degree":80,"count":8}, {"degree":81,"count":3}, {"degree":82,"count":1}, {"degree":84,"count":2}, {"degree":86,"count":11}, {"degree":87,"count":5}, {"degree":88,"count":2}, {"degree":93,"count":3}, {"degree":97,"count":2}, {"degree":98,"count":1}, {"degree":106,"count":2}, {"degree":107,"count":2}, {"degree":108,"count":3}, {"degree":109,"count":2}, {"degree":113,"count":1}, {"degree":114,"count":1}, {"degree":115,"count":1}, {"degree":116,"count":2}, {"degree":117,"count":1}] 2 2 [{"arity":2,"count":9321}] 0 9321 [{"type":"extension","count":9321}] f 5295e32d08449c2e3ec72eea1c3f05d5
Driver/
Driver-m1-s1/
driverlogw-08c.xml
CSP 408 9321 8 2 11 [{"size":2,"count":131},{"size":3,"count":64},{"size":4,"count":64},{"size":5,"count":95},{"size":6,"count":10},{"size":7,"count":23},{"size":8,"count":18},{"size":11,"count":3}] 1 117 [{"degree":1,"count":5},{"degree":3,"count":3},{"degree":5,"count":17},{"degree":7,"count":2},{"degree":8,"count":9},{"degree":9,"count":8},{"degree":10,"count":5},{"degree":11,"count":7},{"degree":12,"count":6},{"degree":13,"count":3},{"degree":14,"count":14},{"degree":15,"count":3},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":3},{"degree":20,"count":4},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":8},{"degree":25,"count":3},{"degree":26,"count":4},{"degree":27,"count":1},{"degree":28,"count":2},{"degree":29,"count":1},"...",{"degree":74,"count":1}, {"degree":75,"count":5}, {"degree":76,"count":1}, {"degree":77,"count":5}, {"degree":78,"count":4}, {"degree":79,"count":7}, {"degree":80,"count":8}, {"degree":81,"count":3}, {"degree":82,"count":1}, {"degree":84,"count":2}, {"degree":86,"count":11}, {"degree":87,"count":5}, {"degree":88,"count":2}, {"degree":93,"count":3}, {"degree":97,"count":2}, {"degree":98,"count":1}, {"degree":106,"count":2}, {"degree":107,"count":2}, {"degree":108,"count":3}, {"degree":109,"count":2}, {"degree":113,"count":1}, {"degree":114,"count":1}, {"degree":115,"count":1}, {"degree":116,"count":2}, {"degree":117,"count":1}] 2 2 [{"arity":2,"count":9321}] 0 9321 [{"type":"extension","count":9321}] f 66180ddac27b70674dd1ecefffc38ec6
Driver/
Driver-m1-s1/
driverlogw-09.xml
CSP 650 17447 9 2 12 [{"size":2,"count":211},{"size":3,"count":100},{"size":4,"count":71},{"size":5,"count":71},{"size":6,"count":29},{"size":7,"count":93},{"size":8,"count":41},{"size":10,"count":25},{"size":12,"count":9}] 1 138 [{"degree":1,"count":6},{"degree":2,"count":6},{"degree":3,"count":10},{"degree":4,"count":6},{"degree":5,"count":4},{"degree":6,"count":19},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":3},{"degree":11,"count":7},{"degree":12,"count":5},{"degree":13,"count":3},{"degree":14,"count":7},{"degree":15,"count":9},{"degree":16,"count":6},{"degree":17,"count":5},{"degree":18,"count":8},{"degree":19,"count":2},{"degree":20,"count":3},{"degree":22,"count":8},{"degree":23,"count":1},{"degree":24,"count":6},{"degree":25,"count":4},{"degree":26,"count":11},{"degree":27,"count":4},"...",{"degree":104,"count":4}, {"degree":105,"count":2}, {"degree":106,"count":4}, {"degree":107,"count":3}, {"degree":108,"count":4}, {"degree":109,"count":2}, {"degree":111,"count":1}, {"degree":112,"count":3}, {"degree":113,"count":1}, {"degree":114,"count":1}, {"degree":115,"count":2}, {"degree":116,"count":2}, {"degree":117,"count":4}, {"degree":118,"count":4}, {"degree":119,"count":5}, {"degree":121,"count":2}, {"degree":122,"count":2}, {"degree":123,"count":3}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":128,"count":2}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":133,"count":1}, {"degree":138,"count":2}] 2 2 [{"arity":2,"count":17447}] 0 17447 [{"type":"extension","count":17447}] f 39f2309c430e073944706d11745a3453
Dubois/
Dubois-m1-s1/
Dubois-021.xml
CSP 63 42 1 2 2 [{"size":2,"count":63}] 2 2 [{"degree":2,"count":63}] 3 3 [{"arity":3,"count":42}] 0 42 [{"type":"extension","count":42}] f 20df171288238b3174eb6e57a3777db0
Dubois/
Dubois-m1-s1/
Dubois-022.xml
CSP 66 44 1 2 2 [{"size":2,"count":66}] 2 2 [{"degree":2,"count":66}] 3 3 [{"arity":3,"count":44}] 0 44 [{"type":"extension","count":44}] f 6cb564a1b449df83d852ba5f609dcac6
Dubois/
Dubois-m1-s1/
Dubois-025.xml
CSP 75 50 1 2 2 [{"size":2,"count":75}] 2 2 [{"degree":2,"count":75}] 3 3 [{"arity":3,"count":50}] 0 50 [{"type":"extension","count":50}] f 973963fd5ae0545f9f330e30fdec40c5
Dubois/
Dubois-m1-s1/
Dubois-050.xml
CSP 150 100 1 2 2 [{"size":2,"count":150}] 2 2 [{"degree":2,"count":150}] 3 3 [{"arity":3,"count":100}] 0 100 [{"type":"extension","count":100}] f 630ab63eaf7c5bcaa7f0eb192a58705a
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
Dubois/
Dubois-m1-s1/
Dubois-080.xml
CSP 240 160 1 2 2 [{"size":2,"count":240}] 2 2 [{"degree":2,"count":240}] 3 3 [{"arity":3,"count":160}] 0 160 [{"type":"extension","count":160}] f 48ff124294bde3e8e6ef7a0c7c897a65
Dubois/
Dubois-m1-s1/
Dubois-090.xml
CSP 270 180 1 2 2 [{"size":2,"count":270}] 2 2 [{"degree":2,"count":270}] 3 3 [{"arity":3,"count":180}] 0 180 [{"type":"extension","count":180}] f 328d51b82070b586362c1099b738d751
GracefulGraph/
GracefulGraph-m1-s1/
GracefulGraph-K03-P04.xml
CSP 57 23 2 21 22 [{"size":21,"count":21},{"size":22,"count":12}] 0 5 [{"degree":0,"count":24},{"degree":2,"count":21},{"degree":4,"count":6},{"degree":5,"count":6}] 3 21 [{"arity":3,"count":21},{"arity":12,"count":1},{"arity":21,"count":1}] 21 0 [{"type":"intension","count":21},{"type":"allDifferent","count":2}] f df366086143c09aabef923644f665168
GracefulGraph/
GracefulGraph-m1-s1/
GracefulGraph-K10-P04.xml
CSP 470 212 2 210 211 [{"size":210,"count":210},{"size":211,"count":40}] 0 12 [{"degree":0,"count":220},{"degree":2,"count":210},{"degree":11,"count":20},{"degree":12,"count":20}] 3 210 [{"arity":3,"count":210},{"arity":40,"count":1},{"arity":210,"count":1}] 210 0 [{"type":"intension","count":210},{"type":"allDifferent","count":2}] f ddb81c87fc1d8e68708f77d31c52a231
GracefulGraph/
GracefulGraph-m1-s1/
GracefulGraph-K10-P09.xml
CSP 1070 487 2 485 486 [{"size":485,"count":485},{"size":486,"count":90}] 0 12 [{"degree":0,"count":495},{"degree":2,"count":485},{"degree":11,"count":20},{"degree":12,"count":70}] 3 485 [{"arity":3,"count":485},{"arity":90,"count":1},{"arity":485,"count":1}] 485 0 [{"type":"intension","count":485},{"type":"allDifferent","count":2}] f 132dbb92a73ed64c3de106a7d099dd2d
GracefulGraph/
GracefulGraph-m1-s1/
GracefulGraph-K11-P04.xml
CSP 561 255 2 253 254 [{"size":253,"count":253},{"size":254,"count":44}] 0 13 [{"degree":0,"count":264},{"degree":2,"count":253},{"degree":12,"count":22},{"degree":13,"count":22}] 3 253 [{"arity":3,"count":253},{"arity":44,"count":1},{"arity":253,"count":1}] 253 0 [{"type":"intension","count":253},{"type":"allDifferent","count":2}] f 83a9e5860e8605726185e9821b8e29ef
GracefulGraph/
GracefulGraph-m1-s1/
GracefulGraph-K12-P09.xml
CSP 1500 692 2 690 691 [{"size":690,"count":690},{"size":691,"count":108}] 0 14 [{"degree":0,"count":702},{"degree":2,"count":690},{"degree":13,"count":24},{"degree":14,"count":84}] 3 690 [{"arity":3,"count":690},{"arity":108,"count":1},{"arity":690,"count":1}] 690 0 [{"type":"intension","count":690},{"type":"allDifferent","count":2}] f 32cec65ed71b36923f34d2db18851218
GracefulGraph/
GracefulGraph-m1-s1/
GracefulGraph-K14-P07.xml
CSP 1554 723 2 721 722 [{"size":721,"count":721},{"size":722,"count":98}] 0 16 [{"degree":0,"count":735},{"degree":2,"count":721},{"degree":15,"count":28},{"degree":16,"count":70}] 3 721 [{"arity":3,"count":721},{"arity":98,"count":1},{"arity":721,"count":1}] 721 0 [{"type":"intension","count":721},{"type":"allDifferent","count":2}] f 539390230adc3c5191c5e54bc0e1cdf0
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-2-fullins-3.xml
COP 52 201 1 52 52 [{"size":52,"count":52}] 5 16 [{"degree":5,"count":4},{"degree":6,"count":10},{"degree":7,"count":6},{"degree":8,"count":16},{"degree":11,"count":4},{"degree":12,"count":8},{"degree":16,"count":4}] 2 2 [{"arity":2,"count":201}] 201 0 [{"type":"intension","count":201}] t min MAXIMUM 73fd83f8962f0084b0563a84899fe1a3
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-3-fullins-5.xml
COP 2030 33751 1 2030 2030 [{"size":2030,"count":2030}] 9 410 [{"degree":9,"count":4},{"degree":10,"count":14},{"degree":11,"count":12},{"degree":12,"count":36},{"degree":13,"count":23},{"degree":14,"count":54},{"degree":15,"count":22},{"degree":16,"count":66},{"degree":17,"count":41},{"degree":18,"count":123},{"degree":19,"count":41},{"degree":20,"count":123},{"degree":21,"count":19},{"degree":22,"count":57},{"degree":23,"count":42},{"degree":24,"count":131},{"degree":25,"count":8},{"degree":26,"count":24},{"degree":27,"count":29},{"degree":28,"count":87},{"degree":29,"count":44},{"degree":30,"count":132},{"degree":31,"count":87},{"degree":32,"count":261},{"degree":33,"count":5},{"degree":34,"count":15},{"degree":35,"count":15},{"degree":36,"count":45},{"degree":41,"count":5},{"degree":42,"count":15},{"degree":43,"count":5},{"degree":44,"count":15},{"degree":49,"count":5},{"degree":50,"count":15},{"degree":51,"count":15},{"degree":52,"count":45},{"degree":53,"count":15},{"degree":54,"count":45},{"degree":55,"count":45},{"degree":56,"count":135},{"degree":77,"count":5},{"degree":78,"count":15},{"degree":79,"count":15},{"degree":80,"count":45},{"degree":87,"count":5},{"degree":169,"count":5},{"degree":170,"count":15},{"degree":410,"count":5}] 2 2 [{"arity":2,"count":33751}] 33751 0 [{"type":"intension","count":33751}] t min MAXIMUM 51dc9de19dcdd21b605810f9d7307a76
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-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-dsjc-250-1.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 MAXIMUM 4a78676e15c4a516bf0316b10322151a
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-dsjc-250-9.xml
COP 250 27897 1 250 250 [{"size":250,"count":250}] 208 235 [{"degree":208,"count":1},{"degree":213,"count":1},{"degree":214,"count":3},{"degree":215,"count":5},{"degree":216,"count":4},{"degree":217,"count":8},{"degree":218,"count":9},{"degree":219,"count":11},{"degree":220,"count":9},{"degree":221,"count":15},{"degree":222,"count":19},{"degree":223,"count":19},{"degree":224,"count":26},{"degree":225,"count":23},{"degree":226,"count":10},{"degree":227,"count":22},{"degree":228,"count":17},{"degree":229,"count":21},{"degree":230,"count":10},{"degree":231,"count":6},{"degree":232,"count":7},{"degree":233,"count":1},{"degree":234,"count":1},{"degree":235,"count":2}] 2 2 [{"arity":2,"count":27897}] 27897 0 [{"type":"intension","count":27897}] t min MAXIMUM 00e934fa2b5b2efae5113ca45f948426
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-dsjc-500-5.xml
COP 500 62624 1 500 500 [{"size":500,"count":500}] 221 287 [{"degree":221,"count":2},{"degree":222,"count":1},{"degree":223,"count":2},{"degree":224,"count":1},{"degree":225,"count":1},{"degree":227,"count":1},{"degree":228,"count":2},{"degree":230,"count":1},{"degree":231,"count":4},{"degree":232,"count":4},{"degree":233,"count":3},{"degree":234,"count":4},{"degree":235,"count":8},{"degree":236,"count":17},{"degree":237,"count":4},{"degree":238,"count":11},{"degree":239,"count":6},{"degree":240,"count":11},{"degree":241,"count":9},{"degree":242,"count":14},{"degree":243,"count":14},{"degree":244,"count":12},{"degree":245,"count":13},{"degree":246,"count":17},{"degree":247,"count":14},"...",{"degree":257,"count":16}, {"degree":258,"count":9}, {"degree":259,"count":19}, {"degree":260,"count":19}, {"degree":261,"count":19}, {"degree":262,"count":14}, {"degree":263,"count":12}, {"degree":264,"count":6}, {"degree":265,"count":7}, {"degree":266,"count":8}, {"degree":267,"count":4}, {"degree":268,"count":6}, {"degree":269,"count":5}, {"degree":270,"count":8}, {"degree":271,"count":4}, {"degree":272,"count":2}, {"degree":273,"count":2}, {"degree":274,"count":1}, {"degree":275,"count":1}, {"degree":276,"count":1}, {"degree":277,"count":2}, {"degree":278,"count":1}, {"degree":280,"count":2}, {"degree":281,"count":1}, {"degree":287,"count":1}] 2 2 [{"arity":2,"count":62624}] 62624 0 [{"type":"intension","count":62624}] t min MAXIMUM 3c0366ff4baa9e19aea1ffc9dac5e4aa
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-games120.xml
COP 120 638 1 120 120 [{"size":120,"count":120}] 8 14 [{"degree":8,"count":1},{"degree":9,"count":5},{"degree":10,"count":15},{"degree":11,"count":26},{"degree":12,"count":47},{"degree":13,"count":21},{"degree":14,"count":5}] 2 2 [{"arity":2,"count":638}] 638 0 [{"type":"intension","count":638}] t min MAXIMUM 98ca11257fbca258bae5688bfdd43595
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-lei450-25d.xml
COP 450 17425 1 450 450 [{"size":450,"count":450}] 12 158 [{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}] 2 2 [{"arity":2,"count":17425}] 17425 0 [{"type":"intension","count":17425}] t min MAXIMUM 1f90dacd0a92fbbf60104d292dc9abb3
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-mug100-25.xml
COP 100 166 1 100 100 [{"size":100,"count":100}] 4 5 [{"degree":4,"count":68},{"degree":5,"count":32}] 2 2 [{"arity":2,"count":166}] 166 0 [{"type":"intension","count":166}] t min MAXIMUM 6e356a27a2dd876e1bb3c04bb6ed0542
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-queen8-8.xml
COP 64 728 1 64 64 [{"size":64,"count":64}] 22 28 [{"degree":22,"count":28},{"degree":24,"count":20},{"degree":26,"count":12},{"degree":28,"count":4}] 2 2 [{"arity":2,"count":728}] 728 0 [{"type":"intension","count":728}] t min MAXIMUM 1f0f248e074ceb8e6b1804d1246bfc68
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-wap01a.xml
COP 2368 110871 1 2368 2368 [{"size":2368,"count":2368}] 15 289 [{"degree":15,"count":1},{"degree":19,"count":4},{"degree":20,"count":8},{"degree":21,"count":2},{"degree":25,"count":4},{"degree":26,"count":15},{"degree":27,"count":2},{"degree":28,"count":7},{"degree":30,"count":9},{"degree":32,"count":9},{"degree":33,"count":4},{"degree":34,"count":7},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":113},{"degree":39,"count":59},{"degree":40,"count":326},{"degree":42,"count":4},{"degree":43,"count":5},{"degree":45,"count":5},{"degree":46,"count":1},{"degree":47,"count":2},{"degree":49,"count":2},{"degree":50,"count":2},"...",{"degree":202,"count":5}, {"degree":203,"count":10}, {"degree":204,"count":3}, {"degree":205,"count":5}, {"degree":206,"count":2}, {"degree":207,"count":1}, {"degree":208,"count":3}, {"degree":209,"count":3}, {"degree":210,"count":4}, {"degree":211,"count":2}, {"degree":216,"count":1}, {"degree":217,"count":2}, {"degree":220,"count":2}, {"degree":223,"count":1}, {"degree":226,"count":1}, {"degree":227,"count":1}, {"degree":228,"count":1}, {"degree":231,"count":1}, {"degree":232,"count":1}, {"degree":244,"count":1}, {"degree":249,"count":1}, {"degree":254,"count":1}, {"degree":258,"count":1}, {"degree":268,"count":1}, {"degree":289,"count":1}] 2 2 [{"arity":2,"count":110871}] 110871 0 [{"type":"intension","count":110871}] t min MAXIMUM 1f75bed7d5113015eb943bda0c7ab47c
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-wap06a.xml
COP 947 43571 1 947 947 [{"size":947,"count":947}] 10 231 [{"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":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}] 2 2 [{"arity":2,"count":43571}] 43571 0 [{"type":"intension","count":43571}] t min MAXIMUM a8532fde929f2c832645b1246a7d35a6
GraphColoring/
GraphColoring-m1-mono/
GraphColoring-zeroin-i-3.xml
COP 206 3540 1 206 206 [{"size":206,"count":206}] 1 141 [{"degree":1,"count":49},{"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":18},{"degree":30,"count":13},{"degree":31,"count":12},{"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":3540}] 3540 0 [{"type":"intension","count":3540}] t min MAXIMUM 21f5a9a53520a21a30dcca8a12a0310e
Kakuro/Kakuro-ext-easy/
Kakuro-easy-084-ext.xml
CSP 240 100 1 9 9 [{"size":9,"count":156}] 0 2 [{"degree":0,"count":84},{"degree":2,"count":156}] 2 6 [{"arity":2,"count":50},{"arity":3,"count":18},{"arity":4,"count":10},{"arity":5,"count":14},{"arity":6,"count":8}] 0 100 [{"type":"extension","count":100}] f 37e2ea114ae3db8b6cbf50904aeeb113
Kakuro/Kakuro-ext-easy/
Kakuro-easy-109-ext.xml
CSP 256 100 1 9 9 [{"size":9,"count":180}] 0 2 [{"degree":0,"count":76},{"degree":2,"count":180}] 2 7 [{"arity":2,"count":26},{"arity":3,"count":34},{"arity":4,"count":10},{"arity":5,"count":20},{"arity":6,"count":4},{"arity":7,"count":6}] 0 100 [{"type":"extension","count":100}] f 0d08f86c7b5eb42d51d75ae184b9b4a5
Kakuro/Kakuro-ext-easy/
Kakuro-easy-150-ext.xml
CSP 256 88 1 9 9 [{"size":9,"count":165}] 0 2 [{"degree":0,"count":91},{"degree":2,"count":165}] 2 7 [{"arity":2,"count":20},{"arity":3,"count":23},{"arity":4,"count":20},{"arity":5,"count":12},{"arity":6,"count":10},{"arity":7,"count":3}] 0 88 [{"type":"extension","count":88}] f aeef81586704c1d195eb4c8bd225a9e3
Kakuro/Kakuro-ext-medium/
Kakuro-medium-016-ext.xml
CSP 140 58 1 9 9 [{"size":9,"count":86}] 0 2 [{"degree":0,"count":54},{"degree":2,"count":86}] 2 5 [{"arity":2,"count":24},{"arity":3,"count":18},{"arity":4,"count":10},{"arity":5,"count":6}] 0 58 [{"type":"extension","count":58}] f af9e02b972a2aa437dfc7299482d1e73
Kakuro/Kakuro-ext-medium/
Kakuro-medium-020-ext.xml
CSP 140 54 1 9 9 [{"size":9,"count":81}] 0 2 [{"degree":0,"count":59},{"degree":2,"count":81}] 2 5 [{"arity":2,"count":22},{"arity":3,"count":17},{"arity":4,"count":8},{"arity":5,"count":7}] 0 54 [{"type":"extension","count":54}] f 69b97e31dc6a30ce186d4086a8b563a1
Kakuro/Kakuro-ext-medium/
Kakuro-medium-162-ext.xml
CSP 256 92 1 9 9 [{"size":9,"count":164}] 0 2 [{"degree":0,"count":92},{"degree":2,"count":164}] 2 9 [{"arity":2,"count":28},{"arity":3,"count":32},{"arity":4,"count":12},{"arity":5,"count":8},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":9,"count":4}] 0 92 [{"type":"extension","count":92}] f 9eb44364195c6f7bb137f76b47648058
Kakuro/Kakuro-sumdiff-easy/
Kakuro-easy-015-sumdiff.xml
CSP 140 108 1 9 9 [{"size":9,"count":82}] 0 4 [{"degree":0,"count":58},{"degree":4,"count":82}] 2 5 [{"arity":2,"count":44},{"arity":3,"count":24},{"arity":4,"count":32},{"arity":5,"count":8}] 0 0 [{"type":"allDifferent","count":54},{"type":"sum","count":54}] f 1146004309082972e5d77911a227550f
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
Kakuro/Kakuro-sumdiff-easy/
Kakuro-easy-079-sumdiff.xml
CSP 240 208 1 9 9 [{"size":9,"count":153}] 0 4 [{"degree":0,"count":87},{"degree":4,"count":153}] 2 6 [{"arity":2,"count":112},{"arity":3,"count":38},{"arity":4,"count":32},{"arity":5,"count":10},{"arity":6,"count":16}] 0 0 [{"type":"allDifferent","count":104},{"type":"sum","count":104}] f ca3cb4e4201b5b0bf39d1bab0662b894
Kakuro/Kakuro-sumdiff-easy/
Kakuro-easy-164-sumdiff.xml
CSP 256 176 1 9 9 [{"size":9,"count":168}] 0 4 [{"degree":0,"count":88},{"degree":4,"count":168}] 2 7 [{"arity":2,"count":48},{"arity":3,"count":24},{"arity":4,"count":48},{"arity":5,"count":32},{"arity":6,"count":16},{"arity":7,"count":8}] 0 0 [{"type":"allDifferent","count":88},{"type":"sum","count":88}] f 4a4af9786305cf8d4bfcf0867b23fa60
Kakuro/Kakuro-sumdiff-hard/
Kakuro-hard-179-sumdiff.xml
CSP 704 584 1 9 9 [{"size":9,"count":470}] 0 4 [{"degree":0,"count":234},{"degree":4,"count":470}] 2 7 [{"arity":2,"count":168},{"arity":3,"count":224},{"arity":4,"count":112},{"arity":5,"count":60},{"arity":6,"count":16},{"arity":7,"count":4}] 0 0 [{"type":"allDifferent","count":292},{"type":"sum","count":292}] f 72ba34ef4ed3dc1acc7929e369ac45f1
Kakuro/Kakuro-sumdiff-medium/
Kakuro-medium-055-sumdiff.xml
CSP 168 132 1 9 9 [{"size":9,"count":100}] 0 4 [{"degree":0,"count":68},{"degree":4,"count":100}] 2 6 [{"arity":2,"count":64},{"arity":3,"count":28},{"arity":4,"count":20},{"arity":5,"count":12},{"arity":6,"count":8}] 0 0 [{"type":"allDifferent","count":66},{"type":"sum","count":66}] f 9a8db212b4ab115474de9ff8ac609ca3
Kakuro/Kakuro-sumdiff-medium/
Kakuro-medium-191-sumdiff.xml
CSP 704 508 1 9 9 [{"size":9,"count":499}] 0 4 [{"degree":0,"count":205},{"degree":4,"count":499}] 2 9 [{"arity":2,"count":128},{"arity":3,"count":132},{"arity":4,"count":64},{"arity":5,"count":104},{"arity":6,"count":40},{"arity":7,"count":16},{"arity":9,"count":24}] 0 0 [{"type":"allDifferent","count":254},{"type":"sum","count":254}] f 261f5e0f67b6e0c567fd630968b40e71
Knapsack/
Knapsack-m1-s30/
Knapsack-30-100-04.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 7fb632312c7b7dee32941c0d30e198bb
Knapsack/
Knapsack-m1-s30/
Knapsack-30-100-06.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 3ceda869c276348ad0b4fc7c9d738878
Knapsack/
Knapsack-m1-s30/
Knapsack-30-100-16.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 60579ec9e2bea81c12df486d2ee437df
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-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
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-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-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
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-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-s60/
Knapsack-60-250-03.xml
COP 60 1 1 2 2 [{"size":2,"count":60}] 2 2 [{"degree":2,"count":60}] 60 60 [{"arity":60,"count":1}] 0 0 [{"type":"sum","count":1}] t max SUM 51492dfdc05fd658a6c92bd20bc2cdd8
Knapsack/
Knapsack-m1-s60/
Knapsack-60-250-05.xml
COP 60 1 1 2 2 [{"size":2,"count":60}] 2 2 [{"degree":2,"count":60}] 60 60 [{"arity":60,"count":1}] 0 0 [{"type":"sum","count":1}] t max SUM ec17c84eab1701ad56b983b1c216f3af
Knapsack/
Knapsack-m1-s60/
Knapsack-60-250-06.xml
COP 60 1 1 2 2 [{"size":2,"count":60}] 2 2 [{"degree":2,"count":60}] 60 60 [{"arity":60,"count":1}] 0 0 [{"type":"sum","count":1}] t max SUM e510f4e528f92f41d50b9f762f8b8317
Knapsack/
Knapsack-m1-s60/
Knapsack-60-250-07.xml
COP 60 1 1 2 2 [{"size":2,"count":60}] 2 2 [{"degree":2,"count":60}] 60 60 [{"arity":60,"count":1}] 0 0 [{"type":"sum","count":1}] t max SUM f01027693dd53db4ae08ac6ca1ef0b11
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-s60/
Knapsack-60-250-13.xml
COP 60 1 1 2 2 [{"size":2,"count":60}] 2 2 [{"degree":2,"count":60}] 60 60 [{"arity":60,"count":1}] 0 0 [{"type":"sum","count":1}] t max SUM 38d75cb998cf411a03c81843abbd85b8
Knapsack/
Knapsack-m1-s60/
Knapsack-60-250-17.xml
COP 60 1 1 2 2 [{"size":2,"count":60}] 2 2 [{"degree":2,"count":60}] 60 60 [{"arity":60,"count":1}] 0 0 [{"type":"sum","count":1}] t max SUM 55160ca1cb6892c8520106891d7cdd01
Langford/
Langford-m1-k2/
Langford-2-18.xml
CSP 36 19 1 36 36 [{"size":36,"count":36}] 2 2 [{"degree":2,"count":36}] 2 36 [{"arity":2,"count":18},{"arity":36,"count":1}] 18 0 [{"type":"intension","count":18},{"type":"allDifferent","count":1}] f 969713c535595664febe0b3c6e709240
Langford/
Langford-m1-k3/
Langford-3-05.xml
CSP 15 11 1 15 15 [{"size":15,"count":15}] 2 3 [{"degree":2,"count":10},{"degree":3,"count":5}] 2 15 [{"arity":2,"count":10},{"arity":15,"count":1}] 10 0 [{"type":"intension","count":10},{"type":"allDifferent","count":1}] f a0353f5a729d36131132d05371d2400b
Langford/
Langford-m1-k3/
Langford-3-70.xml
CSP 210 141 1 210 210 [{"size":210,"count":210}] 2 3 [{"degree":2,"count":140},{"degree":3,"count":70}] 2 210 [{"arity":2,"count":140},{"arity":210,"count":1}] 140 0 [{"type":"intension","count":140},{"type":"allDifferent","count":1}] f 334f60f9be5ea7f5cd20aecf314fa745
Langford/
Langford-m1-k4/
Langford-4-04.xml
CSP 16 13 1 16 16 [{"size":16,"count":16}] 2 3 [{"degree":2,"count":8},{"degree":3,"count":8}] 2 16 [{"arity":2,"count":12},{"arity":16,"count":1}] 12 0 [{"type":"intension","count":12},{"type":"allDifferent","count":1}] f dd6a214f99066e660568c13d3c1c97b8
Langford/
Langford-m1-k4/
Langford-4-05.xml
CSP 20 16 1 20 20 [{"size":20,"count":20}] 2 3 [{"degree":2,"count":10},{"degree":3,"count":10}] 2 20 [{"arity":2,"count":15},{"arity":20,"count":1}] 15 0 [{"type":"intension","count":15},{"type":"allDifferent","count":1}] f dcd698711e12f83e61e612819d8effe3
Langford/
Langford-m1-k4/
Langford-4-35.xml
CSP 140 106 1 140 140 [{"size":140,"count":140}] 2 3 [{"degree":2,"count":70},{"degree":3,"count":70}] 2 140 [{"arity":2,"count":105},{"arity":140,"count":1}] 105 0 [{"type":"intension","count":105},{"type":"allDifferent","count":1}] f a55c0e76347529fc2e2a84bb664efaa0
Langford/
Langford-m2-s1/
LangfordBin-16.xml
CSP 64 48 2 16 32 [{"size":16,"count":32},{"size":32,"count":32}] 2 32 [{"degree":2,"count":32},{"degree":32,"count":32}] 2 33 [{"arity":2,"count":16},{"arity":33,"count":32}] 16 0 [{"type":"intension","count":16},{"type":"element","count":32}] f 27c67f30ca0ef1b1bbbeaa4cb2c2f178
Langford/
Langford-m2-s1/
LangfordBin-18.xml
CSP 72 54 2 18 36 [{"size":18,"count":36},{"size":36,"count":36}] 2 36 [{"degree":2,"count":36},{"degree":36,"count":36}] 2 37 [{"arity":2,"count":18},{"arity":37,"count":36}] 18 0 [{"type":"intension","count":18},{"type":"element","count":36}] f 2eb0e4a14086f4f78b25f1ea6eeffb68
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
Langford/
Langford-m2-s1/
LangfordBin-19.xml
CSP 76 57 2 19 38 [{"size":19,"count":38},{"size":38,"count":38}] 2 38 [{"degree":2,"count":38},{"degree":38,"count":38}] 2 39 [{"arity":2,"count":19},{"arity":39,"count":38}] 19 0 [{"type":"intension","count":19},{"type":"element","count":38}] f 13382dc3b02e119e78eeacc23771b1ff
Langford/
Langford-m2-s1/
LangfordBin-30.xml
CSP 120 90 2 30 60 [{"size":30,"count":60},{"size":60,"count":60}] 2 60 [{"degree":2,"count":60},{"degree":60,"count":60}] 2 61 [{"arity":2,"count":30},{"arity":61,"count":60}] 30 0 [{"type":"intension","count":30},{"type":"element","count":60}] f cfab102c91084e040090bf0c1bc6cb0b
Langford/
Langford-m2-s1/
LangfordBin-45.xml
CSP 180 135 2 45 90 [{"size":45,"count":90},{"size":90,"count":90}] 2 90 [{"degree":2,"count":90},{"degree":90,"count":90}] 2 91 [{"arity":2,"count":45},{"arity":91,"count":90}] 45 0 [{"type":"intension","count":45},{"type":"element","count":90}] f d06dfc4a92b3645075aa026a1be187ca
Langford/
Langford-m2-s1/
LangfordBin-90.xml
CSP 360 270 2 90 180 [{"size":90,"count":180},{"size":180,"count":180}] 2 180 [{"degree":2,"count":180},{"degree":180,"count":180}] 2 181 [{"arity":2,"count":90},{"arity":181,"count":180}] 90 0 [{"type":"intension","count":90},{"type":"element","count":180}] f 2a5b3790b47e1c2f5ad8b085143681cb
LatinSquare/
LatinSquare-xcsp2-bqwh15-106/
bqwh-15-106-35_X2.xml
CSP 106 30 100 1 6 [{"size":1,"count":1},{"size":2,"count":5},{"size":3,"count":26},{"size":4,"count":44},{"size":5,"count":24},{"size":6,"count":6}] 2 2 [{"degree":2,"count":106}] 7 8 [{"arity":7,"count":28},{"arity":8,"count":2}] 0 0 [{"type":"allDifferent","count":30}] f ab30f8480024db177cfb71d5b6a3c388
LatinSquare/
LatinSquare-xcsp2-bqwh15-106/
bqwh-15-106-36_X2.xml
CSP 106 30 99 1 6 [{"size":1,"count":1},{"size":2,"count":15},{"size":3,"count":35},{"size":4,"count":42},{"size":5,"count":9},{"size":6,"count":4}] 2 2 [{"degree":2,"count":106}] 7 8 [{"arity":7,"count":28},{"arity":8,"count":2}] 0 0 [{"type":"allDifferent","count":30}] f 419f192ede46110223acbf79f19a6c6b
LatinSquare/
LatinSquare-xcsp2-bqwh18-141/
bqwh-18-141-09_X2.xml
CSP 141 36 135 1 6 [{"size":1,"count":2},{"size":2,"count":12},{"size":3,"count":46},{"size":4,"count":46},{"size":5,"count":30},{"size":6,"count":5}] 2 2 [{"degree":2,"count":141}] 7 8 [{"arity":7,"count":6},{"arity":8,"count":30}] 0 0 [{"type":"allDifferent","count":36}] f 3927061b54d08ef3cfb581eb06b148ef
LatinSquare/
LatinSquare-xcsp2-bqwh18-141/
bqwh-18-141-31_X2.xml
CSP 141 36 132 1 7 [{"size":1,"count":2},{"size":2,"count":9},{"size":3,"count":32},{"size":4,"count":50},{"size":5,"count":33},{"size":6,"count":14},{"size":7,"count":1}] 2 2 [{"degree":2,"count":141}] 7 8 [{"arity":7,"count":6},{"arity":8,"count":30}] 0 0 [{"type":"allDifferent","count":36}] f abc615a3402994e7b41e934fabdebd2e
LatinSquare/
LatinSquare-xcsp2-bqwh18-141/
bqwh-18-141-83_X2.xml
CSP 141 36 135 1 6 [{"size":1,"count":3},{"size":2,"count":17},{"size":3,"count":40},{"size":4,"count":53},{"size":5,"count":25},{"size":6,"count":3}] 2 2 [{"degree":2,"count":141}] 7 8 [{"arity":7,"count":6},{"arity":8,"count":30}] 0 0 [{"type":"allDifferent","count":36}] f 5f6a68e2f4133a0c729ef851544e7957
LatinSquare/
LatinSquare-xcsp2-qwh10/
qwh-10-57-7_X2.xml
CSP 100 900 11 1 10 [{"size":1,"count":43},{"size":10,"count":57}] 18 18 [{"degree":18,"count":100}] 2 2 [{"arity":2,"count":900}] 0 900 [{"type":"extension","count":900}] f a3870f7360a399087a577316c39ea51f
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-004.xml
COP 19 12 7 2 7 [{"size":2,"count":11},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":1},{"size":7,"count":1}] 0 3 [{"degree":0,"count":3},{"degree":2,"count":12},{"degree":3,"count":4}] 2 4 [{"arity":2,"count":4},{"arity":3,"count":7},{"arity":4,"count":1}] 9 0 [{"type":"intension","count":9},{"type":"sum","count":3}] t min SUM b220eda080bc853662ea3d9fecf431a6
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-011.xml
COP 131 75 21 2 21 [{"size":2,"count":67},{"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":13,"count":1},{"size":15,"count":1},{"size":17,"count":1},{"size":19,"count":1},{"size":21,"count":1}] 0 10 [{"degree":0,"count":45},{"degree":2,"count":75},{"degree":10,"count":11}] 2 11 [{"arity":2,"count":11},{"arity":3,"count":56},{"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}] 65 0 [{"type":"intension","count":65},{"type":"sum","count":10}] t min SUM f63a1d69196369b30b13838bf3675f5d
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-015.xml
COP 239 133 29 2 29 [{"size":2,"count":121},{"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":17,"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}] 0 14 [{"degree":0,"count":91},{"degree":2,"count":133},{"degree":14,"count":15}] 2 15 [{"arity":2,"count":15},{"arity":3,"count":106},{"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}] 119 0 [{"type":"intension","count":119},{"type":"sum","count":14}] t min SUM bc2f8d4b91081a5d55245e328f9be905
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-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-036.xml
COP 1331 700 71 2 71 [{"size":2,"count":667},{"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":30,"count":1}, {"size":31,"count":2}, {"size":32,"count":1}, {"size":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"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}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}] 0 35 [{"degree":0,"count":595},{"degree":2,"count":700},{"degree":35,"count":36}] 2 36 [{"arity":2,"count":36},{"arity":3,"count":631},{"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}] 665 0 [{"type":"intension","count":665},{"type":"sum","count":35}] t min SUM c07c58ac36c79f91eadbbae5e125078d
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-040.xml
COP 1639 858 79 2 79 [{"size":2,"count":821},{"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":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"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}, {"size":77,"count":1}, {"size":79,"count":1}] 0 39 [{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}] 2 40 [{"arity":2,"count":40},{"arity":3,"count":781},{"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},{"arity":39,"count":1},{"arity":40,"count":1}] 819 0 [{"type":"intension","count":819},{"type":"sum","count":39}] t min SUM 4e9e0842de773da2d9de44121d9bf85e
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-042.xml
COP 1805 943 83 2 83 [{"size":2,"count":904},{"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":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"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}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}] 0 41 [{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}] 2 42 [{"arity":2,"count":42},{"arity":3,"count":862},{"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},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}] 902 0 [{"type":"intension","count":902},{"type":"sum","count":41}] t min SUM 406abf126875c7059afeaa5170034bef
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-054.xml
COP 2969 1537 107 2 107 [{"size":2,"count":1486},{"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":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}] 0 53 [{"degree":0,"count":1378},{"degree":2,"count":1537},{"degree":53,"count":54}] 2 54 [{"arity":2,"count":54},{"arity":3,"count":1432},{"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":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}] 1484 0 [{"type":"intension","count":1484},{"type":"sum","count":53}] t min SUM d63f0cb62453ec1939b86e2392ab6ad9
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-055.xml
COP 3079 1593 109 2 109 [{"size":2,"count":1541},{"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":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}] 0 54 [{"degree":0,"count":1431},{"degree":2,"count":1593},{"degree":54,"count":55}] 2 55 [{"arity":2,"count":55},{"arity":3,"count":1486},{"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":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}] 1539 0 [{"type":"intension","count":1539},{"type":"sum","count":54}] t min SUM 02db274482b93fdda962f2b7dd8f24e7
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-057.xml
COP 3305 1708 113 2 113 [{"size":2,"count":1654},{"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":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}] 0 56 [{"degree":0,"count":1540},{"degree":2,"count":1708},{"degree":56,"count":57}] 2 57 [{"arity":2,"count":57},{"arity":3,"count":1597},{"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":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}] 1652 0 [{"type":"intension","count":1652},{"type":"sum","count":56}] t min SUM d88ca393bf757462df4053a6ee529819
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-069.xml
COP 4829 2482 137 2 137 [{"size":2,"count":2416},{"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":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}, {"size":135,"count":1}, {"size":137,"count":1}] 0 68 [{"degree":0,"count":2278},{"degree":2,"count":2482},{"degree":68,"count":69}] 2 69 [{"arity":2,"count":69},{"arity":3,"count":2347},{"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":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}, {"arity":68,"count":1}, {"arity":69,"count":1}] 2414 0 [{"type":"intension","count":2414},{"type":"sum","count":68}] t min SUM e65d1522f1056f49054155eb060914b2
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-081.xml
COP 6641 3400 161 2 161 [{"size":2,"count":3322},{"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":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}] 0 80 [{"degree":0,"count":3160},{"degree":2,"count":3400},{"degree":80,"count":81}] 2 81 [{"arity":2,"count":81},{"arity":3,"count":3241},{"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":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}] 3320 0 [{"type":"intension","count":3320},{"type":"sum","count":80}] t min SUM 30f67468f9f3ef5a617cbd1472c869c8
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-084.xml
COP 7139 3652 167 2 167 [{"size":2,"count":3571},{"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":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}] 0 83 [{"degree":0,"count":3403},{"degree":2,"count":3652},{"degree":83,"count":84}] 2 84 [{"arity":2,"count":84},{"arity":3,"count":3487},{"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":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}] 3569 0 [{"type":"intension","count":3569},{"type":"sum","count":83}] t min SUM 0731e2512da3574fe37fc3f03b16a729
LowAutocorrelation/
LowAutocorrelation-m1-s1/
LowAutocorrelation-096.xml
COP 9311 4750 191 2 191 [{"size":2,"count":4657},{"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":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}, {"size":181,"count":1}, {"size":183,"count":1}, {"size":185,"count":1}, {"size":187,"count":1}, {"size":189,"count":1}, {"size":191,"count":1}] 0 95 [{"degree":0,"count":4465},{"degree":2,"count":4750},{"degree":95,"count":96}] 2 96 [{"arity":2,"count":96},{"arity":3,"count":4561},{"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":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}, {"arity":91,"count":1}, {"arity":92,"count":1}, {"arity":93,"count":1}, {"arity":94,"count":1}, {"arity":95,"count":1}, {"arity":96,"count":1}] 4655 0 [{"type":"intension","count":4655},{"type":"sum","count":95}] t min SUM 5bf1605d7392d1261526feabe1cfbecc
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-02-0000.xml
CSP 9 16 1 7 7 [{"size":7,"count":7}] 0 9 [{"degree":0,"count":2},{"degree":4,"count":1},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 7 [{"arity":2,"count":12},{"arity":3,"count":3},{"arity":7,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":9}] f 8b819236af280311daec7c53b622bca4
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-08-0051.xml
CSP 225 52 1 169 169 [{"size":169,"count":169}] 0 9 [{"degree":0,"count":56},{"degree":4,"count":163},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 169 [{"arity":2,"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":6},{"arity":14,"count":6},{"arity":15,"count":3},{"arity":169,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":45}] f fb5cbe687ffccd3d5e194b95b956a5e6
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-08-0081.xml
CSP 225 52 1 169 169 [{"size":169,"count":169}] 0 9 [{"degree":0,"count":56},{"degree":4,"count":163},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 169 [{"arity":2,"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":6},{"arity":14,"count":6},{"arity":15,"count":3},{"arity":169,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":45}] f e46647acbda97830867cbaf6bce42852
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-10-m021.xml
CSP 361 64 1 271 271 [{"size":271,"count":271}] 0 9 [{"degree":0,"count":90},{"degree":4,"count":265},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] 2 271 [{"arity":2,"count":6},{"arity":10,"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":3},{"arity":271,"count":1}] 6 0 [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":57}] f bb8f18d9394a9daa2d276ef3f55d21f6
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-11-0066.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 0b8750a079fea2eda3490f2b84dad210
MagicHexagon/
MagicHexagon-m1-s1/
MagicHexagon-11-m186.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 2292861bb3d975c21318ff2a994feaed
MagicSquare/
MagicSquare-sum-s1/
MagicSquare-18-sum.xml
CSP 324 39 1 324 324 [{"size":324,"count":324}] 3 4 [{"degree":3,"count":288},{"degree":4,"count":36}] 18 324 [{"arity":18,"count":38},{"arity":324,"count":1}] 0 0 [{"type":"allDifferent","count":1},{"type":"sum","count":38}] f 40b0c6db816080e4c80df053621860bd
MagicSquare/
MagicSquare-sum-s1/
MagicSquare-22-sum.xml
CSP 484 47 1 484 484 [{"size":484,"count":484}] 3 4 [{"degree":3,"count":440},{"degree":4,"count":44}] 22 484 [{"arity":22,"count":46},{"arity":484,"count":1}] 0 0 [{"type":"allDifferent","count":1},{"type":"sum","count":46}] f 9d2f02dd2333c70ec17cc1afaa6594ca
MagicSquare/
MagicSquare-sum-s1/
MagicSquare-23-sum.xml
CSP 529 49 1 529 529 [{"size":529,"count":529}] 3 5 [{"degree":3,"count":484},{"degree":4,"count":44},{"degree":5,"count":1}] 23 529 [{"arity":23,"count":48},{"arity":529,"count":1}] 0 0 [{"type":"allDifferent","count":1},{"type":"sum","count":48}] f d4be5d2e2f36b13e59ce195ffddd0d7a
MagicSquare/
MagicSquare-sum-s1/
MagicSquare-25-sum.xml
CSP 625 53 1 625 625 [{"size":625,"count":625}] 3 5 [{"degree":3,"count":576},{"degree":4,"count":48},{"degree":5,"count":1}] 25 625 [{"arity":25,"count":52},{"arity":625,"count":1}] 0 0 [{"type":"allDifferent","count":1},{"type":"sum","count":52}] f c23772f07578de48c6397f5cf6688c4d
MagicSquare/
MagicSquare-sum-s1/
MagicSquare-26-sum.xml
CSP 676 55 1 676 676 [{"size":676,"count":676}] 3 4 [{"degree":3,"count":624},{"degree":4,"count":52}] 26 676 [{"arity":26,"count":54},{"arity":676,"count":1}] 0 0 [{"type":"allDifferent","count":1},{"type":"sum","count":54}] f 3448e9886530ade698bbe26313ab484d
MagicSquare/
MagicSquare-sum-s1/
MagicSquare-3-sum.xml
CSP 9 9 1 9 9 [{"size":9,"count":9}] 3 5 [{"degree":3,"count":4},{"degree":4,"count":4},{"degree":5,"count":1}] 3 9 [{"arity":3,"count":8},{"arity":9,"count":1}] 0 0 [{"type":"allDifferent","count":1},{"type":"sum","count":8}] f ca2d806de83af3c819ab21bd14c5c027
MagicSquare/
MagicSquare-table-s1/
MagicSquare-3-table.xml
CSP 9 9 1 9 9 [{"size":9,"count":9}] 3 5 [{"degree":3,"count":4},{"degree":4,"count":4},{"degree":5,"count":1}] 3 9 [{"arity":3,"count":8},{"arity":9,"count":1}] 0 8 [{"type":"extension","count":8},{"type":"allDifferent","count":1}] f 253ccafa7ccd9fd648fe4b7dffc559d7
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
MagicSquare/
MagicSquare-table-s1/
MagicSquare-4-table.xml
CSP 16 11 1 16 16 [{"size":16,"count":16}] 3 4 [{"degree":3,"count":8},{"degree":4,"count":8}] 4 16 [{"arity":4,"count":10},{"arity":16,"count":1}] 0 10 [{"type":"extension","count":10},{"type":"allDifferent","count":1}] f 357eaf341d1b4da225023d563e3758c1
MagicSquare/
MagicSquare-table-s1/
MagicSquare-5-table.xml
CSP 25 13 1 25 25 [{"size":25,"count":25}] 3 5 [{"degree":3,"count":16},{"degree":4,"count":8},{"degree":5,"count":1}] 5 25 [{"arity":5,"count":12},{"arity":25,"count":1}] 0 12 [{"type":"extension","count":12},{"type":"allDifferent","count":1}] f 61ed6ce3ae3f811d4d1b54502d982bfc
MagicSquare/
MagicSquare-table-s1/
MagicSquare-6-table.xml
CSP 36 15 1 36 36 [{"size":36,"count":36}] 3 4 [{"degree":3,"count":24},{"degree":4,"count":12}] 6 36 [{"arity":6,"count":14},{"arity":36,"count":1}] 0 14 [{"type":"extension","count":14},{"type":"allDifferent","count":1}] f cfc552cbb2ce3301e89528d2cd5bb011
MarketSplit/
MarketSplit-m1-gp/
MarketSplit-03.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 179d2a128a53b26e9bde33d3c842c186
MarketSplit/
MarketSplit-m1-gp/
MarketSplit-05.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 ea540cd06a6319d4cfbd19a531a1ad9c
MarketSplit/
MarketSplit-m1-gp/
MarketSplit-07.xml
CSP 30 4 1 2 2 [{"size":2,"count":30}] 3 4 [{"degree":3,"count":2},{"degree":4,"count":28}] 29 30 [{"arity":29,"count":2},{"arity":30,"count":2}] 0 0 [{"type":"sum","count":4}] f 36a2ff8d03acaab45f9eaaf5db6acf0d
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
MarketSplit/
MarketSplit-m1-gp/
MarketSplit-09.xml
CSP 30 4 1 2 2 [{"size":2,"count":30}] 3 4 [{"degree":3,"count":1},{"degree":4,"count":29}] 29 30 [{"arity":29,"count":1},{"arity":30,"count":3}] 0 0 [{"type":"sum","count":4}] f dabf91d1abe3f942053f99cb79a60185
MarketSplit/
MarketSplit-m1-gp/
MarketSplit-10.xml
CSP 30 4 1 2 2 [{"size":2,"count":30}] 3 4 [{"degree":3,"count":1},{"degree":4,"count":29}] 29 30 [{"arity":29,"count":1},{"arity":30,"count":3}] 0 0 [{"type":"sum","count":4}] f 12bfb070d62c3c52bb7bd12298b2d530
Mixed/
Mixed-xcsp2-cril/
cril-1_X2.xml
CSP 680 4015 5 6 34 [{"size":6,"count":2},{"size":19,"count":4},{"size":22,"count":10},{"size":27,"count":336},{"size":34,"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":88},{"degree":10,"count":29},{"degree":11,"count":43},{"degree":12,"count":25},{"degree":13,"count":41},{"degree":14,"count":15},{"degree":15,"count":39},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":8},{"degree":19,"count":18},{"degree":20,"count":17},{"degree":21,"count":18},{"degree":22,"count":6},{"degree":23,"count":11},{"degree":24,"count":7},{"degree":25,"count":5},{"degree":27,"count":5},{"degree":29,"count":2},{"degree":30,"count":2},{"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":4015}] 0 4015 [{"type":"extension","count":4015}] f dd2597fd45b2b65539ad35fe2cbcb377
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
Mixed/
Mixed-xcsp2-cril/
cril-3_X2.xml
CSP 208 2032 2 8 10 [{"size":8,"count":200},{"size":10,"count":8}] 5 32 [{"degree":5,"count":1},{"degree":6,"count":3},{"degree":7,"count":3},{"degree":10,"count":2},{"degree":11,"count":3},{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":6},{"degree":15,"count":16},{"degree":16,"count":15},{"degree":17,"count":10},{"degree":18,"count":21},{"degree":19,"count":18},{"degree":20,"count":20},{"degree":21,"count":16},{"degree":22,"count":11},{"degree":23,"count":13},{"degree":24,"count":15},{"degree":25,"count":10},{"degree":26,"count":8},{"degree":27,"count":6},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":1},{"degree":32,"count":1}] 2 2 [{"arity":2,"count":2032}] 0 2032 [{"type":"extension","count":2032}] f 1e218b1676f4744e41059e6970885014
Mixed/
Mixed-xcsp2-cril/
cril-5_X2.xml
CSP 42 861 2 9 81 [{"size":9,"count":9},{"size":81,"count":33}] 41 41 [{"degree":41,"count":42}] 2 2 [{"arity":2,"count":861}] 0 861 [{"type":"extension","count":861}] f 9f1da41f530ff2c695c2aeb349644036
Mixed/
Mixed-xcsp2-cril/
cril-7_X2.xml
CSP 36 153 1 9 9 [{"size":9,"count":36}] 9 9 [{"degree":9,"count":36}] 2 4 [{"arity":2,"count":144},{"arity":4,"count":9}] 0 153 [{"type":"extension","count":153}] f 5e218b581bf3702f20459c06ac876610
Mixed/
Mixed-xcsp2-nengfa/
color_X2.xml
CSP 500 12458 1 5 5 [{"size":5,"count":500}] 34 68 [{"degree":34,"count":1},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":6},{"degree":38,"count":5},{"degree":39,"count":13},{"degree":40,"count":10},{"degree":41,"count":15},{"degree":42,"count":17},{"degree":43,"count":22},{"degree":44,"count":21},{"degree":45,"count":21},{"degree":46,"count":22},{"degree":47,"count":25},{"degree":48,"count":32},{"degree":49,"count":36},{"degree":50,"count":24},{"degree":51,"count":27},{"degree":52,"count":25},{"degree":53,"count":26},{"degree":54,"count":26},{"degree":55,"count":21},{"degree":56,"count":23},{"degree":57,"count":9},{"degree":58,"count":15},{"degree":59,"count":14},{"degree":60,"count":9},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":6},{"degree":64,"count":4},{"degree":65,"count":3},{"degree":66,"count":1},{"degree":67,"count":2},{"degree":68,"count":2}] 2 2 [{"arity":2,"count":12458}] 12458 0 [{"type":"intension","count":12458}] f 3d90545a2544e89e20aca976efad7b9e
Mixed/
Mixed-xcsp2-nengfa/
sudoku368_X2.xml
CSP 1309 75 294 1 11 [{"size":1,"count":1026},{"size":2,"count":49},{"size":3,"count":42},{"size":4,"count":45},{"size":5,"count":45},{"size":6,"count":37},{"size":7,"count":36},{"size":8,"count":18},{"size":9,"count":7},{"size":10,"count":3},{"size":11,"count":1}] 1 3 [{"degree":1,"count":1026},{"degree":3,"count":283}] 25 25 [{"arity":25,"count":75}] 0 0 [{"type":"allDifferent","count":75}] f 28d39503ad45e82e9eafc3470842d788
MultiKnapsack/
MultiKnapsack-m1-gp/
MultiKnapsack-1-03.xml
CSP 20 11 1 2 2 [{"size":2,"count":20}] 11 11 [{"degree":11,"count":20}] 20 20 [{"arity":20,"count":11}] 0 0 [{"type":"sum","count":11}] f 5764a69188b0fe12059f9d6ff06a642a
MultiKnapsack/
MultiKnapsack-m1-gp/
MultiKnapsack-2-16.xml
CSP 40 6 1 2 2 [{"size":2,"count":40}] 6 6 [{"degree":6,"count":40}] 40 40 [{"arity":40,"count":6}] 0 0 [{"type":"sum","count":6}] f 67961b7ea87b4668bb1c5673d941fd25
MultiKnapsack/
MultiKnapsack-m1-gp/
MultiKnapsack-2-21.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 a520f7bdef93e5ae7ef819bccf245cc1
MultiKnapsack/
MultiKnapsack-m1-gp/
MultiKnapsack-2-22.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 63c49c4fa2f593a3284d3df8e40494dc
MultiKnapsack/
MultiKnapsack-m1-gp/
MultiKnapsack-2-41.xml
CSP 27 5 1 2 2 [{"size":2,"count":27}] 5 5 [{"degree":5,"count":27}] 27 27 [{"arity":27,"count":5}] 0 0 [{"type":"sum","count":5}] f f335f4ada48cb5fc5845d54f24347b83
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
MultiKnapsack/
MultiKnapsack-m1-gp/
MultiKnapsack-2-48.xml
CSP 35 5 1 2 2 [{"size":2,"count":35}] 5 5 [{"degree":5,"count":35}] 35 35 [{"arity":35,"count":5}] 0 0 [{"type":"sum","count":5}] f fdc0acb1128a6a46ad14275048f2788c
MultiKnapsack/
MultiKnapsack-xcsp2-s1/
MultiKnapsack-1-5_X2.xml
CSP 39 6 1 2 2 [{"size":2,"count":39}] 6 6 [{"degree":6,"count":39}] 39 39 [{"arity":39,"count":6}] 0 0 [{"type":"sum","count":6}] f 58d51a5d539b0399af5b71a286eaf592
MultiKnapsack/
MultiKnapsack-xcsp2-s1/
MultiKnapsack-1-6_X2.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 2db28deb13cd993d5df964576e04fc69
Nonogram/
Nonogram-table-s1/
Nonogram-018-table.xml
CSP 576 48 1 2 2 [{"size":2,"count":576}] 2 2 [{"degree":2,"count":576}] 24 24 [{"arity":24,"count":48}] 0 48 [{"type":"extension","count":48}] f 06f35635cf179af3a8dff5d700ef13b9
Nonogram/
Nonogram-table-s1/
Nonogram-035-table.xml
CSP 576 48 1 2 2 [{"size":2,"count":576}] 2 2 [{"degree":2,"count":576}] 24 24 [{"arity":24,"count":48}] 0 48 [{"type":"extension","count":48}] f a1986a388496cbad28b51565268569f0
Nonogram/
Nonogram-table-s1/
Nonogram-096-table.xml
CSP 576 48 1 2 2 [{"size":2,"count":576}] 2 2 [{"degree":2,"count":576}] 24 24 [{"arity":24,"count":48}] 0 48 [{"type":"extension","count":48}] f c42d2c129703f9e6d9981e58e561edd8
Nonogram/
Nonogram-table-s1/
Nonogram-168-table.xml
CSP 400 40 1 2 2 [{"size":2,"count":400}] 2 2 [{"degree":2,"count":400}] 20 20 [{"arity":20,"count":40}] 0 40 [{"type":"extension","count":40}] f 174051e57660c3bc727bfa621c6336b5
Nonogram/
Nonogram-table-s1/
Nonogram-177-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 eaf256e64a83d7c4e150266ca28bf728
Nonogram/
Nonogram-table-s1/
Nonogram-180-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 1e220e1fd8b953212811c31efb349042
PigeonsPlus/
PigeonsPlus-m1-s1/
pigeonsPlus-07-05.xml
CSP 42 35 2 6 7 [{"size":6,"count":7},{"size":7,"count":35}] 1 7 [{"degree":1,"count":28},{"degree":2,"count":7},{"degree":7,"count":7}] 2 5 [{"arity":2,"count":28},{"arity":5,"count":7}] 0 35 [{"type":"extension","count":35}] f a282a8fb153ed79554c4eff8d77ac5b6
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-07-08.xml
CSP 63 35 2 6 7 [{"size":6,"count":7},{"size":7,"count":56}] 1 7 [{"degree":1,"count":49},{"degree":2,"count":7},{"degree":7,"count":7}] 2 8 [{"arity":2,"count":28},{"arity":8,"count":7}] 0 35 [{"type":"extension","count":35}] f b710198e3fe52a2d3e46aa4557e690ea
PigeonsPlus/
PigeonsPlus-m1-s1/
pigeonsPlus-07-09.xml
CSP 70 35 2 6 7 [{"size":6,"count":7},{"size":7,"count":63}] 1 7 [{"degree":1,"count":56},{"degree":2,"count":7},{"degree":7,"count":7}] 2 9 [{"arity":2,"count":28},{"arity":9,"count":7}] 0 35 [{"type":"extension","count":35}] f bf36af344ce91645c9e055d2da140f7c
PigeonsPlus/
PigeonsPlus-m1-s1/
pigeonsPlus-08-04.xml
CSP 40 44 2 7 8 [{"size":7,"count":8},{"size":8,"count":32}] 1 8 [{"degree":1,"count":24},{"degree":2,"count":8},{"degree":8,"count":8}] 2 4 [{"arity":2,"count":36},{"arity":4,"count":8}] 0 44 [{"type":"extension","count":44}] f a094c1a200b315678489c063b9aa94f6
PigeonsPlus/
PigeonsPlus-m1-s1/
pigeonsPlus-09-03.xml
CSP 36 54 2 8 9 [{"size":8,"count":9},{"size":9,"count":27}] 1 9 [{"degree":1,"count":18},{"degree":2,"count":9},{"degree":9,"count":9}] 2 3 [{"arity":2,"count":45},{"arity":3,"count":9}] 0 54 [{"type":"extension","count":54}] f 944781a71279aa84e7aac7ce597bf3c8
PigeonsPlus/
PigeonsPlus-m1-s1/
pigeonsPlus-11-04.xml
CSP 55 77 2 10 11 [{"size":10,"count":11},{"size":11,"count":44}] 1 11 [{"degree":1,"count":33},{"degree":2,"count":11},{"degree":11,"count":11}] 2 4 [{"arity":2,"count":66},{"arity":4,"count":11}] 0 77 [{"type":"extension","count":77}] f de9211f741ec47eeb5ead1f5842e57a8
Primes/Primes-m1-p10/
Primes-10-20-3-3.xml
CSP 100 20 1 28 28 [{"size":28,"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 c75dc7691cc0d241760bec76a0a96dfe
Primes/Primes-m1-p10/
Primes-10-60-3-3.xml
CSP 100 60 1 28 28 [{"size":28,"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 a24e7222a5a2ec30919d0297100f43ac
Primes/Primes-m1-p15/
Primes-15-20-2-5.xml
CSP 100 20 1 46 46 [{"size":46,"count":63}] 0 4 [{"degree":0,"count":37},{"degree":1,"count":34},{"degree":2,"count":23},{"degree":3,"count":5},{"degree":4,"count":1}] 3 7 [{"arity":3,"count":4},{"arity":4,"count":5},{"arity":5,"count":3},{"arity":6,"count":4},{"arity":7,"count":4}] 0 0 [{"type":"sum","count":20}] f 5c2f9b3786fd2492c99150ec9cf810b1
Primes/Primes-m1-p15/
Primes-15-60-3-5.xml
CSP 100 60 1 46 46 [{"size":46,"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 cb28c088349c564a44b865f26515e86f
Primes/Primes-m1-p20/
Primes-20-40-2-1.xml
CSP 100 40 1 70 70 [{"size":70,"count":66}] 0 4 [{"degree":0,"count":34},{"degree":1,"count":37},{"degree":2,"count":24},{"degree":3,"count":4},{"degree":4,"count":1}] 2 3 [{"arity":2,"count":19},{"arity":3,"count":21}] 0 0 [{"type":"sum","count":40}] f c9e77eb945e1668088372780fa45332f
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-p30/
Primes-30-60-3-1.xml
CSP 100 60 1 112 112 [{"size":112,"count":87}] 0 6 [{"degree":0,"count":13},{"degree":1,"count":23},{"degree":2,"count":26},{"degree":3,"count":21},{"degree":4,"count":10},{"degree":5,"count":5},{"degree":6,"count":2}] 3 4 [{"arity":3,"count":25},{"arity":4,"count":35}] 0 0 [{"type":"sum","count":60}] f 6306de3e407159e9ecd102c48acf4c13
PropStress/
PropStress-m1-s1/
PropStress-0020.xml
CSP 42 251 1 401 401 [{"size":401,"count":42}] 2 21 [{"degree":2,"count":1},{"degree":3,"count":19},{"degree":20,"count":19},{"degree":21,"count":3}] 2 2 [{"arity":2,"count":251}] 251 0 [{"type":"intension","count":251}] f 5d39d785165af6ca3b6eb979dd894859
PropStress/
PropStress-m1-s1/
PropStress-0100.xml
CSP 202 5251 1 10001 10001 [{"size":10001,"count":202}] 2 101 [{"degree":2,"count":1},{"degree":3,"count":99},{"degree":100,"count":99},{"degree":101,"count":3}] 2 2 [{"arity":2,"count":5251}] 5251 0 [{"type":"intension","count":5251}] f 19a1ccc0f05ea1d1bfe58729015e10bb
PropStress/
PropStress-m1-s1/
PropStress-0150.xml
CSP 302 11626 1 22501 22501 [{"size":22501,"count":302}] 2 151 [{"degree":2,"count":1},{"degree":3,"count":149},{"degree":150,"count":149},{"degree":151,"count":3}] 2 2 [{"arity":2,"count":11626}] 11626 0 [{"type":"intension","count":11626}] f b9bf68be3b756b1f34bbd3d4e06d542d
PropStress/
PropStress-m1-s1/
PropStress-0250.xml
CSP 502 31876 1 62501 62501 [{"size":62501,"count":502}] 2 251 [{"degree":2,"count":1},{"degree":3,"count":249},{"degree":250,"count":249},{"degree":251,"count":3}] 2 2 [{"arity":2,"count":31876}] 31876 0 [{"type":"intension","count":31876}] f fc49515a3b3121bae6777db9cebdf786
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-0600.xml
CSP 1202 181501 1 360001 360001 [{"size":360001,"count":1202}] 2 601 [{"degree":2,"count":1},{"degree":3,"count":599},{"degree":600,"count":599},{"degree":601,"count":3}] 2 2 [{"arity":2,"count":181501}] 181501 0 [{"type":"intension","count":181501}] f a04cbf963a24580000cf8d80e23a65fb
PseudoBoolean/
PseudoBoolean-dec-fpga/
Pb-chnl15-16.xml
CSP 480 62 1 2 2 [{"size":2,"count":480}] 2 2 [{"degree":2,"count":480}] 15 16 [{"arity":15,"count":32},{"arity":16,"count":30}] 0 0 [{"type":"sum","count":62}] f 8b2f27ca9e664fd505b84cd8dff1749a
PseudoBoolean/
PseudoBoolean-dec-pigeon/
Pb-pigeon-card-085-080.xml
CSP 6800 165 1 2 2 [{"size":2,"count":6800}] 2 2 [{"degree":2,"count":6800}] 80 85 [{"arity":80,"count":85},{"arity":85,"count":80}] 0 0 [{"type":"sum","count":165}] f 28cd33bc142e306671660e6b259caafc
PseudoBoolean/
PseudoBoolean-dec-queen/
Pb-queen-0974553.xml
CSP 169 101 1 2 2 [{"size":2,"count":169}] 7 9 [{"degree":7,"count":148},{"degree":8,"count":20},{"degree":9,"count":1}] 2 169 [{"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":56},{"arity":169,"count":1}] 0 0 [{"type":"sum","count":101}] f 4e023da1984a585e160fb8158e2a8b72
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-spng/
Pb-NG-K145.xml
CSP 17255 17547 1 2 2 [{"size":2,"count":17255}] 3 12 [{"degree":3,"count":1},{"degree":4,"count":273},{"degree":5,"count":1771},{"degree":6,"count":7755},{"degree":7,"count":4732},{"degree":8,"count":1862},{"degree":9,"count":574},{"degree":10,"count":143},{"degree":11,"count":1},{"degree":12,"count":143}] 1 145 [{"arity":1,"count":2},{"arity":2,"count":1872},{"arity":3,"count":7776},{"arity":4,"count":4752},{"arity":5,"count":2016},{"arity":6,"count":432},{"arity":7,"count":144},{"arity":9,"count":144},{"arity":119,"count":290},{"arity":145,"count":119}] 0 0 [{"type":"sum","count":17547}] f 5e6b89adf4cff092dc7bbd8ab430815e
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
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-opt-dimacs/
Pb-aim-050-3-4-yes1-1.xml
COP 100 220 1 2 2 [{"size":2,"count":100}] 7 8 [{"degree":7,"count":90},{"degree":8,"count":10}] 2 3 [{"arity":2,"count":50},{"arity":3,"count":170}] 0 0 [{"type":"sum","count":220}] t min SUM 8915323a63a61e038cba0700c5a637e2
PseudoBoolean/
PseudoBoolean-opt-dimacs/
Pb-ii08a1.xml
COP 132 252 1 2 2 [{"size":2,"count":132}] 3 10 [{"degree":3,"count":27},{"degree":4,"count":36},{"degree":5,"count":18},{"degree":6,"count":18},{"degree":7,"count":9},{"degree":8,"count":6},{"degree":10,"count":18}] 2 8 [{"arity":2,"count":234},{"arity":3,"count":6},{"arity":8,"count":12}] 0 0 [{"type":"sum","count":252}] t min SUM aab50c75b1dbb6e151cbb105b2b246fa
PseudoBoolean/
PseudoBoolean-opt-dimacs/
Pb-ii8d2.xml
COP 1860 7477 1 2 2 [{"size":2,"count":1860}] 2 53 [{"degree":2,"count":20},{"degree":3,"count":770},{"degree":6,"count":10},{"degree":8,"count":10},{"degree":10,"count":790},{"degree":11,"count":10},{"degree":12,"count":10},{"degree":15,"count":10},{"degree":16,"count":10},{"degree":17,"count":20},{"degree":19,"count":10},{"degree":21,"count":10},{"degree":25,"count":20},{"degree":30,"count":10},{"degree":35,"count":20},{"degree":37,"count":10},{"degree":38,"count":10},{"degree":39,"count":10},{"degree":40,"count":10},{"degree":41,"count":10},{"degree":42,"count":10},{"degree":43,"count":10},{"degree":44,"count":10},{"degree":45,"count":10},{"degree":46,"count":10},{"degree":48,"count":20},{"degree":53,"count":10}] 2 10 [{"arity":2,"count":7170},{"arity":8,"count":230},{"arity":10,"count":77}] 0 0 [{"type":"sum","count":7477}] t min SUM f6e5619a9394ff6fb9e35a49c1220c66
PseudoBoolean/
PseudoBoolean-opt-domset/
Pb-domset-v500-e2000-w30-mw19-11.xml
COP 473 473 1 2 2 [{"size":2,"count":473}] 5 18 [{"degree":5,"count":4},{"degree":6,"count":18},{"degree":7,"count":57},{"degree":8,"count":74},{"degree":9,"count":73},{"degree":10,"count":67},{"degree":11,"count":50},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":21},{"degree":15,"count":15},{"degree":16,"count":7},{"degree":17,"count":3},{"degree":18,"count":2}] 4 17 [{"arity":4,"count":4},{"arity":5,"count":18},{"arity":6,"count":57},{"arity":7,"count":74},{"arity":8,"count":73},{"arity":9,"count":67},{"arity":10,"count":50},{"arity":11,"count":46},{"arity":12,"count":36},{"arity":13,"count":21},{"arity":14,"count":15},{"arity":15,"count":7},{"arity":16,"count":3},{"arity":17,"count":2}] 0 0 [{"type":"sum","count":473}] t min SUM 4a86fdd9abdf3f491c5a6082e8161c48
PseudoBoolean/
PseudoBoolean-opt-factor/
Pb-factor-S9-P071-Q409.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 00888bf8312be233faaf540b9d46fb52
PseudoBoolean/
PseudoBoolean-opt-factor/
Pb-factor-S9-P167-Q347.xml
COP 99 244 1 2 2 [{"size":2,"count":99}] 4 19 [{"degree":4,"count":81},{"degree":18,"count":9},{"degree":19,"count":9}] 2 81 [{"arity":2,"count":162},{"arity":3,"count":81},{"arity":81,"count":1}] 0 0 [{"type":"sum","count":244}] t min SUM 055772027f3bf668b620351859b542d4
PseudoBoolean/
PseudoBoolean-opt-factor/
Pb-factor-S9-P251-Q379.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 ad4397bc1e7476417756f14988918f59
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-factor/
Pb-factor-S9-P409-Q499.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 57bf69b2358f04f7bb4b500d6093750d
PseudoBoolean/
PseudoBoolean-opt-fs/
Pb-fs-50-250-0-45-90-4-1000.xml
COP 2025 62994 1 2 2 [{"size":2,"count":2025}] 10 121 [{"degree":10,"count":5},{"degree":11,"count":8},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":3},{"degree":15,"count":6},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":3},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":24,"count":1},{"degree":30,"count":1},{"degree":31,"count":4},{"degree":32,"count":15},{"degree":33,"count":16},{"degree":34,"count":32},{"degree":35,"count":24},{"degree":36,"count":30},{"degree":37,"count":27},{"degree":38,"count":21},{"degree":39,"count":19},{"degree":40,"count":4},{"degree":41,"count":7},{"degree":42,"count":1},"...",{"degree":96,"count":34}, {"degree":97,"count":30}, {"degree":98,"count":49}, {"degree":99,"count":64}, {"degree":100,"count":72}, {"degree":101,"count":96}, {"degree":102,"count":113}, {"degree":103,"count":112}, {"degree":104,"count":133}, {"degree":105,"count":128}, {"degree":106,"count":120}, {"degree":107,"count":126}, {"degree":108,"count":97}, {"degree":109,"count":78}, {"degree":110,"count":77}, {"degree":111,"count":68}, {"degree":112,"count":38}, {"degree":113,"count":29}, {"degree":114,"count":22}, {"degree":115,"count":26}, {"degree":116,"count":13}, {"degree":117,"count":10}, {"degree":118,"count":8}, {"degree":120,"count":2}, {"degree":121,"count":1}] 2 3 [{"arity":2,"count":1170},{"arity":3,"count":61824}] 0 0 [{"type":"sum","count":62994}] t min SUM 3ae127b68cfa611bb704d38a0211b659
PseudoBoolean/
PseudoBoolean-opt-gr/
Pb-gr-05.xml
COP 75 104 1 2 2 [{"size":2,"count":75}] 2 62 [{"degree":2,"count":50},{"degree":61,"count":5},{"degree":62,"count":20}] 10 21 [{"arity":10,"count":4},{"arity":11,"count":20},{"arity":16,"count":60},{"arity":21,"count":20}] 0 0 [{"type":"sum","count":104}] t min SUM e9813c111db0babccd5c24a1dd850827
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-marketSplit/
Pb-msplit-7-60-4.xml
COP 61 15 1 2 2 [{"size":2,"count":61}] 2 14 [{"degree":2,"count":1},{"degree":12,"count":2},{"degree":14,"count":58}] 1 60 [{"arity":1,"count":1},{"arity":59,"count":4},{"arity":60,"count":10}] 0 0 [{"type":"sum","count":15}] t min SUM 37d902a8c28836ecb268a87a81b5effe
PseudoBoolean/
PseudoBoolean-opt-mps/
Pb-mps-v2-20-10-l152lav.xml
COP 1989 97 1 2 2 [{"size":2,"count":1989}] 3 8 [{"degree":3,"count":3},{"degree":4,"count":193},{"degree":5,"count":403},{"degree":6,"count":674},{"degree":7,"count":657},{"degree":8,"count":59}] 3 1989 [{"arity":3,"count":1},{"arity":5,"count":1},{"arity":10,"count":1},{"arity":14,"count":1},{"arity":19,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":24,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":31,"count":2},{"arity":32,"count":2},{"arity":35,"count":2},{"arity":37,"count":3},{"arity":40,"count":1},{"arity":42,"count":3},{"arity":43,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":1},{"arity":48,"count":3},{"arity":49,"count":1},{"arity":50,"count":1},{"arity":52,"count":2},"...",{"arity":93,"count":1}, {"arity":94,"count":1}, {"arity":96,"count":3}, {"arity":97,"count":1}, {"arity":102,"count":2}, {"arity":103,"count":1}, {"arity":104,"count":1}, {"arity":106,"count":1}, {"arity":108,"count":2}, {"arity":112,"count":2}, {"arity":114,"count":1}, {"arity":118,"count":1}, {"arity":121,"count":2}, {"arity":123,"count":1}, {"arity":125,"count":1}, {"arity":128,"count":1}, {"arity":129,"count":1}, {"arity":137,"count":1}, {"arity":152,"count":1}, {"arity":160,"count":1}, {"arity":163,"count":1}, {"arity":171,"count":1}, {"arity":218,"count":1}, {"arity":1011,"count":1}, {"arity":1989,"count":1}] 0 0 [{"type":"sum","count":97}] t min SUM e295f86f2e8232e9b7c8210bbc53418f
PseudoBoolean/
PseudoBoolean-opt-mps/
Pb-mps-v2-20-10-sentoy.xml
COP 60 30 1 2 2 [{"size":2,"count":60}] 31 31 [{"degree":31,"count":60}] 60 60 [{"arity":60,"count":30}] 0 0 [{"type":"sum","count":30}] t min SUM f29e5165c598919c9834c408fde8edbe
PseudoBoolean/
PseudoBoolean-opt-radar/
Pb-radar-10-10-45-095-100.xml
COP 435 501 1 2 2 [{"size":2,"count":435}] 2 8 [{"degree":2,"count":3},{"degree":3,"count":38},{"degree":4,"count":135},{"degree":5,"count":118},{"degree":6,"count":126},{"degree":7,"count":1},{"degree":8,"count":14}] 1 16 [{"arity":1,"count":1},{"arity":2,"count":402},{"arity":3,"count":3},{"arity":4,"count":2},{"arity":5,"count":10},{"arity":6,"count":7},{"arity":7,"count":9},{"arity":8,"count":13},{"arity":9,"count":15},{"arity":10,"count":7},{"arity":11,"count":11},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":15,"count":6},{"arity":16,"count":1}] 0 0 [{"type":"sum","count":501}] t min SUM 2e76cba0749e9f6e1c633f9939767035
PseudoBoolean/
PseudoBoolean-opt-routing/
Pb-routing-s3-3-3-1.xml
COP 216 584 1 2 2 [{"size":2,"count":216}] 7 13 [{"degree":7,"count":28},{"degree":8,"count":116},{"degree":9,"count":2},{"degree":10,"count":14},{"degree":12,"count":12},{"degree":13,"count":44}] 2 18 [{"arity":2,"count":210},{"arity":3,"count":302},{"arity":4,"count":60},{"arity":18,"count":12}] 0 0 [{"type":"sum","count":584}] t min SUM d246e7ee644c503b58cd0ccaee57aa1d
PseudoBoolean/
PseudoBoolean-opt-vtxcov/
Pb-vtxcov-v2000-e4000-05.xml
COP 1957 4000 1 2 2 [{"size":2,"count":1957}] 2 12 [{"degree":2,"count":151},{"degree":3,"count":275},{"degree":4,"count":378},{"degree":5,"count":395},{"degree":6,"count":340},{"degree":7,"count":211},{"degree":8,"count":100},{"degree":9,"count":61},{"degree":10,"count":31},{"degree":11,"count":13},{"degree":12,"count":2}] 2 2 [{"arity":2,"count":4000}] 0 0 [{"type":"sum","count":4000}] t min SUM 31e85661316b8aad2d1246d7b0a73c1b
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-15-21-2/
bdd-15-21-2-2713-79-08.xml
CSP 21 2713 1 2 2 [{"size":2,"count":21}] 1910 1982 [{"degree":1910,"count":1},{"degree":1911,"count":1},{"degree":1926,"count":1},{"degree":1929,"count":1},{"degree":1931,"count":3},{"degree":1932,"count":1},{"degree":1933,"count":1},{"degree":1934,"count":2},{"degree":1935,"count":1},{"degree":1938,"count":2},{"degree":1941,"count":2},{"degree":1946,"count":1},{"degree":1948,"count":1},{"degree":1956,"count":1},{"degree":1968,"count":1},{"degree":1982,"count":1}] 15 15 [{"arity":15,"count":2713}] 0 2713 [{"type":"extension","count":2713}] f d991fc81a7825fd4569ca865dffdd673
QRandom/QRandom-bdd-15-21-2/
bdd-15-21-2-2713-79-16.xml
CSP 21 2713 1 2 2 [{"size":2,"count":21}] 1854 1979 [{"degree":1854,"count":1},{"degree":1899,"count":1},{"degree":1906,"count":1},{"degree":1917,"count":1},{"degree":1920,"count":1},{"degree":1924,"count":2},{"degree":1928,"count":1},{"degree":1938,"count":1},{"degree":1941,"count":1},{"degree":1943,"count":1},{"degree":1945,"count":1},{"degree":1948,"count":1},{"degree":1950,"count":1},{"degree":1955,"count":1},{"degree":1961,"count":2},{"degree":1962,"count":2},{"degree":1978,"count":1},{"degree":1979,"count":1}] 15 15 [{"arity":15,"count":2713}] 0 2713 [{"type":"extension","count":2713}] f 2a6706ebf1a04474da396dd8277f6c47
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-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-composed-s25/
composed-25-01-25-3.xml
CSP 33 247 1 10 10 [{"size":10,"count":33}] 7 20 [{"degree":7,"count":2},{"degree":8,"count":2},{"degree":9,"count":3},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":3},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":6},{"degree":18,"count":1},{"degree":19,"count":6},{"degree":20,"count":3}] 2 2 [{"arity":2,"count":247}] 0 247 [{"type":"extension","count":247}] f 3875d32d358237a1125eaf9168bbe1f3
QRandom/
QRandom-composed-s25/
composed-25-01-25-4.xml
CSP 33 247 1 10 10 [{"size":10,"count":33}] 7 22 [{"degree":7,"count":2},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":6},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":2},{"degree":22,"count":1}] 2 2 [{"arity":2,"count":247}] 0 247 [{"type":"extension","count":247}] f 70c94527274e457d0d94c5fa4cea1fbc
QRandom/
QRandom-composed-s25/
composed-25-10-20-5.xml
CSP 105 620 1 10 10 [{"size":10,"count":105}] 4 32 [{"degree":4,"count":1},{"degree":5,"count":8},{"degree":6,"count":9},{"degree":7,"count":14},{"degree":8,"count":18},{"degree":9,"count":12},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":2},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":4},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":3},{"degree":24,"count":1},{"degree":25,"count":2},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":31,"count":1},{"degree":32,"count":1}] 2 2 [{"arity":2,"count":620}] 0 620 [{"type":"extension","count":620}] f c48c45b7e76b5e503373b0b6aac41bc1
QRandom/
QRandom-composed-s75/
composed-75-01-25-6.xml
CSP 83 647 1 10 10 [{"size":10,"count":83}] 6 26 [{"degree":6,"count":1},{"degree":8,"count":3},{"degree":9,"count":5},{"degree":10,"count":3},{"degree":11,"count":4},{"degree":13,"count":10},{"degree":14,"count":6},{"degree":15,"count":7},{"degree":16,"count":12},{"degree":17,"count":6},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":4},{"degree":21,"count":6},{"degree":22,"count":1},{"degree":23,"count":3},{"degree":25,"count":1},{"degree":26,"count":1}] 2 2 [{"arity":2,"count":647}] 0 647 [{"type":"extension","count":647}] f 3604f03ade31706fc8f860f14c72a950
QRandom/
QRandom-ehi-s85/
ehi-85-297-30.xml
CSP 297 4121 1 7 7 [{"size":7,"count":297}] 24 30 [{"degree":24,"count":4},{"degree":25,"count":12},{"degree":26,"count":31},{"degree":27,"count":66},{"degree":28,"count":104},{"degree":29,"count":54},{"degree":30,"count":26}] 2 2 [{"arity":2,"count":4121}] 0 4121 [{"type":"extension","count":4121}] f de20ccc9c46783b0a0c67f2a501d352c
QRandom/
QRandom-ehi-s85/
ehi-85-297-98.xml
CSP 297 4124 1 7 7 [{"size":7,"count":297}] 21 30 [{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":5},{"degree":24,"count":4},{"degree":25,"count":1},{"degree":26,"count":21},{"degree":27,"count":72},{"degree":28,"count":104},{"degree":29,"count":73},{"degree":30,"count":15}] 2 2 [{"arity":2,"count":4124}] 0 4124 [{"type":"extension","count":4124}] f 94ac0865fa5040c93d86b72adbfea656
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-ehi-s90/
ehi-90-315-13.xml
CSP 315 4391 1 7 7 [{"size":7,"count":315}] 22 30 [{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":20},{"degree":27,"count":55},{"degree":28,"count":106},{"degree":29,"count":92},{"degree":30,"count":22}] 2 2 [{"arity":2,"count":4391}] 0 4391 [{"type":"extension","count":4391}] f 0ecc43e275203d13589c8e56646047f8
QRandom/
QRandom-ehi-s90/
ehi-90-315-37.xml
CSP 315 4374 1 7 7 [{"size":7,"count":315}] 22 30 [{"degree":22,"count":2},{"degree":23,"count":3},{"degree":24,"count":3},{"degree":25,"count":7},{"degree":26,"count":34},{"degree":27,"count":70},{"degree":28,"count":93},{"degree":29,"count":80},{"degree":30,"count":23}] 2 2 [{"arity":2,"count":4374}] 0 4374 [{"type":"extension","count":4374}] f 63a6c7e62165414b16ef9081a892f3cd
QRandom/QRandom-geometric-rw/
geometric-50-20-d4-75-03.xml
CSP 50 394 1 20 20 [{"size":20,"count":50}] 6 27 [{"degree":6,"count":2},{"degree":7,"count":1},{"degree":8,"count":1},{"degree":10,"count":5},{"degree":11,"count":2},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":4},{"degree":15,"count":1},{"degree":16,"count":5},{"degree":17,"count":6},{"degree":18,"count":5},{"degree":19,"count":3},{"degree":21,"count":2},{"degree":22,"count":2},{"degree":24,"count":1},{"degree":25,"count":1},{"degree":26,"count":2},{"degree":27,"count":1}] 2 2 [{"arity":2,"count":394}] 0 394 [{"type":"extension","count":394}] f 0bd583d6f4358c2dd06e2f7c5666e2c0
QRandom/QRandom-geometric-rw/
geometric-50-20-d4-75-14.xml
CSP 50 447 1 20 20 [{"size":20,"count":50}] 7 29 [{"degree":7,"count":1},{"degree":8,"count":4},{"degree":9,"count":1},{"degree":10,"count":7},{"degree":11,"count":2},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":3},{"degree":24,"count":1},{"degree":25,"count":5},{"degree":26,"count":2},{"degree":27,"count":4},{"degree":28,"count":2},{"degree":29,"count":2}] 2 2 [{"arity":2,"count":447}] 0 447 [{"type":"extension","count":447}] f 80005f43209ae7ce669f7000fbe1f4f3
QRandom/QRandom-geometric-rw/
geometric-50-20-d4-75-46.xml
CSP 50 433 1 20 20 [{"size":20,"count":50}] 6 27 [{"degree":6,"count":1},{"degree":9,"count":2},{"degree":10,"count":1},{"degree":11,"count":3},{"degree":12,"count":5},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":3},{"degree":16,"count":2},{"degree":17,"count":1},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":5},{"degree":23,"count":2},{"degree":25,"count":1},{"degree":26,"count":2},{"degree":27,"count":3}] 2 2 [{"arity":2,"count":433}] 0 433 [{"type":"extension","count":433}] f b0e0e0cbf2af4f13cc216adaf1c260a3
QRandom/QRandom-geometric-rw/
geometric-50-20-d4-75-54.xml
CSP 50 412 1 20 20 [{"size":20,"count":50}] 7 25 [{"degree":7,"count":1},{"degree":8,"count":1},{"degree":9,"count":1},{"degree":11,"count":4},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":10},{"degree":15,"count":2},{"degree":16,"count":5},{"degree":17,"count":3},{"degree":18,"count":3},{"degree":19,"count":4},{"degree":20,"count":3},{"degree":21,"count":3},{"degree":22,"count":1},{"degree":23,"count":3},{"degree":24,"count":2},{"degree":25,"count":1}] 2 2 [{"arity":2,"count":412}] 0 412 [{"type":"extension","count":412}] f a4dbf7a89b77d3d2fc660abfcd1a3804
QRandom/
QRandom-m1-lard/lard-83-83.xml
CSP 83 3403 1 84 84 [{"size":84,"count":83}] 82 82 [{"degree":82,"count":83}] 2 2 [{"arity":2,"count":3403}] 0 3403 [{"type":"extension","count":3403}] f 5a1cc99098bd305fca19847613bf445f
QRandom/
QRandom-m1-lard/lard-85-85.xml
CSP 85 3570 1 86 86 [{"size":86,"count":85}] 84 84 [{"degree":84,"count":85}] 2 2 [{"arity":2,"count":3570}] 0 3570 [{"type":"extension","count":3570}] f ba1c49fa80fd17c1a348725aa5db0d15
QRandom/
QRandom-m1-lard/lard-90-90.xml
CSP 90 4005 1 91 91 [{"size":91,"count":90}] 89 89 [{"degree":89,"count":90}] 2 2 [{"arity":2,"count":4005}] 0 4005 [{"type":"extension","count":4005}] f 4d5ee0d3a7698119cef28df18be09f14
QRandom/
QRandom-m1-lard/lard-92-92.xml
CSP 92 4186 1 93 93 [{"size":93,"count":92}] 91 91 [{"degree":91,"count":92}] 2 2 [{"arity":2,"count":4186}] 0 4186 [{"type":"extension","count":4186}] f 18238995c509511de5ee79784b2000cc
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-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-16.xml
CSP 25 56 1 5 5 [{"size":5,"count":25}] 8 24 [{"degree":8,"count":1},{"degree":9,"count":1},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":1},{"degree":24,"count":1}] 7 7 [{"arity":7,"count":56}] 0 56 [{"type":"extension","count":56}] f 9d7406c968f8af9220e5e662d0bd5052
QRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-4.xml
CSP 25 58 1 5 5 [{"size":5,"count":25}] 9 21 [{"degree":9,"count":1},{"degree":10,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":6},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":21,"count":2}] 7 7 [{"arity":7,"count":58}] 0 58 [{"type":"extension","count":58}] f cc3fcfac109c3d277a0ef72b27cdc983
QRandom/QRandom-mdd-7-25-5-p9/
mdd-7-25-5-ps05-psh09-3.xml
CSP 25 58 1 5 5 [{"size":5,"count":25}] 12 22 [{"degree":12,"count":3},{"degree":13,"count":1},{"degree":14,"count":3},{"degree":15,"count":4},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":1},{"degree":19,"count":4},{"degree":20,"count":2},{"degree":22,"count":1}] 7 7 [{"arity":7,"count":58}] 0 58 [{"type":"extension","count":58}] f 47cdae4cc979e49bd09b7efbbe69f743
QRandom/QRandom-reg2ext-s1/
reg-s20-p03-c20-d10-n10-l5-24.xml
CSP 130 100 23 1 20 [{"size":1,"count":20},{"size":6,"count":20},{"size":10,"count":10},{"size":20,"count":80}] 1 12 [{"degree":1,"count":40},{"degree":2,"count":80},{"degree":6,"count":1},{"degree":8,"count":1},{"degree":9,"count":1},{"degree":10,"count":3},{"degree":11,"count":1},{"degree":12,"count":3}] 3 3 [{"arity":3,"count":100}] 0 100 [{"type":"extension","count":100}] f 0a6d06471ea8c1914abe40626fbfe2e9
QRandom/QRandom-reg2ext-s1/
reg-s20-p03-c20-d10-n10-l5-30.xml
CSP 130 100 23 1 20 [{"size":1,"count":20},{"size":6,"count":20},{"size":10,"count":10},{"size":20,"count":80}] 1 14 [{"degree":1,"count":40},{"degree":2,"count":80},{"degree":6,"count":1},{"degree":7,"count":1},{"degree":8,"count":2},{"degree":11,"count":3},{"degree":12,"count":2},{"degree":14,"count":1}] 3 3 [{"arity":3,"count":100}] 0 100 [{"type":"extension","count":100}] f 65e58671dc4199faf26ac203b1450cb4
QRandom/QRandom-reg2ext-s1/
reg-s20-p03-c20-d10-n10-l5-40.xml
CSP 130 100 23 1 20 [{"size":1,"count":20},{"size":6,"count":20},{"size":10,"count":10},{"size":20,"count":80}] 1 15 [{"degree":1,"count":40},{"degree":2,"count":80},{"degree":6,"count":1},{"degree":7,"count":1},{"degree":8,"count":1},{"degree":9,"count":1},{"degree":10,"count":2},{"degree":11,"count":1},{"degree":12,"count":2},{"degree":15,"count":1}] 3 3 [{"arity":3,"count":100}] 0 100 [{"type":"extension","count":100}] f b581a39749cdd21b83f7329098fa8172
QRandom/QRandom-reg2ext-s1/
reg-s20-p03-c20-d10-n10-l5-73.xml
CSP 130 100 23 1 20 [{"size":1,"count":20},{"size":6,"count":20},{"size":10,"count":10},{"size":20,"count":80}] 1 13 [{"degree":1,"count":40},{"degree":2,"count":80},{"degree":7,"count":1},{"degree":8,"count":1},{"degree":9,"count":2},{"degree":10,"count":2},{"degree":11,"count":2},{"degree":12,"count":1},{"degree":13,"count":1}] 3 3 [{"arity":3,"count":100}] 0 100 [{"type":"extension","count":100}] f 97112bc138fd6681517478d594a2a525
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-bur26g.xml
COP 702 326 2 26 280 [{"size":26,"count":26},{"size":280,"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 e15ea9448d462545754e2532d86d3e94
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
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-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-esc32a.xml
COP 1056 75 2 5 32 [{"size":5,"count":74},{"size":32,"count":32}] 0 11 [{"degree":0,"count":950},{"degree":1,"count":7},{"degree":2,"count":75},{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":4},{"degree":7,"count":8},{"degree":8,"count":6},{"degree":9,"count":2},{"degree":11,"count":1}] 3 32 [{"arity":3,"count":74},{"arity":32,"count":1}] 0 74 [{"type":"extension","count":74},{"type":"allDifferent","count":1}] t min SUM ca8832984a17c67db3e889c6d91adcf4
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-esc32d.xml
COP 1056 91 2 5 32 [{"size":5,"count":90},{"size":32,"count":32}] 0 14 [{"degree":0,"count":934},{"degree":1,"count":14},{"degree":2,"count":92},{"degree":4,"count":2},{"degree":10,"count":2},{"degree":13,"count":2},{"degree":14,"count":10}] 3 32 [{"arity":3,"count":90},{"arity":32,"count":1}] 0 90 [{"type":"extension","count":90},{"type":"allDifferent","count":1}] t min SUM ca834160bf20391dc7be2075ee08801e
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-lipa20b.xml
COP 420 180 2 19 20 [{"size":19,"count":179},{"size":20,"count":20}] 0 20 [{"degree":0,"count":221},{"degree":2,"count":179},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":5},{"degree":20,"count":8}] 3 20 [{"arity":3,"count":179},{"arity":20,"count":1}] 0 179 [{"type":"extension","count":179},{"type":"allDifferent","count":1}] t min SUM 2a1cb6febb6ec7dbf2abb0b9e0866987
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-nug20.xml
COP 420 191 2 8 20 [{"size":8,"count":190},{"size":20,"count":20}] 0 20 [{"degree":0,"count":210},{"degree":2,"count":190},{"degree":20,"count":20}] 3 20 [{"arity":3,"count":190},{"arity":20,"count":1}] 0 190 [{"type":"extension","count":190},{"type":"allDifferent","count":1}] t min SUM 1ce5b24a466c3cb241db2c2b366e9012
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-nug21.xml
COP 462 211 2 8 21 [{"size":8,"count":210},{"size":21,"count":21}] 0 21 [{"degree":0,"count":231},{"degree":2,"count":210},{"degree":21,"count":21}] 3 21 [{"arity":3,"count":210},{"arity":21,"count":1}] 0 210 [{"type":"extension","count":210},{"type":"allDifferent","count":1}] t min SUM e5033dc7ed55784590c83dd9aaaff95e
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-nug30.xml
COP 930 436 2 8 30 [{"size":8,"count":435},{"size":30,"count":30}] 0 30 [{"degree":0,"count":465},{"degree":2,"count":435},{"degree":30,"count":30}] 3 30 [{"arity":3,"count":435},{"arity":30,"count":1}] 0 435 [{"type":"extension","count":435},{"type":"allDifferent","count":1}] t min SUM 7992d423b18f632a54772c1bcf249848
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-sko100a.xml
COP 10100 4951 2 8 100 [{"size":8,"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 1913240080a58bfaef30e5e1db7876b5
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-sko81.xml
COP 6642 3241 2 8 81 [{"size":8,"count":3240},{"size":81,"count":81}] 0 81 [{"degree":0,"count":3321},{"degree":2,"count":3240},{"degree":81,"count":81}] 3 81 [{"arity":3,"count":3240},{"arity":81,"count":1}] 0 3240 [{"type":"extension","count":3240},{"type":"allDifferent","count":1}] t min SUM 7967f0a5d6026ea184db99fec624e08d
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-ste36c.xml
COP 1332 631 2 36 44 [{"size":36,"count":36},{"size":44,"count":630}] 0 36 [{"degree":0,"count":666},{"degree":2,"count":630},{"degree":36,"count":36}] 3 36 [{"arity":3,"count":630},{"arity":36,"count":1}] 0 630 [{"type":"extension","count":630},{"type":"allDifferent","count":1}] t min SUM d05a87fa530094a27b230f4f9ca3d0a8
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-tai12a.xml
COP 156 67 2 12 43 [{"size":12,"count":12},{"size":43,"count":66}] 0 12 [{"degree":0,"count":78},{"degree":2,"count":66},{"degree":12,"count":12}] 3 12 [{"arity":3,"count":66},{"arity":12,"count":1}] 0 66 [{"type":"extension","count":66},{"type":"allDifferent","count":1}] t min SUM 1740172f6b6c755c4ba85e14840c110b
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-tai15a.xml
COP 240 105 2 15 61 [{"size":15,"count":15},{"size":61,"count":104}] 0 15 [{"degree":0,"count":121},{"degree":2,"count":104},{"degree":14,"count":2},{"degree":15,"count":13}] 3 15 [{"arity":3,"count":104},{"arity":15,"count":1}] 0 104 [{"type":"extension","count":104},{"type":"allDifferent","count":1}] t min SUM 01e5f10d01ef86069967703c8ffb230e
QuadraticAssignment/
QuadraticAssignment-m1-s1/
QuadraticAssignment-tai80a.xml
COP 6480 3128 2 80 100 [{"size":80,"count":80},{"size":100,"count":3127}] 0 80 [{"degree":0,"count":3273},{"degree":2,"count":3127},{"degree":77,"count":3},{"degree":78,"count":14},{"degree":79,"count":29},{"degree":80,"count":34}] 3 80 [{"arity":3,"count":3127},{"arity":80,"count":1}] 0 3127 [{"type":"extension","count":3127},{"type":"allDifferent","count":1}] t min SUM c9a66f606132a3c8760ec6756f0c4250
Random/Random-B-2-23-23/
rand-2-23-23-253-131-0.xml
CSP 23 253 1 23 23 [{"size":23,"count":23}] 22 22 [{"degree":22,"count":23}] 2 2 [{"arity":2,"count":253}] 0 253 [{"type":"extension","count":253}] f 3925c474c05bd21213e760e2a53982be
Random/Random-B-2-23-23/
rand-2-23-23-253-131-1.xml
CSP 23 253 1 23 23 [{"size":23,"count":23}] 22 22 [{"degree":22,"count":23}] 2 2 [{"arity":2,"count":253}] 0 253 [{"type":"extension","count":253}] f 6701d983c46d683e3bb89bf94ea97cb4
Random/Random-B-2-25-25/
rand-2-25-25-300-147-6.xml
CSP 25 300 1 25 25 [{"size":25,"count":25}] 24 24 [{"degree":24,"count":25}] 2 2 [{"arity":2,"count":300}] 0 300 [{"type":"extension","count":300}] f bc550d17530737290594270093461d3c
Random/Random-B-2-26-26/
rand-2-26-26-325-155-2.xml
CSP 26 325 1 26 26 [{"size":26,"count":26}] 25 25 [{"degree":25,"count":26}] 2 2 [{"arity":2,"count":325}] 0 325 [{"type":"extension","count":325}] f f524f0f0288a36fdb548674cb0263900
Random/Random-D-t020/
rand-2-40-11-414-020-23.xml
CSP 40 414 1 11 11 [{"size":11,"count":40}] 15 30 [{"degree":15,"count":1},{"degree":16,"count":5},{"degree":17,"count":2},{"degree":18,"count":1},{"degree":19,"count":6},{"degree":20,"count":4},{"degree":21,"count":5},{"degree":22,"count":6},{"degree":23,"count":3},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":30,"count":1}] 2 2 [{"arity":2,"count":414}] 0 414 [{"type":"extension","count":414}] f 1a4e26af447c68eb67ea8607a589b7af
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-t020/
rand-2-40-11-414-020-35.xml
CSP 40 414 1 11 11 [{"size":11,"count":40}] 16 26 [{"degree":16,"count":2},{"degree":17,"count":5},{"degree":18,"count":2},{"degree":19,"count":3},{"degree":20,"count":3},{"degree":21,"count":9},{"degree":22,"count":4},{"degree":23,"count":9},{"degree":24,"count":2},{"degree":26,"count":1}] 2 2 [{"arity":2,"count":414}] 0 414 [{"type":"extension","count":414}] f a2d920503104dc914fda533712712f08
Random/Random-D-t080/
rand-2-40-80-103-080-39.xml
CSP 40 103 1 80 80 [{"size":80,"count":40}] 2 12 [{"degree":2,"count":3},{"degree":3,"count":6},{"degree":4,"count":7},{"degree":5,"count":7},{"degree":6,"count":11},{"degree":7,"count":1},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":12,"count":1}] 2 2 [{"arity":2,"count":103}] 0 103 [{"type":"extension","count":103}] f 3eef0953f9cbf23d9932dd1c3605fafe
Random/Random-D-t090/
rand-2-40-180-84-090-51.xml
CSP 40 84 1 180 180 [{"size":180,"count":40}] 2 7 [{"degree":2,"count":7},{"degree":3,"count":5},{"degree":4,"count":10},{"degree":5,"count":11},{"degree":6,"count":5},{"degree":7,"count":2}] 2 2 [{"arity":2,"count":84}] 0 84 [{"type":"extension","count":84}] f 4c79b3968e5ee826d76424e68e9a688a
Random/Random-m1-15-23-3/
rand-15-23-3-16-150000-18.xml
CSP 23 16 1 3 3 [{"size":3,"count":23}] 8 13 [{"degree":8,"count":2},{"degree":9,"count":4},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":4},{"degree":13,"count":2}] 15 15 [{"arity":15,"count":16}] 0 16 [{"type":"extension","count":16}] f 63b07d175152d4a4de1c3a3d8a294418
Random/Random-m1-5-12-12/
rand-5-12-12-200-12442-38.xml
CSP 12 200 1 12 12 [{"size":12,"count":12}] 77 95 [{"degree":77,"count":2},{"degree":79,"count":2},{"degree":81,"count":1},{"degree":82,"count":1},{"degree":84,"count":2},{"degree":86,"count":1},{"degree":87,"count":1},{"degree":89,"count":1},{"degree":95,"count":1}] 5 5 [{"arity":5,"count":200}] 0 200 [{"type":"extension","count":200}] f b26246ce3e5ddb90abbf8b583e2fe87c
Random/Random-m1-5-12-12t/
rand-5-12-12-200-t95-3.xml
CSP 12 200 1 12 12 [{"size":12,"count":12}] 77 95 [{"degree":77,"count":1},{"degree":78,"count":1},{"degree":79,"count":1},{"degree":81,"count":2},{"degree":82,"count":1},{"degree":83,"count":2},{"degree":84,"count":1},{"degree":86,"count":1},{"degree":91,"count":1},{"degree":95,"count":1}] 5 5 [{"arity":5,"count":200}] 0 200 [{"type":"extension","count":200}] f d4014e5e87f6d68ac86bab8f8f62518f
Random/
Random-m1-5-2X-05c/
rand-5-2X-05c-15.xml
CSP 12 112 1 12 12 [{"size":12,"count":12}] 35 53 [{"degree":35,"count":1},{"degree":43,"count":1},{"degree":45,"count":4},{"degree":47,"count":1},{"degree":49,"count":1},{"degree":50,"count":2},{"degree":53,"count":2}] 5 5 [{"arity":5,"count":112}] 0 112 [{"type":"extension","count":112}] f 5c93a58f751270bf50b32fbeed27ba19
Random/Random-RB-2-30-15f/
rand-2-30-15-306-230f-09.xml
CSP 30 227 1 15 15 [{"size":15,"count":30}] 11 20 [{"degree":11,"count":2},{"degree":12,"count":5},{"degree":13,"count":2},{"degree":14,"count":4},{"degree":15,"count":4},{"degree":16,"count":3},{"degree":17,"count":2},{"degree":18,"count":5},{"degree":19,"count":2},{"degree":20,"count":1}] 2 2 [{"arity":2,"count":227}] 0 227 [{"type":"extension","count":227}] f 23c17749bea612774e78a3a072e2ad10
Random/Random-RB-2-40-19/
rand-2-40-19-443-230-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 1a774b1240a532d284d5b76f46f8bad3
Random/Random-RB-3-20-20/
rand-3-20-20-60-632-40.xml
CSP 20 60 1 20 20 [{"size":20,"count":20}] 2 16 [{"degree":2,"count":1},{"degree":5,"count":1},{"degree":6,"count":4},{"degree":7,"count":1},{"degree":8,"count":2},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":2},{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":1}] 3 3 [{"arity":3,"count":60}] 0 60 [{"type":"extension","count":60}] f dc4dbad226249f26f24e6fd4bdcbff7b
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-RB-3-28-28f/
rand-3-28-28-93-632f-05.xml
CSP 28 93 1 28 28 [{"size":28,"count":28}] 4 16 [{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":3},{"degree":11,"count":6},{"degree":12,"count":2},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1}] 3 3 [{"arity":3,"count":93}] 0 93 [{"type":"extension","count":93}] f 1bf4ccefbf8ae7bb3bb3e34b69384fe1
RenaultMod/
RenaultMod-m1-s1/
RenaultMod-09.xml
CSP 111 258 1 42 42 [{"size":42,"count":111}] 2 81 [{"degree":2,"count":50},{"degree":3,"count":14},{"degree":4,"count":21},{"degree":5,"count":8},{"degree":6,"count":5},{"degree":7,"count":3},{"degree":11,"count":2},{"degree":20,"count":1},{"degree":32,"count":1},{"degree":39,"count":1},{"degree":56,"count":2},{"degree":59,"count":1},{"degree":73,"count":1},{"degree":81,"count":1}] 1 10 [{"arity":1,"count":111},{"arity":2,"count":42},{"arity":3,"count":18},{"arity":4,"count":19},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] 111 147 [{"type":"extension","count":147},{"type":"intension","count":111}] f f0d0955751f72d87c4f1a675afbf7856
RenaultMod/
RenaultMod-m1-s1/
RenaultMod-12.xml
CSP 111 260 1 42 42 [{"size":42,"count":111}] 2 81 [{"degree":2,"count":46},{"degree":3,"count":18},{"degree":4,"count":21},{"degree":5,"count":5},{"degree":6,"count":8},{"degree":7,"count":3},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":19,"count":1},{"degree":32,"count":1},{"degree":38,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":59,"count":1},{"degree":73,"count":1},{"degree":81,"count":1}] 1 10 [{"arity":1,"count":111},{"arity":2,"count":42},{"arity":3,"count":21},{"arity":4,"count":18},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] 111 149 [{"type":"extension","count":149},{"type":"intension","count":111}] f a557c5b210af073d1486c8e4c563afe6
RenaultMod/
RenaultMod-m1-s1/
RenaultMod-18.xml
CSP 111 260 1 42 42 [{"size":42,"count":111}] 2 82 [{"degree":2,"count":43},{"degree":3,"count":22},{"degree":4,"count":18},{"degree":5,"count":9},{"degree":6,"count":7},{"degree":7,"count":1},{"degree":8,"count":1},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":19,"count":1},{"degree":32,"count":1},{"degree":38,"count":1},{"degree":56,"count":2},{"degree":59,"count":1},{"degree":73,"count":1},{"degree":82,"count":1}] 1 10 [{"arity":1,"count":111},{"arity":2,"count":42},{"arity":3,"count":19},{"arity":4,"count":20},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] 111 149 [{"type":"extension","count":149},{"type":"intension","count":111}] f 53ac35e1f72f4fcc516f402364f3be2c
RenaultMod/
RenaultMod-m1-s1/
RenaultMod-21.xml
CSP 111 270 1 42 42 [{"size":42,"count":111}] 2 81 [{"degree":2,"count":45},{"degree":3,"count":17},{"degree":4,"count":19},{"degree":5,"count":7},{"degree":6,"count":2},{"degree":7,"count":4},{"degree":8,"count":1},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":3},{"degree":19,"count":1},{"degree":32,"count":1},{"degree":39,"count":1},{"degree":56,"count":2},{"degree":59,"count":1},{"degree":73,"count":1},{"degree":81,"count":1}] 1 10 [{"arity":1,"count":111},{"arity":2,"count":42},{"arity":3,"count":26},{"arity":4,"count":23},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] 111 159 [{"type":"extension","count":159},{"type":"intension","count":111}] f 0963ecc662fca7fb73f4e82ded789c90
RenaultMod/
RenaultMod-m1-s1/
RenaultMod-24.xml
CSP 111 270 1 42 42 [{"size":42,"count":111}] 2 81 [{"degree":2,"count":45},{"degree":3,"count":18},{"degree":4,"count":16},{"degree":5,"count":6},{"degree":6,"count":6},{"degree":7,"count":5},{"degree":8,"count":2},{"degree":10,"count":2},{"degree":11,"count":2},{"degree":14,"count":1},{"degree":19,"count":1},{"degree":32,"count":1},{"degree":38,"count":1},{"degree":56,"count":2},{"degree":59,"count":1},{"degree":74,"count":1},{"degree":81,"count":1}] 1 10 [{"arity":1,"count":111},{"arity":2,"count":42},{"arity":3,"count":25},{"arity":4,"count":24},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] 111 159 [{"type":"extension","count":159},{"type":"intension","count":111}] f fafbbc28d55e991f97131ab8525c2187
RenaultMod/
RenaultMod-m1-s1/
RenaultMod-40.xml
CSP 108 257 1 42 42 [{"size":42,"count":108}] 2 81 [{"degree":2,"count":38},{"degree":3,"count":26},{"degree":4,"count":16},{"degree":5,"count":9},{"degree":6,"count":5},{"degree":7,"count":4},{"degree":10,"count":1},{"degree":12,"count":1},{"degree":19,"count":1},{"degree":32,"count":1},{"degree":38,"count":1},{"degree":56,"count":2},{"degree":59,"count":1},{"degree":74,"count":1},{"degree":81,"count":1}] 1 10 [{"arity":1,"count":108},{"arity":2,"count":42},{"arity":3,"count":20},{"arity":4,"count":19},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] 108 149 [{"type":"extension","count":149},{"type":"intension","count":108}] f 878edee888014227e65ca0b3d1539934
Renault/Renault-m1-s1/
Renault-medium-pos.xml
CSP 148 174 15 2 20 [{"size":2,"count":122},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":2},{"size":9,"count":1},{"size":13,"count":1},{"size":14,"count":1},{"size":17,"count":1},{"size":20,"count":2}] 0 139 [{"degree":0,"count":2},{"degree":1,"count":81},{"degree":2,"count":33},{"degree":3,"count":15},{"degree":4,"count":6},{"degree":5,"count":6},{"degree":6,"count":2},{"degree":8,"count":1},{"degree":22,"count":1},{"degree":139,"count":1}] 2 10 [{"arity":2,"count":143},{"arity":3,"count":14},{"arity":4,"count":7},{"arity":5,"count":1},{"arity":6,"count":4},{"arity":7,"count":2},{"arity":8,"count":1},{"arity":10,"count":2}] 0 174 [{"type":"extension","count":174}] f 19655dcffa751868797b607ef2267cd6
Renault/Renault-m1-s1/
Renault-megane-pos.xml
CSP 99 113 15 1 42 [{"size":1,"count":6},{"size":2,"count":54},{"size":3,"count":15},{"size":4,"count":3},{"size":5,"count":9},{"size":6,"count":2},{"size":7,"count":1},{"size":9,"count":1},{"size":10,"count":2},{"size":11,"count":1},{"size":12,"count":1},{"size":13,"count":1},{"size":25,"count":1},{"size":29,"count":1},{"size":42,"count":1}] 1 80 [{"degree":1,"count":58},{"degree":2,"count":17},{"degree":3,"count":8},{"degree":4,"count":5},{"degree":5,"count":1},{"degree":7,"count":1},{"degree":10,"count":1},{"degree":18,"count":1},{"degree":28,"count":1},{"degree":31,"count":1},{"degree":55,"count":2},{"degree":58,"count":1},{"degree":72,"count":1},{"degree":80,"count":1}] 2 10 [{"arity":2,"count":21},{"arity":3,"count":13},{"arity":4,"count":11},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] 0 113 [{"type":"extension","count":113}] f 21b1bfe08dea0128787163580c257a28
Renault/
Renault-m1-s1/
Renault-mgd.xml
CSP 101 113 14 2 42 [{"size":2,"count":58},{"size":3,"count":16},{"size":4,"count":4},{"size":5,"count":8},{"size":6,"count":3},{"size":7,"count":1},{"size":9,"count":1},{"size":10,"count":2},{"size":11,"count":1},{"size":12,"count":1},{"size":13,"count":1},{"size":25,"count":1},{"size":29,"count":1},{"size":42,"count":1}] 0 80 [{"degree":0,"count":2},{"degree":1,"count":58},{"degree":2,"count":17},{"degree":3,"count":8},{"degree":4,"count":5},{"degree":5,"count":1},{"degree":7,"count":1},{"degree":10,"count":1},{"degree":18,"count":1},{"degree":28,"count":1},{"degree":31,"count":1},{"degree":55,"count":2},{"degree":58,"count":1},{"degree":72,"count":1},{"degree":80,"count":1}] 2 10 [{"arity":2,"count":21},{"arity":3,"count":13},{"arity":4,"count":11},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] 0 113 [{"type":"extension","count":113}] f e938dbb865153b6f638b91b21d0a191f
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
Renault/
Renault-m1-s1/
Renault-small.xml
CSP 139 147 8 2 16 [{"size":2,"count":120},{"size":3,"count":10},{"size":4,"count":6},{"size":14,"count":1},{"size":16,"count":2}] 1 132 [{"degree":1,"count":105},{"degree":2,"count":22},{"degree":3,"count":8},{"degree":4,"count":1},{"degree":5,"count":1},{"degree":11,"count":1},{"degree":132,"count":1}] 2 8 [{"arity":2,"count":133},{"arity":3,"count":7},{"arity":4,"count":3},{"arity":6,"count":3},{"arity":8,"count":1}] 0 147 [{"type":"extension","count":147}] f 5e55bfc7b30a0175fda5de0f90de1236
Renault/Renault-m1-s1/
Renault-souffleuse.xml
CSP 32 35 9 2 12 [{"size":2,"count":5},{"size":3,"count":6},{"size":4,"count":8},{"size":5,"count":6},{"size":6,"count":2},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":1},{"size":12,"count":1}] 1 5 [{"degree":1,"count":8},{"degree":2,"count":14},{"degree":3,"count":7},{"degree":5,"count":3}] 2 3 [{"arity":2,"count":33},{"arity":3,"count":2}] 0 35 [{"type":"extension","count":35}] f df23e3c33d5f18cffd66f727a476ed8f
Renault/
Renault-m1-s1/
Renault.xml
CSP 101 134 14 2 42 [{"size":2,"count":58},{"size":3,"count":16},{"size":4,"count":4},{"size":5,"count":8},{"size":6,"count":3},{"size":7,"count":1},{"size":9,"count":1},{"size":10,"count":2},{"size":11,"count":1},{"size":12,"count":1},{"size":13,"count":1},{"size":25,"count":1},{"size":29,"count":1},{"size":42,"count":1}] 0 80 [{"degree":0,"count":2},{"degree":1,"count":49},{"degree":2,"count":14},{"degree":3,"count":17},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":2},{"degree":9,"count":1},{"degree":10,"count":1},{"degree":18,"count":1},{"degree":31,"count":1},{"degree":37,"count":1},{"degree":55,"count":2},{"degree":58,"count":1},{"degree":72,"count":1},{"degree":80,"count":1}] 2 10 [{"arity":2,"count":42},{"arity":3,"count":13},{"arity":4,"count":11},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] 0 134 [{"type":"extension","count":134}] f 26a43e254d024ece7dd8533c0ccc245d
Sat/Sat-dual-flat200-479/
Sat-flat200-06-dual.xml
CSP 2237 16329 2 3 7 [{"size":3,"count":2037},{"size":7,"count":200}] 5 27 [{"degree":5,"count":21},{"degree":6,"count":7},{"degree":7,"count":51},{"degree":9,"count":115},{"degree":10,"count":24},{"degree":11,"count":192},{"degree":12,"count":132},{"degree":13,"count":315},{"degree":14,"count":183},{"degree":15,"count":322},{"degree":16,"count":198},{"degree":17,"count":279},{"degree":18,"count":144},{"degree":19,"count":144},{"degree":20,"count":42},{"degree":21,"count":25},{"degree":24,"count":23},{"degree":27,"count":20}] 2 2 [{"arity":2,"count":16329}] 0 16329 [{"type":"extension","count":16329}] f e2e4ad6d3ad3f31d5b8b0a6019a4b266
Sat/Sat-dual-flat200-479/
Sat-flat200-14-dual.xml
CSP 2237 16113 2 3 7 [{"size":3,"count":2037},{"size":7,"count":200}] 3 27 [{"degree":3,"count":8},{"degree":5,"count":6},{"degree":6,"count":2},{"degree":7,"count":42},{"degree":9,"count":110},{"degree":10,"count":21},{"degree":11,"count":177},{"degree":12,"count":147},{"degree":13,"count":309},{"degree":14,"count":261},{"degree":15,"count":412},{"degree":16,"count":210},{"degree":17,"count":267},{"degree":18,"count":111},{"degree":19,"count":66},{"degree":20,"count":12},{"degree":21,"count":44},{"degree":24,"count":25},{"degree":27,"count":7}] 2 2 [{"arity":2,"count":16113}] 0 16113 [{"type":"extension","count":16113}] f f0983d1e8f8af2258ff0f9765563aa3d
Sat/Sat-dual-flat200-479/
Sat-flat200-32-dual.xml
CSP 2237 16314 2 3 7 [{"size":3,"count":2037},{"size":7,"count":200}] 5 27 [{"degree":5,"count":21},{"degree":6,"count":7},{"degree":7,"count":72},{"degree":8,"count":9},{"degree":9,"count":98},{"degree":10,"count":18},{"degree":11,"count":165},{"degree":12,"count":135},{"degree":13,"count":297},{"degree":14,"count":180},{"degree":15,"count":346},{"degree":16,"count":219},{"degree":17,"count":294},{"degree":18,"count":159},{"degree":19,"count":108},{"degree":20,"count":33},{"degree":21,"count":35},{"degree":24,"count":27},{"degree":27,"count":14}] 2 2 [{"arity":2,"count":16314}] 0 16314 [{"type":"extension","count":16314}] f 7854977918e267f3cbf8113349087b8a
Sat/Sat-dual-flat200-479/
Sat-flat200-55-dual.xml
CSP 2237 16233 2 3 7 [{"size":3,"count":2037},{"size":7,"count":200}] 5 27 [{"degree":5,"count":24},{"degree":6,"count":8},{"degree":7,"count":45},{"degree":8,"count":3},{"degree":9,"count":96},{"degree":10,"count":36},{"degree":11,"count":162},{"degree":12,"count":137},{"degree":13,"count":294},{"degree":14,"count":219},{"degree":15,"count":376},{"degree":16,"count":243},{"degree":17,"count":276},{"degree":18,"count":150},{"degree":19,"count":84},{"degree":20,"count":15},{"degree":21,"count":30},{"degree":24,"count":26},{"degree":27,"count":13}] 2 2 [{"arity":2,"count":16233}] 0 16233 [{"type":"extension","count":16233}] f 5b8ecf8a7d2901cb06b5717f26e52ae6
Sat/Sat-dual-flat200-479/
Sat-flat200-67-dual.xml
CSP 2237 16143 2 3 7 [{"size":3,"count":2037},{"size":7,"count":200}] 3 27 [{"degree":3,"count":4},{"degree":5,"count":15},{"degree":6,"count":5},{"degree":7,"count":39},{"degree":9,"count":94},{"degree":10,"count":30},{"degree":11,"count":174},{"degree":12,"count":128},{"degree":13,"count":309},{"degree":14,"count":264},{"degree":15,"count":445},{"degree":16,"count":231},{"degree":17,"count":198},{"degree":18,"count":149},{"degree":19,"count":72},{"degree":20,"count":9},{"degree":21,"count":41},{"degree":24,"count":17},{"degree":27,"count":13}] 2 2 [{"arity":2,"count":16143}] 0 16143 [{"type":"extension","count":16143}] f 19d72af9962656f2d29c96ce3f333eec
Sat/Sat-dual-flat200-479/
Sat-flat200-80-dual.xml
CSP 2237 16182 2 3 7 [{"size":3,"count":2037},{"size":7,"count":200}] 3 27 [{"degree":3,"count":4},{"degree":5,"count":15},{"degree":6,"count":5},{"degree":7,"count":39},{"degree":8,"count":3},{"degree":9,"count":100},{"degree":10,"count":36},{"degree":11,"count":177},{"degree":12,"count":144},{"degree":13,"count":324},{"degree":14,"count":231},{"degree":15,"count":381},{"degree":16,"count":201},{"degree":17,"count":252},{"degree":18,"count":142},{"degree":19,"count":78},{"degree":20,"count":36},{"degree":21,"count":35},{"degree":24,"count":19},{"degree":27,"count":15}] 2 2 [{"arity":2,"count":16182}] 0 16182 [{"type":"extension","count":16182}] f 525b735ba8bb5a039c9336c4821cc140
Sat/Sat-m1-aim050/
aim-50-2-0-unsat-2.xml
CSP 50 94 1 2 2 [{"size":2,"count":50}] 4 6 [{"degree":4,"count":2},{"degree":5,"count":14},{"degree":6,"count":34}] 3 3 [{"arity":3,"count":94}] 0 94 [{"type":"extension","count":94}] f ca4176423ffb5f054ce084996c8e3009
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
Sat/Sat-m1-aim100/
aim-100-2-0-unsat-2.xml
CSP 100 192 1 2 2 [{"size":2,"count":100}] 4 6 [{"degree":4,"count":5},{"degree":5,"count":14},{"degree":6,"count":81}] 3 3 [{"arity":3,"count":192}] 0 192 [{"type":"extension","count":192}] f 8177bfdfc8e0bc0efe17d41d3961e832
Sat/Sat-m1-aim200/
aim-200-1-6-sat-3.xml
CSP 200 311 1 2 2 [{"size":2,"count":200}] 2 8 [{"degree":2,"count":1},{"degree":3,"count":9},{"degree":4,"count":84},{"degree":5,"count":77},{"degree":6,"count":22},{"degree":7,"count":6},{"degree":8,"count":1}] 2 3 [{"arity":2,"count":1},{"arity":3,"count":310}] 0 311 [{"type":"extension","count":311}] f 92ff70cb96ba5c299438fb4c4df3321e
Sat/
Sat-m1-jnh/
jnh-012.xml
CSP 100 848 1 2 2 [{"size":2,"count":100}] 29 60 [{"degree":29,"count":1},{"degree":30,"count":3},{"degree":31,"count":2},{"degree":32,"count":2},{"degree":33,"count":1},{"degree":34,"count":3},{"degree":35,"count":4},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":38,"count":4},{"degree":39,"count":12},{"degree":40,"count":3},{"degree":41,"count":6},{"degree":42,"count":4},{"degree":43,"count":8},{"degree":44,"count":6},{"degree":45,"count":7},{"degree":46,"count":9},{"degree":47,"count":7},{"degree":48,"count":6},{"degree":50,"count":2},{"degree":52,"count":2},{"degree":56,"count":1},{"degree":60,"count":1}] 2 11 [{"arity":2,"count":74},{"arity":3,"count":161},{"arity":4,"count":152},{"arity":5,"count":165},{"arity":6,"count":118},{"arity":7,"count":85},{"arity":8,"count":50},{"arity":9,"count":32},{"arity":10,"count":9},{"arity":11,"count":2}] 0 848 [{"type":"extension","count":848}] f 3c5fe328a8db4231af8c88bf9e66d100
Sat/
Sat-m1-jnh/
jnh-213.xml
CSP 100 797 1 2 2 [{"size":2,"count":100}] 26 58 [{"degree":26,"count":1},{"degree":28,"count":4},{"degree":29,"count":2},{"degree":30,"count":3},{"degree":32,"count":5},{"degree":33,"count":3},{"degree":34,"count":3},{"degree":35,"count":6},{"degree":36,"count":5},{"degree":37,"count":3},{"degree":38,"count":8},{"degree":39,"count":8},{"degree":40,"count":6},{"degree":41,"count":10},{"degree":42,"count":8},{"degree":43,"count":7},{"degree":44,"count":3},{"degree":45,"count":3},{"degree":46,"count":6},{"degree":47,"count":2},{"degree":48,"count":1},{"degree":49,"count":1},{"degree":51,"count":1},{"degree":58,"count":1}] 2 11 [{"arity":2,"count":73},{"arity":3,"count":151},{"arity":4,"count":144},{"arity":5,"count":157},{"arity":6,"count":110},{"arity":7,"count":75},{"arity":8,"count":49},{"arity":9,"count":26},{"arity":10,"count":9},{"arity":11,"count":3}] 0 797 [{"type":"extension","count":797}] f 209f05ce72d0c617a2bb68ea993901fe
Sat/
Sat-m1-jnh/
jnh-302.xml
CSP 100 898 1 2 2 [{"size":2,"count":100}] 31 65 [{"degree":31,"count":2},{"degree":32,"count":5},{"degree":33,"count":1},{"degree":34,"count":2},{"degree":36,"count":3},{"degree":37,"count":1},{"degree":38,"count":3},{"degree":39,"count":5},{"degree":40,"count":5},{"degree":42,"count":8},{"degree":43,"count":7},{"degree":44,"count":9},{"degree":45,"count":3},{"degree":46,"count":4},{"degree":47,"count":9},{"degree":48,"count":9},{"degree":49,"count":5},{"degree":50,"count":3},{"degree":51,"count":5},{"degree":52,"count":4},{"degree":53,"count":1},{"degree":54,"count":1},{"degree":55,"count":1},{"degree":56,"count":3},{"degree":65,"count":1}] 2 10 [{"arity":2,"count":81},{"arity":3,"count":164},{"arity":4,"count":155},{"arity":5,"count":175},{"arity":6,"count":129},{"arity":7,"count":93},{"arity":8,"count":54},{"arity":9,"count":39},{"arity":10,"count":8}] 0 898 [{"type":"extension","count":898}] f ea94c10d7a80a09e57dbab6713253f8e
Sat/Sat-sum-flat200-479/
Sat-flat200-13-sum.xml
CSP 600 2237 1 2 2 [{"size":2,"count":600}] 3 11 [{"degree":3,"count":3},{"degree":4,"count":6},{"degree":5,"count":27},{"degree":6,"count":93},{"degree":7,"count":138},{"degree":8,"count":138},{"degree":9,"count":105},{"degree":10,"count":57},{"degree":11,"count":33}] 2 3 [{"arity":2,"count":2037},{"arity":3,"count":200}] 0 0 [{"type":"sum","count":2237}] f 9d400fd9505b31c2b1343f5ecc4e80ca
Sat/Sat-sum-flat200-479/
Sat-flat200-23-sum.xml
CSP 600 2237 1 2 2 [{"size":2,"count":600}] 4 11 [{"degree":4,"count":12},{"degree":5,"count":81},{"degree":6,"count":72},{"degree":7,"count":105},{"degree":8,"count":111},{"degree":9,"count":84},{"degree":10,"count":75},{"degree":11,"count":60}] 2 3 [{"arity":2,"count":2037},{"arity":3,"count":200}] 0 0 [{"type":"sum","count":2237}] f 0997a7a078e28dc29749c8fbf3dd0f9a
Sat/Sat-sum-flat200-479/
Sat-flat200-24-sum.xml
CSP 600 2237 1 2 2 [{"size":2,"count":600}] 3 11 [{"degree":3,"count":3},{"degree":4,"count":21},{"degree":5,"count":45},{"degree":6,"count":90},{"degree":7,"count":90},{"degree":8,"count":129},{"degree":9,"count":111},{"degree":10,"count":66},{"degree":11,"count":45}] 2 3 [{"arity":2,"count":2037},{"arity":3,"count":200}] 0 0 [{"type":"sum","count":2237}] f e3989d840e6da5d4ed83bf18c49d4f4f
Sat/Sat-sum-flat200-479/
Sat-flat200-37-sum.xml
CSP 600 2237 1 2 2 [{"size":2,"count":600}] 3 11 [{"degree":3,"count":3},{"degree":4,"count":12},{"degree":5,"count":51},{"degree":6,"count":81},{"degree":7,"count":99},{"degree":8,"count":132},{"degree":9,"count":135},{"degree":10,"count":45},{"degree":11,"count":42}] 2 3 [{"arity":2,"count":2037},{"arity":3,"count":200}] 0 0 [{"type":"sum","count":2237}] f 069666c245bd9cd0e4e347c297fd6ca1
Sat/Sat-sum-flat200-479/
Sat-flat200-65-sum.xml
CSP 600 2237 1 2 2 [{"size":2,"count":600}] 3 11 [{"degree":3,"count":3},{"degree":4,"count":21},{"degree":5,"count":42},{"degree":6,"count":93},{"degree":7,"count":96},{"degree":8,"count":126},{"degree":9,"count":99},{"degree":10,"count":78},{"degree":11,"count":42}] 2 3 [{"arity":2,"count":2037},{"arity":3,"count":200}] 0 0 [{"type":"sum","count":2237}] f 509258906292bc50c375c4c8839ad257
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
Sat/Sat-sum-flat200-479/
Sat-flat200-67-sum.xml
CSP 600 2237 1 2 2 [{"size":2,"count":600}] 3 11 [{"degree":3,"count":3},{"degree":4,"count":15},{"degree":5,"count":39},{"degree":6,"count":78},{"degree":7,"count":120},{"degree":8,"count":132},{"degree":9,"count":123},{"degree":10,"count":51},{"degree":11,"count":39}] 2 3 [{"arity":2,"count":2037},{"arity":3,"count":200}] 0 0 [{"type":"sum","count":2237}] f 00801377b258eec38ced8861b76e7e4d
SchurrLemma/
SchurrLemma-mod-s1/
SchurrLemma-mod-012-9.xml
CSP 12 30 1 9 9 [{"size":9,"count":12}] 5 10 [{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":3},{"degree":8,"count":3},{"degree":9,"count":2},{"degree":10,"count":1}] 3 3 [{"arity":3,"count":30}] 0 0 [{"type":"allDifferent","count":30}] f 5ea5f2288c38e30599f44a0b6a6cf986
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-020-9.xml
CSP 20 90 1 9 9 [{"size":9,"count":20}] 9 18 [{"degree":9,"count":1},{"degree":10,"count":2},{"degree":11,"count":2},{"degree":12,"count":2},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":2},{"degree":16,"count":2},{"degree":17,"count":2},{"degree":18,"count":1}] 3 3 [{"arity":3,"count":90}] 0 0 [{"type":"allDifferent","count":90}] f 00caabc33cb0bf3546e4fe549bb6d70b
SchurrLemma/
SchurrLemma-mod-s1/
SchurrLemma-mod-030-9.xml
CSP 30 210 1 9 9 [{"size":9,"count":30}] 14 28 [{"degree":14,"count":1},{"degree":15,"count":2},{"degree":16,"count":2},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":4},{"degree":22,"count":2},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":26,"count":2},{"degree":27,"count":2},{"degree":28,"count":1}] 3 3 [{"arity":3,"count":210}] 0 0 [{"type":"allDifferent","count":210}] f a570971bdea1b5dac7f2a8202873b646
SchurrLemma/
SchurrLemma-mod-s1/
SchurrLemma-mod-050-9.xml
CSP 50 600 1 9 9 [{"size":9,"count":50}] 24 48 [{"degree":24,"count":1},{"degree":25,"count":2},{"degree":26,"count":2},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":2},{"degree":30,"count":2},{"degree":31,"count":2},{"degree":32,"count":2},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":2},{"degree":36,"count":4},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":41,"count":2},{"degree":42,"count":2},{"degree":43,"count":2},{"degree":44,"count":2},{"degree":45,"count":2},{"degree":46,"count":2},{"degree":47,"count":2},{"degree":48,"count":1}] 3 3 [{"arity":3,"count":600}] 0 0 [{"type":"allDifferent","count":600}] f 6e540fe1a8c18734980495af80b87f14
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
StillLife/
StillLife-m1-s1/
StillLife-03-05.xml
COP 30 38 2 2 9 [{"size":2,"count":15},{"size":9,"count":15}] 2 10 [{"degree":2,"count":15},{"degree":7,"count":4},{"degree":8,"count":8},{"degree":10,"count":3}] 2 9 [{"arity":2,"count":15},{"arity":3,"count":8},{"arity":4,"count":4},{"arity":6,"count":8},{"arity":9,"count":3}] 0 23 [{"type":"extension","count":23},{"type":"sum","count":15}] t max SUM 32500dad091342bc2572e78f81e7a2ec
StillLife/
StillLife-m1-s1/
StillLife-03-06.xml
COP 36 46 2 2 9 [{"size":2,"count":18},{"size":9,"count":18}] 2 10 [{"degree":2,"count":18},{"degree":7,"count":4},{"degree":8,"count":10},{"degree":10,"count":4}] 2 9 [{"arity":2,"count":18},{"arity":3,"count":10},{"arity":4,"count":4},{"arity":6,"count":10},{"arity":9,"count":4}] 0 28 [{"type":"extension","count":28},{"type":"sum","count":18}] t max SUM c211aeb2c7d5ca0d3acfa7d3ddb05d8f
StillLife/
StillLife-m1-s1/
StillLife-03-10.xml
COP 60 78 2 2 9 [{"size":2,"count":30},{"size":9,"count":30}] 2 10 [{"degree":2,"count":30},{"degree":7,"count":4},{"degree":8,"count":18},{"degree":10,"count":8}] 2 9 [{"arity":2,"count":30},{"arity":3,"count":18},{"arity":4,"count":4},{"arity":6,"count":18},{"arity":9,"count":8}] 0 48 [{"type":"extension","count":48},{"type":"sum","count":30}] t max SUM 73d437c55a2dcfaad474645e4d596452
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
StillLife/
StillLife-m1-s1/
StillLife-03-11.xml
COP 66 86 2 2 9 [{"size":2,"count":33},{"size":9,"count":33}] 2 10 [{"degree":2,"count":33},{"degree":7,"count":4},{"degree":8,"count":20},{"degree":10,"count":9}] 2 9 [{"arity":2,"count":33},{"arity":3,"count":20},{"arity":4,"count":4},{"arity":6,"count":20},{"arity":9,"count":9}] 0 53 [{"type":"extension","count":53},{"type":"sum","count":33}] t max SUM 89f73fe590db4a20d7e5540e1d9cc017
StillLife/
StillLife-m1-s1/
StillLife-04-05.xml
COP 40 50 2 2 9 [{"size":2,"count":20},{"size":9,"count":20}] 2 10 [{"degree":2,"count":20},{"degree":7,"count":4},{"degree":8,"count":10},{"degree":10,"count":6}] 2 9 [{"arity":2,"count":20},{"arity":3,"count":10},{"arity":4,"count":4},{"arity":6,"count":10},{"arity":9,"count":6}] 0 30 [{"type":"extension","count":30},{"type":"sum","count":20}] t max SUM 0116bae2a95e7b115a3e9036ad78d6b8
StillLife/
StillLife-m1-s1/
StillLife-05-06.xml
COP 60 74 2 2 9 [{"size":2,"count":30},{"size":9,"count":30}] 2 10 [{"degree":2,"count":30},{"degree":7,"count":4},{"degree":8,"count":14},{"degree":10,"count":12}] 2 9 [{"arity":2,"count":30},{"arity":3,"count":14},{"arity":4,"count":4},{"arity":6,"count":14},{"arity":9,"count":12}] 0 44 [{"type":"extension","count":44},{"type":"sum","count":30}] t max SUM 961ba47a71bb5a6b7e86e986065c296e
StillLife/
StillLife-m1-s1/
StillLife-06-13.xml
COP 156 186 2 2 9 [{"size":2,"count":78},{"size":9,"count":78}] 2 10 [{"degree":2,"count":78},{"degree":7,"count":4},{"degree":8,"count":30},{"degree":10,"count":44}] 2 9 [{"arity":2,"count":78},{"arity":3,"count":30},{"arity":4,"count":4},{"arity":6,"count":30},{"arity":9,"count":44}] 0 108 [{"type":"extension","count":108},{"type":"sum","count":78}] t max SUM 1997324ae6d797082bd494fdd449159c
StillLife/
StillLife-m1-s1/
StillLife-08-10.xml
COP 160 188 2 2 9 [{"size":2,"count":80},{"size":9,"count":80}] 2 10 [{"degree":2,"count":80},{"degree":7,"count":4},{"degree":8,"count":28},{"degree":10,"count":48}] 2 9 [{"arity":2,"count":80},{"arity":3,"count":28},{"arity":4,"count":4},{"arity":6,"count":28},{"arity":9,"count":48}] 0 108 [{"type":"extension","count":108},{"type":"sum","count":80}] t max SUM 3f191bd8c6a70b7bc3302016f10b3be6
StillLife/
StillLife-m1-s1/
StillLife-08-13.xml
COP 208 242 2 2 9 [{"size":2,"count":104},{"size":9,"count":104}] 2 10 [{"degree":2,"count":104},{"degree":7,"count":4},{"degree":8,"count":34},{"degree":10,"count":66}] 2 9 [{"arity":2,"count":104},{"arity":3,"count":34},{"arity":4,"count":4},{"arity":6,"count":34},{"arity":9,"count":66}] 0 138 [{"type":"extension","count":138},{"type":"sum","count":104}] t max SUM ba14410c7a25eefcb6b446bec14c0338
StillLife/
StillLife-m1-s1/
StillLife-09-12.xml
COP 216 250 2 2 9 [{"size":2,"count":108},{"size":9,"count":108}] 2 10 [{"degree":2,"count":108},{"degree":7,"count":4},{"degree":8,"count":34},{"degree":10,"count":70}] 2 9 [{"arity":2,"count":108},{"arity":3,"count":34},{"arity":4,"count":4},{"arity":6,"count":34},{"arity":9,"count":70}] 0 142 [{"type":"extension","count":142},{"type":"sum","count":108}] t max SUM a81896bc222770b6aa27c18215a8955e
StillLife/
StillLife-m1-s1/
StillLife-10-11.xml
COP 220 254 2 2 9 [{"size":2,"count":110},{"size":9,"count":110}] 2 10 [{"degree":2,"count":110},{"degree":7,"count":4},{"degree":8,"count":34},{"degree":10,"count":72}] 2 9 [{"arity":2,"count":110},{"arity":3,"count":34},{"arity":4,"count":4},{"arity":6,"count":34},{"arity":9,"count":72}] 0 144 [{"type":"extension","count":144},{"type":"sum","count":110}] t max SUM 3405d24406a310706e7598d386d00f36
StillLife/
StillLife-m1-s1/
StillLife-10-12.xml
COP 240 276 2 2 9 [{"size":2,"count":120},{"size":9,"count":120}] 2 10 [{"degree":2,"count":120},{"degree":7,"count":4},{"degree":8,"count":36},{"degree":10,"count":80}] 2 9 [{"arity":2,"count":120},{"arity":3,"count":36},{"arity":4,"count":4},{"arity":6,"count":36},{"arity":9,"count":80}] 0 156 [{"type":"extension","count":156},{"type":"sum","count":120}] t max SUM 20c15018e625ff04718a0750d7a9de92
StillLife/
StillLife-m1-s1/
StillLife-10-14.xml
COP 280 320 2 2 9 [{"size":2,"count":140},{"size":9,"count":140}] 2 10 [{"degree":2,"count":140},{"degree":7,"count":4},{"degree":8,"count":40},{"degree":10,"count":96}] 2 9 [{"arity":2,"count":140},{"arity":3,"count":40},{"arity":4,"count":4},{"arity":6,"count":40},{"arity":9,"count":96}] 0 180 [{"type":"extension","count":180},{"type":"sum","count":140}] t max SUM 2f9116219e9bb224096732f26408ee63
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
StillLife/
StillLife-m1-s1/
StillLife-11-12.xml
COP 264 302 2 2 9 [{"size":2,"count":132},{"size":9,"count":132}] 2 10 [{"degree":2,"count":132},{"degree":7,"count":4},{"degree":8,"count":38},{"degree":10,"count":90}] 2 9 [{"arity":2,"count":132},{"arity":3,"count":38},{"arity":4,"count":4},{"arity":6,"count":38},{"arity":9,"count":90}] 0 170 [{"type":"extension","count":170},{"type":"sum","count":132}] t max SUM 4e3f80c217ff28730f7a01615dcb2e7f
StillLife/
StillLife-m1-s1/
StillLife-11-14.xml
COP 308 350 2 2 9 [{"size":2,"count":154},{"size":9,"count":154}] 2 10 [{"degree":2,"count":154},{"degree":7,"count":4},{"degree":8,"count":42},{"degree":10,"count":108}] 2 9 [{"arity":2,"count":154},{"arity":3,"count":42},{"arity":4,"count":4},{"arity":6,"count":42},{"arity":9,"count":108}] 0 196 [{"type":"extension","count":196},{"type":"sum","count":154}] t max SUM 2e85925aba41ff54692e46b63a2bea96
StillLife/
StillLife-m1-s1/
StillLife-11-15.xml
COP 330 374 2 2 9 [{"size":2,"count":165},{"size":9,"count":165}] 2 10 [{"degree":2,"count":165},{"degree":7,"count":4},{"degree":8,"count":44},{"degree":10,"count":117}] 2 9 [{"arity":2,"count":165},{"arity":3,"count":44},{"arity":4,"count":4},{"arity":6,"count":44},{"arity":9,"count":117}] 0 209 [{"type":"extension","count":209},{"type":"sum","count":165}] t max SUM afc31b27070f112a4983969306f0150c
StillLife/
StillLife-m1-s1/
StillLife-12-12.xml
COP 288 330 2 2 9 [{"size":2,"count":144},{"size":9,"count":144}] 2 10 [{"degree":2,"count":144},{"degree":8,"count":44},{"degree":10,"count":100}] 2 9 [{"arity":2,"count":146},{"arity":3,"count":40},{"arity":4,"count":4},{"arity":6,"count":40},{"arity":9,"count":100}] 2 184 [{"type":"extension","count":184},{"type":"intension","count":2},{"type":"sum","count":144}] t max SUM 34ffd54f86f79986491acf3630731ea6
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g07-g39.xml
CSP 20 121 1 121 121 [{"size":121,"count":20}] 12 12 [{"degree":12,"count":20}] 1 20 [{"arity":1,"count":20},{"arity":2,"count":100},{"arity":20,"count":1}] 0 120 [{"type":"extension","count":120},{"type":"allDifferent","count":1}] f dbf4985f7b4f6efdb18e4ae2f2616c62
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g08-g31.xml
CSP 30 63 1 100 100 [{"size":100,"count":30}] 2 8 [{"degree":2,"count":1},{"degree":3,"count":3},{"degree":4,"count":10},{"degree":5,"count":3},{"degree":6,"count":6},{"degree":7,"count":4},{"degree":8,"count":3}] 2 30 [{"arity":2,"count":62},{"arity":30,"count":1}] 0 62 [{"type":"extension","count":62},{"type":"allDifferent","count":1}] f 8350f69b30d41bfb657e468d66c4f714
Subisomorphism/
Subisomorphism-m1-LV/
Subisomorphism-g10-g35.xml
CSP 41 105 1 120 120 [{"size":120,"count":41}] 2 11 [{"degree":2,"count":1},{"degree":3,"count":6},{"degree":4,"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":24},{"arity":2,"count":80},{"arity":41,"count":1}] 0 104 [{"type":"extension","count":104},{"type":"allDifferent","count":1}] f 034c994ee62ba40fed3743a994deb36d
Subisomorphism/
Subisomorphism-m1-SF/
Subisomorphism-A-15.xml
CSP 180 549 1 200 200 [{"size":200,"count":180}] 3 10 [{"degree":3,"count":1},{"degree":4,"count":7},{"degree":5,"count":33},{"degree":6,"count":70},{"degree":8,"count":38},{"degree":9,"count":23},{"degree":10,"count":8}] 1 180 [{"arity":1,"count":69},{"arity":2,"count":479},{"arity":180,"count":1}] 0 548 [{"type":"extension","count":548},{"type":"allDifferent","count":1}] f 31fe6553e55375ea7453a010bd43cd35
Subisomorphism/
Subisomorphism-m1-si2-bvg/
Subisomorphism-si2-b09-m200-02.xml
CSP 40 155 1 200 200 [{"size":200,"count":40}] 4 10 [{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":4},{"degree":8,"count":4},{"degree":9,"count":4},{"degree":10,"count":22}] 2 40 [{"arity":2,"count":154},{"arity":40,"count":1}] 0 154 [{"type":"extension","count":154},{"type":"allDifferent","count":1}] f 58809a6bda86b5c8d29edf225741fab0
Subisomorphism/
Subisomorphism-m1-si6-bvg/
Subisomorphism-si6-b03-m800-07.xml
CSP 480 718 1 800 800 [{"size":800,"count":480}] 2 4 [{"degree":2,"count":2},{"degree":3,"count":2},{"degree":4,"count":476}] 2 480 [{"arity":2,"count":717},{"arity":480,"count":1}] 0 717 [{"type":"extension","count":717},{"type":"allDifferent","count":1}] f 98d2d58aab7f5f40944baaa5254cf1ac
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-n100/
TravellingSalesman-100-50-00.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 ac62098c303420005332b673e951092f
TravellingSalesman/
TravellingSalesman-m1-n100/
TravellingSalesman-100-50-05.xml
COP 200 101 2 63 100 [{"size":63,"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 8c67453fb3d985d7ef69f755cd1f1510
TravellingSalesman/
TravellingSalesman-m1-n100/
TravellingSalesman-100-50-08.xml
COP 200 101 2 62 100 [{"size":62,"count":100},{"size":100,"count":100}] 2 3 [{"degree":2,"count":100},{"degree":3,"count":100}] 3 100 [{"arity":3,"count":100},{"arity":100,"count":1}] 0 100 [{"type":"extension","count":100},{"type":"allDifferent","count":1}] t min SUM 8e11a97c7673f129a8c4890bd1c1105b
TravellingSalesman/
TravellingSalesman-m1-n150/
TravellingSalesman-150-50-14.xml
COP 300 151 2 64 150 [{"size":64,"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 b2c04361dada2322dcbf50e86c385888
TravellingSalesman/
TravellingSalesman-m1-n150/
TravellingSalesman-150-50-15.xml
COP 300 151 2 63 150 [{"size":63,"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 97b5a288822c02a27c7c951fc8651369
TravellingSalesman/
TravellingSalesman-m1-n15/
TravellingSalesman-15-30-13.xml
COP 30 16 2 15 30 [{"size":15,"count":15},{"size":30,"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 55ee1821e6c80d60efd231ab90bfbad2
TravellingSalesman/
TravellingSalesman-m1-n20/
TravellingSalesman-20-30-02.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 a68811cefd95bd5595684aa0eec29a9f
TravellingSalesman/
TravellingSalesman-m1-n20/
TravellingSalesman-20-30-09.xml
COP 40 21 2 20 34 [{"size":20,"count":20},{"size":34,"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 3778b76dec94085d2dd964afc4e92a91
TravellingSalesman/
TravellingSalesman-m1-n20/
TravellingSalesman-20-30-18.xml
COP 40 21 2 20 29 [{"size":20,"count":20},{"size":29,"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 42f1d058d9b6109346b78f68a037a5c1
TravellingSalesman/
TravellingSalesman-m1-n30/
TravellingSalesman-30-30-18.xml
COP 60 31 2 30 30 [{"size":30,"count":60}] 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 16e7a4452edd8ccb673a436dbd81290a
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-n40/
TravellingSalesman-40-30-19.xml
COP 80 41 2 34 40 [{"size":34,"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 6526f92d1e0de584709c666a2aa2b127
TravellingSalesman/
TravellingSalesman-m1-n45/
TravellingSalesman-45-30-04.xml
COP 90 46 2 34 45 [{"size":34,"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 5907a24d8dc1871b0962636261677367
TravellingSalesman/
TravellingSalesman-m1-n45/
TravellingSalesman-45-30-09.xml
COP 90 46 2 38 45 [{"size":38,"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 8b7c2ee38e8603aaa2c4683b1141c0f0
TravellingSalesman/
TravellingSalesman-m1-n50/
TravellingSalesman-50-30-01.xml
COP 100 51 2 36 50 [{"size":36,"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 c2cf49e605ec7848371b33956294adc3
TravellingSalesman/
TravellingSalesman-m1-n50/
TravellingSalesman-50-30-05.xml
COP 100 51 2 35 50 [{"size":35,"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 edc960599dc3680268fdb44af0bd56ea
TravellingSalesman/
TravellingSalesman-m1-n75/
TravellingSalesman-75-50-02.xml
COP 150 76 2 56 75 [{"size":56,"count":75},{"size":75,"count":75}] 2 3 [{"degree":2,"count":75},{"degree":3,"count":75}] 3 75 [{"arity":3,"count":75},{"arity":75,"count":1}] 0 75 [{"type":"extension","count":75},{"type":"allDifferent","count":1}] t min SUM 9f40e16214a2956ff65ea335997fc7bb
TravellingSalesman/
TravellingSalesman-m1-n75/
TravellingSalesman-75-50-15.xml
COP 150 76 2 59 75 [{"size":59,"count":75},{"size":75,"count":75}] 2 3 [{"degree":2,"count":75},{"degree":3,"count":75}] 3 75 [{"arity":3,"count":75},{"arity":75,"count":1}] 0 75 [{"type":"extension","count":75},{"type":"allDifferent","count":1}] t min SUM a46dbd65929ac2bb08e7dc57e3d27c25
TravellingSalesman/
TravellingSalesman-xcsp2-s20a4/
TravellingSalesman-4-20-001-a4_X2.xml
CSP 61 228 5 1 1001 [{"size":1,"count":2},{"size":20,"count":20},{"size":161,"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 b8ea00653452363d0c81f6ef3102e485
TravellingSalesman/
TravellingSalesman-xcsp2-s20a4/
TravellingSalesman-4-20-727-a4_X2.xml
CSP 61 228 5 1 1001 [{"size":1,"count":2},{"size":20,"count":20},{"size":216,"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 feda79726080e93715556435cff6944b
TravellingSalesman/
TravellingSalesman-xcsp2-s20/
TravellingSalesman-20-076_X2.xml
CSP 61 230 5 1 1001 [{"size":1,"count":2},{"size":20,"count":20},{"size":183,"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 63d95fcac4968a6897becae9cdc29854
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-xcsp2-s20/
TravellingSalesman-20-142_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 d56953f82a267c4c8ee700c959d37f45
TravellingSalesman/
TravellingSalesman-xcsp2-s25/
TravellingSalesman-25-003_X2.xml
CSP 76 350 5 1 1001 [{"size":1,"count":2},{"size":25,"count":25},{"size":149,"count":24},{"size":1001,"count":25}] 1 25 [{"degree":1,"count":2},{"degree":2,"count":49},{"degree":25,"count":25}] 2 3 [{"arity":2,"count":325},{"arity":3,"count":25}] 0 350 [{"type":"extension","count":350}] f d6e988770bc6f2507c309b4f4f3312cf
TravellingSalesman/
TravellingSalesman-xcsp2-s25/
TravellingSalesman-25-066_X2.xml
CSP 76 350 5 1 1001 [{"size":1,"count":2},{"size":25,"count":25},{"size":121,"count":24},{"size":1001,"count":25}] 1 25 [{"degree":1,"count":2},{"degree":2,"count":49},{"degree":25,"count":25}] 2 3 [{"arity":2,"count":325},{"arity":3,"count":25}] 0 350 [{"type":"extension","count":350}] f 09321018be6bfcc628ddab34eddf7071
Wwtpp/Wwtpp-ord-s1/
Wwtpp-ord-ex02280.xml
CSP 476 402 22 1 10001 [{"size":1,"count":22},{"size":2,"count":92},{"size":1001,"count":46},{"size":1501,"count":46},{"size":2501,"count":46},{"size":3001,"count":46},{"size":5001,"count":88},{"size":10001,"count":90}] 1 3 [{"degree":1,"count":16},{"degree":2,"count":29},{"degree":3,"count":431}] 2 24 [{"arity":2,"count":189},{"arity":3,"count":96},{"arity":4,"count":90},{"arity":10,"count":4},{"arity":11,"count":7},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":23,"count":1},{"arity":24,"count":1}] 0 192 [{"type":"extension","count":192},{"type":"sum","count":210}] f 266034c566073a7f5804da8fab792568
Wwtpp/Wwtpp-ord-s1/
Wwtpp-ord-ex03380.xml
CSP 476 402 22 1 10001 [{"size":1,"count":22},{"size":2,"count":92},{"size":1001,"count":46},{"size":1501,"count":46},{"size":2501,"count":46},{"size":3001,"count":46},{"size":5001,"count":88},{"size":10001,"count":90}] 1 3 [{"degree":1,"count":16},{"degree":2,"count":29},{"degree":3,"count":431}] 2 24 [{"arity":2,"count":189},{"arity":3,"count":96},{"arity":4,"count":90},{"arity":10,"count":4},{"arity":11,"count":7},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":23,"count":1},{"arity":24,"count":1}] 0 192 [{"type":"extension","count":192},{"type":"sum","count":210}] f 4b7737b348ce8099143a34a20635223c
Wwtpp/Wwtpp-ord-s1/
Wwtpp-ord-ex05480.xml
CSP 476 402 22 1 10001 [{"size":1,"count":22},{"size":2,"count":92},{"size":1001,"count":46},{"size":1501,"count":46},{"size":2501,"count":46},{"size":3001,"count":46},{"size":5001,"count":88},{"size":10001,"count":90}] 1 3 [{"degree":1,"count":16},{"degree":2,"count":29},{"degree":3,"count":431}] 2 24 [{"arity":2,"count":189},{"arity":3,"count":96},{"arity":4,"count":90},{"arity":10,"count":4},{"arity":11,"count":7},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":23,"count":1},{"arity":24,"count":1}] 0 192 [{"type":"extension","count":192},{"type":"sum","count":210}] f c9499957e3a18a7800afc05acf28f8ff
Wwtpp/Wwtpp-ord-s1/
Wwtpp-ord-ex06460.xml
CSP 476 402 22 1 10001 [{"size":1,"count":22},{"size":2,"count":92},{"size":1001,"count":46},{"size":1501,"count":46},{"size":2501,"count":46},{"size":3001,"count":46},{"size":5001,"count":88},{"size":10001,"count":90}] 1 3 [{"degree":1,"count":16},{"degree":2,"count":29},{"degree":3,"count":431}] 2 24 [{"arity":2,"count":189},{"arity":3,"count":96},{"arity":4,"count":90},{"arity":10,"count":4},{"arity":11,"count":7},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":23,"count":1},{"arity":24,"count":1}] 0 192 [{"type":"extension","count":192},{"type":"sum","count":210}] f f140970bd722cd0d04a16203ca32674e
Wwtpp/Wwtpp-ord-s1/
Wwtpp-ord-ex07180.xml
CSP 476 402 22 1 10001 [{"size":1,"count":22},{"size":2,"count":92},{"size":1001,"count":46},{"size":1501,"count":46},{"size":2501,"count":46},{"size":3001,"count":46},{"size":5001,"count":88},{"size":10001,"count":90}] 1 3 [{"degree":1,"count":16},{"degree":2,"count":29},{"degree":3,"count":431}] 2 24 [{"arity":2,"count":189},{"arity":3,"count":96},{"arity":4,"count":90},{"arity":10,"count":4},{"arity":11,"count":7},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":23,"count":1},{"arity":24,"count":1}] 0 192 [{"type":"extension","count":192},{"type":"sum","count":210}] f e350026a89cfa709a4f565894b0c8a5a
Wwtpp/Wwtpp-ord-s1/
Wwtpp-ord-ex08540.xml
CSP 476 402 22 1 10001 [{"size":1,"count":22},{"size":2,"count":92},{"size":1001,"count":46},{"size":1501,"count":46},{"size":2501,"count":46},{"size":3001,"count":46},{"size":5001,"count":88},{"size":10001,"count":90}] 1 3 [{"degree":1,"count":16},{"degree":2,"count":29},{"degree":3,"count":431}] 2 24 [{"arity":2,"count":189},{"arity":3,"count":96},{"arity":4,"count":90},{"arity":10,"count":4},{"arity":11,"count":7},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":23,"count":1},{"arity":24,"count":1}] 0 192 [{"type":"extension","count":192},{"type":"sum","count":210}] f 440b59c3b2d6a515b3a7929740109e51