This page displays general informations on each benchmark in category "all categories"
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
|---|---|---|---|---|
| chessboardColoration/ cc-10-10-2.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | a92776cdff8557438c3e6ed66838915a |
| chessboardColoration/ cc-12-12-2.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 7fe04cc5f7e36d93c076012093d524a8 |
| chessboardColoration/ cc-15-15-2.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 53f3c40c9cfd966a800634e58b907691 |
| chessboardColoration/ cc-20-20-2.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 4bfbbbec534ab5354946c7d304aa6b6b |
| chessboardColoration/ cc-25-25-2.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 1e33651b78b554bdc5ee856706c28b13 |
| chessboardColoration/ cc-5-5-2.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 61ec0f20f1d4e5c1d642b82c6dce9718 |
| chessboardColoration/ cc-6-6-2.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | a8c14c438e718ff6d9298db1d4701e5f |
| chessboardColoration/ cc-7-7-2.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 1380713e8b92d45d51085dc26e0f4ecf |
| chessboardColoration/ cc-8-8-2.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 4cb14a14b9ffd06a9e1ae9114d8e69f5 |
| chessboardColoration/ cc-9-9-2.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | c4173727a6ec0cd98f872aeaa7cc40fb |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| coloring/ dsjc-125-1-4-ext.xml |
2-ARY-EXT | PATT, PATT | 95c76cc1eda1816f42d2ae5c2bb2a089 | |
| coloring/ geom-30a-3-ext.xml |
2-ARY-EXT | PATT, PATT | 988fc81fbaf808399fb7936f353f616c | |
| coloring/ geom-30a-4-ext.xml |
2-ARY-EXT | PATT, PATT | 26316bc3cad1d7ada5460ee8bafa6099 | |
| coloring/ geom-30a-5-ext.xml |
2-ARY-EXT | PATT, PATT | 162106a1ffe1b0fbdc628fd119f2c399 | |
| coloring/ geom-40-2-ext.xml |
2-ARY-EXT | PATT, PATT | 4b03e5504b43f1baf966786915db3fbb | |
| coloring/ geom-40-3-ext.xml |
2-ARY-EXT | PATT, PATT | d54325db3282ef19b94f41e995b8132d | |
| coloring/ geom-40-4-ext.xml |
2-ARY-EXT | PATT, PATT | 64606531f4553ea248cad0209b5e8ed2 | |
| coloring/ geom-40-5-ext.xml |
2-ARY-EXT | PATT, PATT | f68e53fdb91cc1d9b6f549f8578d1fcc | |
| coloring/ le-450-5a-2-ext.xml |
2-ARY-EXT | PATT, PATT | 9047a7b73916255c97ce1a53faeb9259 | |
| coloring/ le-450-5a-3-ext.xml |
2-ARY-EXT | PATT, PATT | 9fdd938979bc7fe942d8a22c41b71010 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| coloring/ myciel-5g-3-ext.xml |
2-ARY-EXT | PATT, PATT | e1aedd11c2458b29f711a3b3fe14039f | |
| coloring/ myciel-5g-4-ext.xml |
2-ARY-EXT | PATT, PATT | d7e45575bbac0fb5e64744e0880af712 | |
| coloring/ myciel-5g-5-ext.xml |
2-ARY-EXT | PATT, PATT | 6350e3a68b258bb6cda8764f11403dc3 | |
| coloring/ queens-5-5-3-ext.xml |
2-ARY-EXT | PATT, PATT | 2b13052aabe04d22d8cf7b6b50ff33cf | |
| coloring/ queens-5-5-4-ext.xml |
2-ARY-EXT | PATT, PATT | 08303d0bc839b66a68c1b7bcc600d2e9 | |
| composed/composed-25-1-25/ composed-25-1-25-1_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 9b6b2242e6bc06813ecf0f04155f2e47 |
| composed/composed-25-1-25/ composed-25-1-25-3_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 8a77c5542f054aec87912a5b9d333e9c |
| composed/composed-25-1-25/ composed-25-1-25-5_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 16a5ff113a9c779fbd7dcf8642ec2bef |
| composed/composed-25-1-25/ composed-25-1-25-7_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 3cff116bc9e1920a9268b2b89f03ad45 |
| composed/composed-25-1-25/ composed-25-1-25-9_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 97fbca78c8dfc5f513428faf36f901a4 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| composed/composed-25-1-2/ composed-25-1-2-1_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | ff72b5549f71496c7cc07b984a9ace3f |
| composed/composed-25-1-2/ composed-25-1-2-3_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 06a85bcf310607617ac6134217af32cd |
| composed/composed-25-1-2/ composed-25-1-2-5_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | b3956eedef1d3ae0ff181403ff3b6e4e |
| composed/composed-25-1-2/ composed-25-1-2-7_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 45240073b6bd61017c32102071fb6bb0 |
| composed/composed-25-1-2/ composed-25-1-2-9_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 33c793177024d939d31fad8b7532cb36 |
| composed/composed-25-1-40/ composed-25-1-40-1_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | e6f912d560466da0d515f11f38ba7ca3 |
| composed/composed-25-1-40/ composed-25-1-40-3_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 1a278fc37538a35c0edf0828cfe8a900 |
| composed/composed-25-1-40/ composed-25-1-40-5_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | f949c768ad43ca425c1184f86c1aaa53 |
| composed/composed-25-1-40/ composed-25-1-40-7_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | e81361ec4d2007a67e83ac3c416ef1c1 |
| composed/composed-25-1-40/ composed-25-1-40-9_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 172d3def47834355ee40443d411f6b5d |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| composed/composed-25-1-80/ composed-25-1-80-1_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 83c7b25af1f95bba2d05432f9ef312fa |
| composed/composed-25-1-80/ composed-25-1-80-3_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 3a1b5a280d9aef34e4f3db5027225765 |
| composed/composed-25-1-80/ composed-25-1-80-5_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 0dc2ed579145e6e5c4ce41e948f22a65 |
| composed/composed-25-1-80/ composed-25-1-80-7_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 43f8c52ab4dc6387806c6596451fed65 |
| composed/composed-25-1-80/ composed-25-1-80-9_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 70102c09a77ddb36ccf396a11be759d6 |
| composed/composed-75-1-25/ composed-75-1-25-1_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 32da0509b8696ed118f5351ed8a5ee67 |
| composed/composed-75-1-25/ composed-75-1-25-3_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 5b2d1182a60b69ac86a4f0dc4f7bee5f |
| composed/composed-75-1-25/ composed-75-1-25-5_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | d5dcbdad0adcb9f95b4eba15843cde8d |
| composed/composed-75-1-25/ composed-75-1-25-7_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | b96830022f131135e27d0cb7a7883aca |
| composed/composed-75-1-25/ composed-75-1-25-9_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 0899f1c93a3abf027f057850bca87d0d |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| composed/composed-75-1-2/ composed-75-1-2-1_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 105c45db28190f571680a8b3b260c71b |
| composed/composed-75-1-2/ composed-75-1-2-3_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | abbc8ca348cdc4ccc94e7ff77e181c08 |
| composed/composed-75-1-2/ composed-75-1-2-5_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 050c7b9010d6f7a258084862214a094f |
| composed/composed-75-1-2/ composed-75-1-2-7_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 187c2b1262c9b9ddbe76e1726786577d |
| composed/composed-75-1-2/ composed-75-1-2-9_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 7b11356db0138df0c4114f6e8785d12e |
| composed/composed-75-1-40/ composed-75-1-40-1_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 1acdcdaca89fda9de7e1c20a5a08984b |
| composed/composed-75-1-40/ composed-75-1-40-3_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | af1d559dffde60dde77090cb436bb758 |
| composed/composed-75-1-40/ composed-75-1-40-5_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 78976c66c916a0757f679e9dad7fe882 |
| composed/composed-75-1-40/ composed-75-1-40-7_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | c4e2bd6fbee3a52976462caf64ba0638 |
| composed/composed-75-1-40/ composed-75-1-40-9_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 8b8adc1cff993881ebe04d7eaa2081f1 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| composed/composed-75-1-80/ composed-75-1-80-1_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 258fe5b71eaf32145d59f1dfd9648cbd |
| composed/composed-75-1-80/ composed-75-1-80-3_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 5d92846f101fb359d7cbd40cdfae1740 |
| composed/composed-75-1-80/ composed-75-1-80-5_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | d350ded4476695b6faf15d599d5f8933 |
| composed/composed-75-1-80/ composed-75-1-80-7_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 73f4505fc027b832d85c5214765d7da2 |
| composed/composed-75-1-80/ composed-75-1-80-9_ext.xml |
UNSAT | 2-ARY-EXT | QRND, QRND | 606d7c7565f06aaafea21e2e4cbb256c |
| cril/ cril-6_ext.xml |
UNSAT | N-ARY-EXT | PATT, PATT | f8d39e5bdce05fe09513769763e88957 |
| cril/ cril-7.ext.xml |
UNSAT | N-ARY-EXT | PATT, PATT | 7cc7e95e3ab2b5c1b2e8d820acd1fe1b |
| dimacs/ jnhUnsat/ jnh02_ext.xml |
N-ARY-EXT | BOOL, BOOL | 77d98c460e49a8fb50ab0494f05b8300 | |
| dimacs/ jnhUnsat/ jnh10_ext.xml |
N-ARY-EXT | BOOL, BOOL | edbada235b91b2cf8f8037b9465e5a04 | |
| dimacs/ jnhUnsat/ jnh202_ext.xml |
N-ARY-EXT | BOOL, BOOL | 51bd6ffcd11ef38e390fd09f5064aa48 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| dimacs/ jnhUnsat/ jnh208_ext.xml |
N-ARY-EXT | BOOL, BOOL | af367b2e16e10ccee153eb09201fad82 | |
| dimacs/ jnhUnsat/ jnh20_ext.xml |
N-ARY-EXT | BOOL, BOOL | 50ecb9a00270bf368513667c59f80d9d | |
| dimacs/ jnhUnsat/ jnh215_ext.xml |
N-ARY-EXT | BOOL, BOOL | cc494a85bdbb1622a7dbd2d18b618861 | |
| dimacs/ jnhUnsat/ jnh216_ext.xml |
N-ARY-EXT | BOOL, BOOL | 79cc2a994be7fd7435ac9b095e1b5c46 | |
| dimacs/ jnhUnsat/ jnh302_ext.xml |
N-ARY-EXT | BOOL, BOOL | 26910c14e0d5a375ffdaad373f23f2c9 | |
| dimacs/ jnhUnsat/ jnh308_ext.xml |
N-ARY-EXT | BOOL, BOOL | 32f8454b076ced86b572a5f7ee11db42 | |
| dimacs/ jnhUnsat/ jnh310_ext.xml |
N-ARY-EXT | BOOL, BOOL | a17b4095191bd0bf7b9394b428260da1 | |
| dimacs/pret/ pret-150-25_ext.xml |
N-ARY-EXT | BOOL, BOOL | 7942e547e6f15972e65c0d137b735236 | |
| dimacs/pret/ pret-150-40_ext.xml |
N-ARY-EXT | BOOL, BOOL | 3a52a800eac841971a0879ee4e43203a | |
| dimacs/pret/ pret-150-60_ext.xml |
N-ARY-EXT | BOOL, BOOL | ca337bbeb6e518888e00c1dfffb8dbc8 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| dimacs/pret/ pret-150-75_ext.xml |
N-ARY-EXT | BOOL, BOOL | 8c16a1ce741b5e4e319f46b3cb8ec761 | |
| dimacs/pret/ pret-60-25_ext.xml |
N-ARY-EXT | BOOL, BOOL | 5ae51ce573f8e61d952141129607aff7 | |
| dimacs/pret/ pret-60-40_ext.xml |
N-ARY-EXT | BOOL, BOOL | 0d74555e44f25386bfce89d3fd5d9a3a | |
| dimacs/pret/ pret-60-60_ext.xml |
N-ARY-EXT | BOOL, BOOL | b2b762c34be059b37506a29c09fcdb74 | |
| dimacs/pret/ pret-60-75_ext.xml |
N-ARY-EXT | BOOL, BOOL | 5373c097d76184877d5eaffb3c2cb383 | |
| dimacs/ssa/ ssa-0432-003_ext.xml |
N-ARY-EXT | BOOL, BOOL | 186780f30bf46b633acf597de8e6a549 | |
| dimacs/ssa/ ssa-2670-130_ext.xml |
N-ARY-EXT | BOOL, BOOL | a69cb0578060e72c362a8bb6c0c5d6ab | |
| dimacs/ varDimacs/ hole-06_ext.xml |
N-ARY-EXT | BOOL, BOOL | d90f3bf130aacbd8eb9c8f40746d4a46 | |
| dimacs/ varDimacs/ hole-07_ext.xml |
N-ARY-EXT | BOOL, BOOL | e5ee6584f63e0e9add587bac5f54e04f | |
| fapp/fapp11-15/ fapp11/ fapp11-1000-0.xml |
UNSAT | 2-ARY-INT | REAL, REAL | dbef2f05eaf3bc2b6a5a2e59b2388b70 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| fapp/fapp11-15/ fapp11/ fapp11-1000-1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 807c7a1bb270de62fd8ab1fdbd66c332 |
| fapp/fapp11-15/ fapp11/ fapp11-1000-2.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 69b107b4e08702b8ad8f64aec9f1ccc3 |
| fapp/fapp11-15/ fapp11/ fapp11-1000-3.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 9f6fab3cbce8258078edbda9a5e9d13f |
| fapp/fapp11-15/ fapp11/ fapp11-1000-4.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 5145a33efd34f749485cb3d43c764923 |
| fapp/fapp11-15/ fapp11/ fapp11-1000-5.xml |
UNSAT | 2-ARY-INT | REAL, REAL | b661827da205822238b3e0d3c05549cf |
| fapp/fapp11-15/ fapp11/ fapp11-1000-6.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 6b5dd0783de8ffe8db36fbbb14ddfcf0 |
| fapp/fapp11-15/ fapp11/ fapp11-1000-7.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 76197611c0892ae9e5058ee39d3aa972 |
| fapp/fapp11-15/ fapp12/ fapp12-1500-0.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 8852f43241b06dc94642af49e2d6d548 |
| fapp/fapp11-15/ fapp12/ fapp12-1500-1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 377352dfd2684bf560df5698f67e0e65 |
| fapp/fapp11-15/ fapp13/ fapp13-2000-0.xml |
UNSAT | 2-ARY-INT | REAL, REAL | a32198ea21ca0bec318dd728ce382b21 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| fapp/fapp11-15/ fapp13/ fapp13-2000-1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | f05f4f4f08175b4a33e0715dbde0d67a |
| fapp/fapp11-15/ fapp13/ fapp13-2000-2.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 2ac0102e63bae2a630109ac404c489a9 |
| fapp/fapp11-15/ fapp14/ fapp14-2500-0.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 48c22b4658f7e95cf77401e5a2d21209 |
| fapp/fapp11-15/ fapp14/ fapp14-2500-1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | e25e356bc98ab8ce9620a3fb6e6db1ca |
| fapp/fapp11-15/ fapp14/ fapp14-2500-2.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 725b6642173552cf2abf8e36b2356adf |
| fapp/fapp11-15/ fapp14/ fapp14-2500-3.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 4617dd65e04376af0f17b07f3d79e34a |
| fapp/fapp11-15/ fapp15/ fapp15-3000-0.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 2be79f0821f7522fe88dc3496c804b12 |
| fapp/fapp11-15/ fapp15/ fapp15-3000-1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 2cf7ece5c4ec944165ff6d4cc1345473 |
| fapp/fapp11-15/ fapp15/ fapp15-3000-2.xml |
UNSAT | 2-ARY-INT | REAL, REAL | e329d2fbebc2b014e1808d90bbd1aefe |
| fapp/fapp11-15/ fapp15/ fapp15-3000-3.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 83479ca6a4f71440e69182b52263adbf |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| fapp/fapp11-15/ fapp15/ fapp15-3000-4.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 9e78c37f84975ac2cde8c3ed71f26ee9 |
| fapp/fapp36-40/ fapp36/ fapp36-2000-0.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 90f8a89d2b50939af615074c82c16fcf |
| fapp/fapp36-40/ fapp36/ fapp36-2000-1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 74504524e8a319c1310e9487cb947f0c |
| fapp/fapp36-40/ fapp36/ fapp36-2000-2.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 137398d09e92b8e2132a9bc337bc058c |
| fapp/fapp36-40/ fapp36/ fapp36-2000-3.xml |
UNSAT | 2-ARY-INT | REAL, REAL | d481a9361d80c6f0d8e85c5a29d689ed |
| fapp/fapp36-40/ fapp36/ fapp36-2000-4.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 89a45000573be1b2f9bfb23b71c21d6b |
| fapp/fapp36-40/ fapp36/ fapp36-2000-5.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 5e3c65923e669c1502345f1887a5f156 |
| fapp/fapp36-40/ fapp36/ fapp36-2000-6.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 83eb19c7109a7c0773fe268e40325cfc |
| fapp/fapp36-40/ fapp37/ fapp37-2250-0.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 82b2049137acde119d642358846e7753 |
| fapp/fapp36-40/ fapp37/ fapp37-2250-1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | a47e2dd557afef22184c3730edca47ba |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| fapp/fapp36-40/ fapp37/ fapp37-2250-2.xml |
UNSAT | 2-ARY-INT | REAL, REAL | bac99f9958b80c8ec534e72953bba797 |
| fapp/fapp36-40/ fapp37/ fapp37-2250-3.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 0681a81c96eee827f8a36aac50fcc9e4 |
| fapp/fapp36-40/ fapp37/ fapp37-2250-4.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 8be6780779a5eacfdc07014164857344 |
| fapp/fapp36-40/ fapp38/ fapp38-2500-0.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 00688de2264349cb35c485d1a6fd29a5 |
| fapp/fapp36-40/ fapp38/ fapp38-2500-1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | d9a5d0f42873de31e4aba17b1bc51fb2 |
| fapp/fapp36-40/ fapp38/ fapp38-2500-2.xml |
UNSAT | 2-ARY-INT | REAL, REAL | e17ec046c3a7997040f3d055b0024c8a |
| fapp/fapp36-40/ fapp39/ fapp39-2750-0.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 2cbccfaa4c4c5e630cbb69b5e8dba07c |
| fapp/fapp36-40/ fapp39/ fapp39-2750-1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 0711f87a2f23f1ada9e0aed542733318 |
| fapp/fapp36-40/ fapp39/ fapp39-2750-2.xml |
UNSAT | 2-ARY-INT | REAL, REAL | b2c8a831f9d033b4a9ad8eac1f5cc450 |
| fapp/fapp36-40/ fapp40/ fapp40-3000-0.xml |
UNSAT | 2-ARY-INT | REAL, REAL | f23290b809fa6afaa52593a6e4d3f1f9 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| fapp/fapp36-40/ fapp40/ fapp40-3000-1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | e73fbce21894132281af3102ab806d6c |
| fapp/fapp36-40/ fapp40/ fapp40-3000-2.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 7914318078e2e6bda68bc227b451eb9e |
| fapp/fapp36-40/ fapp40/ fapp40-3000-3.xml |
UNSAT | 2-ARY-INT | REAL, REAL | cad764e8b50fa9fdddcbd25c7290a916 |
| golombRuler/ golombRulerArity3/ruler-17-7-a3.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 65a28fbf4535b759ddf3de70d89af9fd |
| golombRuler/ golombRulerArity3/ruler-25-8-a3.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 2497d67e4dec3c7a7ee1cfc380bfa734 |
| golombRuler/ golombRulerArity3/ruler-34-9-a3.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 7302e3529255c5622666d6e0c9c49944 |
| golombRuler/ golombRulerArity3/ ruler-44-10-a3.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 04660a8636430499a1688ded3d6e50e4 |
| golombRuler/ golombRulerArity3/ ruler-55-11-a3.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 6caf16780145de405cd4e27ecb1d3953 |
| golombRuler/ golombRulerArity3/ ruler-67-12-a3.xml |
N-ARY-INT | ACAD, ACAD | 901737356712bb227c2d9ca62b34a56a | |
| golombRuler/ golombRulerArity3/ ruler-70-13-a3.xml |
N-ARY-INT | ACAD, ACAD | 867e5ac3974f1355ea650434b3018815 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| golombRuler/ golombRulerArity4/ruler-17-7-a4.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 229d1d88a2f8508f62fbcf57646d7c49 |
| golombRuler/ golombRulerArity4/ruler-25-8-a4.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 786d27d78a4fcbb0c0cbeeb923fd5833 |
| golombRuler/ golombRulerArity4/ruler-34-9-a4.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 595a44e6ab9cbcc9e7223c194d261e6f |
| golombRuler/ golombRulerArity4/ ruler-44-10-a4.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 5a77c82d4a1b3da080370c15439dcb29 |
| golombRuler/ golombRulerArity4/ ruler-55-11-a4.xml |
UNSAT | N-ARY-INT | ACAD, ACAD | 1f9db1cd2e7ccd3afc8aaa7073d57623 |
| golombRuler/ golombRulerArity4/ ruler-67-12-a4.xml |
N-ARY-INT | ACAD, ACAD | dcd392d9418262da47d36b69c9910317 | |
| golombRuler/ golombRulerArity4/ ruler-70-13-a4.xml |
N-ARY-INT | ACAD, ACAD | 8550458df6e804e35921814f1d43a5d8 | |
| MaxCSP/celar/graphs/ graphw-05_ext.xml |
2-ARY-EXT | REAL, REAL | 42de800436a33f2dea33d3a204f4a08c | |
| MaxCSP/celar/graphs/ graphw-06_ext.xml |
2-ARY-EXT | REAL, REAL | 46922bec33b2d2f173d4b9ae8ecb3e22 | |
| MaxCSP/celar/graphs/ graphw-07_ext.xml |
2-ARY-EXT | REAL, REAL | f25de13d4f150ed02151ee6e8944306e | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/celar/graphs/ graphw-11_ext.xml |
2-ARY-EXT | REAL, REAL | c8544fdf32639cb3e1b73102da39133d | |
| MaxCSP/celar/graphs/ graphw-12_ext.xml |
2-ARY-EXT | REAL, REAL | 3bfeedacce84213e88719526b20ab274 | |
| MaxCSP/celar/graphs/ graphw-13_ext.xml |
2-ARY-EXT | REAL, REAL | add542c90ceba41ca545e534506352d8 | |
| MaxCSP/celar/scens/ scenw-06-16_ext.xml |
2-ARY-EXT | REAL, REAL | c07618a7c18950ed01e14a653b4f1e99 | |
| MaxCSP/celar/scens/ scenw-06-18_ext.xml |
2-ARY-EXT | REAL, REAL | d107b23e4a4d474ff01e3a4c5552ca61 | |
| MaxCSP/celar/scens/ scenw-06-20_ext.xml |
2-ARY-EXT | REAL, REAL | 17bd7bdc60a2728368a9f59b9c046bea | |
| MaxCSP/celar/scens/ scenw-06-22_ext.xml |
2-ARY-EXT | REAL, REAL | a2b7f0ee7cfbd46f4accfd65ca9b29fd | |
| MaxCSP/celar/scens/ scenw-06-24_ext.xml |
2-ARY-EXT | REAL, REAL | 95b6a5d3e9a91c69b60abc9fffa0c3ba | |
| MaxCSP/celar/scens/ scenw-06-30_ext.xml |
2-ARY-EXT | REAL, REAL | b45a0a573ecc844c0406e11a730fcc6c | |
| MaxCSP/celar/ scens/ scenw-06-30reduc_ext.xml |
2-ARY-EXT | REAL, REAL | ded80639080e52b490751ff76b73bc65 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/celar/ scens/ scenw-06_ext.xml |
2-ARY-EXT | REAL, REAL | d11f1ab6640c694674a36e3cafead378 | |
| MaxCSP/celar/scens/ scenw-07_10000_30r_ext.xml |
2-ARY-EXT | REAL, REAL | fb6b5805b7fd6bb2fdb021d191e9f4ab | |
| MaxCSP/celar/ scens/ scenw-07_ext.xml |
2-ARY-EXT | REAL, REAL | 9613a6987fae95d1414e6facb2e0f224 | |
| MaxCSP/celar/ scens/ scenw-08_ext.xml |
2-ARY-EXT | REAL, REAL | 65c3907f212d3139cc631ca5c6797c79 | |
| MaxCSP/celar/ scens/ scenw-09_ext.xml |
2-ARY-EXT | REAL, REAL | 8ac718dea6072167a1fdc56593c6227c | |
| MaxCSP/celar/ scens/ scenw-10_ext.xml |
2-ARY-EXT | REAL, REAL | 8ac718dea6072167a1fdc56593c6227c | |
| MaxCSP/celar/ subs6/ scenw-6-sub0_ext.xml |
2-ARY-EXT | REAL, REAL | 2d95fdbee9d39a7c74df44f8ec9859ce | |
| MaxCSP/celar/ subs6/ scenw-6-sub1-24_ext.xml |
2-ARY-EXT | REAL, REAL | 65429f79973cc243e147c22047969b2a | |
| MaxCSP/celar/ subs6/ scenw-6-sub1_ext.xml |
2-ARY-EXT | REAL, REAL | 9fd2c9f754995ee8b76fff9abf5039b7 | |
| MaxCSP/celar/ subs6/ scenw-6-sub2_ext.xml |
2-ARY-EXT | REAL, REAL | e10a0dc0e2c27840aac467593467c8f1 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/celar/ subs6/ scenw-6-sub3_ext.xml |
2-ARY-EXT | REAL, REAL | 532a0a01a58d627c1504ce0cf6a00535 | |
| MaxCSP/celar/ subs6/ scenw-6-sub4-20_ext.xml |
2-ARY-EXT | REAL, REAL | 28cf952ae15611dedcf10fed10fa7ba8 | |
| MaxCSP/celar/ subs6/ scenw-6-sub4_ext.xml |
2-ARY-EXT | REAL, REAL | a791ab88720a2c7120593a483c365e07 | |
| MaxCSP/celar/ subs7/ scenw-7-sub0_ext.xml |
2-ARY-EXT | REAL, REAL | 8904a6ce573e4c24db2073dd188d8c97 | |
| MaxCSP/celar/ subs7/ scenw-7-sub1-20_ext.xml |
2-ARY-EXT | REAL, REAL | a1c46d3c56361f00ab0c53678955b3da | |
| MaxCSP/celar/ subs7/ scenw-7-sub1_ext.xml |
2-ARY-EXT | REAL, REAL | 3b31cf10d993949684308d050377e65a | |
| MaxCSP/celar/ subs7/ scenw-7-sub2_ext.xml |
2-ARY-EXT | REAL, REAL | 9d3ca6965155525e4afbce2ac78687c5 | |
| MaxCSP/celar/ subs7/ scenw-7-sub3_ext.xml |
2-ARY-EXT | REAL, REAL | ecf2e73bef9f71dc6fdfa75313d82cae | |
| MaxCSP/celar/ subs7/ scenw-7-sub4-22_ext.xml |
2-ARY-EXT | REAL, REAL | f2cfb5e6c9f6d2f2f494645c769a83d1 | |
| MaxCSP/celar/ subs7/ scenw-7-sub4_ext.xml |
2-ARY-EXT | REAL, REAL | ff28fd6fcca6fab00aa59f0a86d5d4fa | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/cnf/2-40-100-1000/ cnf-2-40-1000-261921_ext.xml |
2-ARY-EXT | BOOL, BOOL | 0a7c6be84dbc6c11f36c519e4a792e13 | |
| MaxCSP/cnf/2-40-100-1000/ cnf-2-40-100-730621_ext.xml |
2-ARY-EXT | BOOL, BOOL | 2f386a157fc1fd0517f9439644b0063b | |
| MaxCSP/cnf/2-40-100-1000/ cnf-2-40-200-456321_ext.xml |
2-ARY-EXT | BOOL, BOOL | ab0c6c0e45fa99dcbd5927e44f22d358 | |
| MaxCSP/cnf/2-40-100-1000/ cnf-2-40-300-182021_ext.xml |
2-ARY-EXT | BOOL, BOOL | c1f329cd8fff4c106209a719bf5f5913 | |
| MaxCSP/cnf/2-40-100-1000/ cnf-2-40-400-907721_ext.xml |
2-ARY-EXT | BOOL, BOOL | 6381174a163179c8d9be1bb13dda4084 | |
| MaxCSP/cnf/2-40-100-1000/ cnf-2-40-500-633421_ext.xml |
2-ARY-EXT | BOOL, BOOL | 43d6e82bfb21b8b1be61fdff03b044ef | |
| MaxCSP/cnf/2-40-100-1000/ cnf-2-40-600-359121_ext.xml |
2-ARY-EXT | BOOL, BOOL | cc58431104d5f0e672ead95c24bc4ef4 | |
| MaxCSP/cnf/2-40-100-1000/ cnf-2-40-700-084821_ext.xml |
2-ARY-EXT | BOOL, BOOL | 8abe1af83415b99a9dfdc58ac56cffad | |
| MaxCSP/cnf/2-40-100-1000/ cnf-2-40-800-810521_ext.xml |
2-ARY-EXT | BOOL, BOOL | aeac06a8c36407b0c4056c16615e1181 | |
| MaxCSP/cnf/2-40-100-1000/ cnf-2-40-900-536221_ext.xml |
2-ARY-EXT | BOOL, BOOL | ccfbb8c72d2512e999a65c5ec7bdec39 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/cnf/2-40-1100-2000/ cnf-2-40-1100-987621_ext.xml |
2-ARY-EXT | BOOL, BOOL | 5a9f3ca0e0f505c60be20c3de19efed6 | |
| MaxCSP/cnf/2-40-1100-2000/ cnf-2-40-1200-713321_ext.xml |
2-ARY-EXT | BOOL, BOOL | 5ffdfd6693618ccdb6e65fbb60b76122 | |
| MaxCSP/cnf/ 2-40-1100-2000/ cnf-2-40-1300-39021_ext.xml |
2-ARY-EXT | BOOL, BOOL | 220d5ed5b55e42ef2b4d107b7ca6ec81 | |
| MaxCSP/cnf/2-40-1100-2000/ cnf-2-40-1400-164721_ext.xml |
2-ARY-EXT | BOOL, BOOL | 551231a39731a23722f124615e155feb | |
| MaxCSP/cnf/2-40-1100-2000/ cnf-2-40-1500-890421_ext.xml |
2-ARY-EXT | BOOL, BOOL | f7aa93ecd28a05cea1adcda300fa6562 | |
| MaxCSP/cnf/2-40-1100-2000/ cnf-2-40-1600-616121_ext.xml |
2-ARY-EXT | BOOL, BOOL | fc283ce45daa2db672118338a1ef28f9 | |
| MaxCSP/cnf/2-40-1100-2000/ cnf-2-40-1700-341821_ext.xml |
2-ARY-EXT | BOOL, BOOL | a6f7354ba8162589997d13e1f9991567 | |
| MaxCSP/cnf/2-40-1100-2000/ cnf-2-40-1800-067521_ext.xml |
2-ARY-EXT | BOOL, BOOL | 1c1a236ff51e1fd34b7e79797ed292a6 | |
| MaxCSP/cnf/2-40-1100-2000/ cnf-2-40-1900-793221_ext.xml |
2-ARY-EXT | BOOL, BOOL | 3c273f381197f4fb0c4a0f9eafac61dc | |
| MaxCSP/cnf/2-40-1100-2000/ cnf-2-40-2000-518921_ext.xml |
2-ARY-EXT | BOOL, BOOL | 27fbe854dfd45dde8eee7bfb89ad107a | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/cnf/2-40-2100-3000/ cnf-2-40-2100-244621_ext.xml |
2-ARY-EXT | BOOL, BOOL | aa4410bbd1415ceb6d64d55ced980d2d | |
| MaxCSP/cnf/2-40-2100-3000/ cnf-2-40-2200-970321_ext.xml |
2-ARY-EXT | BOOL, BOOL | 3b936b9423c4c588895e36b33a8088ef | |
| MaxCSP/cnf/ 2-40-2100-3000/ cnf-2-40-2300-96021_ext.xml |
2-ARY-EXT | BOOL, BOOL | 68c415f9c7ce5366bf1a6ae1f3f8a678 | |
| MaxCSP/cnf/2-40-2100-3000/ cnf-2-40-2400-421721_ext.xml |
2-ARY-EXT | BOOL, BOOL | fd72077ccdb036d42cd8baf14e217cd2 | |
| MaxCSP/cnf/2-40-2100-3000/ cnf-2-40-2500-147421_ext.xml |
2-ARY-EXT | BOOL, BOOL | c4fe2323b6a170a8fe5354dfe57bd003 | |
| MaxCSP/cnf/2-40-2100-3000/ cnf-2-40-2600-873121_ext.xml |
2-ARY-EXT | BOOL, BOOL | ed6bacefa44dacfdcd8be18688454bc3 | |
| MaxCSP/cnf/2-40-2100-3000/ cnf-2-40-2700-598821_ext.xml |
2-ARY-EXT | BOOL, BOOL | 828d138cfd86692f55053069afa8f92c | |
| MaxCSP/cnf/2-40-2100-3000/ cnf-2-40-2800-324521_ext.xml |
2-ARY-EXT | BOOL, BOOL | 9cd1b3951b7968dab312b10c5557044e | |
| MaxCSP/cnf/2-40-2100-3000/ cnf-2-40-2900-050221_ext.xml |
2-ARY-EXT | BOOL, BOOL | a6e9367b3b405d0ac5c7e5614f8927c4 | |
| MaxCSP/cnf/2-40-2100-3000/ cnf-2-40-3000-775921_ext.xml |
2-ARY-EXT | BOOL, BOOL | e9deac68ab1746e3de0e33516cd376ba | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/cnf/2-80-100-1000/ cnf-2-80-1000-266841_ext.xml |
2-ARY-EXT | BOOL, BOOL | 260db66ed3dcce14547424f4c298f7c1 | |
| MaxCSP/cnf/2-80-100-1000/ cnf-2-80-100-735541_ext.xml |
2-ARY-EXT | BOOL, BOOL | fa029e5022394a337ca99072be938c86 | |
| MaxCSP/cnf/2-80-100-1000/ cnf-2-80-200-461241_ext.xml |
2-ARY-EXT | BOOL, BOOL | 5427dd1f7a236b3f3413b7e59a7c4ca0 | |
| MaxCSP/cnf/2-80-100-1000/ cnf-2-80-300-186941_ext.xml |
2-ARY-EXT | BOOL, BOOL | 37fc67fe18200205c925a4a48601ea48 | |
| MaxCSP/cnf/2-80-100-1000/ cnf-2-80-400-912641_ext.xml |
2-ARY-EXT | BOOL, BOOL | 1abd4a2ec1ea32abca6984c3982fa265 | |
| MaxCSP/cnf/2-80-100-1000/ cnf-2-80-500-638341_ext.xml |
2-ARY-EXT | BOOL, BOOL | 20adde065cdf89cd6906715e02559f09 | |
| MaxCSP/cnf/2-80-100-1000/ cnf-2-80-600-364041_ext.xml |
2-ARY-EXT | BOOL, BOOL | 91f2cf49a4071a8582f6f9c03899aac4 | |
| MaxCSP/cnf/2-80-100-1000/ cnf-2-80-700-089741_ext.xml |
2-ARY-EXT | BOOL, BOOL | 3b3f443a5b93c21999b3d73be4fcfb55 | |
| MaxCSP/cnf/2-80-100-1000/ cnf-2-80-800-815441_ext.xml |
2-ARY-EXT | BOOL, BOOL | 9eca8b0794fef9e9a45975bff0fc7635 | |
| MaxCSP/cnf/2-80-100-1000/ cnf-2-80-900-541141_ext.xml |
2-ARY-EXT | BOOL, BOOL | 8207c4a41eba5e0fec8aeb3970874223 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/cnf/2-80-1100-2000/ cnf-2-80-1100-992541_ext.xml |
2-ARY-EXT | BOOL, BOOL | 0d757d5c89f2fc008604ef537babea16 | |
| MaxCSP/cnf/2-80-1100-2000/ cnf-2-80-1200-718241_ext.xml |
2-ARY-EXT | BOOL, BOOL | 75f083b830bbe539f4bb514f0330c787 | |
| MaxCSP/cnf/2-80-1100-2000/ cnf-2-80-1300-443941_ext.xml |
2-ARY-EXT | BOOL, BOOL | e8978357147bb50ca9ebdb8c397ef906 | |
| MaxCSP/cnf/2-80-1100-2000/ cnf-2-80-1400-169641_ext.xml |
2-ARY-EXT | BOOL, BOOL | 317afce42fcd7e7220ab5eb86cb6439e | |
| MaxCSP/cnf/2-80-1100-2000/ cnf-2-80-1500-895341_ext.xml |
2-ARY-EXT | BOOL, BOOL | 20f6646fa266f9a537c83fc54cb290cc | |
| MaxCSP/cnf/2-80-1100-2000/ cnf-2-80-1600-621041_ext.xml |
2-ARY-EXT | BOOL, BOOL | ce7ecd57414a9b74c85a155614d4770d | |
| MaxCSP/cnf/2-80-1100-2000/ cnf-2-80-1700-346741_ext.xml |
2-ARY-EXT | BOOL, BOOL | 42201835692db5c13a22fdb6c9a06b83 | |
| MaxCSP/cnf/2-80-1100-2000/ cnf-2-80-1800-072441_ext.xml |
2-ARY-EXT | BOOL, BOOL | 4795e42a3b58814dadec2f92b1a19cf2 | |
| MaxCSP/cnf/2-80-1100-2000/ cnf-2-80-1900-798141_ext.xml |
2-ARY-EXT | BOOL, BOOL | d6d4abedbee4870e8ff1ec133029653b | |
| MaxCSP/cnf/2-80-1100-2000/ cnf-2-80-2000-523841_ext.xml |
2-ARY-EXT | BOOL, BOOL | 2c1d6fd6a8186858a440083267c87ba2 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/cnf/3-40-100-1000/ cnf-3-40-1000-261921_ext.xml |
N-ARY-EXT | BOOL, BOOL | e12e68566fca14fb564310a70c8f770f | |
| MaxCSP/cnf/3-40-100-1000/ cnf-3-40-100-730621_ext.xml |
N-ARY-EXT | BOOL, BOOL | caefe9832f41c0d0fb22746e7e8a6179 | |
| MaxCSP/cnf/3-40-100-1000/ cnf-3-40-200-456321_ext.xml |
N-ARY-EXT | BOOL, BOOL | 581c80c01c9968544abce71547816cbc | |
| MaxCSP/cnf/3-40-100-1000/ cnf-3-40-300-182021_ext.xml |
N-ARY-EXT | BOOL, BOOL | 4b3f8effb72e3044a44f8241b8f3c581 | |
| MaxCSP/cnf/3-40-100-1000/ cnf-3-40-400-907721_ext.xml |
N-ARY-EXT | BOOL, BOOL | 270ec4ff4b5780b4727b03faf9743be5 | |
| MaxCSP/cnf/3-40-100-1000/ cnf-3-40-500-633421_ext.xml |
N-ARY-EXT | BOOL, BOOL | 13198f693866227fc4d05326a2b5916a | |
| MaxCSP/cnf/3-40-100-1000/ cnf-3-40-600-359121_ext.xml |
N-ARY-EXT | BOOL, BOOL | 3216c71414667bb82427519cc654f562 | |
| MaxCSP/cnf/3-40-100-1000/ cnf-3-40-700-084821_ext.xml |
N-ARY-EXT | BOOL, BOOL | edced039a0c1531892206f9a532fb52d | |
| MaxCSP/cnf/3-40-100-1000/ cnf-3-40-800-810521_ext.xml |
N-ARY-EXT | BOOL, BOOL | cce346fa51bd7419caa871b908315917 | |
| MaxCSP/cnf/3-40-100-1000/ cnf-3-40-900-536221_ext.xml |
N-ARY-EXT | BOOL, BOOL | 3f8d8cfc3cdd2d6f17ef4d01164abb15 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/cnf/3-40-1100-2000/ cnf-3-40-1100-987621_ext.xml |
N-ARY-EXT | BOOL, BOOL | c73e20d392eefb144e7205551263a842 | |
| MaxCSP/cnf/3-40-1100-2000/ cnf-3-40-1200-713321_ext.xml |
N-ARY-EXT | BOOL, BOOL | f3baffe674e03ec60e964a06d3071d22 | |
| MaxCSP/cnf/3-40-1100-2000/ cnf-3-40-1300-439021_ext.xml |
N-ARY-EXT | BOOL, BOOL | e2943702a07e701f63714593ecddfa5e | |
| MaxCSP/cnf/3-40-1100-2000/ cnf-3-40-1400-164721_ext.xml |
N-ARY-EXT | BOOL, BOOL | e21c90b460df6727a8323d0676415cc1 | |
| MaxCSP/cnf/3-40-1100-2000/ cnf-3-40-1500-890421_ext.xml |
N-ARY-EXT | BOOL, BOOL | 6c49bbdcb41e3b71c770d87bd49ba58f | |
| MaxCSP/cnf/3-40-1100-2000/ cnf-3-40-1600-616121_ext.xml |
N-ARY-EXT | BOOL, BOOL | 6e894da5d6f68f1e2fe07b6242d2db87 | |
| MaxCSP/cnf/3-40-1100-2000/ cnf-3-40-1700-341821_ext.xml |
N-ARY-EXT | BOOL, BOOL | 35492032a20db64b0cb7c663c21cea73 | |
| MaxCSP/cnf/3-40-1100-2000/ cnf-3-40-1800-067521_ext.xml |
N-ARY-EXT | BOOL, BOOL | 7c14bcbf3dd42ca331de32fdac546c31 | |
| MaxCSP/cnf/3-40-1100-2000/ cnf-3-40-1900-793221_ext.xml |
N-ARY-EXT | BOOL, BOOL | 1bfd821571f2ed493fb9aed6526d588b | |
| MaxCSP/cnf/3-40-1100-2000/ cnf-3-40-2000-518921_ext.xml |
N-ARY-EXT | BOOL, BOOL | 7088cbc9c8ea42636efbbf0a2dab5415 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/cnf/3-40-2100-3000/ cnf-3-40-2100-244621_ext.xml |
N-ARY-EXT | BOOL, BOOL | dbe6e80b0ee55ab022321ccaba3caf81 | |
| MaxCSP/cnf/3-40-2100-3000/ cnf-3-40-2200-970321_ext.xml |
N-ARY-EXT | BOOL, BOOL | 1251460452fdb2dd42d00060c45fe943 | |
| MaxCSP/cnf/3-40-2100-3000/ cnf-3-40-2300-696021_ext.xml |
N-ARY-EXT | BOOL, BOOL | e832c33ab0dafb1a59c63ea847fdb438 | |
| MaxCSP/cnf/3-40-2100-3000/ cnf-3-40-2400-421721_ext.xml |
N-ARY-EXT | BOOL, BOOL | 2ca86061780cf99023cba95368888b8c | |
| MaxCSP/cnf/3-40-2100-3000/ cnf-3-40-2500-147421_ext.xml |
N-ARY-EXT | BOOL, BOOL | b8da1be296b9a9adbdf775fbdaf7cb97 | |
| MaxCSP/cnf/3-40-2100-3000/ cnf-3-40-2600-873121_ext.xml |
N-ARY-EXT | BOOL, BOOL | 1b8072ed34ab74d9c0e3089fed88ba6c | |
| MaxCSP/cnf/3-40-2100-3000/ cnf-3-40-2700-598821_ext.xml |
N-ARY-EXT | BOOL, BOOL | 8c0ea99edaee45f6068f2a6f6fb766f7 | |
| MaxCSP/cnf/3-40-2100-3000/ cnf-3-40-2800-324521_ext.xml |
N-ARY-EXT | BOOL, BOOL | 6122293044833ab2aa76fe502d29c123 | |
| MaxCSP/cnf/3-40-2100-3000/ cnf-3-40-2900-050221_ext.xml |
N-ARY-EXT | BOOL, BOOL | 05bc73a7d963a6889edc1062360eac85 | |
| MaxCSP/cnf/3-40-2100-3000/ cnf-3-40-3000-775921_ext.xml |
N-ARY-EXT | BOOL, BOOL | b5ba095a99edb22122ddf3bc005ba1c4 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/cnf/3-80-100-1000/ cnf-3-80-1000-266841_ext.xml |
N-ARY-EXT | BOOL, BOOL | a0cb5c758114a14a63817c0392b3dfa2 | |
| MaxCSP/cnf/3-80-100-1000/ cnf-3-80-100-735541_ext.xml |
N-ARY-EXT | BOOL, BOOL | 03a2a87e68b5724612f29959bd283fed | |
| MaxCSP/cnf/3-80-100-1000/ cnf-3-80-200-461241_ext.xml |
N-ARY-EXT | BOOL, BOOL | 9760c96194e434b290c967711b8a3dbd | |
| MaxCSP/cnf/3-80-100-1000/ cnf-3-80-300-186941_ext.xml |
N-ARY-EXT | BOOL, BOOL | 4714e1e3c53070fca28610038ec4677a | |
| MaxCSP/cnf/3-80-100-1000/ cnf-3-80-400-912641_ext.xml |
N-ARY-EXT | BOOL, BOOL | 422c10cf0d446eba57848ab536238fcf | |
| MaxCSP/cnf/3-80-100-1000/ cnf-3-80-500-638341_ext.xml |
N-ARY-EXT | BOOL, BOOL | c23a08f9a2806a3728125b719095abe2 | |
| MaxCSP/cnf/3-80-100-1000/ cnf-3-80-600-364041_ext.xml |
N-ARY-EXT | BOOL, BOOL | 91f4648b20fa382871ea04b68fb07c24 | |
| MaxCSP/cnf/3-80-100-1000/ cnf-3-80-700-089741_ext.xml |
N-ARY-EXT | BOOL, BOOL | 890578c0cef3ca839c8135907ffdf651 | |
| MaxCSP/cnf/3-80-100-1000/ cnf-3-80-800-815441_ext.xml |
N-ARY-EXT | BOOL, BOOL | d214f7b58713b3092c4a35b5fe074deb | |
| MaxCSP/cnf/3-80-100-1000/ cnf-3-80-900-541141_ext.xml |
N-ARY-EXT | BOOL, BOOL | 15833d5aab2d32b491743decfc263907 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/cnf/3-80-1100-2000/ cnf-3-80-1100-992541_ext.xml |
N-ARY-EXT | BOOL, BOOL | 5d8058112e6428a40a19c0f6b779ed88 | |
| MaxCSP/cnf/3-80-1100-2000/ cnf-3-80-1200-718241_ext.xml |
N-ARY-EXT | BOOL, BOOL | 4158693cbd516f55df8b4ae9c8b1a42f | |
| MaxCSP/cnf/3-80-1100-2000/ cnf-3-80-1300-443941_ext.xml |
N-ARY-EXT | BOOL, BOOL | 71b2a5356f594dadd1f0ff35e73f614e | |
| MaxCSP/cnf/3-80-1100-2000/ cnf-3-80-1400-169641_ext.xml |
N-ARY-EXT | BOOL, BOOL | 1af75208d20d6b9f4aad41e8ce1717a3 | |
| MaxCSP/cnf/3-80-1100-2000/ cnf-3-80-1500-895341_ext.xml |
N-ARY-EXT | BOOL, BOOL | 6fcc3b71e55b86974554dee1e3dc64b4 | |
| MaxCSP/cnf/3-80-1100-2000/ cnf-3-80-1600-621041_ext.xml |
N-ARY-EXT | BOOL, BOOL | 29891a19fc351dc713e1bebd6b98af9f | |
| MaxCSP/cnf/3-80-1100-2000/ cnf-3-80-1700-346741_ext.xml |
N-ARY-EXT | BOOL, BOOL | 0d06a1ad380c92d1c115bf2584b9c722 | |
| MaxCSP/cnf/3-80-1100-2000/ cnf-3-80-1800-072441_ext.xml |
N-ARY-EXT | BOOL, BOOL | 1a76fecf2ca81a916b11bfaf09bd370d | |
| MaxCSP/cnf/3-80-1100-2000/ cnf-3-80-1900-798141_ext.xml |
N-ARY-EXT | BOOL, BOOL | e85c588b5ee941a588685e1ab524c93d | |
| MaxCSP/cnf/3-80-1100-2000/ cnf-3-80-2000-523841_ext.xml |
N-ARY-EXT | BOOL, BOOL | c8ae6ec093a69c807b5567b2a90ccefe | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-10/ kbtree-5-2-4-5-10-01_ext.xml |
2-ARY-EXT | PATT, PATT | 2721bb2d8784b4b95a55a94d5f64d23c | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-10/ kbtree-5-2-4-5-10-11_ext.xml |
2-ARY-EXT | PATT, PATT | debf20c9c3a9d1634dfc0a3e3d366fb8 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-10/ kbtree-5-2-4-5-10-21_ext.xml |
2-ARY-EXT | PATT, PATT | e8f431bc000ee26fbf632a7e6ed196df | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-20/ kbtree-5-2-4-5-20-01_ext.xml |
2-ARY-EXT | PATT, PATT | b90bdf2da85cfad1e9adcfec29c9c182 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-20/ kbtree-5-2-4-5-20-11_ext.xml |
2-ARY-EXT | PATT, PATT | 47d4b5eaae0d047518bd44de5a8ae7d7 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-20/ kbtree-5-2-4-5-20-21_ext.xml |
2-ARY-EXT | PATT, PATT | 1e21c32cdcbf7c2a0eab29fe92aec72e | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-30/ kbtree-5-2-4-5-30-01_ext.xml |
2-ARY-EXT | PATT, PATT | 763e3f6bb745ab8cff53bcf0f541c9db | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-30/ kbtree-5-2-4-5-30-11_ext.xml |
2-ARY-EXT | PATT, PATT | a0fcbc583bb85ce1c7b53692493803f9 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-30/ kbtree-5-2-4-5-30-21_ext.xml |
2-ARY-EXT | PATT, PATT | 2608ae129cd3e16f5b2ad59fdef3901a | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-40/ kbtree-5-2-4-5-40-01_ext.xml |
2-ARY-EXT | PATT, PATT | c353d2fbed23d7f7a43bc289d0a6c220 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-40/ kbtree-5-2-4-5-40-11_ext.xml |
2-ARY-EXT | PATT, PATT | 85249722d0019a5e205062738cf9149b | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-40/ kbtree-5-2-4-5-40-21_ext.xml |
2-ARY-EXT | PATT, PATT | bfb5204311e55d12a878e1e3ebd4d155 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-50/ kbtree-5-2-4-5-50-01_ext.xml |
2-ARY-EXT | PATT, PATT | 8658103182bda4cc63e5db060511c966 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-50/ kbtree-5-2-4-5-50-11_ext.xml |
2-ARY-EXT | PATT, PATT | e81fb487b72ee17c6b7d9b1057de570b | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-50/ kbtree-5-2-4-5-50-21_ext.xml |
2-ARY-EXT | PATT, PATT | aba9607e0eecd57ecbe30187fe580480 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-60/ kbtree-5-2-4-5-60-01_ext.xml |
2-ARY-EXT | PATT, PATT | eff9a427e51b45015efb9278b4a46e28 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-60/ kbtree-5-2-4-5-60-11_ext.xml |
2-ARY-EXT | PATT, PATT | e5b0e039be6df739ea28f196bf714111 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-60/ kbtree-5-2-4-5-60-21_ext.xml |
2-ARY-EXT | PATT, PATT | 41d347fbeffe46f3a1bd757198d5bbb4 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-70/ kbtree-5-2-4-5-70-01_ext.xml |
2-ARY-EXT | PATT, PATT | 756d4308094bf43b920f1771fb4c41c5 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-70/ kbtree-5-2-4-5-70-11_ext.xml |
2-ARY-EXT | PATT, PATT | 4b309077e880b099febd315e7439b5d0 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-70/ kbtree-5-2-4-5-70-21_ext.xml |
2-ARY-EXT | PATT, PATT | a93145b1111ad4ea60328c6175bd40b4 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-80/ kbtree-5-2-4-5-80-01_ext.xml |
2-ARY-EXT | PATT, PATT | 6031ebc25094c6b563dd14f93323067f | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-80/ kbtree-5-2-4-5-80-11_ext.xml |
2-ARY-EXT | PATT, PATT | c613e4d402f9b1ad677b9a96a096f14c | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-80/ kbtree-5-2-4-5-80-21_ext.xml |
2-ARY-EXT | PATT, PATT | 3756417940e45c981229c71a7ba8dc2b | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-90/ kbtree-5-2-4-5-90-01_ext.xml |
2-ARY-EXT | PATT, PATT | aca6cefab9cb8fabe81724e8fc1be97a | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-90/ kbtree-5-2-4-5-90-11_ext.xml |
2-ARY-EXT | PATT, PATT | 2d6c1c8103f6a3ecec17dde41cee3667 | |
| MaxCSP/kbtree/kbtree-5-2-4-5/ kbtree-5-2-4-5-90/ kbtree-5-2-4-5-90-21_ext.xml |
2-ARY-EXT | PATT, PATT | dc11e48e3fd19a931ceb01b225703ac2 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-10/ kbtree-9-2-3-5-10-01_ext.xml |
2-ARY-EXT | PATT, PATT | 30f17da237c56167ee991c9e749feb34 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-10/ kbtree-9-2-3-5-10-11_ext.xml |
2-ARY-EXT | PATT, PATT | 3c5006bcb89c8667c1ecb1c11daf9a92 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-10/ kbtree-9-2-3-5-10-21_ext.xml |
2-ARY-EXT | PATT, PATT | 9bccc69e08bc1271e2ffcdf55f7f00c4 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-20/ kbtree-9-2-3-5-20-01_ext.xml |
2-ARY-EXT | PATT, PATT | c8ce83bfeee3acbf84d381383903a08a | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-20/ kbtree-9-2-3-5-20-11_ext.xml |
2-ARY-EXT | PATT, PATT | ff75b2176b23332f4c557ab82e58bc04 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-20/ kbtree-9-2-3-5-20-21_ext.xml |
2-ARY-EXT | PATT, PATT | 2f74ec67588af17827d758f2adb61758 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-30/ kbtree-9-2-3-5-30-01_ext.xml |
2-ARY-EXT | PATT, PATT | 9fc7b10ccb421da2b68992d23e90e105 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-30/ kbtree-9-2-3-5-30-11_ext.xml |
2-ARY-EXT | PATT, PATT | 7f860c7c06c69375dc1bcdfdb1b2370b | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-30/ kbtree-9-2-3-5-30-21_ext.xml |
2-ARY-EXT | PATT, PATT | 7d29d2ea8487f9e5ce4c4d3af6b03bc2 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-40/ kbtree-9-2-3-5-40-01_ext.xml |
2-ARY-EXT | PATT, PATT | 689497dd7813eddf0ddb78a1c987b7a9 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-40/ kbtree-9-2-3-5-40-11_ext.xml |
2-ARY-EXT | PATT, PATT | e5dc9383801495d9cc5b936c4d815cc5 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-40/ kbtree-9-2-3-5-40-21_ext.xml |
2-ARY-EXT | PATT, PATT | 684ba4ddbaaa2a9cedf241694f198ff7 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-50/ kbtree-9-2-3-5-50-01_ext.xml |
2-ARY-EXT | PATT, PATT | d8146260e03a2012072dc4b11de60bd5 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-50/ kbtree-9-2-3-5-50-11_ext.xml |
2-ARY-EXT | PATT, PATT | 28c7acdd6912268ff167b2ae4592dbf2 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-50/ kbtree-9-2-3-5-50-21_ext.xml |
2-ARY-EXT | PATT, PATT | c36984894504ab1d398fe13dc79d882c | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-60/ kbtree-9-2-3-5-60-01_ext.xml |
2-ARY-EXT | PATT, PATT | 4ba8d5749d32a90d43949db7fdd698e2 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-60/ kbtree-9-2-3-5-60-11_ext.xml |
2-ARY-EXT | PATT, PATT | e1efb854d9f82475eb4a964c90aef5d4 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-60/ kbtree-9-2-3-5-60-21_ext.xml |
2-ARY-EXT | PATT, PATT | 9159aff8a0e943f122a9c1028fffb9ca | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-70/ kbtree-9-2-3-5-70-01_ext.xml |
2-ARY-EXT | PATT, PATT | a5e672e081955c76fd891f2507e242e5 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-70/ kbtree-9-2-3-5-70-11_ext.xml |
2-ARY-EXT | PATT, PATT | e9a92c84e9320689599bdcf2b7de54ec | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-70/ kbtree-9-2-3-5-70-21_ext.xml |
2-ARY-EXT | PATT, PATT | ef274f190a8e72d6443e6ef33757e891 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-80/ kbtree-9-2-3-5-80-01_ext.xml |
2-ARY-EXT | PATT, PATT | 1d07e36a22025dfa0c8970b660390c54 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-80/ kbtree-9-2-3-5-80-11_ext.xml |
2-ARY-EXT | PATT, PATT | 6a7c7f09fc2adb150e84d8fdfaab2832 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-80/ kbtree-9-2-3-5-80-21_ext.xml |
2-ARY-EXT | PATT, PATT | 770e9ad44ee49a1651381331e385f54b | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-90/ kbtree-9-2-3-5-90-01_ext.xml |
2-ARY-EXT | PATT, PATT | cfe473bf1bb2b086e1b1f2bde858242c | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-90/ kbtree-9-2-3-5-90-11_ext.xml |
2-ARY-EXT | PATT, PATT | 7f8b9fe88f22084fae03c2508aa9abc5 | |
| MaxCSP/kbtree/kbtree-9-2-3-5/ kbtree-9-2-3-5-90/ kbtree-9-2-3-5-90-21_ext.xml |
2-ARY-EXT | PATT, PATT | 74d3131442bc0c3a45d583fe5088cb7f | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-10/ kbtree-9-5-3-5-10-01_ext.xml |
2-ARY-EXT | PATT, PATT | b9d78b8f3a5f4dc78d9ec6bdaf4f63b5 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-10/ kbtree-9-5-3-5-10-11_ext.xml |
2-ARY-EXT | PATT, PATT | 0240748faf11fccbe78eebd68af57859 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-10/ kbtree-9-5-3-5-10-21_ext.xml |
2-ARY-EXT | PATT, PATT | 34cf01cf71de69daf4ce86f62b0f7ac7 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-20/ kbtree-9-5-3-5-20-01_ext.xml |
2-ARY-EXT | PATT, PATT | 37fd59841c799627d2a0600c51d0d865 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-20/ kbtree-9-5-3-5-20-11_ext.xml |
2-ARY-EXT | PATT, PATT | 46c42ef5e27772844383990467e7e999 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-20/ kbtree-9-5-3-5-20-21_ext.xml |
2-ARY-EXT | PATT, PATT | 1f46c509c5fad7cbb8091c5c24e5a472 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-30/ kbtree-9-5-3-5-30-01_ext.xml |
2-ARY-EXT | PATT, PATT | 7929c4eaa20973850e35c9818a47b87d | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-30/ kbtree-9-5-3-5-30-11_ext.xml |
2-ARY-EXT | PATT, PATT | 72d1710ccd425659112a5a7e699da69d | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-30/ kbtree-9-5-3-5-30-21_ext.xml |
2-ARY-EXT | PATT, PATT | 9177731d48293f9ae831c314e2b1bc28 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-40/ kbtree-9-5-3-5-40-01_ext.xml |
2-ARY-EXT | PATT, PATT | 79d1c637d158efc314133410cd07c854 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-40/ kbtree-9-5-3-5-40-11_ext.xml |
2-ARY-EXT | PATT, PATT | 2b7861b994dcf98286245bca7984f8f7 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-40/ kbtree-9-5-3-5-40-21_ext.xml |
2-ARY-EXT | PATT, PATT | 1dcf50bb24371dd9baa0d5186c690a09 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-50/ kbtree-9-5-3-5-50-01_ext.xml |
2-ARY-EXT | PATT, PATT | 227b309422947135c59da52efdf77100 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-50/ kbtree-9-5-3-5-50-11_ext.xml |
2-ARY-EXT | PATT, PATT | 076a33eef87053759cb70ac343e10aee | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-50/ kbtree-9-5-3-5-50-21_ext.xml |
2-ARY-EXT | PATT, PATT | 1bdc27f3ebe0193fe9ebbf552e20816a | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-60/ kbtree-9-5-3-5-60-01_ext.xml |
2-ARY-EXT | PATT, PATT | 1263898863297b25c081021e0c6a1c79 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-60/ kbtree-9-5-3-5-60-11_ext.xml |
2-ARY-EXT | PATT, PATT | a4ae6fc99ca173e96e1c9a5fba46af1b | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-60/ kbtree-9-5-3-5-60-21_ext.xml |
2-ARY-EXT | PATT, PATT | 79c2749572573c7e68a85c29a53a33c3 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-70/ kbtree-9-5-3-5-70-01_ext.xml |
2-ARY-EXT | PATT, PATT | 4a3fa552b20e6c78a6c3f1e07b318ed8 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-70/ kbtree-9-5-3-5-70-11_ext.xml |
2-ARY-EXT | PATT, PATT | 4d237a0e9c0a0de2eaaded6b422904d2 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-70/ kbtree-9-5-3-5-70-21_ext.xml |
2-ARY-EXT | PATT, PATT | 3469abd13bb793b4367d84de51f3d48e | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-80/ kbtree-9-5-3-5-80-01_ext.xml |
2-ARY-EXT | PATT, PATT | a64741dab61bf959956b67b98b1b1111 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-80/ kbtree-9-5-3-5-80-11_ext.xml |
2-ARY-EXT | PATT, PATT | f947fbf8b08780d43f69b5b695288adb | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-80/ kbtree-9-5-3-5-80-21_ext.xml |
2-ARY-EXT | PATT, PATT | 07c8f77e3b94c9783031ab638e070bb2 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-90/ kbtree-9-5-3-5-90-01_ext.xml |
2-ARY-EXT | PATT, PATT | 5ef6a6cb0c4af7fd1eb91b8b8b97c868 | |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-90/ kbtree-9-5-3-5-90-11_ext.xml |
2-ARY-EXT | PATT, PATT | bac81c084521b363fa4088dc2d8bdba3 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/kbtree/kbtree-9-5-3-5/ kbtree-9-5-3-5-90/ kbtree-9-5-3-5-90-21_ext.xml |
2-ARY-EXT | PATT, PATT | b9988dd659c45cf1e3571761cea7994a | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-10/ kbtree-9-7-3-5-10-01_ext.xml |
2-ARY-EXT | PATT, PATT | a6144b42018c1b2b3b0c84bd3b390793 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-10/ kbtree-9-7-3-5-10-11_ext.xml |
2-ARY-EXT | PATT, PATT | b69b3ae5ae4726cc3efa6308596cd38b | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-10/ kbtree-9-7-3-5-10-21_ext.xml |
2-ARY-EXT | PATT, PATT | 4bd19d83ae616f3d7b9a2b3141b34394 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-20/ kbtree-9-7-3-5-20-01_ext.xml |
2-ARY-EXT | PATT, PATT | 23ec29b02bdc1e5d4dd1fd197977dd24 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-20/ kbtree-9-7-3-5-20-11_ext.xml |
2-ARY-EXT | PATT, PATT | f9ad0df8f73d49c46547207994388ec6 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-20/ kbtree-9-7-3-5-20-21_ext.xml |
2-ARY-EXT | PATT, PATT | 778432c2b57233e6948fca0b98339aee | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-30/ kbtree-9-7-3-5-30-01_ext.xml |
2-ARY-EXT | PATT, PATT | 72d888e61780abb76804773486357de5 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-30/ kbtree-9-7-3-5-30-11_ext.xml |
2-ARY-EXT | PATT, PATT | 91c95816e5171dafe640db3cc3df8360 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-30/ kbtree-9-7-3-5-30-21_ext.xml |
2-ARY-EXT | PATT, PATT | b5bd010ab2b38e6399d243218d3f49a8 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-40/ kbtree-9-7-3-5-40-01_ext.xml |
2-ARY-EXT | PATT, PATT | 05650ff59560e75b51c8d6a2ef23b97c | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-40/ kbtree-9-7-3-5-40-11_ext.xml |
2-ARY-EXT | PATT, PATT | a4b045a6a8865e2634dcc106651843e8 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-40/ kbtree-9-7-3-5-40-21_ext.xml |
2-ARY-EXT | PATT, PATT | c7aeb231f606d208bf8c1b876ee7dc83 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-50/ kbtree-9-7-3-5-50-01_ext.xml |
2-ARY-EXT | PATT, PATT | 6936d6d1e4805c4b345bad25b41107f1 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-50/ kbtree-9-7-3-5-50-11_ext.xml |
2-ARY-EXT | PATT, PATT | bc03883e795c1a978d543943ec8681a1 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-50/ kbtree-9-7-3-5-50-21_ext.xml |
2-ARY-EXT | PATT, PATT | c86f370ecc6275864c740587111bf079 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-60/ kbtree-9-7-3-5-60-01_ext.xml |
2-ARY-EXT | PATT, PATT | a5b6ac2e797b89ac49d984dcb84da72a | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-60/ kbtree-9-7-3-5-60-11_ext.xml |
2-ARY-EXT | PATT, PATT | f5a84453d66b48f7be2cb545c0be5471 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-60/ kbtree-9-7-3-5-60-21_ext.xml |
2-ARY-EXT | PATT, PATT | c79934d646a02d19888784a8073e83e2 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-70/ kbtree-9-7-3-5-70-01_ext.xml |
2-ARY-EXT | PATT, PATT | 67976402921600718d2eedb10c0f1dff | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-70/ kbtree-9-7-3-5-70-11_ext.xml |
2-ARY-EXT | PATT, PATT | 8d5bf3af731ad45bb3e5d60a5ce71fce | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-70/ kbtree-9-7-3-5-70-21_ext.xml |
2-ARY-EXT | PATT, PATT | 08c569e28647b7bc623ec81e3b1230ef | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-80/ kbtree-9-7-3-5-80-01_ext.xml |
2-ARY-EXT | PATT, PATT | 3b8f3e856a96102e387b9b37e43d4bae | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-80/ kbtree-9-7-3-5-80-11_ext.xml |
2-ARY-EXT | PATT, PATT | 6206909176a9380b25c162e303e91088 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-80/ kbtree-9-7-3-5-80-21_ext.xml |
2-ARY-EXT | PATT, PATT | 4657c98b520b8a552e84ae2df64f6387 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-90/ kbtree-9-7-3-5-90-01_ext.xml |
2-ARY-EXT | PATT, PATT | 688415fd098899379c7041c114c5e0d7 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-90/ kbtree-9-7-3-5-90-11_ext.xml |
2-ARY-EXT | PATT, PATT | a149db757afa9b5166b78ffc3929a556 | |
| MaxCSP/kbtree/kbtree-9-7-3-5/ kbtree-9-7-3-5-90/ kbtree-9-7-3-5-90-21_ext.xml |
2-ARY-EXT | PATT, PATT | 871224bde8baec408b537239e4d90318 | |
| MaxCSP/maxclique/ brock-200-1_ext.xml |
2-ARY-EXT | ACAD, ACAD | 7b1eab37e1f977bf8fad4b7b03d50977 | |
| MaxCSP/maxclique/ brock-200-2_ext.xml |
2-ARY-EXT | ACAD, ACAD | 5ccfbc6fe0087360ebc64c10c52a6d79 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/maxclique/ brock-400-1_ext.xml |
2-ARY-EXT | ACAD, ACAD | b159dc51f6917b5ae2e39b2a2445b5e4 | |
| MaxCSP/maxclique/ brock-400-2_ext.xml |
2-ARY-EXT | ACAD, ACAD | cbb40af457acb72ca5ba8acb2c7c0ba2 | |
| MaxCSP/maxclique/ c-fat200-1_ext.xml |
2-ARY-EXT | ACAD, ACAD | 283575be9abdd5a85871e4461327539c | |
| MaxCSP/maxclique/ hamming-6-2_ext.xml |
2-ARY-EXT | ACAD, ACAD | 3d39ff6e2468423d8011f7c045789ecc | |
| MaxCSP/maxclique/ hamming-6-4_ext.xml |
2-ARY-EXT | ACAD, ACAD | ff48db39bdb06d76d20ee37bb24f767a | |
| MaxCSP/maxclique/ hamming-8-2_ext.xml |
2-ARY-EXT | ACAD, ACAD | 0f57b407e2f88fe86688ee94d763e1be | |
| MaxCSP/maxclique/ hamming-8-4_ext.xml |
2-ARY-EXT | ACAD, ACAD | b0a00bbe6c04c0fd97419def8d21c0b4 | |
| MaxCSP/maxclique/ johnson-8-2-4_ext.xml |
2-ARY-EXT | ACAD, ACAD | 23a5a20ff8d768e68574168640737428 | |
| MaxCSP/maxclique/ keller-4_ext.xml |
2-ARY-EXT | ACAD, ACAD | 8a21855cc174804ada0eb59c4db1b8b3 | |
| MaxCSP/maxclique/ mann-a27_ext.xml |
2-ARY-EXT | ACAD, ACAD | be1966255dca6094ada906fcd7dfb062 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/ maxclique/ mann-a9_ext.xml |
2-ARY-EXT | ACAD, ACAD | 44533c8a08cd8c83de8dc1a91d9e917e | |
| MaxCSP/maxclique/ p-hat300-1_ext.xml |
2-ARY-EXT | ACAD, ACAD | a4c9e18e6c0366d167dd10d9130c1ed8 | |
| MaxCSP/maxclique/ p-hat500-1_ext.xml |
2-ARY-EXT | ACAD, ACAD | 6f5f2f4e181efebf1eb70c6184c4a54d | |
| MaxCSP/maxclique/ p-hat700-1_ext.xml |
2-ARY-EXT | ACAD, ACAD | 0120c21cf297450c2b3b6e658afc962f | |
| MaxCSP/maxclique/ san-200-0.7-1_ext.xml |
2-ARY-EXT | ACAD, ACAD | 14288773eddecbbc245dad19f9b22ca5 | |
| MaxCSP/maxclique/ san-200-0.9-1_ext.xml |
2-ARY-EXT | ACAD, ACAD | 97c79268c005c90235ba77e9498a9c00 | |
| MaxCSP/maxclique/ san-400-0.5-1_ext.xml |
2-ARY-EXT | ACAD, ACAD | 5f4b5cfad67c0323091e46c3eb115c1b | |
| MaxCSP/maxclique/ sanr-200-0.7_ext.xml |
2-ARY-EXT | ACAD, ACAD | e959857fa73ba03535aaeda1cc7d01ce | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-310-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 44d299696c05155ab32d87a2fac44127 | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-310-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 83744adab263153f2cde06a48dbb25d6 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-320-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | ed8d2f24480aaae74ea2e2b49a833934 | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-320-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | b7e578922fff3840afebcee83b402ba9 | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-330-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 3ddf92ea9b05be5c4614c9b870e2a8ac | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-330-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 5785840d9fb924e1b0f1237663bee825 | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-340-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 984c3dcb2d7db0feb6ff98fc699eb17c | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-340-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 9bc7cf5fa46e350dcc922ca8cca1c24c | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-350-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 56405cb4815384827e3f68f0d5d53d6d | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-350-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 652edeca1c29a0853e785a25f2540afb | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-360-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 335b6753fc023a3977808cfe92947903 | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-360-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 4a64735e79a913014c6fff7a3159ebbd | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-370-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | babecd4c5d53275fd5c10b90f496205a | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-370-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 37a4a50bb907bb9ae26a109c465ef776 | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-380-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | c2dea12bb462df610a50a8a027d8f7a7 | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-380-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 434aff6ede2d7efd92f960224ea93e03 | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-390-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | f76469d85d6ccb4e6eec02885900dc64 | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-390-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | ea637c938bb880531d7b48127c2d3dc8 | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-400-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | f54e7efaab0147d1650e0ad6d7b5cc94 | |
| MaxCSP/maxcut/ maxcut-30/ maxcut-30-400-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 705699e529409a776f35c094a8e6fd69 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-420-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 2f98bb2839fa1c9ed13207245ececad0 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-420-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | fb71e628912fb16cafae0e4292803a79 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-440-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | c3043f35db63c9543be592457e7f49b8 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-440-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | f9d6649a27d4d012745be511e9070750 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-460-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 41a6954da9252fe4f0a27674162526fa | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-460-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 7fe7854ccac10305fdda1e9c3b914773 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-480-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 1c7788279b82d57cc6e114accaeb0c1a | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-480-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | c0b17c4ed989caf80d0df91febfaf14e | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-500-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 869d25ae1cb799f599b6369634531485 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-500-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 321b14ab02fe945744c5c6eaa34e608e | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-520-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 731dedd0dcb3bfc6f3141a7bdbfd5628 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-520-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 0f857e49e01648b933fe99d8a94dc094 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-540-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 5b4b7092356d3dba13cd5402b12b1e36 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-540-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | f3dab04e675f670679d70c6205f6c2f7 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-560-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 6315c7eca37ec0c8ac04581a764d56c0 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-560-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | c3e8f1f96300e19419ee0f36c8b61a28 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-580-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 8d5110850a39611eb3fbf75fbf53f929 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-580-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | f95abe82d6a64fd02004198530909e06 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-600-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | f3869c3cfb3bd15803ffeb6addadf4a2 | |
| MaxCSP/maxcut/ maxcut-40/ maxcut-40-600-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 9620d2089b641b4cab797f819bbedc5c | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-500-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 3a898043ec23a05ff0aaaa73b907747d | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-500-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 298d2678894f7252daf0ff617f95f85d | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-520-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 0e13d8988919fcfadeb968626370efb0 | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-520-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | c09816187f6ef7cc1758b7785a5a1d5f | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-540-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 0fdaa44a953f1ccaecfc69f95aea72dc | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-540-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | fb16df743da6d12402f71ab50757e2f8 | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-560-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | d1453195278de687318b5e9fb357fa1e | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-560-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 892451fd6c13caca9f88305a61ceec91 | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-580-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 8a4c7b7b44a39223399528289a8ffbca | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-580-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | a880f97c87b494cb922f9c8b0e80291c | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-600-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 0359f3c7818430ecfd2e807df09c72ee | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-600-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 5a372f9784b7389665bbbd2d3f8e3293 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-620-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 6a861dc65d321387c5f74c1e17c8d237 | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-620-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 07ae414b5be663900cc417c078fd1bb3 | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-640-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 5bf85ad30669161f2d250ea8869babe9 | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-640-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | e459e05ae5a16408f5d3f44ddfc83da7 | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-660-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 470a3501b374870b341ec427997fe554 | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-660-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | c36a89eee4808919aa2587e164adc1d0 | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-680-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | f17530d3b638baa62fb18b9077979b0f | |
| MaxCSP/maxcut/ maxcut-50/ maxcut-50-680-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | df5511c745a8c75e4b822d78aa315f3b | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-420-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | c53ca2bf19294805d751d17afab3e81f | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-420-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 46024473a17c4b84d7bd9426b9ef3382 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-440-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | e2a740f1d6e6d985ec289546247272c8 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-440-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 37b22c16f3fe2c16f3a0ebae53322d80 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-460-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | b33c3a671e32960d1e30702a5df58d38 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-460-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 826827ad34ca713fb95aac86fa88dd8a | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-480-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | d3775d061b6c16fe584678ec85a5586a | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-480-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | d683a671ae73aedc210a3d2d96103614 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-500-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | c8540e781ba76b5d4c2f911682d1eb96 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-500-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 8771468a4d928e50eb90eb95a7a06b7a | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-520-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | fce007b2c3e0b401383c1b03c7d53b50 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-520-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | adef6a4730a9ec010bcd107661023826 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-540-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 47fd76d5afdf1fba07664f70de215214 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-540-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 5fb2b16dc5a1a4831bc50973e190b51e | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-560-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 01c5f7a8b7bde76f3d86d1c96721d855 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-560-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 03d683a53169d0859ae62b7ac0aa9f79 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-580-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 6eca7ef529743a2e1ab8d9bd3b663751 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-580-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | eceb7e7fa353c8e0aa7dc461ed9464e8 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-600-1_ext.xml |
2-ARY-EXT | BOOL, BOOL | 779a53f007d1fb7c4413b955b43d0d96 | |
| MaxCSP/maxcut/ maxcut-60/ maxcut-60-600-9_ext.xml |
2-ARY-EXT | BOOL, BOOL | 30aaec59fb648eeb3ca8ab7136047467 | |
| MaxCSP/ pedigree/ connell_ext.xml |
N-ARY-EXT | REAL, REAL | 06c4c7d489d2f5e326393eb386079261 | |
| MaxCSP/ pedigree/ eye_ext.xml |
N-ARY-EXT | REAL, REAL | c78c56e7689a6678b666bf52ccb43355 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/pedigree/ pedck1000_ext.xml |
N-ARY-EXT | REAL, REAL | 41bf80e45682fbc47dc909ec0082e0ed | |
| MaxCSP/ pedigree/ pedck350_ext.xml |
N-ARY-EXT | REAL, REAL | ae320f76604da74f15a9a28d28fd5000 | |
| MaxCSP/pedigree/ pedck350l2_ext.xml |
N-ARY-EXT | REAL, REAL | 47a1e39d5c5cce9013a919e514d66005 | |
| MaxCSP/pedigree/ pedck60-L12_ext.xml |
N-ARY-EXT | REAL, REAL | f347c5c20bfca1929a682ccd1028921f | |
| MaxCSP/pedigree/ pedck60-L1_ext.xml |
N-ARY-EXT | REAL, REAL | 8a2ca2de228a7ef7df99d891adedf48b | |
| MaxCSP/pedigree/ pedck60-L2_ext.xml |
N-ARY-EXT | REAL, REAL | 96faf79ea276f4491eb0134f16caaf2c | |
| MaxCSP/ pedigree/ sheep4nr_ext.xml |
N-ARY-EXT | REAL, REAL | ff7e4e17c4b77a219bf3e084d386d521 | |
| MaxCSP/pedigree/ sheep4r-4-2_ext.xml |
N-ARY-EXT | REAL, REAL | 656a3ee856c960875f2fb0bba19eb6c2 | |
| MaxCSP/pedigree/ sheep4r-4-3_ext.xml |
N-ARY-EXT | REAL, REAL | 059834bcc85163132960cf21f1c992ed | |
| MaxCSP/ pedigree/ sheep4r_ext.xml |
N-ARY-EXT | REAL, REAL | 2bde362b821596dc76cbeda87f41a444 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/ pedigree/ simple_ext.xml |
N-ARY-EXT | REAL, REAL | 1045807bc9a0bb93e5cafd9224b8353a | |
| MaxCSP/pedigree/ wijsmanguo_ext.xml |
N-ARY-EXT | REAL, REAL | fedcfde4038f4dbb74d369222dfc0409 | |
| MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-11.xml |
2-ARY-EXT | QRND, QRND | 3a78ba08269bd52b9c11bfaa964a54eb | |
| MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-1.xml |
2-ARY-EXT | QRND, QRND | 850ce068a147a0a08c3e453b5af56815 | |
| MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-21.xml |
2-ARY-EXT | QRND, QRND | 2d04488469331b4f0abfbe51b6be0b75 | |
| MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-31.xml |
2-ARY-EXT | QRND, QRND | 151bafbdc138298ac106bf0d750aedd0 | |
| MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-41.xml |
2-ARY-EXT | QRND, QRND | 075206c719dffe838c4e4fd23e6622e2 | |
| MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-51.xml |
2-ARY-EXT | QRND, QRND | 3206371852c3ce10d066b8c136f077fd | |
| MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-61.xml |
2-ARY-EXT | QRND, QRND | 53dcf18aa4e6a3a5d4844041087ca345 | |
| MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-71.xml |
2-ARY-EXT | QRND, QRND | 644c3eb93bb7093da3ce9c0a9594a034 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-81.xml |
2-ARY-EXT | QRND, QRND | 1cac5ee3c06ac6cb864ca50e398bbdc7 | |
| MaxCSP/pi/ pi-20-10-20-t60/ pi-20-10-20-40-91.xml |
2-ARY-EXT | QRND, QRND | 34f0aa2de424608b9b3f426da3dfb400 | |
| MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-11.xml |
2-ARY-EXT | QRND, QRND | aaf791b0aae173064a023baad98a1357 | |
| MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-1.xml |
2-ARY-EXT | QRND, QRND | 705a738f3a66f316c4d26203f1a49093 | |
| MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-21.xml |
2-ARY-EXT | QRND, QRND | 43cea38c39c92cec63eb1e824f314294 | |
| MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-31.xml |
2-ARY-EXT | QRND, QRND | 7214d9d4fef208b02f64484ac48d2aaf | |
| MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-41.xml |
2-ARY-EXT | QRND, QRND | 7dc7f2b1ef269b14487f18fe5708392f | |
| MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-51.xml |
2-ARY-EXT | QRND, QRND | 52e8b5041fa35828f19cc6e323194fa6 | |
| MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-61.xml |
2-ARY-EXT | QRND, QRND | 40839c8da665f8df94c3c86f608f36d5 | |
| MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-71.xml |
2-ARY-EXT | QRND, QRND | 30e5139e46ee074fd3fcf1a417938c3a | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-81.xml |
2-ARY-EXT | QRND, QRND | 783d9c7ea1e75ee38b8389bf8857e105 | |
| MaxCSP/pi/ pi-20-10-20-t70/ pi-20-10-20-30-91.xml |
2-ARY-EXT | QRND, QRND | d7e7882fa860c9169f5f1af421caf660 | |
| MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-11.xml |
2-ARY-EXT | QRND, QRND | a54950e8c48f2fb1df4a42e98d92ae3b | |
| MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-1.xml |
2-ARY-EXT | QRND, QRND | 556c8acc09291252e16b38069826c96d | |
| MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-21.xml |
2-ARY-EXT | QRND, QRND | 799711c0003896db1febe9452cd99b15 | |
| MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-31.xml |
2-ARY-EXT | QRND, QRND | 4c6816eb0649655a8384a2ac165c687f | |
| MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-41.xml |
2-ARY-EXT | QRND, QRND | cc4c38a86da8fdd0e5ffb92c1746053c | |
| MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-51.xml |
2-ARY-EXT | QRND, QRND | 1b69ebbc0e0c385c54bf147d32ffb4f4 | |
| MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-61.xml |
2-ARY-EXT | QRND, QRND | 2fde0baa8eb892e8f3ce9d090899d48c | |
| MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-71.xml |
2-ARY-EXT | QRND, QRND | 1879b00f1853e9452c50881a3c9bc23a | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-81.xml |
2-ARY-EXT | QRND, QRND | adf3b9ced3aaea6b81c8351bc6e89aa7 | |
| MaxCSP/pi/ pi-30-10-25-t48/ pi-30-10-197-52-91.xml |
2-ARY-EXT | QRND, QRND | 364028af20c4b1dbb4759d2918d86288 | |
| MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-11.xml |
2-ARY-EXT | QRND, QRND | c1fb510f5cb9c0d617700aa4741e7a14 | |
| MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-1.xml |
2-ARY-EXT | QRND, QRND | 3659481b09447e723afe7541bcb8dace | |
| MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-21.xml |
2-ARY-EXT | QRND, QRND | b2a92ad2f1bae3fd0e37efec3e011cfe | |
| MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-31.xml |
2-ARY-EXT | QRND, QRND | 708c4bff99779451a8550a3de28da430 | |
| MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-41.xml |
2-ARY-EXT | QRND, QRND | 04e448d439a24789354151c7f2a116d9 | |
| MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-51.xml |
2-ARY-EXT | QRND, QRND | 20aa7eac67408d907fc67f5273042216 | |
| MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-61.xml |
2-ARY-EXT | QRND, QRND | de43100ae38030c523f3a76ed3fc8b0c | |
| MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-71.xml |
2-ARY-EXT | QRND, QRND | e447a5d4c68e14b6c01591f84579b8d9 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-81.xml |
2-ARY-EXT | QRND, QRND | fb92c92438c40c9569006fbe551d0b6b | |
| MaxCSP/pi/ pi-30-10-25-t58/ pi-30-10-197-42-91.xml |
2-ARY-EXT | QRND, QRND | ef89ba8c4317eee51ba4773d2dfcd7ac | |
| MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-11.xml |
2-ARY-EXT | QRND, QRND | de3ad99cf4f4be34ddeab63b255ba8a2 | |
| MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-1.xml |
2-ARY-EXT | QRND, QRND | ba84bcc038e771c65a1fc1599e83f4ab | |
| MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-21.xml |
2-ARY-EXT | QRND, QRND | 0c9795bc5ff9ef306e09df0e91d7f659 | |
| MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-31.xml |
2-ARY-EXT | QRND, QRND | 89355485f66573f1bda90785fe3814fa | |
| MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-41.xml |
2-ARY-EXT | QRND, QRND | c4feeb15e6a00f2d0cc1d993ea9cd900 | |
| MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-51.xml |
2-ARY-EXT | QRND, QRND | 6d238ffd18ba65e6fcbc93dec51f04a3 | |
| MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-61.xml |
2-ARY-EXT | QRND, QRND | 1dec89b9f00f9c0d322b72806787eec5 | |
| MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-71.xml |
2-ARY-EXT | QRND, QRND | 124325bbcf362afbc6397d99c0e4883a | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-81.xml |
2-ARY-EXT | QRND, QRND | 867a7efda4b5f90a16cdb69e293f03b0 | |
| MaxCSP/pi/ pi-40-10-08-t60/ pi-40-10-07948-40-91.xml |
2-ARY-EXT | QRND, QRND | 80c2d5eb689483d84eadeb7ff3f2d071 | |
| MaxCSP/ planning/ bwt5ac_ext.xml |
2-ARY-EXT | PATT, PATT | 266ba85d0db4c71bcfdb8251905e4415 | |
| MaxCSP/planning/ depot01ac_ext.xml |
2-ARY-EXT | PATT, PATT | ddc1be56e3b07e6da778ed40fdefe089 | |
| MaxCSP/planning/ driverlog02ac_ext.xml |
2-ARY-EXT | PATT, PATT | 81f132bfe2f99b8e40acccb055e800f8 | |
| MaxCSP/planning/ driverlog04ac_ext.xml |
2-ARY-EXT | PATT, PATT | 51bbb4a3fb8e2a1bd1878d670cdb7186 | |
| MaxCSP/planning/ driverlog05ac_ext.xml |
2-ARY-EXT | PATT, PATT | 354af2fbafd2088235506031ea64e3e6 | |
| MaxCSP/planning/ driverlog08ac_ext.xml |
2-ARY-EXT | PATT, PATT | 5cd8642dc711a5be3229890163211080 | |
| MaxCSP/planning/ logistics01ac_ext.xml |
2-ARY-EXT | PATT, PATT | 2e7db55e56022e76df4f25c857bbb01f | |
| MaxCSP/planning/ mprime01ac_ext.xml |
2-ARY-EXT | PATT, PATT | 5c1b2e517af3e1ee681690c233f37d8a | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/planning/ mprime03ac_ext.xml |
2-ARY-EXT | PATT, PATT | 7dba53adfc9212d0847f5337f5f1e049 | |
| MaxCSP/planning/ mprime04ac_ext.xml |
2-ARY-EXT | PATT, PATT | 02526a45032ca3b046b2ecaf504d94ef | |
| MaxCSP/planning/ rovers02ac_ext.xml |
2-ARY-EXT | PATT, PATT | b5f2943b448e76146b4533d5d650253e | |
| MaxCSP/planning/ satellite01ac_ext.xml |
2-ARY-EXT | PATT, PATT | b35018042b8eb1ff7392a32ba8984551 | |
| MaxCSP/planning/ satellite02ac_ext.xml |
2-ARY-EXT | PATT, PATT | 637cdb59e39f524f6d913c5359a09edd | |
| MaxCSP/planning/ zenotravel02ac_ext.xml |
2-ARY-EXT | PATT, PATT | 3ba812b9b3668d21c4db51049b36baa5 | |
| MaxCSP/planning/ zenotravel04ac_ext.xml |
2-ARY-EXT | PATT, PATT | 19150bed6eb6c051e2ab07ebeab495ed | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-11_ext.xml |
2-ARY-EXT | RAND, RAND | 19293eb4feadddb09a46ac91a80aad7e | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-13_ext.xml |
2-ARY-EXT | RAND, RAND | 5d95f976d3d9c461c69cd71bfeb9f433 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-15_ext.xml |
2-ARY-EXT | RAND, RAND | 876bcac0761f01f9afa04917d0850dfc | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-17_ext.xml |
2-ARY-EXT | RAND, RAND | 2b10eece1d77acd7784429aace177500 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-19_ext.xml |
2-ARY-EXT | RAND, RAND | 1f80a6eb2d628e175ceaa99364140f43 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-1_ext.xml |
2-ARY-EXT | RAND, RAND | c5b98abbaaa6301a28bf2d4d1abf9ab7 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-21_ext.xml |
2-ARY-EXT | RAND, RAND | af9a4ab54e4e683df7f51b81a7a3ce34 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-23_ext.xml |
2-ARY-EXT | RAND, RAND | 2ec5dbffc1a0a47349d596721dc98f41 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-25_ext.xml |
2-ARY-EXT | RAND, RAND | 826d351d8f522dc325670a4d0d4e926b | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-27_ext.xml |
2-ARY-EXT | RAND, RAND | 741954f15997b8632f69eb302e97a010 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-29_ext.xml |
2-ARY-EXT | RAND, RAND | bd15ea195f8f5d4ed7d5dd9cba2b5c1d | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-31_ext.xml |
2-ARY-EXT | RAND, RAND | 2d8a774f89b314159d70f35bdfdf6a49 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-33_ext.xml |
2-ARY-EXT | RAND, RAND | b0c33da9f1ecd7d775f09388c9388974 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-35_ext.xml |
2-ARY-EXT | RAND, RAND | efbb0946d2d2d94a207d7ec9c86620d0 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-37_ext.xml |
2-ARY-EXT | RAND, RAND | 9d57ba8823dbed62d6dc4fab8917cba1 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-39_ext.xml |
2-ARY-EXT | RAND, RAND | 49c849f2a6eac84bc37c2b97758d2cdd | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-3_ext.xml |
2-ARY-EXT | RAND, RAND | 9595b2d8a1953099eaca420a204a2560 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-5_ext.xml |
2-ARY-EXT | RAND, RAND | 5e7b618a134959467cda3f6ad8d998c3 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-7_ext.xml |
2-ARY-EXT | RAND, RAND | 69aaf5e80c27d6a96a351fd902af6266 | |
| MaxCSP/randomMaxCSP/ completeLoose/ vcsp-25-10-100-18-9_ext.xml |
2-ARY-EXT | RAND, RAND | 964cfb1ec1778ccee69a7dc29b53cd31 | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-11_ext.xml |
2-ARY-EXT | RAND, RAND | 06394180dc50cd7f907f727169a15cb3 | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-13_ext.xml |
2-ARY-EXT | RAND, RAND | 2aa1671129e18d194deae5c911debe37 | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-15_ext.xml |
2-ARY-EXT | RAND, RAND | e0657d1f338509856fe8a0f49e6d40f6 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-17_ext.xml |
2-ARY-EXT | RAND, RAND | 9d4792d31965b89f9c6aaa404e86d95c | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-19_ext.xml |
2-ARY-EXT | RAND, RAND | 142e018f06a6c4a1fe29d7adaf5a4d3f | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-1_ext.xml |
2-ARY-EXT | RAND, RAND | 0a670caf614dfd7fd18809c81836642b | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-21_ext.xml |
2-ARY-EXT | RAND, RAND | 0b036da41c3e1b1283f904fc929ff45f | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-23_ext.xml |
2-ARY-EXT | RAND, RAND | 3d2cfca3ff9b04f3657bc8897db9b75a | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-25_ext.xml |
2-ARY-EXT | RAND, RAND | 1a52cf1e8882aba90ae0342cabcd3191 | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-27_ext.xml |
2-ARY-EXT | RAND, RAND | 8f669d0ef1e2d3546ae7c56becc9db43 | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-29_ext.xml |
2-ARY-EXT | RAND, RAND | b12ab3c99b8a41e6f7b3f705fb1de21c | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-31_ext.xml |
2-ARY-EXT | RAND, RAND | 125b29f22d914f26de07e6059e2dcb2f | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-33_ext.xml |
2-ARY-EXT | RAND, RAND | f6d4d415019544e9c9284395d4d37af8 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-35_ext.xml |
2-ARY-EXT | RAND, RAND | cc1454402ebc6df77287c9659d188354 | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-37_ext.xml |
2-ARY-EXT | RAND, RAND | 7da290b0680d43bdfd5554ebc9988510 | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-39_ext.xml |
2-ARY-EXT | RAND, RAND | f979e4bda20bd7f4a5bac12bff879df9 | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-3_ext.xml |
2-ARY-EXT | RAND, RAND | ca7e963382b1ab50ae9f37c54e5f0365 | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-5_ext.xml |
2-ARY-EXT | RAND, RAND | a08678b527d24a59e044a95faee5eede | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-7_ext.xml |
2-ARY-EXT | RAND, RAND | e1947c7195cbc227f94231ae19f9a0c1 | |
| MaxCSP/randomMaxCSP/ completeTight/ vcsp-15-10-100-93-9_ext.xml |
2-ARY-EXT | RAND, RAND | 7d9ffe0928a2de61fbcb30ecf0d5aa25 | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-11_ext.xml |
2-ARY-EXT | RAND, RAND | 6a23201799764f9ab5945e86632e379a | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-13_ext.xml |
2-ARY-EXT | RAND, RAND | 4f3bc5c215021acc80005241fd74bcdd | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-15_ext.xml |
2-ARY-EXT | RAND, RAND | a4909cbdf17ce4e27bd9ae7e3aa9046f | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-17_ext.xml |
2-ARY-EXT | RAND, RAND | a3591c6712226df30786d812904db398 | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-19_ext.xml |
2-ARY-EXT | RAND, RAND | fdd95a336bc04d7147c43013be12c970 | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-1_ext.xml |
2-ARY-EXT | RAND, RAND | e5bf3861c13c08d7b1864f6a10ce7db7 | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-21_ext.xml |
2-ARY-EXT | RAND, RAND | ffb9dfd5d85a9057f00c21b33a0d887d | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-23_ext.xml |
2-ARY-EXT | RAND, RAND | 150664321d2651fcb9baea3367016e81 | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-25_ext.xml |
2-ARY-EXT | RAND, RAND | f9675e9be47bfa0938a3c52547b5fdd5 | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-27_ext.xml |
2-ARY-EXT | RAND, RAND | 490e1c8b8025849cf242b96aff03d9ad | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-29_ext.xml |
2-ARY-EXT | RAND, RAND | 0f15bbbfa020879fc56da52359ac7b7e | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-31_ext.xml |
2-ARY-EXT | RAND, RAND | b40ffb804e8ff044462309333a1d8926 | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-33_ext.xml |
2-ARY-EXT | RAND, RAND | 1365b4d21ca34686da8e3a6d34463a9f | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-35_ext.xml |
2-ARY-EXT | RAND, RAND | 762505429262f3b32e492c9cb52f4358 | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-37_ext.xml |
2-ARY-EXT | RAND, RAND | f7809e6b0ae784926c91568f28b73655 | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-39_ext.xml |
2-ARY-EXT | RAND, RAND | 87f5aa1220054fda273b57978016554f | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-3_ext.xml |
2-ARY-EXT | RAND, RAND | 1f1873f64654703cb160375c81112273 | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-5_ext.xml |
2-ARY-EXT | RAND, RAND | da297902f0ed622e5da1ee117d882e4c | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-7_ext.xml |
2-ARY-EXT | RAND, RAND | 2f903287dfcd44ff41155359b563f095 | |
| MaxCSP/randomMaxCSP/denseLoose/ vcsp-30-10-25-48-9_ext.xml |
2-ARY-EXT | RAND, RAND | 976ebaa86d9d0c608f06a0c7b05dc5dc | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-11_ext.xml |
2-ARY-EXT | RAND, RAND | e6edff47819ccdc08750e62ea7fb1b45 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-13_ext.xml |
2-ARY-EXT | RAND, RAND | 9ff8cd0e6aa323a1294609bd7a44361e | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-15_ext.xml |
2-ARY-EXT | RAND, RAND | 12b33c1d031fa77be15132ad4968c2b6 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-17_ext.xml |
2-ARY-EXT | RAND, RAND | c085c7656b4e5753dc2b163c22418691 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-19_ext.xml |
2-ARY-EXT | RAND, RAND | d90966b2c1a079720c2c3057078ac131 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-1_ext.xml |
2-ARY-EXT | RAND, RAND | 3d2a335e903ee3613c15a7a9cf61495d | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-21_ext.xml |
2-ARY-EXT | RAND, RAND | d9f9a459d320c7bea994b4a258210a85 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-23_ext.xml |
2-ARY-EXT | RAND, RAND | 9d5b97e0b541650368da51c3506345e3 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-25_ext.xml |
2-ARY-EXT | RAND, RAND | 775279991095bad90a24ba099417e2f1 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-27_ext.xml |
2-ARY-EXT | RAND, RAND | 51d8e45fc6e46ffbfaffa5b411b7ad03 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-29_ext.xml |
2-ARY-EXT | RAND, RAND | 090deff815a5e3b9c939de2a821e302f | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-31_ext.xml |
2-ARY-EXT | RAND, RAND | dd80b3783412326e77b2b064ff85fd57 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-33_ext.xml |
2-ARY-EXT | RAND, RAND | 9b7556cff1d07bab52f4a368ea2636dd | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-35_ext.xml |
2-ARY-EXT | RAND, RAND | 0ebeae7a5123e68a2048c695a6f112d5 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-37_ext.xml |
2-ARY-EXT | RAND, RAND | fa2de19cf03af4eccfd6a6978a10a4c8 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-39_ext.xml |
2-ARY-EXT | RAND, RAND | 20277d59f7280f4c87106c5da34bc430 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-3_ext.xml |
2-ARY-EXT | RAND, RAND | 509ec9044b93e63b70c575af796fa270 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-5_ext.xml |
2-ARY-EXT | RAND, RAND | 9fca152779131cdab90f8e1c02114c68 | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-7_ext.xml |
2-ARY-EXT | RAND, RAND | d540409a3576f2502b3adba1bf27138e | |
| MaxCSP/randomMaxCSP/denseTight/ vcsp-25-10-25-87-9_ext.xml |
2-ARY-EXT | RAND, RAND | 8a42a6640d44988efeb7f6eb65c0bf9f | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-11_ext.xml |
2-ARY-EXT | RAND, RAND | 6de7d3efe3081e320288f0df4e05490b | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-13_ext.xml |
2-ARY-EXT | RAND, RAND | 4197d52d8f6606091994a906395e5667 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-15_ext.xml |
2-ARY-EXT | RAND, RAND | fadf50972e3a15a47409c95a3417db1d | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-17_ext.xml |
2-ARY-EXT | RAND, RAND | 9449e7de32449ed6fcd45c45b1785c56 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-19_ext.xml |
2-ARY-EXT | RAND, RAND | 00377e5c88f586b167a705ab59605059 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-1_ext.xml |
2-ARY-EXT | RAND, RAND | 074334a74b9cca65d3467805ba0e1d32 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-21_ext.xml |
2-ARY-EXT | RAND, RAND | bed43e9fc1b9a0111011b8a4febfc6e7 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-23_ext.xml |
2-ARY-EXT | RAND, RAND | 6a1c315fac41230ccc561e91911ee692 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-25_ext.xml |
2-ARY-EXT | RAND, RAND | 4e2cadf51825129e59cb31c7afdf618c | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-27_ext.xml |
2-ARY-EXT | RAND, RAND | afe970527bb37ddb05c61a0cebaa1e88 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-29_ext.xml |
2-ARY-EXT | RAND, RAND | 5c95bf7928149926bb645643e25ee765 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-31_ext.xml |
2-ARY-EXT | RAND, RAND | 6769866ef10f2f480f9858b9b286d243 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-33_ext.xml |
2-ARY-EXT | RAND, RAND | 5ee1c01b688244fb571971d2bab5b4b1 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-35_ext.xml |
2-ARY-EXT | RAND, RAND | 6ec3327bb53b33174feeb5982f521850 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-37_ext.xml |
2-ARY-EXT | RAND, RAND | cea445974a73ead8d4bacae411b51ad2 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-39_ext.xml |
2-ARY-EXT | RAND, RAND | 993530a3891087e34379688662a3a69f | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-3_ext.xml |
2-ARY-EXT | RAND, RAND | d90a4818df73725a7a407391d0b230e5 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-5_ext.xml |
2-ARY-EXT | RAND, RAND | ff8947d6b99d3a010a63efaf7f3153d8 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-7_ext.xml |
2-ARY-EXT | RAND, RAND | 4f728d54a57498e0c5c958675b8c13c5 | |
| MaxCSP/randomMaxCSP/sparseLoose/ vcsp-40-10-13-60-9_ext.xml |
2-ARY-EXT | RAND, RAND | a5b6364f7961486618a0d3e6c2b3bd97 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-11_ext.xml |
2-ARY-EXT | RAND, RAND | 9edd82028760aeeb0fd8fbdbd5c68173 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-13_ext.xml |
2-ARY-EXT | RAND, RAND | 09829d1e49e37de756a6e3ba80e057ad | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-15_ext.xml |
2-ARY-EXT | RAND, RAND | 31581848b36bc474727835f3dc945847 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-17_ext.xml |
2-ARY-EXT | RAND, RAND | 86a4d192a5cc6f71568e03b703a83e7a | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-19_ext.xml |
2-ARY-EXT | RAND, RAND | cba5e24368c638c5a48356d2befa4fd2 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-1_ext.xml |
2-ARY-EXT | RAND, RAND | 476f1944cfc2dac2baf5a616e6013523 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-21_ext.xml |
2-ARY-EXT | RAND, RAND | de2db8c48bbbd0c94dc1fad43cdbf933 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-23_ext.xml |
2-ARY-EXT | RAND, RAND | bd392f599d534b408a810699ea831df5 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-25_ext.xml |
2-ARY-EXT | RAND, RAND | e29a205a97807db1fb2c6ac6a7d52ccd | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-27_ext.xml |
2-ARY-EXT | RAND, RAND | 57521d796d3ba3e4ab524b98ccf1d2c4 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-29_ext.xml |
2-ARY-EXT | RAND, RAND | d6f47cd04b9be1951706c7ae46abc226 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-31_ext.xml |
2-ARY-EXT | RAND, RAND | 870b2efa60768d12d0f047b830505f2d | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-33_ext.xml |
2-ARY-EXT | RAND, RAND | 385b2faa50685cb7fac1fae9c937aee3 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-35_ext.xml |
2-ARY-EXT | RAND, RAND | ed29a55c8c8d4cd33b026a0f1ad14c23 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-37_ext.xml |
2-ARY-EXT | RAND, RAND | e1a4f58ce2ce965128e681ea6bce983c | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-39_ext.xml |
2-ARY-EXT | RAND, RAND | bec67c7a542bc54fb5c8f96496678176 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-3_ext.xml |
2-ARY-EXT | RAND, RAND | b6c372a48b5f96e8ef6beba14e463a20 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-5_ext.xml |
2-ARY-EXT | RAND, RAND | 80e30ad8f5628d0fd02ba2bf6b8bdeb9 | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-7_ext.xml |
2-ARY-EXT | RAND, RAND | 7cbaa91e674b31859d550a322dae324c | |
| MaxCSP/randomMaxCSP/sparseTight/ vcsp-25-10-21-85-9_ext.xml |
2-ARY-EXT | RAND, RAND | 47d89a4842837bf6518b793cece8e8f4 | |
| MaxCSP/spot5/ spot5-28_ext.xml |
N-ARY-EXT | REAL, REAL | 3d7923471d2fc0cd9961c72caefdb8d6 | |
| MaxCSP/spot5/ spot5-29_ext.xml |
2-ARY-EXT | REAL, REAL | d6994feb2c840659c8083290fb61c6fc | |
| MaxCSP/spot5/ spot5-404_ext.xml |
N-ARY-EXT | REAL, REAL | 0d5de45d929292e4d96958ae6536703d | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/spot5/ spot5-408_ext.xml |
N-ARY-EXT | REAL, REAL | 665aa889bffead7142bb12452e486e47 | |
| MaxCSP/spot5/ spot5-412_ext.xml |
N-ARY-EXT | REAL, REAL | e2bb57b64ea041802fd08f50c8d26f5b | |
| MaxCSP/spot5/ spot5-414_ext.xml |
N-ARY-EXT | REAL, REAL | b1c68fd58cf42b595d377ed09f456768 | |
| MaxCSP/spot5/ spot5-42_ext.xml |
N-ARY-EXT | REAL, REAL | 89afafe825164cb09ba69dd25284aee1 | |
| MaxCSP/spot5/ spot5-503_ext.xml |
N-ARY-EXT | REAL, REAL | 96ca725ee95743726556e6d48765a7fe | |
| MaxCSP/spot5/ spot5-505_ext.xml |
N-ARY-EXT | REAL, REAL | 3cf77a4dce2a645d2df692d55fe5ccab | |
| MaxCSP/spot5/ spot5-507_ext.xml |
N-ARY-EXT | REAL, REAL | 500f3f4398ee7dcdc788e9c8d8862417 | |
| MaxCSP/spot5/ spot5-509_ext.xml |
N-ARY-EXT | REAL, REAL | 9c5dff4e49220961d324200bd615f0d5 | |
| MaxCSP/spot5/ spot5-54_ext.xml |
N-ARY-EXT | REAL, REAL | 0c83d31be8a4b74f022a09d4cc3bdc73 | |
| MaxCSP/spot5/ spot5-5_ext.xml |
N-ARY-EXT | REAL, REAL | 38cec9c843ddb2f63f6b362a9311270e | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| MaxCSP/spot5/ spot5-8_ext.xml |
2-ARY-EXT | REAL, REAL | 347b609256f027bd02218c8ab923e0d7 | |
| MaxCSP/ warehouses/ cap102_ext.xml |
2-ARY-EXT | PATT, PATT | 7f0f72322357af09ccd24b3fab841a0f | |
| MaxCSP/ warehouses/ cap122_ext.xml |
2-ARY-EXT | PATT, PATT | aa0dd20e0ff74780047b839707ab8808 | |
| pseudoSeries/chnl/ chnl-10-11.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 909bddf60f447d4fe6ae1972473e26c0 |
| pseudoSeries/chnl/ chnl-10-20.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 0bca436124779d01d09b6d05def23170 |
| pseudoSeries/ mpsReduced/ mps-red-bandm.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 5eef11aacaf4b35229f396b3efec951b |
| pseudoSeries/ mpsReduced/ mps-red-blend.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 91e806d7c4e258711c35649d1f35ecf1 |
| pseudoSeries/ mpsReduced/ mps-red-egout.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 7381708e021e0272f81469952e75c6b5 |
| pseudoSeries/ mpsReduced/ mps-red-harp2.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | dafc5014a62460a8f5ebc7b723f2d110 |
| pseudoSeries/ mpsReduced/ mps-red-neos20.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | ad8ca07b5db74c307d79945a4c71bcdb |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| pseudoSeries/ mpsReduced/ mps-red-rout.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 3bcd4fdf6cf228e8ae536ebf6cd14fe7 |
| pseudoSeries/ mpsReduced/ mps-red-vpm1.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 6679188341244cda5cb86dcce80fec63 |
| pseudoSeries/ primesDimacs/ bf-0432-007.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 75306e088ab36ae277fcdc644f384d6a |
| pseudoSeries/ primesDimacs/ bf-1355-075.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 0cecde6441078a26b03ad47c1da722a7 |
| pseudoSeries/ primesDimacs/ bf-1355-638.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | d4173c08d23547badf1bca6a01d815fe |
| pseudoSeries/ primesDimacs/ bf-2670-001.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 254fa29df9e9670d71c11b5fd4b239c4 |
| pseudoSeries/ ssa/ssa-0432-003.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | dc9e2f6f8ccdc90333d37df61624232c |
| pseudoSeries/ ssa/ssa-2670-130.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 57800f3be1a3b9f1d83790577cb388cf |
| pseudoSeries/ ssa/ssa-2670-141.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 0c506b62d09cb6d96e76e839d1a3bf47 |
| pseudoSeries/ ssa/ssa-6288-047.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 0f6897f58f76d11cc2ea0346e05de975 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| pseudoSeries/uclid/ 25s-smv.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | f7a273ee733be68f959a2f3726847276 |
| pseudoSeries/uclid/ 37s-smv.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 50931393ced8e9e6bd497768a9b58030 |
| pseudoSeries/uclid/ 44s-smv.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | c15b80e078b6e0c44dde79342583e0d7 |
| pseudoSeries/uclid/ 46s-smv.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | c67e75c3854f587fdae15b47c6c9ccf0 |
| pseudoSeries/uclid/ blast-floppy1-2.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 96552de8b783fc4054435360b1bc7e1d |
| pseudoSeries/uclid/ blast-floppy1-6.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 7858bbb2995540e71f464a345aca5f7d |
| pseudoSeries/uclid/ blast-tlan2.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 2c6041e9bcff655d81d4e48abbc6c04c |
| pseudoSeries/uclid/ cache-inv10-ucl.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 61921989f4c9e5006b2c7f4d8ca68340 |
| pseudoSeries/uclid/ cache-inv12-ucl.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 56330262bbd880340f2001870fb698db |
| pseudoSeries/uclid/ elf-rf6.xml |
UNSAT | N-ARY-INT | BOOL, BOOL | 717bdb72382c2df562b87d129de898bd |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| queensKnights/ queensKnights-10-5-add.xml |
UNSAT | 2-ARY-INT | ACAD, ACAD | 4e0c486a909311b63b83c4f87ae0d156 |
| queensKnights/ queensKnights-10-5-mul.xml |
UNSAT | 2-ARY-INT | ACAD, ACAD | cbc258ed026c4b607de8e359683e6583 |
| queensKnights/ queensKnights-12-5-add.xml |
UNSAT | 2-ARY-INT | ACAD, ACAD | 6d6bc0868391bae32ad7553af893fb56 |
| queensKnights/ queensKnights-12-5-mul.xml |
UNSAT | 2-ARY-INT | ACAD, ACAD | 15028e4684706372f6e2dd90569f8262 |
| queensKnights/ queensKnights-20-5-add.xml |
UNSAT | 2-ARY-INT | ACAD, ACAD | 253a2f8b56ae1170f4a8024dd86a3120 |
| queensKnights/ queensKnights-20-5-mul.xml |
UNSAT | 2-ARY-INT | ACAD, ACAD | da4256ae01633c1c4b30ed940167fe93 |
| queensKnights/ queensKnights-25-5-add.xml |
UNSAT | 2-ARY-INT | ACAD, ACAD | b90f8a45328f6041d4909cc0c2664efa |
| queensKnights/ queensKnights-25-5-mul.xml |
UNSAT | 2-ARY-INT | ACAD, ACAD | 42327fd25269bd930b82a3618da7d3e1 |
| queensKnights/ queensKnights-50-5-add.xml |
UNSAT | 2-ARY-INT | ACAD, ACAD | bcc05e0837074ebcb0feb3ab43e0bc42 |
| queensKnights/ queensKnights-50-5-mul.xml |
UNSAT | 2-ARY-INT | ACAD, ACAD | 85c4058d48cdc9937172d180fd2ba967 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| random/rand-10-20-10/ rand-10-20-10-5-10000-0_ext.xml |
N-ARY-EXT | RAND, RAND | ebe3455652e622664ec0a1054c7775af | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-10_ext.xml |
N-ARY-EXT | RAND, RAND | 64198b128887c57ba056de06910900e2 | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-11_ext.xml |
N-ARY-EXT | RAND, RAND | 48aec55d51369d317b185ca8a98f5a6a | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-12_ext.xml |
N-ARY-EXT | RAND, RAND | ea0a0104ec817a2843bc0120494e8c21 | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-13_ext.xml |
N-ARY-EXT | RAND, RAND | 3a79806ad987136e66cdfb5c8a2b9150 | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-14_ext.xml |
N-ARY-EXT | RAND, RAND | 24de8611156a691c2da375c95470b146 | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-15_ext.xml |
N-ARY-EXT | RAND, RAND | 99970ae154e1fd72222efe3964c656cb | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-16_ext.xml |
N-ARY-EXT | RAND, RAND | d5d6da89e8c9c33b3f91230b61ee4a27 | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-17_ext.xml |
N-ARY-EXT | RAND, RAND | 882ba2653e8ebd9a75015bbeb58c150c | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-18_ext.xml |
N-ARY-EXT | RAND, RAND | 4a960ac8450f96dcf691d6a9e52ec0e7 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| random/rand-10-20-10/ rand-10-20-10-5-10000-19_ext.xml |
N-ARY-EXT | RAND, RAND | f8a6610ad9164c4321527d1173795619 | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-1_ext.xml |
N-ARY-EXT | RAND, RAND | 809bb56bbf6d233fcd64761c0c680ecd | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-2_ext.xml |
N-ARY-EXT | RAND, RAND | 545fe723477775d9ecb184b6880d6072 | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-3_ext.xml |
N-ARY-EXT | RAND, RAND | 9878667f61c3b4080ef79f2b3273178f | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-4_ext.xml |
N-ARY-EXT | RAND, RAND | bed848b5e4b0ae09bdc9f699d08dc4bf | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-5_ext.xml |
N-ARY-EXT | RAND, RAND | d53928f19ca0347ce78b3f553c9e851e | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-6_ext.xml |
N-ARY-EXT | RAND, RAND | 17d1fdcdcf59945af48d18d3e7775061 | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-7_ext.xml |
N-ARY-EXT | RAND, RAND | 522d1bb9bf2d247cbf6772653097fee9 | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-8_ext.xml |
N-ARY-EXT | RAND, RAND | f428df0800b36c8acd9350ef24504fc9 | |
| random/rand-10-20-10/ rand-10-20-10-5-10000-9_ext.xml |
N-ARY-EXT | RAND, RAND | d32584b0a766d7a079bb680fc7f29725 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| random/rand-2-23/ rand-23-23-253-131-46021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | a641d5227836e99889f0b65812e13203 |
| random/rand-2-23/ rand-23-23-253-131-47021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 91689171d947c8c08ebb7b0d8380a5b4 |
| random/rand-2-23/ rand-23-23-253-131-51021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | dfd37b796ddfc1cae49c6231c5a6ea71 |
| random/rand-2-23/ rand-23-23-253-131-52021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 06cd5bfeea3b4b1120b6f4454fdde282 |
| random/rand-2-23/ rand-23-23-253-131-55021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | f66f924f2e0721e2592069e4e3d60368 |
| random/rand-2-24/ rand-24-24-276-139-49021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 018906158a3534888a95e4e4a84176ab |
| random/rand-2-24/ rand-24-24-276-139-51021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | e8a60eefe387b2ae6ebd087b125352fe |
| random/rand-2-24/ rand-24-24-276-139-52021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 71cffa533269446990ab132413efce2d |
| random/rand-2-24/ rand-24-24-276-139-53021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 52ce1adbb69405dbd0eb9fe0ed582574 |
| random/rand-2-24/ rand-24-24-276-139-54021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | a6fde96fec027ebcf35c7c234300ac23 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| random/rand-2-24/ rand-24-24-276-139-56021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 5e9f67184886c7a7c73ebe1fd2f6af54 |
| random/rand-2-24/ rand-24-24-276-139-57021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 656731a78971893f85baaac0920e1a7e |
| random/rand-2-25/ rand-25-25-300-147-50021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 6e0cd599045b4119b48c7ab3c5e0399c |
| random/rand-2-25/ rand-25-25-300-147-55021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 11bcdee15d3ba2466b3fd421b99abebd |
| random/rand-2-25/ rand-25-25-300-147-57021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 770b28076b75602aacb655be9a055a98 |
| random/rand-2-25/ rand-25-25-300-147-58021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 033cd0dd1127d1ee13d52ddfcb690341 |
| random/rand-2-26/ rand-26-26-325-155-52021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | a57ec15bafd5ffbff94448e8ac1f288e |
| random/rand-2-26/ rand-26-26-325-155-56021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 0e87c6c27c1f9bb5bfcab323b377dfc4 |
| random/rand-2-26/ rand-26-26-325-155-57021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | e2f9e10f469e2e97e8babef97e26304a |
| random/rand-2-26/ rand-26-26-325-155-58021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 2593b659bd409c262ddff5fffdeb8046 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| random/rand-2-26/ rand-26-26-325-155-60021_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 80893c07fc9c8f130d0db081ff853b98 |
| random/rand-2-30-15/ rand-2-30-15-306-230-11_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 73b706292c464b544a0a9d7451656979 |
| random/rand-2-30-15/ rand-2-30-15-306-230-12_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | bb0c71a6cc625863d7cd3912100d34b9 |
| random/rand-2-30-15/ rand-2-30-15-306-230-13_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 3f8f7156299c1e0bf80c6060b7da19c8 |
| random/rand-2-30-15/ rand-2-30-15-306-230-15_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | d4077567d9bfac8ce56608e27db392b0 |
| random/rand-2-30-15/ rand-2-30-15-306-230-16_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | cc3af4fb024043cf5a2ca0e24bd28b83 |
| random/rand-2-30-15/ rand-2-30-15-306-230-19_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 8e06714393673c95160b0fa68922a4ca |
| random/rand-2-30-15/ rand-2-30-15-306-230-20_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | cd5612aebda18a0b47bceb3c69381f72 |
| random/rand-2-30-15/ rand-2-30-15-306-230-27_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 6fe92f06cdb8f08a4e9da259241b4559 |
| random/rand-2-30-15/ rand-2-30-15-306-230-29_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | b799e7d222b6e34506d96be3c8203eab |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| random/rand-2-30-15/ rand-2-30-15-306-230-2_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 2f882e25d4e04bde9d5ef80eeb9b60c6 |
| random/rand-2-40-19/ rand-2-40-19-443-230-11_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 88f7b2436b540d3b866e9a5fd2fd8d7c |
| random/rand-2-40-19/ rand-2-40-19-443-230-13_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 2034b20f95b4ca3ea3b257a685963d8c |
| random/rand-2-40-19/ rand-2-40-19-443-230-14_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | ac03b51534da75c4097af0cf439053ab |
| random/rand-2-40-19/ rand-2-40-19-443-230-16_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 02eb31c309fa51aed2b908db27cd29df |
| random/rand-2-40-19/ rand-2-40-19-443-230-19_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | e2b7ad46236bd859e96b130995e62355 |
| random/rand-2-40-19/ rand-2-40-19-443-230-1_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 745238c24d77c42b64b045bb1e956fec |
| random/rand-2-40-19/ rand-2-40-19-443-230-20_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 571d961e086293b29dae132991f11e94 |
| random/rand-2-40-19/ rand-2-40-19-443-230-24_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 98d7c82db505d43957eacdc64d50c660 |
| random/rand-2-40-19/ rand-2-40-19-443-230-25_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 6da4f32a4ed68f8febed201b3b722854 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| random/rand-2-40-19/ rand-2-40-19-443-230-27_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | eb2b54ba92381bdf1e2dac68bed0cb08 |
| random/rand-2-40-19/ rand-2-40-19-443-230-28_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 4c91fefd53653d8673a7beea1012dd0e |
| random/rand-2-40-19/ rand-2-40-19-443-230-29_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | d52e5670b32f8342bb66c4f4342e01aa |
| random/rand-2-40-19/ rand-2-40-19-443-230-2_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 4e97dd6535f44bce5851f479f793d7bd |
| random/rand-2-40-19/ rand-2-40-19-443-230-30_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 50b9966d0e7762f718993de326331d30 |
| random/rand-2-40-19/ rand-2-40-19-443-230-32_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | dbb2c3eaa0695db4cabaa1ea815dabe1 |
| random/rand-3-20-20/ rand-3-20-20-60-632-11_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 88f1fadd77f105b78bc8652c5b5edcb2 |
| random/rand-3-20-20/ rand-3-20-20-60-632-16_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 1b3db74d27a5a780686873dc514093c9 |
| random/rand-3-20-20/ rand-3-20-20-60-632-18_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 36daa205be2b5cc3d39690e78acafb98 |
| random/rand-3-20-20/ rand-3-20-20-60-632-19_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 12d5cdf82fd3633fdc8a1290681645a8 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| random/rand-3-20-20/ rand-3-20-20-60-632-21_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 506550cbda854d967347adcd3ccbb79b |
| random/rand-3-20-20/ rand-3-20-20-60-632-22_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 0d70628e8da0871606a4ab584786a256 |
| random/rand-3-20-20/ rand-3-20-20-60-632-23_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 3c0a223225c8489ef84874d36f1a988b |
| random/rand-3-20-20/ rand-3-20-20-60-632-2_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 1d3ee919706793195da2670ca337b636 |
| random/rand-3-20-20/ rand-3-20-20-60-632-30_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 2bc7518c6d0868896b9c5483e22b9ac3 |
| random/rand-3-20-20/ rand-3-20-20-60-632-31_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | a1ad4c44e3760e6812341f6b050e1fbe |
| random/rand-3-20-20/ rand-3-20-20-60-632-33_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | bc93713de166b1eb8718a7b2d6ead437 |
| random/rand-3-20-20/ rand-3-20-20-60-632-34_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 230ee84d23c0c4ee8d63e7356ef06b87 |
| random/rand-3-20-20/ rand-3-20-20-60-632-35_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | d5af35334a8778ebb0d07932167b6266 |
| random/rand-3-20-20/ rand-3-20-20-60-632-38_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 9fd62ce6b863f5403cc9493ac8ec875b |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| random/rand-3-20-20/ rand-3-20-20-60-632-39_ext.xml |
UNSAT | N-ARY-EXT | RAND, RAND | 918b09b7eb625e123c6667f6d3972f6b |
| rlfap/ rlfapGraphs/graph11.xml |
UNSAT | 2-ARY-INT | REAL, REAL | f99a84357d49704ce92e19e2187b6864 |
| rlfap/ rlfapGraphs/graph12.xml |
UNSAT | 2-ARY-INT | REAL, REAL | bcaa2df6e1cf105739aab9f695d60b2f |
| rlfap/ rlfapGraphs/graph13.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 59d37a2262a213d15cbbf5bc56d0fc93 |
| rlfap/ rlfapGraphs/graph5.xml |
UNSAT | 2-ARY-INT | REAL, REAL | b509eeceb1ac41f35f546685c5462d75 |
| rlfap/ rlfapGraphs/graph6.xml |
UNSAT | 2-ARY-INT | REAL, REAL | c50dbbefd6ab60c3d06d4df6d3eb879d |
| rlfap/ rlfapGraphs/graph7.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 6894350c4fec852e84b11a6ff9a12c54 |
| rlfap/ rlfapGraphsMod/graph12-w1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 7c8029410baee1f1657d07c027e6707b |
| rlfap/ rlfapGraphsMod/graph13-w1.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 0f8e3bd5588672ca520e9a21c0eea254 |
| rlfap/ rlfapGraphsMod/ graph14-f28.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 20f9358485fb6b663286405b27294657 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| rlfap/ rlfapGraphsMod/graph2-f25.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 04f911baad0f31dfda30a7d72ec0149f |
| rlfap/ rlfapGraphsMod/graph8-f11.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 7600a48fb1f239d7afdd4cd69db83b49 |
| rlfap/ rlfapGraphsMod/graph9-f10.xml |
UNSAT | 2-ARY-INT | REAL, REAL | fcbc3847ea2f73959838c2e767e78032 |
| rlfap/ rlfapScens11/ scen11-f10.xml |
UNSAT | 2-ARY-INT | REAL, REAL | d7f7cf5b131886a3ab2e0dc3439adef6 |
| rlfap/ rlfapScens11/ scen11-f11.xml |
UNSAT | 2-ARY-INT | REAL, REAL | f49161bf23241c43ec566917a52aebc8 |
| rlfap/ rlfapScens11/ scen11-f12.xml |
UNSAT | 2-ARY-INT | REAL, REAL | ae037380847c5677dfcb746e767102e6 |
| rlfap/ rlfapScens11/ scen11-f1.xml |
2-ARY-INT | REAL, REAL | a9ee5762bd9cc960c2c3327ea9b7951e | |
| rlfap/ rlfapScens11/ scen11-f2.xml |
2-ARY-INT | REAL, REAL | b9ada7715d8e1afe9fc39e010156bb5c | |
| rlfap/ rlfapScens11/ scen11-f3.xml |
UNSAT | 2-ARY-INT | REAL, REAL | ef05de44bc17daaf25b5294ac4693534 |
| rlfap/ rlfapScens11/ scen11-f4.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 5dcfba2c920df87fed4f833be49fd112 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| rlfap/ rlfapScens11/ scen11-f5.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 11aa2a0ab3afa91f96f3199f7d1a21d5 |
| rlfap/ rlfapScens11/ scen11-f6.xml |
UNSAT | 2-ARY-INT | REAL, REAL | c80f0bde8ed46737c0d5776e08f1a3ef |
| rlfap/ rlfapScens11/ scen11-f7.xml |
UNSAT | 2-ARY-INT | REAL, REAL | e4658453aeec06ccf8a04dbfac7676d7 |
| rlfap/ rlfapScens11/ scen11-f8.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 704ab295d4263c6e677241b699aba547 |
| rlfap/ rlfapScens11/ scen11-f9.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 303b14d16d52fc4550642f8ac6f320b0 |
| rlfap/rlfapScensMod/ scen10-w1-f3.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 1a6b0f77408f44fcd9d0a9f15ce8dc84 |
| rlfap/ rlfapScensMod/scen1-f9.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 3cc6acaa1f73e7c39add36f444a58577 |
| rlfap/ rlfapScensMod/scen2-f25.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 18eb3b456200d1fcc3d57ecd11adb7db |
| rlfap/ rlfapScensMod/scen3-f11.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 47d964f6bb88215eaa595d2ffc780e97 |
| rlfap/ rlfapScensMod/ scen6-w1-f2.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 6fbd240d740bc22047b5cfdb2c43f8c9 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| rlfap/ rlfapScensMod/scen6-w2.xml |
UNSAT | 2-ARY-INT | REAL, REAL | e01f771bdc3d3939e75d76a198105ef6 |
| rlfap/ rlfapScensMod/ scen7-w1-f5.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 34ac1abbe52ba7843e11079c085ad2f4 |
| rlfap/ rlfapScensMod/ scen9-w1-f3.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 1a6b0f77408f44fcd9d0a9f15ce8dc84 |
| rlfap/ rlfapScens/scen10.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 6043f49d7836cd7b2c9c748489b7ee5e |
| rlfap/ rlfapScens/scen6.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 86c774667633e41eb2493f034a4abe27 |
| rlfap/ rlfapScens/scen7.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 3814ff54830c266f8519b5c95727e695 |
| rlfap/ rlfapScens/scen8.xml |
UNSAT | 2-ARY-INT | REAL, REAL | e6c02deb5c518b821b7094a76a19c955 |
| rlfap/ rlfapScens/scen9.xml |
UNSAT | 2-ARY-INT | REAL, REAL | 6043f49d7836cd7b2c9c748489b7ee5e |
| rlfap/rlfapSubs/ scen06-sub0.xml |
2-ARY-INT | REAL, REAL | 7cdeeef4054c013f703ddee7bf272037 | |
| rlfap/rlfapSubs/ scen06-sub1.xml |
2-ARY-INT | REAL, REAL | 2f7928554a79bbaa206682b02c234772 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| rlfap/rlfapSubs/ scen06-sub2.xml |
2-ARY-INT | REAL, REAL | 65d6eb6ad26f78c93c10c663be1bf039 | |
| rlfap/rlfapSubs/ scen06-sub3.xml |
2-ARY-INT | REAL, REAL | 6f9cc267d3b4ed089eb3613c0a9a7074 | |
| rlfap/rlfapSubs/ scen06-sub4.xml |
2-ARY-INT | REAL, REAL | 2f2ef4b2595ce0c7e703964138e6a5a2 | |
| rlfap/rlfapSubs/ scen07-sub1.xml |
2-ARY-INT | REAL, REAL | 12349a145480147bacd1429ce715e959 | |
| rlfap/rlfapSubs/ scen07-sub2.xml |
2-ARY-INT | REAL, REAL | 96713f9e30470a73fc2d1bba7ed62a1c | |
| rlfap/rlfapSubs/ scen07-sub3.xml |
2-ARY-INT | REAL, REAL | 593b05b52349a32e9ff1176b4d320f52 | |
| rlfap/rlfapSubs/ scen07-sub4.xml |
2-ARY-INT | REAL, REAL | 6fd9dd992a134aa6e042e690a28f2a32 | |
| schurrLemma/ lemma-100-9-mod.xml |
UNSAT | N-ARY-INT | PATT, PATT | 0eccfd6635dce0f6180185bd782d874f |
| schurrLemma/ lemma-12-9-mod.xml |
UNSAT | N-ARY-INT | PATT, PATT | 3d49d2f245dda30a731f7833344c1bf4 |
| schurrLemma/ lemma-15-9-mod.xml |
UNSAT | N-ARY-INT | PATT, PATT | e0ce588cdcebc91402ce00c46a3a722e |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| schurrLemma/ lemma-20-9-mod.xml |
UNSAT | N-ARY-INT | PATT, PATT | 7add833502390878635fd0edd68b9d5e |
| schurrLemma/ lemma-24-3.xml |
UNSAT | N-ARY-INT | PATT, PATT | 2d89d082bab320d272974b2d2c3ae9ce |
| schurrLemma/ lemma-30-9-mod.xml |
UNSAT | N-ARY-INT | PATT, PATT | 588637b7d8655f956622a19f22c2ed37 |
| schurrLemma/ lemma-50-9-mod.xml |
UNSAT | N-ARY-INT | PATT, PATT | bfb8f2c05e7a4ff48488062c6ec8a2e7 |
| taillard/ js-taillard-15/ js-taillard-15-95-0.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 84821d5c73f831335610d1f13ceab8a3 |
| taillard/ js-taillard-15/ js-taillard-15-95-1.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 31b3c509c448592512c12399cf7cf78e |
| taillard/ js-taillard-15/ js-taillard-15-95-2.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 1be6534ea2a6d2988f7221fd0bff0aca |
| taillard/ js-taillard-15/ js-taillard-15-95-3.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 2ade9c7a7db549cff33078c8a079cfce |
| taillard/ js-taillard-15/ js-taillard-15-95-4.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 8622f7f14ce871a5c4b7c49cc6402391 |
| taillard/ js-taillard-15/ js-taillard-15-95-5.xml |
2-ARY-INT | PATT, PATT | c769afca31f75a328b4702a35d1d4cfe | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| taillard/ js-taillard-15/ js-taillard-15-95-6.xml |
UNSAT | 2-ARY-INT | PATT, PATT | f8daa743eb3103bd3c63db7310717804 |
| taillard/ js-taillard-15/ js-taillard-15-95-7.xml |
UNSAT | 2-ARY-INT | PATT, PATT | ea2b04892a232bd6b444531ae5d2a526 |
| taillard/ js-taillard-15/ js-taillard-15-95-8.xml |
UNSAT | 2-ARY-INT | PATT, PATT | ef29485f7704c94496c8539eac1c6ac9 |
| taillard/ js-taillard-15/ js-taillard-15-95-9.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 53dc0128d57f15274860bbb12b18229a |
| taillard/js-taillard-20-15/ js-taillard-20-15-95-0.xml |
2-ARY-INT | PATT, PATT | be10a42a20dba25b38a1f76af4db41c0 | |
| taillard/js-taillard-20-15/ js-taillard-20-15-95-1.xml |
2-ARY-INT | PATT, PATT | 164c3fa9a77865a587aaea3181a34122 | |
| taillard/js-taillard-20-15/ js-taillard-20-15-95-2.xml |
2-ARY-INT | PATT, PATT | e184d0111a102714e0d361c1b279750d | |
| taillard/js-taillard-20-15/ js-taillard-20-15-95-3.xml |
2-ARY-INT | PATT, PATT | 3bf583013f040e0aee23384ce6db3304 | |
| taillard/js-taillard-20-15/ js-taillard-20-15-95-4.xml |
2-ARY-INT | PATT, PATT | fb9544910b2223d3d9c1201e76d5cf11 | |
| taillard/js-taillard-20-15/ js-taillard-20-15-95-5.xml |
2-ARY-INT | PATT, PATT | 332946d63a2660325668dbe2f7c678f9 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| taillard/js-taillard-20-15/ js-taillard-20-15-95-6.xml |
2-ARY-INT | PATT, PATT | 7d649d40bbdb45b9d55cf03b7043e3bf | |
| taillard/js-taillard-20-15/ js-taillard-20-15-95-7.xml |
2-ARY-INT | PATT, PATT | 947d518cd9583057cef509a1af4401f2 | |
| taillard/js-taillard-20-15/ js-taillard-20-15-95-8.xml |
2-ARY-INT | PATT, PATT | bb065c72545231f8bd5588cd1b436175 | |
| taillard/js-taillard-20-15/ js-taillard-20-15-95-9.xml |
2-ARY-INT | PATT, PATT | f84ddcc2436a1e9b1b4e619f06039c69 | |
| taillard/ js-taillard-20/ js-taillard-20-95-0.xml |
2-ARY-INT | PATT, PATT | d218a1129bf7e99e8b8586f845179931 | |
| taillard/ js-taillard-20/ js-taillard-20-95-1.xml |
2-ARY-INT | PATT, PATT | f240dec7122bf59a4eab757b8046c3d9 | |
| taillard/ js-taillard-20/ js-taillard-20-95-2.xml |
2-ARY-INT | PATT, PATT | e0954257a74b133093cf00e9d5839300 | |
| taillard/ js-taillard-20/ js-taillard-20-95-3.xml |
2-ARY-INT | PATT, PATT | 9551e0566e5fd6931ad796035015459e | |
| taillard/ js-taillard-20/ js-taillard-20-95-4.xml |
2-ARY-INT | PATT, PATT | 4c4deeb2afb0e80a3737568b2042a76c | |
| taillard/ js-taillard-20/ js-taillard-20-95-5.xml |
2-ARY-INT | PATT, PATT | 35e4216e34935e9081eda29536a155be | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| taillard/ js-taillard-20/ js-taillard-20-95-6.xml |
2-ARY-INT | PATT, PATT | e7f314495f795a42e6623c58e98048b2 | |
| taillard/ js-taillard-20/ js-taillard-20-95-7.xml |
2-ARY-INT | PATT, PATT | 573c0b02a6e53d1a67f25a1cab6b07c3 | |
| taillard/ js-taillard-20/ js-taillard-20-95-8.xml |
2-ARY-INT | PATT, PATT | 06acadaa04457724e64ccc767794c510 | |
| taillard/ js-taillard-20/ js-taillard-20-95-9.xml |
2-ARY-INT | PATT, PATT | f41f74e67ebd749df209f3aa190b0751 | |
| taillard/ os-taillard-10/ os-taillard-10-95-0.xml |
2-ARY-INT | PATT, PATT | b72a3bf0b00e09f12949ace974f0d3db | |
| taillard/ os-taillard-10/ os-taillard-10-95-1.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 3747bcbd4186ed212dd9be6f087c82b4 |
| taillard/ os-taillard-10/ os-taillard-10-95-2.xml |
2-ARY-INT | PATT, PATT | e5b6f73bb1654894743077b22f6378b0 | |
| taillard/ os-taillard-10/ os-taillard-10-95-3.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 7e3c51f50cd71b0d303f8f9ddad103ec |
| taillard/ os-taillard-10/ os-taillard-10-95-4.xml |
2-ARY-INT | PATT, PATT | efc47bf91b64c1785ac74e5ecd05d9ec | |
| taillard/ os-taillard-10/ os-taillard-10-95-5.xml |
UNSAT | 2-ARY-INT | PATT, PATT | fd20efe5e097ff070631e30f733d0e3f |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| taillard/ os-taillard-10/ os-taillard-10-95-6.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 376c4d5b9e80417bbb3a28982bb1287e |
| taillard/ os-taillard-10/ os-taillard-10-95-7.xml |
2-ARY-INT | PATT, PATT | 1ac4899202187205cc402a22c67930db | |
| taillard/ os-taillard-10/ os-taillard-10-95-8.xml |
2-ARY-INT | PATT, PATT | 014487bc1152992590afac1666edece7 | |
| taillard/ os-taillard-10/ os-taillard-10-95-9.xml |
2-ARY-INT | PATT, PATT | d96a1b082adaf530e3e98925ae43a69c | |
| taillard/ os-taillard-15/ os-taillard-15-95-0.xml |
2-ARY-INT | PATT, PATT | 9022ba7be6fd37cd1686d43ac72ffbad | |
| taillard/ os-taillard-15/ os-taillard-15-95-1.xml |
2-ARY-INT | PATT, PATT | ba73840b99a966ad835a0d6c1210d9c9 | |
| taillard/ os-taillard-15/ os-taillard-15-95-2.xml |
2-ARY-INT | PATT, PATT | ca4fc03710cd0bd173f954986d571a5a | |
| taillard/ os-taillard-15/ os-taillard-15-95-3.xml |
2-ARY-INT | PATT, PATT | 70c6e1071e2d8fc4bc31e6131cae8760 | |
| taillard/ os-taillard-15/ os-taillard-15-95-4.xml |
2-ARY-INT | PATT, PATT | a7015b7b8a0911f86cf4ded97ed359d1 | |
| taillard/ os-taillard-15/ os-taillard-15-95-5.xml |
2-ARY-INT | PATT, PATT | a34c97e86aa6f21f2941b431d9a10048 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| taillard/ os-taillard-15/ os-taillard-15-95-6.xml |
2-ARY-INT | PATT, PATT | fffa7293bfb79a702132fd63166ab6d3 | |
| taillard/ os-taillard-15/ os-taillard-15-95-7.xml |
2-ARY-INT | PATT, PATT | f4327cb68fbe8580c1be6c2a8250c7f0 | |
| taillard/ os-taillard-15/ os-taillard-15-95-8.xml |
2-ARY-INT | PATT, PATT | a3151f1debc9907d47b98ba4d4958549 | |
| taillard/ os-taillard-15/ os-taillard-15-95-9.xml |
2-ARY-INT | PATT, PATT | 6522e1f6a411174fd677fca5ba664b91 | |
| taillard/ os-taillard-20/ os-taillard-20-95-0.xml |
2-ARY-INT | PATT, PATT | 61d4842842d89971c5c662b1f6ba4621 | |
| taillard/ os-taillard-20/ os-taillard-20-95-1.xml |
2-ARY-INT | PATT, PATT | 3f59ce7e2cf0069032dc8d030cfb3b7e | |
| taillard/ os-taillard-20/ os-taillard-20-95-2.xml |
2-ARY-INT | PATT, PATT | 92555cdf22aba40b17a03815dd090f8b | |
| taillard/ os-taillard-20/ os-taillard-20-95-3.xml |
2-ARY-INT | PATT, PATT | 5ec20206a8a3a2922b1b6c486df1b43e | |
| taillard/ os-taillard-20/ os-taillard-20-95-4.xml |
2-ARY-INT | PATT, PATT | d4c3a845b4dc0f6fc0933440fcd2ee32 | |
| taillard/ os-taillard-20/ os-taillard-20-95-5.xml |
2-ARY-INT | PATT, PATT | ceab7fa83218c14d58ea9b242c597630 | |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| taillard/ os-taillard-20/ os-taillard-20-95-6.xml |
2-ARY-INT | PATT, PATT | 4323238ba4bd95d86b69074f31564b40 | |
| taillard/ os-taillard-20/ os-taillard-20-95-7.xml |
2-ARY-INT | PATT, PATT | cc8957f8a15d4415fcf3976e1a5630c5 | |
| taillard/ os-taillard-20/ os-taillard-20-95-8.xml |
2-ARY-INT | PATT, PATT | 87e975250304f30a19a45e921aa11a00 | |
| taillard/ os-taillard-20/ os-taillard-20-95-9.xml |
2-ARY-INT | PATT, PATT | 9721ce867ce6c513d73631ab5107c0a8 | |
| taillard/os-taillard-4/ os-taillard-4-95-0.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 050d31d47cf79d444236e46471baefcc |
| taillard/os-taillard-4/ os-taillard-4-95-1.xml |
UNSAT | 2-ARY-INT | PATT, PATT | fdfc9626f1c400939e169404bade143c |
| taillard/os-taillard-4/ os-taillard-4-95-2.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 4fba640db4f884ad11082dd4c9db0fdf |
| taillard/os-taillard-4/ os-taillard-4-95-3.xml |
UNSAT | 2-ARY-INT | PATT, PATT | b860347ffd5aacca0d5d880f58d9a1b4 |
| taillard/os-taillard-4/ os-taillard-4-95-4.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 47e575d2887d6b0f285692c2f4055baa |
| taillard/os-taillard-4/ os-taillard-4-95-5.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 109162b8a600a0d39263a17c1f171437 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| taillard/os-taillard-4/ os-taillard-4-95-6.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 22deb5457756fdb090779f1d2eaee199 |
| taillard/os-taillard-4/ os-taillard-4-95-7.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 76385b39dbde3001683bbe3f7d18b334 |
| taillard/os-taillard-4/ os-taillard-4-95-8.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 1710571c9fbceaa3ebf9e7e0cbee2df2 |
| taillard/os-taillard-4/ os-taillard-4-95-9.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 4d05ea6d1cd92b8c83c24cf008f4219b |
| taillard/os-taillard-5/ os-taillard-5-95-0.xml |
UNSAT | 2-ARY-INT | PATT, PATT | a3456e6d65e65aed2a5080188859f278 |
| taillard/os-taillard-5/ os-taillard-5-95-1.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 10bd62c6431534fd4c0942090b582767 |
| taillard/os-taillard-5/ os-taillard-5-95-2.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 581bd298a554a245f5f89dd0c5a8e177 |
| taillard/os-taillard-5/ os-taillard-5-95-3.xml |
UNSAT | 2-ARY-INT | PATT, PATT | ebcfe93baf0015fb805231ea90739aa3 |
| taillard/os-taillard-5/ os-taillard-5-95-4.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 7c95bc38c10d38abe97f5f5c54fc9588 |
| taillard/os-taillard-5/ os-taillard-5-95-5.xml |
UNSAT | 2-ARY-INT | PATT, PATT | f082026687311cf8dee5766da35d635c |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| taillard/os-taillard-5/ os-taillard-5-95-6.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 1fe56784646537c7e125bf7c53b21105 |
| taillard/os-taillard-5/ os-taillard-5-95-7.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 62917edfa1aa81fbde16fbd2952805e0 |
| taillard/os-taillard-5/ os-taillard-5-95-8.xml |
UNSAT | 2-ARY-INT | PATT, PATT | b44e154edbaa39f899e76fd76810454f |
| taillard/os-taillard-5/ os-taillard-5-95-9.xml |
UNSAT | 2-ARY-INT | PATT, PATT | b84db87bd15ed0a16358eac6ec4fc189 |
| taillard/os-taillard-7/ os-taillard-7-95-0.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 2c2fead72c0d5fc55930647203f728f7 |
| taillard/os-taillard-7/ os-taillard-7-95-1.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 4dd004eecb811c39e57feffe610d471a |
| taillard/os-taillard-7/ os-taillard-7-95-2.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 570f4f3187c9b9f5121439d9a96fe2a4 |
| taillard/os-taillard-7/ os-taillard-7-95-3.xml |
UNSAT | 2-ARY-INT | PATT, PATT | d74e1fc2cd64aae8cda46a42a291518c |
| taillard/os-taillard-7/ os-taillard-7-95-4.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 749743b0ffe967487adf96742b5fd099 |
| taillard/os-taillard-7/ os-taillard-7-95-5.xml |
UNSAT | 2-ARY-INT | PATT, PATT | ebdfda856dfd036416c301c32875da0c |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| taillard/os-taillard-7/ os-taillard-7-95-6.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 019f8abe20a7cd1b8d6c7abc45fb5a20 |
| taillard/os-taillard-7/ os-taillard-7-95-7.xml |
UNSAT | 2-ARY-INT | PATT, PATT | 23cb2427c56d1bc47bb8ccd76b20ab76 |
| taillard/os-taillard-7/ os-taillard-7-95-8.xml |
UNSAT | 2-ARY-INT | PATT, PATT | be7c75aa56bdb6eb789d736a14ca44d8 |
| taillard/os-taillard-7/ os-taillard-7-95-9.xml |
UNSAT | 2-ARY-INT | PATT, PATT | e3748dadd57349951a4947e30cc63ebe |
| tightness/tightness0.1/ rand-2-40-8-753-100-13_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 3921658d2b5247ef54ae5da8323aa886 |
| tightness/tightness0.1/ rand-2-40-8-753-100-16_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | fd67395de66a8cf85dc6b74543f5764c |
| tightness/tightness0.1/ rand-2-40-8-753-100-17_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 35db91cf2a5416ba505693dda26a63fb |
| tightness/tightness0.1/ rand-2-40-8-753-100-1_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 655b894243930f201942bb0da568b6c4 |
| tightness/tightness0.1/ rand-2-40-8-753-100-20_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | c34f34cb25e62c5944bb846e69368ffa |
| tightness/tightness0.1/ rand-2-40-8-753-100-21_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 458b61b666f24b7113cc3de8b84cb338 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| tightness/tightness0.1/ rand-2-40-8-753-100-28_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 6d56ed4d9640b3a878ea4cca279856bf |
| tightness/tightness0.1/ rand-2-40-8-753-100-30_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | bbc5696eb0d541204e78162136ebccd9 |
| tightness/tightness0.1/ rand-2-40-8-753-100-31_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | f520e27d9dc735632c581f772ba03f39 |
| tightness/tightness0.1/ rand-2-40-8-753-100-33_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 88abca72be6a2ff55ed5be8121655760 |
| tightness/tightness0.1/ rand-2-40-8-753-100-35_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 7f03dca00e396705a664a8eb512a15b4 |
| tightness/tightness0.1/ rand-2-40-8-753-100-36_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | dcbd6b9485b369434f0a650143d33872 |
| tightness/tightness0.1/ rand-2-40-8-753-100-37_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 135bc134ed6aa591cd505db5603a8393 |
| tightness/tightness0.1/ rand-2-40-8-753-100-3_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 9c9268857e45b389f681d23ffd1931ad |
| tightness/tightness0.1/ rand-2-40-8-753-100-43_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 6361e72e1fbbf6d640504cad81960bbe |
| tightness/tightness0.2/ rand-2-40-11-414-200-0_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 01be65ef1d587ffc3835a1fce290aef9 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| tightness/tightness0.2/ rand-2-40-11-414-200-11_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | f90de94442b44abf6aa7590ec3f26239 |
| tightness/tightness0.2/ rand-2-40-11-414-200-13_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 7aa4f8ba1b4e88993b9919c83cf837c3 |
| tightness/tightness0.2/ rand-2-40-11-414-200-19_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 7b1ac7753e34047d49fc9d8bbfd33308 |
| tightness/tightness0.2/ rand-2-40-11-414-200-1_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 1b1c27f1174ad9d3519665d1cc58d473 |
| tightness/tightness0.2/ rand-2-40-11-414-200-25_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | a738363689fdfe0f5fde1e5a7851177b |
| tightness/tightness0.2/ rand-2-40-11-414-200-26_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 64ed76077c6c510ed0eba8ee71d2a291 |
| tightness/tightness0.2/ rand-2-40-11-414-200-28_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | e282325707f45837ad1ee352374abc16 |
| tightness/tightness0.2/ rand-2-40-11-414-200-29_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 050594c4dba56228ccf5da61967f157b |
| tightness/tightness0.2/ rand-2-40-11-414-200-2_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | ced40ebf145e971020c8d0050448b04e |
| tightness/tightness0.2/ rand-2-40-11-414-200-34_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 955cccd2779dd0382c0ec8ceebab1722 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| tightness/tightness0.2/ rand-2-40-11-414-200-37_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 32ad748e3487e3f49347334b279f11f4 |
| tightness/tightness0.2/ rand-2-40-11-414-200-39_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 46ee70eb3b6a8794a3c1237e4cc2853d |
| tightness/tightness0.2/ rand-2-40-11-414-200-3_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 2f0952897d1570a9d4666c5a8502dbb2 |
| tightness/tightness0.2/ rand-2-40-11-414-200-40_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | b83984d6af75dbeb444cd34d01274267 |
| tightness/tightness0.35/ rand-2-40-16-250-350-15_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 4435b4c97eb385afb53b1b633cff6f92 |
| tightness/tightness0.35/ rand-2-40-16-250-350-16_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 178eec286af49f44f96eb28fb5bd3b84 |
| tightness/tightness0.35/ rand-2-40-16-250-350-19_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | d311083315b0da819371623aaae8ec05 |
| tightness/tightness0.35/ rand-2-40-16-250-350-1_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 90e5dca3381f0a68e828ac7b9f44c22b |
| tightness/tightness0.35/ rand-2-40-16-250-350-24_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | bf972a4603a2fbfeb1630b73a90aab82 |
| tightness/tightness0.35/ rand-2-40-16-250-350-26_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 403e2dbe834937752ec2f49353a6e536 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| tightness/tightness0.35/ rand-2-40-16-250-350-27_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | d4f87ac654423fce43e15062f9d6d02d |
| tightness/tightness0.35/ rand-2-40-16-250-350-29_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 62dea78fee4aa672a1b59404c260ab7e |
| tightness/tightness0.35/ rand-2-40-16-250-350-2_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | f5b476e5177a9fb6ebfaca98cd6580d0 |
| tightness/tightness0.35/ rand-2-40-16-250-350-30_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 31b034c56b16dbe76fa8e864f4e606f4 |
| tightness/tightness0.35/ rand-2-40-16-250-350-35_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 89930ff3a56a06b2255baa2b0edc5800 |
| tightness/tightness0.35/ rand-2-40-16-250-350-3_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 2304a437f976a87177b662aafeab0674 |
| tightness/tightness0.35/ rand-2-40-16-250-350-40_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 49dc77d353ba8e25a666e6988e351b18 |
| tightness/tightness0.35/ rand-2-40-16-250-350-41_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 74df457be90ea7a152f59268da62bd6f |
| tightness/tightness0.35/ rand-2-40-16-250-350-42_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 0394e21dc05df64a42e1c420d78ca89f |
| tightness/tightness0.5/ rand-2-40-25-180-500-0_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 266387c001f577ab5980043fc8b2efca |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| tightness/tightness0.5/ rand-2-40-25-180-500-10_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 2bb63578bbd1cb8542ec8d3b8eb542c6 |
| tightness/tightness0.5/ rand-2-40-25-180-500-11_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | cddde83e97abaa8727713e4b7e33af6d |
| tightness/tightness0.5/ rand-2-40-25-180-500-12_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 2d71b1598e2ffe1ec62b030c7fa7a949 |
| tightness/tightness0.5/ rand-2-40-25-180-500-14_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | f01a8557c9c52399facc6f6e12b5090f |
| tightness/tightness0.5/ rand-2-40-25-180-500-16_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | d84159d8ca97d107fc8488765193d86a |
| tightness/tightness0.5/ rand-2-40-25-180-500-18_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 9e1316394e0bdfd6748a614072a7f60e |
| tightness/tightness0.5/ rand-2-40-25-180-500-20_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 77f25c35d5338a099bbe3ea84eec0a6d |
| tightness/tightness0.5/ rand-2-40-25-180-500-24_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 0dfde721e0a0ccf6d8164add3dae78d0 |
| tightness/tightness0.5/ rand-2-40-25-180-500-29_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | c38004291fa3b8cfe69355ece43a58e6 |
| tightness/tightness0.5/ rand-2-40-25-180-500-2_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | dd8c29a38d16ba572932106704ffc219 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| tightness/tightness0.5/ rand-2-40-25-180-500-30_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 9931b784ca962f4407811178607db0ec |
| tightness/tightness0.5/ rand-2-40-25-180-500-33_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 99ca03af81338811d77d016dbff42039 |
| tightness/tightness0.5/ rand-2-40-25-180-500-37_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 0da2491e964a6fb21598906e2adbb760 |
| tightness/tightness0.5/ rand-2-40-25-180-500-3_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | f2cd65a73abe6a207b75be7eb6e35b9c |
| tightness/tightness0.65/ rand-2-40-40-135-650-10_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 950e0572b9f4a12b2fb41edee4194b53 |
| tightness/tightness0.65/ rand-2-40-40-135-650-12_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 7dd533024b09bf291faeaf366c26aa88 |
| tightness/tightness0.65/ rand-2-40-40-135-650-13_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | f896bbcb142225f58ee5784bf80bf256 |
| tightness/tightness0.65/ rand-2-40-40-135-650-14_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 3c571811344329da499115137c65f8ae |
| tightness/tightness0.65/ rand-2-40-40-135-650-15_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 894a922de2e82381bcde1a85406b08e1 |
| tightness/tightness0.65/ rand-2-40-40-135-650-16_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | fcab047e9b83f82daad7838afbfcb22c |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| tightness/tightness0.65/ rand-2-40-40-135-650-18_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | d91d410a3e4ff44aac7aecf5da4921ba |
| tightness/tightness0.65/ rand-2-40-40-135-650-22_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 74d6942cd0fac67ea17e3dca7056d583 |
| tightness/tightness0.65/ rand-2-40-40-135-650-23_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 052daab93e3479cd3789561612b07034 |
| tightness/tightness0.65/ rand-2-40-40-135-650-25_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | d08daf79178615f77eb3ee37132725f5 |
| tightness/tightness0.65/ rand-2-40-40-135-650-28_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 08eb4c1ba152031183d1e05f8a31c4f7 |
| tightness/tightness0.65/ rand-2-40-40-135-650-29_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | e90797268d71e6eb172828a0a7e4423c |
| tightness/tightness0.65/ rand-2-40-40-135-650-2_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 4050b2caf0e44c4715a463b831c10727 |
| tightness/tightness0.65/ rand-2-40-40-135-650-30_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | d922d856305eac74d8ce632d0a1bd305 |
| tightness/tightness0.65/ rand-2-40-40-135-650-31_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 8cfb7f062f28b0701b26adee3b2be2b4 |
| tightness/tightness0.8/ rand-2-40-80-103-800-0_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 01f6d45782dacf7980256bd8b86da3b5 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| tightness/tightness0.8/ rand-2-40-80-103-800-11_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 3f166abd9c5ab3f07fb1a58b80c8c711 |
| tightness/tightness0.8/ rand-2-40-80-103-800-14_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | ce4ee7f22ec5957765b5dfae25f9f2ac |
| tightness/tightness0.8/ rand-2-40-80-103-800-15_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 90b89c45a139e27edf2b84cc08c84db1 |
| tightness/tightness0.8/ rand-2-40-80-103-800-16_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 81923536c0ec64b41132176829346068 |
| tightness/tightness0.8/ rand-2-40-80-103-800-18_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 2bf8522f72277d2574443ef43e92b8c1 |
| tightness/tightness0.8/ rand-2-40-80-103-800-20_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | e773c97fa3648307850016f1d626de9d |
| tightness/tightness0.8/ rand-2-40-80-103-800-22_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 70d4bbef57c703949e1f02a0b6cef9a2 |
| tightness/tightness0.8/ rand-2-40-80-103-800-25_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 8e7cbddc90b4e2781e7f5481f3b737fb |
| tightness/tightness0.8/ rand-2-40-80-103-800-28_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 42f6f08b863c15542d3855468bce8333 |
| tightness/tightness0.8/ rand-2-40-80-103-800-29_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | eb2e85044c616a714f9eeb520026d899 |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| tightness/tightness0.8/ rand-2-40-80-103-800-2_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 86e6d96c8cf9e85b2a2d82a25fe308a3 |
| tightness/tightness0.8/ rand-2-40-80-103-800-32_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 1937dcc0ff9b467159e37e0a7f121d87 |
| tightness/tightness0.8/ rand-2-40-80-103-800-35_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 62fdf3dcfed7f5799c512f31618b4411 |
| tightness/tightness0.8/ rand-2-40-80-103-800-36_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | b8d3e388f27fbe8943ab3df8aff0b71c |
| tightness/tightness0.9/ rand-2-40-180-84-900-11_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | b4c0dc52b099a807dadb2ff36eeb26ac |
| tightness/tightness0.9/ rand-2-40-180-84-900-14_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 6a733424b00122974afbb52c30dd3c16 |
| tightness/tightness0.9/ rand-2-40-180-84-900-15_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | b0f833c6013824edaf84bd63c190d30c |
| tightness/tightness0.9/ rand-2-40-180-84-900-16_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 34410238574fa0d1b325633cee1e3577 |
| tightness/tightness0.9/ rand-2-40-180-84-900-18_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 72dbfb712f00f9ef9cf42feeefee423d |
| tightness/tightness0.9/ rand-2-40-180-84-900-22_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | d732a9fab2232d5db89bba6c6a92a1de |
| Bench name | Best results on this instance | Main category | Sub categories | md5sum |
| tightness/tightness0.9/ rand-2-40-180-84-900-23_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | f5042e2ed2d3e0b87ed40f3a4d9f65a1 |
| tightness/tightness0.9/ rand-2-40-180-84-900-25_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 9f26a666bb0b42121c2d5a77d97f4fb8 |
| tightness/tightness0.9/ rand-2-40-180-84-900-27_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 3ac0e5fd51cdfeaeb41cf7ea716924ba |
| tightness/tightness0.9/ rand-2-40-180-84-900-28_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 5e4f91dfa2e3eb6677eed969301295d3 |
| tightness/tightness0.9/ rand-2-40-180-84-900-29_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 54797be09cfc54703d39b3ea9948e138 |
| tightness/tightness0.9/ rand-2-40-180-84-900-2_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | 249ce723fb04f168e7430a752a69f18d |
| tightness/tightness0.9/ rand-2-40-180-84-900-34_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | a65f4fc7e0ec1e7e355e8bc7c384be7e |
| tightness/tightness0.9/ rand-2-40-180-84-900-35_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | fb4b4507e7f6489fee0b46aa958528d3 |
| tightness/tightness0.9/ rand-2-40-180-84-900-39_ext.xml |
UNSAT | 2-ARY-EXT | RAND, RAND | b5edf3320e80bd6231b487f32cfb536c |