{
 "format_version": 1,
 "subset": "primal",
 "label": "Primal-infeasible",
 "release_base_url": "https://github.com/MIT-Lu-Lab/MIPLIB2017-Infeas/releases/download/v1.0/",
 "count": 229,
 "instances": [
  {
   "instance": "30n20b8",
   "n_vars": 18380,
   "n_cons": 576,
   "nnz": 109706,
   "depth": 413,
   "bound_changes": 1388,
   "file_bytes": 463274,
   "sha256": "b57ebfacc864c15149fa1689e9dd716060b20f42d66aa23e414e9a2d0a878dd9",
   "mps_filename": "30n20b8_if.mps.gz"
  },
  {
   "instance": "academictimetablebig",
   "n_vars": 168974,
   "n_cons": 167661,
   "nnz": 1545375,
   "depth": 145,
   "bound_changes": 4393,
   "file_bytes": 6564294,
   "sha256": "cbb3446c298916b24543e083f786f5aebfe0dd59c225b4c5a8cdac079b925d20",
   "mps_filename": "academictimetablebig_if.mps.gz"
  },
  {
   "instance": "academictimetablesmall",
   "n_vars": 28926,
   "n_cons": 23294,
   "nnz": 268350,
   "depth": 37,
   "bound_changes": 935,
   "file_bytes": 1090502,
   "sha256": "4b293f5d7aef5c851d0d7e87594bab4e7d85e6186b231f6259ee36833d0fea19",
   "mps_filename": "academictimetablesmall_if.mps.gz"
  },
  {
   "instance": "adult-max5features",
   "n_vars": 32674,
   "n_cons": 32709,
   "nnz": 417567,
   "depth": 105,
   "bound_changes": 101,
   "file_bytes": 1701462,
   "sha256": "50bafbd29f00ea63199bd64296a83250f96d8963dbce08d97b92d2eee5967463",
   "mps_filename": "adult-max5features_if.mps.gz"
  },
  {
   "instance": "allcolor58",
   "n_vars": 84376,
   "n_cons": 197154,
   "nnz": 515184,
   "depth": 4769,
   "bound_changes": 64072,
   "file_bytes": 2469378,
   "sha256": "0ebc2729e89b9795e14387da0aee545a6eef4ffbd8ba3a1a157faa4c4d157267",
   "mps_filename": "allcolor58_if.mps.gz"
  },
  {
   "instance": "app1-2",
   "n_vars": 26871,
   "n_cons": 53467,
   "nnz": 199175,
   "depth": 8,
   "bound_changes": 131,
   "file_bytes": 1181637,
   "sha256": "2caf134561b65ac46809bb1f1d095620e0bdff163153d05e68c86a72fc88df75",
   "mps_filename": "app1-2_if.mps.gz"
  },
  {
   "instance": "atlanta-ip",
   "n_vars": 48738,
   "n_cons": 21732,
   "nnz": 257532,
   "depth": 36,
   "bound_changes": 276,
   "file_bytes": 1478406,
   "sha256": "df2520c849d886d10ec924e768b5f0fc08780f3d97041bad4e24202e79539274",
   "mps_filename": "atlanta-ip_if.mps.gz"
  },
  {
   "instance": "bab1",
   "n_vars": 61152,
   "n_cons": 60680,
   "nnz": 854392,
   "depth": 1585,
   "bound_changes": 52401,
   "file_bytes": 3396585,
   "sha256": "3b8c6db826833af8373948c0cc9019e568192068554ef65f03754c61859fe28b",
   "mps_filename": "bab1_if.mps.gz"
  },
  {
   "instance": "bab2",
   "n_vars": 147912,
   "n_cons": 17245,
   "nnz": 2027726,
   "depth": 718,
   "bound_changes": 814,
   "file_bytes": 7316245,
   "sha256": "daf61e4ae10c688839ad1243e246313612c2addc6293aa2c5ca36017531babcb",
   "mps_filename": "bab2_if.mps.gz"
  },
  {
   "instance": "bab3",
   "n_vars": 393800,
   "n_cons": 23069,
   "nnz": 3301838,
   "depth": 1325,
   "bound_changes": 1613,
   "file_bytes": 11584937,
   "sha256": "ba1d3678f7fcd2970280b0e6d5ac7ab7534d9639dc0c14f617f06124328651c7",
   "mps_filename": "bab3_if.mps.gz"
  },
  {
   "instance": "bab5",
   "n_vars": 21600,
   "n_cons": 4964,
   "nnz": 155520,
   "depth": 177,
   "bound_changes": 177,
   "file_bytes": 637740,
   "sha256": "dc43a66c68cd10046cdbcd45ef17d0813da960f3442263725f9023f9404774e2",
   "mps_filename": "bab5_if.mps.gz"
  },
  {
   "instance": "bab6",
   "n_vars": 114240,
   "n_cons": 29904,
   "nnz": 1283181,
   "depth": 148,
   "bound_changes": 148,
   "file_bytes": 4762315,
   "sha256": "c3251dc9a17cb7c74adeb1aa3c449d36b85fadc4326234bf8d76cdfeabd78894",
   "mps_filename": "bab6_if.mps.gz"
  },
  {
   "instance": "blp-ar98",
   "n_vars": 16021,
   "n_cons": 1128,
   "nnz": 200601,
   "depth": 141,
   "bound_changes": 222,
   "file_bytes": 914977,
   "sha256": "758094672a6b72e59bfdf832651fafa7bda24f287a7bfa1c1e23a684a80ca776",
   "mps_filename": "blp-ar98_if.mps.gz"
  },
  {
   "instance": "blp-ic97",
   "n_vars": 9845,
   "n_cons": 923,
   "nnz": 118149,
   "depth": 341,
   "bound_changes": 1777,
   "file_bytes": 555874,
   "sha256": "ea84b2ed61fff3134a18d7508c59a119f12c6854d5376a028a2bc26c3ca2c513",
   "mps_filename": "blp-ic97_if.mps.gz"
  },
  {
   "instance": "blp-ic98",
   "n_vars": 13640,
   "n_cons": 717,
   "nnz": 191947,
   "depth": 226,
   "bound_changes": 270,
   "file_bytes": 860026,
   "sha256": "c58119bd440fa4b67a77b4230256267f02c2c971e9699452b5c46dfd6c021a7f",
   "mps_filename": "blp-ic98_if.mps.gz"
  },
  {
   "instance": "brazil3",
   "n_vars": 23968,
   "n_cons": 14646,
   "nnz": 133184,
   "depth": 220,
   "bound_changes": 1102,
   "file_bytes": 673227,
   "sha256": "09b09cb81be539f88f51b9a6257a2228f51d5ae5a02b27d8800a2a27cf81fc44",
   "mps_filename": "brazil3_if.mps.gz"
  },
  {
   "instance": "circ10-3",
   "n_vars": 2700,
   "n_cons": 42620,
   "nnz": 307320,
   "depth": 149,
   "bound_changes": 149,
   "file_bytes": 1180542,
   "sha256": "9a48692d9c62f892df33e2d33fdd3d30305913439f0bb49747b2cee39257a82e",
   "mps_filename": "circ10-3_if.mps.gz"
  },
  {
   "instance": "cmflsp40-24-10-7",
   "n_vars": 13200,
   "n_cons": 2825,
   "nnz": 127736,
   "depth": 177,
   "bound_changes": 193,
   "file_bytes": 643079,
   "sha256": "3288177a07fdba5f2404d2b987e45d7b231cfd824ef753aaa0b07508bdf0277c",
   "mps_filename": "cmflsp40-24-10-7_if.mps.gz"
  },
  {
   "instance": "cmflsp40-36-2-10",
   "n_vars": 28152,
   "n_cons": 4266,
   "nnz": 386432,
   "depth": 323,
   "bound_changes": 497,
   "file_bytes": 1723336,
   "sha256": "c8bf77cdb61c17bc4e2037d33ff29b2d441810c4d8f626b689d6ef90e6fab727",
   "mps_filename": "cmflsp40-36-2-10_if.mps.gz"
  },
  {
   "instance": "cmflsp50-24-8-8",
   "n_vars": 16392,
   "n_cons": 3520,
   "nnz": 158622,
   "depth": 284,
   "bound_changes": 304,
   "file_bytes": 797338,
   "sha256": "0dc133dd8794570b43ad60fb3b7b54bdc45a3fdc19411c9b020843ab81e0a7ea",
   "mps_filename": "cmflsp50-24-8-8_if.mps.gz"
  },
  {
   "instance": "cmflsp60-36-2-6",
   "n_vars": 42192,
   "n_cons": 6388,
   "nnz": 581335,
   "depth": 1259,
   "bound_changes": 1283,
   "file_bytes": 2579624,
   "sha256": "12b4d6df430f7edd43b0542929386901bb9f7b6db1fb814d754c72e15bf9b9e2",
   "mps_filename": "cmflsp60-36-2-6_if.mps.gz"
  },
  {
   "instance": "co-100",
   "n_vars": 48417,
   "n_cons": 2187,
   "nnz": 1995817,
   "depth": 375,
   "bound_changes": 375,
   "file_bytes": 6539835,
   "sha256": "64b13db86c197f110d3b85c2ec8f94a0c9b2733338d91156c9c6db237f8d711b",
   "mps_filename": "co-100_if.mps.gz"
  },
  {
   "instance": "cryptanalysiskb128n5obj16",
   "n_vars": 48950,
   "n_cons": 98021,
   "nnz": 292875,
   "depth": 36,
   "bound_changes": 3502,
   "file_bytes": 1767701,
   "sha256": "8fdb682d76de405cd64bbf692cae6348e6eef6bb9993b00fcd8fffbfb2b01758",
   "mps_filename": "cryptanalysiskb128n5obj16_if.mps.gz"
  },
  {
   "instance": "d20200",
   "n_vars": 4000,
   "n_cons": 1502,
   "nnz": 189389,
   "depth": 437,
   "bound_changes": 437,
   "file_bytes": 792934,
   "sha256": "aa271a200867ef0617cad119a807b31f57077548957e00bbb63c4ec08f2ae447",
   "mps_filename": "d20200_if.mps.gz"
  },
  {
   "instance": "ds",
   "n_vars": 67732,
   "n_cons": 656,
   "nnz": 1024059,
   "depth": 94,
   "bound_changes": 94,
   "file_bytes": 3326054,
   "sha256": "d8de79b76d9cb1dc8b23fc3d56a3a3eb7c98cd94e4144e0381f8739e070b8cc3",
   "mps_filename": "ds_if.mps.gz"
  },
  {
   "instance": "dws008-03",
   "n_vars": 32280,
   "n_cons": 16344,
   "nnz": 165168,
   "depth": 103,
   "bound_changes": 327,
   "file_bytes": 975313,
   "sha256": "fb8157d3993f25d86a4e10a611a988692b74cd61ecf5df539bb1d6e21905fdec",
   "mps_filename": "dws008-03_if.mps.gz"
  },
  {
   "instance": "dws012-01",
   "n_vars": 26148,
   "n_cons": 14280,
   "nnz": 132936,
   "depth": 32,
   "bound_changes": 310,
   "file_bytes": 790751,
   "sha256": "99f7b6047abf1fdffe3df16317c02889d687c7b9c26dbea2980319d5128839f8",
   "mps_filename": "dws012-01_if.mps.gz"
  },
  {
   "instance": "dws012-02",
   "n_vars": 51108,
   "n_cons": 26382,
   "nnz": 261120,
   "depth": 204,
   "bound_changes": 561,
   "file_bytes": 1545755,
   "sha256": "8eaee8cc9b88432c239261a451fc7034c10759daeb3400f1728467fba19d6415",
   "mps_filename": "dws012-02_if.mps.gz"
  },
  {
   "instance": "dws012-03",
   "n_vars": 76068,
   "n_cons": 38484,
   "nnz": 389304,
   "depth": 142,
   "bound_changes": 644,
   "file_bytes": 2294924,
   "sha256": "dff949b56da0692a9ddd561230d47c88cb2e691e23585605bba0aa11cb1e33c2",
   "mps_filename": "dws012-03_if.mps.gz"
  },
  {
   "instance": "eilA101-2",
   "n_vars": 65832,
   "n_cons": 100,
   "nnz": 959373,
   "depth": 53,
   "bound_changes": 53,
   "file_bytes": 3667301,
   "sha256": "db962445d9cb2f1ddc27e44ab0333e20b9e453bc414c632432e6b9bf89286930",
   "mps_filename": "eilA101-2_if.mps.gz"
  },
  {
   "instance": "eilC76-2",
   "n_vars": 28599,
   "n_cons": 75,
   "nnz": 314837,
   "depth": 91,
   "bound_changes": 91,
   "file_bytes": 1304743,
   "sha256": "6b150e391c667c1ff7b4538b34edb1dc3f03b86084691add03f66609ba5d2a4b",
   "mps_filename": "eilC76-2_if.mps.gz"
  },
  {
   "instance": "eva1aprime6x6opt",
   "n_vars": 3514,
   "n_cons": 34872,
   "nnz": 161558,
   "depth": 326,
   "bound_changes": 522,
   "file_bytes": 777445,
   "sha256": "dad6bf95497fd9f18db224041a4cbaa0b1e3501b026a380de288ba6aa261bc38",
   "mps_filename": "eva1aprime6x6opt_if.mps.gz"
  },
  {
   "instance": "ex10",
   "n_vars": 17680,
   "n_cons": 69608,
   "nnz": 1162000,
   "depth": 5,
   "bound_changes": 1253,
   "file_bytes": 5043974,
   "sha256": "46b60dd1d5aebbf4131576e19ea873591a38fc50b06fcc5bbea238e448900308",
   "mps_filename": "ex10_if.mps.gz"
  },
  {
   "instance": "ex9",
   "n_vars": 10404,
   "n_cons": 40962,
   "nnz": 517112,
   "depth": 7,
   "bound_changes": 1383,
   "file_bytes": 2223130,
   "sha256": "f814b26c07f41835c94cf82e4410a33dedec6d826c1df0098111fc92a931a67d",
   "mps_filename": "ex9_if.mps.gz"
  },
  {
   "instance": "fastxgemm-n3r21s3t6",
   "n_vars": 18684,
   "n_cons": 219368,
   "nnz": 718146,
   "depth": 199,
   "bound_changes": 196,
   "file_bytes": 3031604,
   "sha256": "5b77c604f79405e6cc735684cbcf8ab4d08dad4ccfb7794cbdbb11c19a2f4bdd",
   "mps_filename": "fastxgemm-n3r21s3t6_if.mps.gz"
  },
  {
   "instance": "fastxgemm-n3r22s4t6",
   "n_vars": 19539,
   "n_cons": 229742,
   "nnz": 752274,
   "depth": 312,
   "bound_changes": 312,
   "file_bytes": 3175284,
   "sha256": "7cf3b7a81def2cf28bc4352cc8771281dfaf96f6d909bd5cc30de269d07cd0e1",
   "mps_filename": "fastxgemm-n3r22s4t6_if.mps.gz"
  },
  {
   "instance": "fastxgemm-n3r23s5t6",
   "n_vars": 20394,
   "n_cons": 240116,
   "nnz": 786402,
   "depth": 258,
   "bound_changes": 283,
   "file_bytes": 3295603,
   "sha256": "c635bc8449f402ab59fd10316e1b1d04ccde63946ade461aa6c5b5dfc33a9662",
   "mps_filename": "fastxgemm-n3r23s5t6_if.mps.gz"
  },
  {
   "instance": "fhnw-binschedule0",
   "n_vars": 319319,
   "n_cons": 58085,
   "nnz": 1382972,
   "depth": 473,
   "bound_changes": 473,
   "file_bytes": 6514985,
   "sha256": "45d76c97c8c0a43620442e52f7560a939c5430647e890da04c1c4a6655877353",
   "mps_filename": "fhnw-binschedule0_if.mps.gz"
  },
  {
   "instance": "fhnw-binschedule2",
   "n_vars": 30973,
   "n_cons": 6503,
   "nnz": 134640,
   "depth": 283,
   "bound_changes": 280,
   "file_bytes": 583063,
   "sha256": "0bc04fdb6235ff212320b2660c5861f389f4f2d75473c589d8c24d02ddbb4f5a",
   "mps_filename": "fhnw-binschedule2_if.mps.gz"
  },
  {
   "instance": "genus-sym-g62-2",
   "n_vars": 12912,
   "n_cons": 78472,
   "nnz": 275855,
   "depth": 109,
   "bound_changes": 109,
   "file_bytes": 1346393,
   "sha256": "dd3bca1e435d2cf2d95a04193216f92d2ed88c924081372374bac36ac951ff8e",
   "mps_filename": "genus-sym-g62-2_if.mps.gz"
  },
  {
   "instance": "ger50-17-trans-dfn-3t",
   "n_vars": 22414,
   "n_cons": 499,
   "nnz": 172035,
   "depth": 1010,
   "bound_changes": 1008,
   "file_bytes": 615192,
   "sha256": "43c91ff68c29e1d7a90727bbd24660d673c6f167e536f69094a70accedfc53f3",
   "mps_filename": "ger50-17-trans-dfn-3t_if.mps.gz"
  },
  {
   "instance": "ger50-17-trans-pop-3t",
   "n_vars": 22414,
   "n_cons": 499,
   "nnz": 172035,
   "depth": 18121,
   "bound_changes": 18187,
   "file_bytes": 656546,
   "sha256": "40da73198698171ca8e367e5c98331821ce92f028729168efec1c561c561a939",
   "mps_filename": "ger50-17-trans-pop-3t_if.mps.gz"
  },
  {
   "instance": "germanrr",
   "n_vars": 10813,
   "n_cons": 10779,
   "nnz": 175547,
   "depth": 25,
   "bound_changes": 140,
   "file_bytes": 690799,
   "sha256": "7cc4c76416272d2a009b6acd7c298db4b344a6a7eb7f81358491da361f429eed",
   "mps_filename": "germanrr_if.mps.gz"
  },
  {
   "instance": "gfd-schedulen180f7d50m30k18",
   "n_vars": 227535,
   "n_cons": 457985,
   "nnz": 1233372,
   "depth": 570,
   "bound_changes": 47025,
   "file_bytes": 7339008,
   "sha256": "d28afa03c05cf234099694b65a34feb888b3052243f6f606bf76f2c333150be9",
   "mps_filename": "gfd-schedulen180f7d50m30k18_if.mps.gz"
  },
  {
   "instance": "gmut-75-50",
   "n_vars": 68865,
   "n_cons": 2565,
   "nnz": 571475,
   "depth": 2523,
   "bound_changes": 2523,
   "file_bytes": 3186254,
   "sha256": "0435e93eb87fe55d6847f634730755555d36460863fdd5ecf485314265ef4c2d",
   "mps_filename": "gmut-75-50_if.mps.gz"
  },
  {
   "instance": "gmut-76-40",
   "n_vars": 24338,
   "n_cons": 2586,
   "nnz": 153017,
   "depth": 383,
   "bound_changes": 12222,
   "file_bytes": 959893,
   "sha256": "3291acbaed5037a026103145410cdc7403ff66b79013f8ae9e3400fa3e26a4e2",
   "mps_filename": "gmut-76-40_if.mps.gz"
  },
  {
   "instance": "gmut-76-50",
   "n_vars": 68865,
   "n_cons": 2586,
   "nnz": 470045,
   "depth": 366,
   "bound_changes": 366,
   "file_bytes": 2701281,
   "sha256": "72847a12d29e57317f4b185451850cf6519ef010410b3fa62f756369f6305e8f",
   "mps_filename": "gmut-76-50_if.mps.gz"
  },
  {
   "instance": "graph20-80-1rand",
   "n_vars": 16263,
   "n_cons": 55107,
   "nnz": 191997,
   "depth": 498,
   "bound_changes": 615,
   "file_bytes": 1400415,
   "sha256": "72c5a531f3ba05928f842509a1e0046f98f9c54fc9692b77245ec6c432e36634",
   "mps_filename": "graph20-80-1rand_if.mps.gz"
  },
  {
   "instance": "graphdraw-opmanager",
   "n_vars": 4812,
   "n_cons": 75395,
   "nnz": 227160,
   "depth": 293,
   "bound_changes": 275,
   "file_bytes": 1905685,
   "sha256": "df614c54488b564e74816f918b9ba52ef7cf9b42878982953f12693ff1dba563",
   "mps_filename": "graphdraw-opmanager_if.mps.gz"
  },
  {
   "instance": "hgms30",
   "n_vars": 23797,
   "n_cons": 281917,
   "nnz": 850486,
   "depth": 60,
   "bound_changes": 8939,
   "file_bytes": 4757688,
   "sha256": "3bbbe72a861b935ed021d0b05fdd9751fc181e17897e014c9b11b4b2e71dec7c",
   "mps_filename": "hgms30_if.mps.gz"
  },
  {
   "instance": "hgms62",
   "n_vars": 48597,
   "n_cons": 582237,
   "nnz": 1753238,
   "depth": 42,
   "bound_changes": 18355,
   "file_bytes": 9772837,
   "sha256": "8b010cb9dc286ceae095d8a1aed5bdcf9c538cffc4030da9be5f2f0174bfcb26",
   "mps_filename": "hgms62_if.mps.gz"
  },
  {
   "instance": "hypothyroid-k1",
   "n_vars": 2602,
   "n_cons": 5195,
   "nnz": 433884,
   "depth": 11,
   "bound_changes": 13,
   "file_bytes": 1265593,
   "sha256": "9fac3aef56146e9e8511016dd8b9ea627b5c5df78861bb0495b651de00fe69c3",
   "mps_filename": "hypothyroid-k1_if.mps.gz"
  },
  {
   "instance": "k1mushroom",
   "n_vars": 8211,
   "n_cons": 16419,
   "nnz": 1697946,
   "depth": 34,
   "bound_changes": 34,
   "file_bytes": 4820092,
   "sha256": "dd6ab483fd2ab5e84e7b99e246bbc54f8c02666b27244d1d033bbb0eb781be13",
   "mps_filename": "k1mushroom_if.mps.gz"
  },
  {
   "instance": "leo1",
   "n_vars": 6731,
   "n_cons": 593,
   "nnz": 131218,
   "depth": 2566,
   "bound_changes": 6689,
   "file_bytes": 477880,
   "sha256": "694bb14350dd81b002759f2899d02212e4a4e572aa22f3064b31005b70564b0c",
   "mps_filename": "leo1_if.mps.gz"
  },
  {
   "instance": "lr1dr04vc05v17a-t360",
   "n_vars": 36912,
   "n_cons": 12600,
   "nnz": 107170,
   "depth": 1129,
   "bound_changes": 11111,
   "file_bytes": 1102735,
   "sha256": "3cacb6bc55ea2a3fc2b3dc8380a7f693159d332d535e6c458a0ea158476a5170",
   "mps_filename": "lr1dr04vc05v17a-t360_if.mps.gz"
  },
  {
   "instance": "lr2-22dr3-333vc4v17a-t60",
   "n_vars": 109519,
   "n_cons": 108566,
   "nnz": 435517,
   "depth": 1048,
   "bound_changes": 7210,
   "file_bytes": 4006662,
   "sha256": "0020a4d6a146f49153fd1d0d242d19941d73f103bd37601eb5a683fce92fce17",
   "mps_filename": "lr2-22dr3-333vc4v17a-t60_if.mps.gz"
  },
  {
   "instance": "momentum1",
   "n_vars": 5174,
   "n_cons": 42680,
   "nnz": 103198,
   "depth": 37,
   "bound_changes": 652,
   "file_bytes": 698514,
   "sha256": "0c26925532fc721653ac52666a067d27fb472ad6c156e643b427da403d795ccf",
   "mps_filename": "momentum1_if.mps.gz"
  },
  {
   "instance": "mzzv11",
   "n_vars": 10240,
   "n_cons": 9499,
   "nnz": 134603,
   "depth": 10,
   "bound_changes": 9,
   "file_bytes": 467638,
   "sha256": "746e485fc11ef7ae297677089954ee0e9a919baf89356822d17bdd1f4e9573b9",
   "mps_filename": "mzzv11_if.mps.gz"
  },
  {
   "instance": "mzzv42z",
   "n_vars": 11717,
   "n_cons": 10460,
   "nnz": 151261,
   "depth": 89,
   "bound_changes": 59,
   "file_bytes": 517302,
   "sha256": "b88bb6a027a4052c90fe4c1c35c370c288abba6baf73014141b8bfee73b44845",
   "mps_filename": "mzzv42z_if.mps.gz"
  },
  {
   "instance": "neos-1122047",
   "n_vars": 5100,
   "n_cons": 57791,
   "nnz": 163640,
   "depth": 30,
   "bound_changes": 30,
   "file_bytes": 1113122,
   "sha256": "68d38cfcd9f62e6b64f893fbdc78b536d0f74df5b53cd113f21e9d6c55f07b78",
   "mps_filename": "neos-1122047_if.mps.gz"
  },
  {
   "instance": "neos-1354092",
   "n_vars": 13702,
   "n_cons": 3135,
   "nnz": 187187,
   "depth": 8690,
   "bound_changes": 9342,
   "file_bytes": 669468,
   "sha256": "e9c44eab796c93bc07b55df2407a3084462e47085399a7d5abca1f7a6c9a6014",
   "mps_filename": "neos-1354092_if.mps.gz"
  },
  {
   "instance": "neos-1367061",
   "n_vars": 36600,
   "n_cons": 102750,
   "nnz": 260250,
   "depth": 148,
   "bound_changes": 35148,
   "file_bytes": 1452355,
   "sha256": "d4e6a48507315893ecf8feb979929230f0a881715300881d1be86eb7c11e6619",
   "mps_filename": "neos-1367061_if.mps.gz"
  },
  {
   "instance": "neos-1593097",
   "n_vars": 18460,
   "n_cons": 798,
   "nnz": 113308,
   "depth": 4,
   "bound_changes": 264,
   "file_bytes": 476137,
   "sha256": "58fe7d7e99252440703b8f136a1038a94b0225072d68a26880be6bf4f882ea71",
   "mps_filename": "neos-1593097_if.mps.gz"
  },
  {
   "instance": "neos-2669500-cust",
   "n_vars": 112008,
   "n_cons": 105744,
   "nnz": 636728,
   "depth": 373,
   "bound_changes": 379,
   "file_bytes": 3388146,
   "sha256": "a0e0bc69d2d544529c611d689f75914aea9763dcd7fdee62b990bab6e52e9824",
   "mps_filename": "neos-2669500-cust_if.mps.gz"
  },
  {
   "instance": "neos-2991472-kalu",
   "n_vars": 12105,
   "n_cons": 18170,
   "nnz": 13709358,
   "depth": 1339,
   "bound_changes": 1339,
   "file_bytes": 36400831,
   "sha256": "22c67fb8e858ee70797a6cdf9372f65980440bdd8f8ff3eba64b829abb381afc",
   "mps_filename": "neos-2991472-kalu_if.mps.gz"
  },
  {
   "instance": "neos-3025225-shelon",
   "n_vars": 69846,
   "n_cons": 91572,
   "nnz": 9357951,
   "depth": 59,
   "bound_changes": 3490,
   "file_bytes": 25747296,
   "sha256": "8d9ca3efe19e33847868e1e8b68189b12dc65fbf3d7d0a6c195dcc0734ea0303",
   "mps_filename": "neos-3025225-shelon_if.mps.gz"
  },
  {
   "instance": "neos-3209462-rhin",
   "n_vars": 56453,
   "n_cons": 170226,
   "nnz": 447473,
   "depth": 39,
   "bound_changes": 53568,
   "file_bytes": 2168707,
   "sha256": "a03ef5d7d69c8c48c3a3b15002762e2ea48327b0679af98946379426cde359e5",
   "mps_filename": "neos-3209462-rhin_if.mps.gz"
  },
  {
   "instance": "neos-3237086-abava",
   "n_vars": 50192,
   "n_cons": 69472,
   "nnz": 233552,
   "depth": 102,
   "bound_changes": 102,
   "file_bytes": 1169607,
   "sha256": "678d132d71945ab07041a9ac4974da9b052ea3c5b5ee3f140a281eb36ddf3d39",
   "mps_filename": "neos-3237086-abava_if.mps.gz"
  },
  {
   "instance": "neos-3372571-onahau",
   "n_vars": 13086,
   "n_cons": 29487,
   "nnz": 116511,
   "depth": 85,
   "bound_changes": 13004,
   "file_bytes": 574915,
   "sha256": "9fadba7cd3baa617fe2deaf1e70aa487c9c41b81fefcac1f0b3da781ad6ca40c",
   "mps_filename": "neos-3372571-onahau_if.mps.gz"
  },
  {
   "instance": "neos-3402294-bobin",
   "n_vars": 2904,
   "n_cons": 591076,
   "nnz": 2034888,
   "depth": 150,
   "bound_changes": 150,
   "file_bytes": 8403731,
   "sha256": "b66c367030464f684841651342d2d306291ecf256ff2339ae7066bc32e42bcd1",
   "mps_filename": "neos-3402294-bobin_if.mps.gz"
  },
  {
   "instance": "neos-3555904-turama",
   "n_vars": 37461,
   "n_cons": 146493,
   "nnz": 793605,
   "depth": 122,
   "bound_changes": 299,
   "file_bytes": 2997584,
   "sha256": "cbaab352e532f73c922f3a97ac90007361e083b88a3ea393ff94c96cad5ac8ae",
   "mps_filename": "neos-3555904-turama_if.mps.gz"
  },
  {
   "instance": "neos-3695882-vesdre",
   "n_vars": 6135,
   "n_cons": 191504,
   "nnz": 598115,
   "depth": 14,
   "bound_changes": 184,
   "file_bytes": 3002652,
   "sha256": "2cb2cf3ea9ce70aa8f2a3b04bbcf9c0a1e7188e535d741e1937470b902dabbb6",
   "mps_filename": "neos-3695882-vesdre_if.mps.gz"
  },
  {
   "instance": "neos-3740487-motru",
   "n_vars": 1689612,
   "n_cons": 4936372,
   "nnz": 26433474,
   "depth": 1091,
   "bound_changes": 1091,
   "file_bytes": 127859782,
   "sha256": "e6da0cc511e2bbba6af6cfcb34b10bb1a6d643b26d63230055a3dab4665b6037",
   "mps_filename": "neos-3740487-motru_if.mps.gz"
  },
  {
   "instance": "neos-4260495-otere",
   "n_vars": 176048,
   "n_cons": 295357,
   "nnz": 702986,
   "depth": 89,
   "bound_changes": 5287,
   "file_bytes": 4352297,
   "sha256": "0237f9295febf2b605c01464caf4c46c7302c7eab36ccc34f62d6ea7184de52b",
   "mps_filename": "neos-4260495-otere_if.mps.gz"
  },
  {
   "instance": "neos-4295773-pissa",
   "n_vars": 85126,
   "n_cons": 210116,
   "nnz": 552408,
   "depth": 291,
   "bound_changes": 291,
   "file_bytes": 3224614,
   "sha256": "deddb89ea56a47a81671d7074b19d5438bfe5d65f3bba24b5d5e4b36e0fb5fb7",
   "mps_filename": "neos-4295773-pissa_if.mps.gz"
  },
  {
   "instance": "neos-4300652-rahue",
   "n_vars": 33003,
   "n_cons": 76992,
   "nnz": 183616,
   "depth": 79,
   "bound_changes": 10453,
   "file_bytes": 1085261,
   "sha256": "bdfadfc5c3063bb2ffbc2eea345a63b4689b36cab741c4df2cca622c2bc63012",
   "mps_filename": "neos-4300652-rahue_if.mps.gz"
  },
  {
   "instance": "neos-4306827-ravan",
   "n_vars": 162291,
   "n_cons": 261877,
   "nnz": 639474,
   "depth": 207,
   "bound_changes": 5566,
   "file_bytes": 3950512,
   "sha256": "c639be0782d3a9ce5d16b8b31abda6305a7a6557bb2e7eb8f1faa3eca688a867",
   "mps_filename": "neos-4306827-ravan_if.mps.gz"
  },
  {
   "instance": "neos-4321076-ruwer",
   "n_vars": 361730,
   "n_cons": 509809,
   "nnz": 1265750,
   "depth": 64,
   "bound_changes": 180868,
   "file_bytes": 8474733,
   "sha256": "59f272b82ce3f525761726eafab30c9a4ca99e378307f165f8ab49ff239b0a51",
   "mps_filename": "neos-4321076-ruwer_if.mps.gz"
  },
  {
   "instance": "neos-4322846-ryton",
   "n_vars": 108700,
   "n_cons": 104972,
   "nnz": 452044,
   "depth": 93,
   "bound_changes": 93,
   "file_bytes": 2409919,
   "sha256": "6e6bc1a4437df5c572030d0214be623b6869af82b185a9fa6edea1f984bf2d94",
   "mps_filename": "neos-4322846-ryton_if.mps.gz"
  },
  {
   "instance": "neos-4332801-seret",
   "n_vars": 20682487,
   "n_cons": 19912111,
   "nnz": 47513027,
   "depth": 376,
   "bound_changes": 3816,
   "file_bytes": 355049160,
   "sha256": "eda3fb620d04570f5048f9c2899acf757d61fec7b539d584eb5f7e9428d61398",
   "mps_filename": "neos-4332801-seret_if.mps.gz"
  },
  {
   "instance": "neos-4355351-swalm",
   "n_vars": 21065,
   "n_cons": 21609,
   "nnz": 371467,
   "depth": 887,
   "bound_changes": 11417,
   "file_bytes": 1443052,
   "sha256": "b7c669dfd4dd2d99113900db0ed1e0b33e1a06bb58456ac7680cb38e03453bb0",
   "mps_filename": "neos-4355351-swalm_if.mps.gz"
  },
  {
   "instance": "neos-4359986-taipa",
   "n_vars": 25130,
   "n_cons": 48864,
   "nnz": 126561,
   "depth": 42,
   "bound_changes": 42,
   "file_bytes": 735643,
   "sha256": "677f5ca3ec96750721c53b90776820856d52a150577b2f7a0dd034a766d126cb",
   "mps_filename": "neos-4359986-taipa_if.mps.gz"
  },
  {
   "instance": "neos-4360552-sangro",
   "n_vars": 10272,
   "n_cons": 46012,
   "nnz": 302184,
   "depth": 32,
   "bound_changes": 44,
   "file_bytes": 958484,
   "sha256": "affb4e3f2fd94e3ef5ef6a382e3e3f3763fad5dda938b3ed4d0bd45a31f8565f",
   "mps_filename": "neos-4360552-sangro_if.mps.gz"
  },
  {
   "instance": "neos-4391920-timok",
   "n_vars": 93846,
   "n_cons": 184575,
   "nnz": 585839,
   "depth": 204,
   "bound_changes": 205,
   "file_bytes": 3662973,
   "sha256": "748049086a54a1b6be00cc7ae05022dbcef8f889b47ebb1211a440e48567828c",
   "mps_filename": "neos-4391920-timok_if.mps.gz"
  },
  {
   "instance": "neos-4408804-prosna",
   "n_vars": 66612,
   "n_cons": 67161,
   "nnz": 266448,
   "depth": 1164,
   "bound_changes": 52950,
   "file_bytes": 1750555,
   "sha256": "931d74ffda854782d6c716fc1632f770be2ce12dc437d0329ed3247af41bd6ac",
   "mps_filename": "neos-4408804-prosna_if.mps.gz"
  },
  {
   "instance": "neos-4409277-trave",
   "n_vars": 14363,
   "n_cons": 7875,
   "nnz": 204518,
   "depth": 2900,
   "bound_changes": 2900,
   "file_bytes": 700824,
   "sha256": "19ab58c98e0822bf371be7245a5a3172448edbf4acfa186510bf9618f0fe6ed8",
   "mps_filename": "neos-4409277-trave_if.mps.gz"
  },
  {
   "instance": "neos-4413714-turia",
   "n_vars": 190402,
   "n_cons": 2303,
   "nnz": 761756,
   "depth": 11421,
   "bound_changes": 11622,
   "file_bytes": 4987115,
   "sha256": "f52d7aa0824783fe12036622ca528c360201253423f9a6abd37f34acd62f5d3f",
   "mps_filename": "neos-4413714-turia_if.mps.gz"
  },
  {
   "instance": "neos-4533806-waima",
   "n_vars": 93318,
   "n_cons": 52983,
   "nnz": 1250570,
   "depth": 11,
   "bound_changes": 24,
   "file_bytes": 4287174,
   "sha256": "2403e423ffdf52f1df7dc3580865c12b91db4f7648d4af640af34c4029d697d2",
   "mps_filename": "neos-4533806-waima_if.mps.gz"
  },
  {
   "instance": "neos-4555749-wards",
   "n_vars": 89147,
   "n_cons": 51776,
   "nnz": 1263377,
   "depth": 66,
   "bound_changes": 82,
   "file_bytes": 4331758,
   "sha256": "ab49db70c1cceca2c1d5ae8a9a66e282c2bfbbdc403974ddb9811bcf3df28960",
   "mps_filename": "neos-4555749-wards_if.mps.gz"
  },
  {
   "instance": "neos-4562542-watut",
   "n_vars": 134705,
   "n_cons": 73746,
   "nnz": 2015543,
   "depth": 7,
   "bound_changes": 8,
   "file_bytes": 6951766,
   "sha256": "942801baea058db7e5f8f2f2f5bef7b38f5da6596aca2232885dc8951c5b868f",
   "mps_filename": "neos-4562542-watut_if.mps.gz"
  },
  {
   "instance": "neos-4647027-thurso",
   "n_vars": 9800,
   "n_cons": 8382,
   "nnz": 3944988,
   "depth": 3366,
   "bound_changes": 4766,
   "file_bytes": 10130417,
   "sha256": "b8343e5e30be9650777641eec1b4820c0c9ebdc1dc2edc889b8cf99908f83cc2",
   "mps_filename": "neos-4647027-thurso_if.mps.gz"
  },
  {
   "instance": "neos-4647030-tutaki",
   "n_vars": 12600,
   "n_cons": 8382,
   "nnz": 3953388,
   "depth": 4982,
   "bound_changes": 6382,
   "file_bytes": 10174169,
   "sha256": "8497c872879d035e1b8e539dcc173d2d52d52e3e538ab985970f99b496468fcc",
   "mps_filename": "neos-4647030-tutaki_if.mps.gz"
  },
  {
   "instance": "neos-4647032-veleka",
   "n_vars": 18200,
   "n_cons": 8382,
   "nnz": 3970188,
   "depth": 8703,
   "bound_changes": 10103,
   "file_bytes": 10273405,
   "sha256": "3f5066fda2d3c95a526d4be91d9f4bf171812df87e540f68fa57c9c217f60902",
   "mps_filename": "neos-4647032-veleka_if.mps.gz"
  },
  {
   "instance": "neos-4722843-widden",
   "n_vars": 77723,
   "n_cons": 113555,
   "nnz": 311529,
   "depth": 23,
   "bound_changes": 2695,
   "file_bytes": 1781298,
   "sha256": "0d44f26431b2b2e01ed3b69749c211af7b2a78856032dd20e207e639010973a5",
   "mps_filename": "neos-4722843-widden_if.mps.gz"
  },
  {
   "instance": "neos-4724674-aorere",
   "n_vars": 94145,
   "n_cons": 137123,
   "nnz": 376775,
   "depth": 436,
   "bound_changes": 5077,
   "file_bytes": 2232911,
   "sha256": "1986cc6852d37169c47d49b75619ac218d582c7bec2a0291ead4d0989eeead7a",
   "mps_filename": "neos-4724674-aorere_if.mps.gz"
  },
  {
   "instance": "neos-4797081-pakoka",
   "n_vars": 12393,
   "n_cons": 7147,
   "nnz": 456124,
   "depth": 48,
   "bound_changes": 1987,
   "file_bytes": 1526064,
   "sha256": "547b24922e34bfae0a50143da4f460838d422cd99090ad4a06248358cb1e8e7a",
   "mps_filename": "neos-4797081-pakoka_if.mps.gz"
  },
  {
   "instance": "neos-4805882-barwon",
   "n_vars": 22229,
   "n_cons": 49386,
   "nnz": 117001,
   "depth": 85,
   "bound_changes": 5175,
   "file_bytes": 691326,
   "sha256": "235b8b668cfebde8c0b6077feb2d99639f3cd4f4f0ae136c55d063097ef1106e",
   "mps_filename": "neos-4805882-barwon_if.mps.gz"
  },
  {
   "instance": "neos-4954274-beardy",
   "n_vars": 12865,
   "n_cons": 17359,
   "nnz": 140082,
   "depth": 68,
   "bound_changes": 68,
   "file_bytes": 630117,
   "sha256": "981aebc6c4b5585b7e84dc2a7dd139660c82fa4f78f53847d4ec09ac09d44949",
   "mps_filename": "neos-4954274-beardy_if.mps.gz"
  },
  {
   "instance": "neos-4966258-blicks",
   "n_vars": 196788,
   "n_cons": 270816,
   "nnz": 975084,
   "depth": 129,
   "bound_changes": 190209,
   "file_bytes": 5990720,
   "sha256": "72c1fd2d8ec8060eb0e9453854e3e9c5ae272b0ddf6890bdde215ac7c76fc7f7",
   "mps_filename": "neos-4966258-blicks_if.mps.gz"
  },
  {
   "instance": "neos-4972437-bojana",
   "n_vars": 293268,
   "n_cons": 408192,
   "nnz": 1746396,
   "depth": 64,
   "bound_changes": 285184,
   "file_bytes": 9946768,
   "sha256": "efc321980857ab10b0833ddb2393e8c3d793e181f68f17dbba30ffd150cf2d51",
   "mps_filename": "neos-4972437-bojana_if.mps.gz"
  },
  {
   "instance": "neos-4972461-bolong",
   "n_vars": 245028,
   "n_cons": 341424,
   "nnz": 1456692,
   "depth": 52,
   "bound_changes": 237652,
   "file_bytes": 8035567,
   "sha256": "63b32c1a01760d7f9cfbdc163cdd841dca4c76f31a7a60448ceb74752171e420",
   "mps_filename": "neos-4972461-bolong_if.mps.gz"
  },
  {
   "instance": "neos-4976951-bunnoo",
   "n_vars": 293268,
   "n_cons": 408336,
   "nnz": 1746684,
   "depth": 36,
   "bound_changes": 285156,
   "file_bytes": 9959439,
   "sha256": "18c71dd20b368008f4b8ae4fbd84e6b4023c1e834a28e72ec26a4380f7b1b8f5",
   "mps_filename": "neos-4976951-bunnoo_if.mps.gz"
  },
  {
   "instance": "neos-498623",
   "n_vars": 9861,
   "n_cons": 2047,
   "nnz": 148434,
   "depth": 1263,
   "bound_changes": 6987,
   "file_bytes": 553953,
   "sha256": "e35becd3fef25a4ef9dbda9a5fb6c9ff33c76bc88737e3610cb323872226b4e1",
   "mps_filename": "neos-498623_if.mps.gz"
  },
  {
   "instance": "neos-5041822-cockle",
   "n_vars": 227668,
   "n_cons": 546733,
   "nnz": 1362474,
   "depth": 18,
   "bound_changes": 12175,
   "file_bytes": 7022693,
   "sha256": "5be3085ea3b80b4aeab6b43c80e9f441c117a0c87be215b9461edde5c29c7f21",
   "mps_filename": "neos-5041822-cockle_if.mps.gz"
  },
  {
   "instance": "neos-5049753-cuanza",
   "n_vars": 242736,
   "n_cons": 322248,
   "nnz": 1440672,
   "depth": 194,
   "bound_changes": 234626,
   "file_bytes": 8166693,
   "sha256": "fb24313edf04938d48472fe06a4311427e81ff1b0bdb9235cf1a6bb62d75a3c3",
   "mps_filename": "neos-5049753-cuanza_if.mps.gz"
  },
  {
   "instance": "neos-5104907-jarama",
   "n_vars": 345856,
   "n_cons": 489818,
   "nnz": 2053548,
   "depth": 123,
   "bound_changes": 336459,
   "file_bytes": 11664309,
   "sha256": "399fa8323cd339a97a0f4e18c86bd4fa1e2fcbc3a0cbb9e08797638cc8bb5a83",
   "mps_filename": "neos-5104907-jarama_if.mps.gz"
  },
  {
   "instance": "neos-5106984-jizera",
   "n_vars": 470050,
   "n_cons": 648984,
   "nnz": 2796682,
   "depth": 57,
   "bound_changes": 458697,
   "file_bytes": 15555177,
   "sha256": "37a90815a746539968dda4fbbea6597be85504b42261639a5f17fa572a2cbcbd",
   "mps_filename": "neos-5106984-jizera_if.mps.gz"
  },
  {
   "instance": "neos-5108386-kalang",
   "n_vars": 600880,
   "n_cons": 849226,
   "nnz": 3585988,
   "depth": 44,
   "bound_changes": 588632,
   "file_bytes": 20408175,
   "sha256": "6de4cccf5d3d7a7961ed9797c5a0e12edb19f0e42b5e93d9afc0ced18e9a33c8",
   "mps_filename": "neos-5108386-kalang_if.mps.gz"
  },
  {
   "instance": "neos-5116085-kenana",
   "n_vars": 509236,
   "n_cons": 690242,
   "nnz": 3032792,
   "depth": 102,
   "bound_changes": 496962,
   "file_bytes": 16952138,
   "sha256": "5a6fd51a35cff6c3480cab2349382a1807c2e47a7e3bc1081f61fdd276121145",
   "mps_filename": "neos-5116085-kenana_if.mps.gz"
  },
  {
   "instance": "neos-5118834-korana",
   "n_vars": 470050,
   "n_cons": 649124,
   "nnz": 2796962,
   "depth": 52,
   "bound_changes": 458692,
   "file_bytes": 15552373,
   "sha256": "68059cd39094366e98ff00dd3093d52ff68a1bb37ab0e949dcdce257fa984358",
   "mps_filename": "neos-5118834-korana_if.mps.gz"
  },
  {
   "instance": "neos-5118851-kowhai",
   "n_vars": 613152,
   "n_cons": 859504,
   "nnz": 3643968,
   "depth": 14,
   "bound_changes": 599054,
   "file_bytes": 20742441,
   "sha256": "49dcfd50bb6725a69872db7c32901efa2315d8ad7b44deaab28fab199c9768a3",
   "mps_filename": "neos-5118851-kowhai_if.mps.gz"
  },
  {
   "instance": "neos-5123665-limmat",
   "n_vars": 655522,
   "n_cons": 904358,
   "nnz": 3911502,
   "depth": 45,
   "bound_changes": 642147,
   "file_bytes": 22137831,
   "sha256": "8b3c2d0751cc18c71cb1a1aa2092eb4605c408d4d2dffd72f45aeb9d8027d810",
   "mps_filename": "neos-5123665-limmat_if.mps.gz"
  },
  {
   "instance": "neos-5129192-manaia",
   "n_vars": 164229,
   "n_cons": 531569,
   "nnz": 1599180,
   "depth": 3,
   "bound_changes": 3,
   "file_bytes": 8517574,
   "sha256": "c0d19f108708399a58ef4723ed5d0ed462bbbf4ea4cdb44e31e92d62741ebc56",
   "mps_filename": "neos-5129192-manaia_if.mps.gz"
  },
  {
   "instance": "neos-5138690-middle",
   "n_vars": 562786,
   "n_cons": 776608,
   "nnz": 3353966,
   "depth": 45,
   "bound_changes": 550413,
   "file_bytes": 18932476,
   "sha256": "1113f4f307aa4bc3a9280bd59ef41ba62264e5924fccd9dd3ce9ccf98f23e5df",
   "mps_filename": "neos-5138690-middle_if.mps.gz"
  },
  {
   "instance": "neos-5188808-nattai",
   "n_vars": 14544,
   "n_cons": 29452,
   "nnz": 133686,
   "depth": 16,
   "bound_changes": 11896,
   "file_bytes": 599896,
   "sha256": "c78bc036043236d4425a1369e2351a357e5b9a96d7d7643e6c4d269c1e40306b",
   "mps_filename": "neos-5188808-nattai_if.mps.gz"
  },
  {
   "instance": "neos-5193246-nerang",
   "n_vars": 14546,
   "n_cons": 42256,
   "nnz": 175794,
   "depth": 42,
   "bound_changes": 4794,
   "file_bytes": 852741,
   "sha256": "dc3dc7366a7507339cc5f508b8ecb860d636aa7ded45af890fb186d9a71380e3",
   "mps_filename": "neos-5193246-nerang_if.mps.gz"
  },
  {
   "instance": "neos-5195221-niemur",
   "n_vars": 14546,
   "n_cons": 42256,
   "nnz": 176586,
   "depth": 3,
   "bound_changes": 4755,
   "file_bytes": 854244,
   "sha256": "31edd25acfff5ef101ec06e3bc5191615dc4daf1b36afeae73d11fb78156aafa",
   "mps_filename": "neos-5195221-niemur_if.mps.gz"
  },
  {
   "instance": "neos-5196530-nuhaka",
   "n_vars": 14544,
   "n_cons": 42124,
   "nnz": 171702,
   "depth": 14,
   "bound_changes": 4766,
   "file_bytes": 843676,
   "sha256": "36b03bdc195a67c5443e51fad64c2cd5bf2c02a283673464efee2a2bbd525720",
   "mps_filename": "neos-5196530-nuhaka_if.mps.gz"
  },
  {
   "instance": "neos-5221106-oparau",
   "n_vars": 25445,
   "n_cons": 13897,
   "nnz": 245756,
   "depth": 80,
   "bound_changes": 408,
   "file_bytes": 1068863,
   "sha256": "918eabe48c784a3fee35247b04604d80457e9075551fa527c007993312b49c8f",
   "mps_filename": "neos-5221106-oparau_if.mps.gz"
  },
  {
   "instance": "neos-5266653-tugela",
   "n_vars": 23310,
   "n_cons": 23458,
   "nnz": 171534,
   "depth": 4,
   "bound_changes": 1264,
   "file_bytes": 904872,
   "sha256": "39a3cea90bd35e09e249a722a6ca6dddfec75931ad5e330a5f178d1b12dcac54",
   "mps_filename": "neos-5266653-tugela_if.mps.gz"
  },
  {
   "instance": "neos-578379",
   "n_vars": 17010,
   "n_cons": 21703,
   "nnz": 101560,
   "depth": 19,
   "bound_changes": 19,
   "file_bytes": 593050,
   "sha256": "fa103a3428d4fb35525e361812da43a32259b007f7f224f8057b272d6897d2b2",
   "mps_filename": "neos-578379_if.mps.gz"
  },
  {
   "instance": "neos-662469",
   "n_vars": 18235,
   "n_cons": 1085,
   "nnz": 200055,
   "depth": 3171,
   "bound_changes": 3171,
   "file_bytes": 669278,
   "sha256": "9c763f964b87673b77923d4c96530981ac39a2f8c606a1ed6315e679462b9857",
   "mps_filename": "neos-662469_if.mps.gz"
  },
  {
   "instance": "neos-738098",
   "n_vars": 9093,
   "n_cons": 25849,
   "nnz": 101360,
   "depth": 208,
   "bound_changes": 355,
   "file_bytes": 521076,
   "sha256": "b55716af97eba65af21741389d5641ca306615679ab45f48f33db5d2c3c74638",
   "mps_filename": "neos-738098_if.mps.gz"
  },
  {
   "instance": "neos-860300",
   "n_vars": 1385,
   "n_cons": 850,
   "nnz": 384329,
   "depth": 223,
   "bound_changes": 224,
   "file_bytes": 1050731,
   "sha256": "94915772f163fdc05d8034a19b20f5d03af2b915371a975b92e26a71f3cdc419",
   "mps_filename": "neos-860300_if.mps.gz"
  },
  {
   "instance": "neos-872648",
   "n_vars": 175219,
   "n_cons": 93291,
   "nnz": 350438,
   "depth": 514,
   "bound_changes": 514,
   "file_bytes": 2894452,
   "sha256": "9aa19479cac04d9bb01a5560d52f060d76ab30d4a625890e39601290aec55bfb",
   "mps_filename": "neos-872648_if.mps.gz"
  },
  {
   "instance": "neos-873061",
   "n_vars": 175288,
   "n_cons": 93360,
   "nnz": 350576,
   "depth": 610,
   "bound_changes": 610,
   "file_bytes": 2897308,
   "sha256": "2138ab7a0c08123a0af59a4c239d970b943f8971b95b9b12f4bcfc94d7848d2d",
   "mps_filename": "neos-873061_if.mps.gz"
  },
  {
   "instance": "neos-876808",
   "n_vars": 87268,
   "n_cons": 85808,
   "nnz": 682376,
   "depth": 26,
   "bound_changes": 26,
   "file_bytes": 3203954,
   "sha256": "fc194da436ad49244c31478c80daf4da22d60f0b98f4b5114750f935916b72ea",
   "mps_filename": "neos-876808_if.mps.gz"
  },
  {
   "instance": "neos-885524",
   "n_vars": 91670,
   "n_cons": 65,
   "nnz": 258309,
   "depth": 7287,
   "bound_changes": 7287,
   "file_bytes": 1338416,
   "sha256": "016f7b48a52b8317ed81ed6a071562aeb4c2de79b9601216a6b084ea7896e80c",
   "mps_filename": "neos-885524_if.mps.gz"
  },
  {
   "instance": "neos-948346",
   "n_vars": 57855,
   "n_cons": 1570,
   "nnz": 540443,
   "depth": 25257,
   "bound_changes": 25257,
   "file_bytes": 1888469,
   "sha256": "ce15bf4ea25214803ef9003b97ccd6af940fb4490a38de91b99fb809cd9a83c4",
   "mps_filename": "neos-948346_if.mps.gz"
  },
  {
   "instance": "neos-950242",
   "n_vars": 5760,
   "n_cons": 34224,
   "nnz": 104160,
   "depth": 150,
   "bound_changes": 148,
   "file_bytes": 504609,
   "sha256": "9d90090985f538f4c7f2770f222ed56f71057eff02ec6881adbae2e11fdf0274",
   "mps_filename": "neos-950242_if.mps.gz"
  },
  {
   "instance": "neos-953928",
   "n_vars": 23305,
   "n_cons": 12498,
   "nnz": 169861,
   "depth": 3787,
   "bound_changes": 3787,
   "file_bytes": 678539,
   "sha256": "ef2a97eb8a6917128839b2aa1157aeeea27300574e5f317c09b994227eea8be8",
   "mps_filename": "neos-953928_if.mps.gz"
  },
  {
   "instance": "neos-956971",
   "n_vars": 57756,
   "n_cons": 2527,
   "nnz": 483560,
   "depth": 12571,
   "bound_changes": 12571,
   "file_bytes": 1694903,
   "sha256": "70572561e7f203f94ca1ae89429e43e8c39c16070a7fcc065bff4ccd9c5a8e11",
   "mps_filename": "neos-956971_if.mps.gz"
  },
  {
   "instance": "neos6",
   "n_vars": 8786,
   "n_cons": 1036,
   "nnz": 251946,
   "depth": 175,
   "bound_changes": 175,
   "file_bytes": 767954,
   "sha256": "932b6484612d12b213a77a13f8b063710d8d372c364af8735239f127e1a2569b",
   "mps_filename": "neos6_if.mps.gz"
  },
  {
   "instance": "neos8",
   "n_vars": 23228,
   "n_cons": 46324,
   "nnz": 313180,
   "depth": 78,
   "bound_changes": 197,
   "file_bytes": 1259774,
   "sha256": "6383f7b3363442e287ffac51937a9ab87cf7a72b898bd6a949cd56bce4c67bd0",
   "mps_filename": "neos8_if.mps.gz"
  },
  {
   "instance": "netdiversion",
   "n_vars": 129180,
   "n_cons": 119589,
   "nnz": 615282,
   "depth": 759,
   "bound_changes": 759,
   "file_bytes": 3251060,
   "sha256": "d0928d54f4e619d27995515c76a0e60fb2179e9005f0a44c822bcc16ca842490",
   "mps_filename": "netdiversion_if.mps.gz"
  },
  {
   "instance": "ns1111636",
   "n_vars": 360822,
   "n_cons": 13895,
   "nnz": 568444,
   "depth": 3354,
   "bound_changes": 7776,
   "file_bytes": 1636139,
   "sha256": "54965409dd0114667ceca7777ded1d7d2771f76140431abae066c328051f8690",
   "mps_filename": "ns1111636_if.mps.gz"
  },
  {
   "instance": "ns1116954",
   "n_vars": 12648,
   "n_cons": 131991,
   "nnz": 410582,
   "depth": 178,
   "bound_changes": 178,
   "file_bytes": 2127417,
   "sha256": "50d51c4296199daaddfa3a6fffe69ee49e3548258a3065012cf1b04c4482fc13",
   "mps_filename": "ns1116954_if.mps.gz"
  },
  {
   "instance": "ns1430538",
   "n_vars": 33616,
   "n_cons": 34960,
   "nnz": 178112,
   "depth": 1006,
   "bound_changes": 1846,
   "file_bytes": 869160,
   "sha256": "6f93a21cfbfbb518c97b094550a160dff52731ef90b9eae3d598a7d73dd2cef4",
   "mps_filename": "ns1430538_if.mps.gz"
  },
  {
   "instance": "ns1456591",
   "n_vars": 8399,
   "n_cons": 1997,
   "nnz": 199862,
   "depth": 39,
   "bound_changes": 1218,
   "file_bytes": 676737,
   "sha256": "4cb325163bff88b6dcfd07fa27353320321851c10a4f80a5d42f33ad79269aa9",
   "mps_filename": "ns1456591_if.mps.gz"
  },
  {
   "instance": "ns1631475",
   "n_vars": 22696,
   "n_cons": 24496,
   "nnz": 116733,
   "depth": 285,
   "bound_changes": 667,
   "file_bytes": 583913,
   "sha256": "eaa13ea19f09fa76d17dd29ff9d04ae58be8ce1eadb05aafe0b5be14e573d36a",
   "mps_filename": "ns1631475_if.mps.gz"
  },
  {
   "instance": "ns1760995",
   "n_vars": 17956,
   "n_cons": 615388,
   "nnz": 1854012,
   "depth": 213,
   "bound_changes": 882,
   "file_bytes": 8648707,
   "sha256": "c393be8eead6c3bc91e5a2c9f07c41a6b85b6d38bcf34908263a2e5e3fcf998e",
   "mps_filename": "ns1760995_if.mps.gz"
  },
  {
   "instance": "ns1828997",
   "n_vars": 27275,
   "n_cons": 81725,
   "nnz": 190670,
   "depth": 154,
   "bound_changes": 154,
   "file_bytes": 998439,
   "sha256": "c54f0dbc1f4de780baf6757c96da7102dc012fef41718532d923b1200b47a047",
   "mps_filename": "ns1828997_if.mps.gz"
  },
  {
   "instance": "ns1830653",
   "n_vars": 1629,
   "n_cons": 2932,
   "nnz": 100933,
   "depth": 27,
   "bound_changes": 404,
   "file_bytes": 327419,
   "sha256": "6ae4afaad9e637795e9d085d9fe20c5441902cbf150b47a0618eeaf4f166ed6c",
   "mps_filename": "ns1830653_if.mps.gz"
  },
  {
   "instance": "ns1856153",
   "n_vars": 11998,
   "n_cons": 35407,
   "nnz": 105882,
   "depth": 534,
   "bound_changes": 800,
   "file_bytes": 562769,
   "sha256": "e603e0e377e9afe3f4fddbe60ff25184ead94ac05bd52a2f8121f3c7ce5678b3",
   "mps_filename": "ns1856153_if.mps.gz"
  },
  {
   "instance": "ns1905797",
   "n_vars": 18192,
   "n_cons": 51884,
   "nnz": 239700,
   "depth": 501,
   "bound_changes": 501,
   "file_bytes": 1204502,
   "sha256": "7d274d412539ad60b8386b572dd5416b354cf4b3a7cb685f2757638389a7f222",
   "mps_filename": "ns1905797_if.mps.gz"
  },
  {
   "instance": "ns1952667",
   "n_vars": 13264,
   "n_cons": 41,
   "nnz": 335643,
   "depth": 100,
   "bound_changes": 101,
   "file_bytes": 1075784,
   "sha256": "56899f19a7f80bf032512a7b16f029ea7aecd5ffd03a42a4294e8bf9366926b0",
   "mps_filename": "ns1952667_if.mps.gz"
  },
  {
   "instance": "ns2122698",
   "n_vars": 155103,
   "n_cons": 139280,
   "nnz": 424272,
   "depth": 5168,
   "bound_changes": 74808,
   "file_bytes": 2302605,
   "sha256": "fcf60634f986f9228f3c098b309b3d6009b1d867879eda924afeff8a575b719c",
   "mps_filename": "ns2122698_if.mps.gz"
  },
  {
   "instance": "ns2124243",
   "n_vars": 156083,
   "n_cons": 139280,
   "nnz": 429032,
   "depth": 2901,
   "bound_changes": 70181,
   "file_bytes": 2307938,
   "sha256": "1d3d1589a7b78cb456ed52b44586632eebaf935200ca555c4da54b1b7e5c68df",
   "mps_filename": "ns2124243_if.mps.gz"
  },
  {
   "instance": "ns930473",
   "n_vars": 11328,
   "n_cons": 23240,
   "nnz": 121764,
   "depth": 55,
   "bound_changes": 215,
   "file_bytes": 663607,
   "sha256": "91413dd152bf11efbe7eb71d2fa9e367564cb1d7f7f7a5fbefd33b277450abca",
   "mps_filename": "ns930473_if.mps.gz"
  },
  {
   "instance": "nsrand-ipx",
   "n_vars": 6621,
   "n_cons": 735,
   "nnz": 223261,
   "depth": 3663,
   "bound_changes": 6335,
   "file_bytes": 670765,
   "sha256": "0ee6be1b0770cf305dbb2cf2742cffa28dbf8eb107faf043dece42dba269fe82",
   "mps_filename": "nsrand-ipx_if.mps.gz"
  },
  {
   "instance": "nucorsav",
   "n_vars": 55410,
   "n_cons": 1812472,
   "nnz": 26170428,
   "depth": 9,
   "bound_changes": 3449,
   "file_bytes": 100512109,
   "sha256": "4c2d02324ff5f0455f1de162afbd2539476ac48bc64f9836bcab5d3b2c58d4d0",
   "mps_filename": "nucorsav_if.mps.gz"
  },
  {
   "instance": "nursesched-medium-hint03",
   "n_vars": 34248,
   "n_cons": 14062,
   "nnz": 622800,
   "depth": 1965,
   "bound_changes": 1995,
   "file_bytes": 2449244,
   "sha256": "33c995f487a480f5fcc36089bf6d209da71bada90b2c39d6c48e8f0d65ef36c5",
   "mps_filename": "nursesched-medium-hint03_if.mps.gz"
  },
  {
   "instance": "nursesched-medium04",
   "n_vars": 29667,
   "n_cons": 8668,
   "nnz": 621829,
   "depth": 1940,
   "bound_changes": 1970,
   "file_bytes": 2296392,
   "sha256": "d6bf28157c8938f8733a54e4b117d94faeef725f8de757ce2d806274d4121be1",
   "mps_filename": "nursesched-medium04_if.mps.gz"
  },
  {
   "instance": "nursesched-sprint-hidden09",
   "n_vars": 11650,
   "n_cons": 4872,
   "nnz": 208050,
   "depth": 733,
   "bound_changes": 863,
   "file_bytes": 822511,
   "sha256": "68f855f84eea485fb9473728e2a7a1aba561bd01ceb5576a66c7744bd545180a",
   "mps_filename": "nursesched-sprint-hidden09_if.mps.gz"
  },
  {
   "instance": "nursesched-sprint-late03",
   "n_vars": 11690,
   "n_cons": 5032,
   "nnz": 208410,
   "depth": 570,
   "bound_changes": 580,
   "file_bytes": 823228,
   "sha256": "25787b0513fcc4a7f4c58474599295b92ebe37f69253302a33b015e1653e0e43",
   "mps_filename": "nursesched-sprint-late03_if.mps.gz"
  },
  {
   "instance": "nursesched-sprint02",
   "n_vars": 10250,
   "n_cons": 3522,
   "nnz": 204000,
   "depth": 585,
   "bound_changes": 595,
   "file_bytes": 776135,
   "sha256": "98ba9800251d61653f4a0d40d508f935f4d5ba4c9a9ea5dc330471fc5c184726",
   "mps_filename": "nursesched-sprint02_if.mps.gz"
  },
  {
   "instance": "nw04",
   "n_vars": 87482,
   "n_cons": 36,
   "nnz": 636666,
   "depth": 105,
   "bound_changes": 87253,
   "file_bytes": 2466592,
   "sha256": "83e25e55a7956a098ace2dceaac1f55128215d017f83ea114ce3e70fba1dddd2",
   "mps_filename": "nw04_if.mps.gz"
  },
  {
   "instance": "pb-fit2d",
   "n_vars": 118500,
   "n_cons": 10525,
   "nnz": 1575578,
   "depth": 54505,
   "bound_changes": 54505,
   "file_bytes": 6295689,
   "sha256": "b4043a6ad4ae9894b4fbcc04dc658a97a87dce8a5a917ba55bb4414c52c31a7e",
   "mps_filename": "pb-fit2d_if.mps.gz"
  },
  {
   "instance": "pb-grow22",
   "n_vars": 25124,
   "n_cons": 1320,
   "nnz": 154694,
   "depth": 10,
   "bound_changes": 10,
   "file_bytes": 705645,
   "sha256": "7aec7b6913b12d7770cf627d14d566c7320eb1c2e5fbbef97fc8f50adf2c30be",
   "mps_filename": "pb-grow22_if.mps.gz"
  },
  {
   "instance": "physiciansched3-3",
   "n_vars": 79555,
   "n_cons": 266227,
   "nnz": 1062479,
   "depth": 270,
   "bound_changes": 25532,
   "file_bytes": 4925827,
   "sha256": "95f0768975878d7da5a77226f469cae086a54128fe3e9200c60137c5c40302fc",
   "mps_filename": "physiciansched3-3_if.mps.gz"
  },
  {
   "instance": "physiciansched3-4",
   "n_vars": 74119,
   "n_cons": 239780,
   "nnz": 908634,
   "depth": 144,
   "bound_changes": 27829,
   "file_bytes": 4308855,
   "sha256": "bc5ecf053818d8e68fa10362b02282f9519d238e358c375f5609d2c2ee975df4",
   "mps_filename": "physiciansched3-4_if.mps.gz"
  },
  {
   "instance": "physiciansched5-3",
   "n_vars": 14488,
   "n_cons": 31925,
   "nnz": 156378,
   "depth": 362,
   "bound_changes": 3583,
   "file_bytes": 700516,
   "sha256": "beeb64639d362ae2ac7cdbef2ec39e524d94ceb44bcdaf3a159377c204d6c572",
   "mps_filename": "physiciansched5-3_if.mps.gz"
  },
  {
   "instance": "physiciansched6-1",
   "n_vars": 126204,
   "n_cons": 175664,
   "nnz": 542098,
   "depth": 396,
   "bound_changes": 62640,
   "file_bytes": 3097696,
   "sha256": "db0b45ace3899fa95f4dea9ca66d6826ebf06e66a2cd5ab1a675153603b50e89",
   "mps_filename": "physiciansched6-1_if.mps.gz"
  },
  {
   "instance": "physiciansched6-2",
   "n_vars": 111827,
   "n_cons": 168336,
   "nnz": 480259,
   "depth": 619,
   "bound_changes": 71295,
   "file_bytes": 2825329,
   "sha256": "8c6be40f16a5ec94b8cf89837504e593838c7fc0498147a18f505b8f66dc0dff",
   "mps_filename": "physiciansched6-2_if.mps.gz"
  },
  {
   "instance": "piperout-d20",
   "n_vars": 11961,
   "n_cons": 15562,
   "nnz": 190915,
   "depth": 46,
   "bound_changes": 635,
   "file_bytes": 709611,
   "sha256": "c20d8e1c314c86a8b3861a46ae55f4d0dfdb153ba25d4afff2af04e0bb919ac0",
   "mps_filename": "piperout-d20_if.mps.gz"
  },
  {
   "instance": "piperout-d27",
   "n_vars": 13104,
   "n_cons": 17470,
   "nnz": 224457,
   "depth": 18,
   "bound_changes": 511,
   "file_bytes": 822585,
   "sha256": "7e2cf82737176ea53001a95ca9403c554903b56335fd6a957bfc97a90251f336",
   "mps_filename": "piperout-d27_if.mps.gz"
  },
  {
   "instance": "proteindesign121hz512p9",
   "n_vars": 159145,
   "n_cons": 301,
   "nnz": 629449,
   "depth": 572,
   "bound_changes": 289,
   "file_bytes": 2812753,
   "sha256": "92472d75b865c286b7a6f80bcf97f89847c2a3a05e1f83fd4005db79aeafc1a3",
   "mps_filename": "proteindesign121hz512p9_if.mps.gz"
  },
  {
   "instance": "proteindesign121pgb11p9",
   "n_vars": 132672,
   "n_cons": 254,
   "nnz": 524690,
   "depth": 20,
   "bound_changes": 20,
   "file_bytes": 2346373,
   "sha256": "a851d06fd9081c26a72279786d0dc23d17f24d0349c88b6f8a2b611bc4db57bd",
   "mps_filename": "proteindesign121pgb11p9_if.mps.gz"
  },
  {
   "instance": "proteindesign122trx11p8",
   "n_vars": 127326,
   "n_cons": 254,
   "nnz": 503427,
   "depth": 799,
   "bound_changes": 799,
   "file_bytes": 2248392,
   "sha256": "a2cc6f432a803ae1ac68daaf98eba23beb2b89c2c260a8d5f080014c3404e004",
   "mps_filename": "proteindesign122trx11p8_if.mps.gz"
  },
  {
   "instance": "radiationm40-10-02",
   "n_vars": 172013,
   "n_cons": 173603,
   "nnz": 406825,
   "depth": 526,
   "bound_changes": 526,
   "file_bytes": 3273432,
   "sha256": "25129b443b635decbda6e6919e14ffcf1c2c48aa3df64ee231f924033c4a684a",
   "mps_filename": "radiationm40-10-02_if.mps.gz"
  },
  {
   "instance": "rail01",
   "n_vars": 117527,
   "n_cons": 46843,
   "nnz": 392086,
   "depth": 78,
   "bound_changes": 79,
   "file_bytes": 1858894,
   "sha256": "b852734a5ba624f09a7b76f218a580912b1d9cb5ce6026f3cf52ca737878bd71",
   "mps_filename": "rail01_if.mps.gz"
  },
  {
   "instance": "rd-rplusc-21",
   "n_vars": 622,
   "n_cons": 125899,
   "nnz": 852384,
   "depth": 25,
   "bound_changes": 73,
   "file_bytes": 3560310,
   "sha256": "a54031b3dd33574456c47bc82c3e1c480c7e562340ddb47d3013aefbb99c5e1d",
   "mps_filename": "rd-rplusc-21_if.mps.gz"
  },
  {
   "instance": "reblock420",
   "n_vars": 4200,
   "n_cons": 62800,
   "nnz": 138670,
   "depth": 8,
   "bound_changes": 8,
   "file_bytes": 808136,
   "sha256": "5325bfc943d9282ea78a0a70c7483313134df5388a10836e6a381d35f91aa9ea",
   "mps_filename": "reblock420_if.mps.gz"
  },
  {
   "instance": "rmine11",
   "n_vars": 12292,
   "n_cons": 97389,
   "nnz": 241240,
   "depth": 363,
   "bound_changes": 1184,
   "file_bytes": 1254702,
   "sha256": "313a9bbca82050af50919bef6ae46e8310e0e3e9b410bf1c8dca83dfd58596eb",
   "mps_filename": "rmine11_if.mps.gz"
  },
  {
   "instance": "rmine13",
   "n_vars": 23980,
   "n_cons": 197155,
   "nnz": 485784,
   "depth": 944,
   "bound_changes": 944,
   "file_bytes": 2548750,
   "sha256": "d3832b1955c2072284a52fbbc0e899b408dfee3c6505f8133a385b87a4594f47",
   "mps_filename": "rmine13_if.mps.gz"
  },
  {
   "instance": "rmine15",
   "n_vars": 42438,
   "n_cons": 358395,
   "nnz": 879732,
   "depth": 1170,
   "bound_changes": 1170,
   "file_bytes": 4554304,
   "sha256": "b6e1213e843754eff597698fbcdf228c1bd3561fa4d03f65553b97cf4b037a43",
   "mps_filename": "rmine15_if.mps.gz"
  },
  {
   "instance": "rocII-10-11",
   "n_vars": 22968,
   "n_cons": 52692,
   "nnz": 604216,
   "depth": 17,
   "bound_changes": 5684,
   "file_bytes": 2318509,
   "sha256": "98c4559456a716af1eab4923a8a3c8ed87bc331443e229e5de97279be74023f4",
   "mps_filename": "rocII-10-11_if.mps.gz"
  },
  {
   "instance": "rocII-5-11",
   "n_vars": 11523,
   "n_cons": 26897,
   "nnz": 303291,
   "depth": 49,
   "bound_changes": 3956,
   "file_bytes": 1171677,
   "sha256": "cdb40c25460f3538f236e33bff71732c96267f3bc5d33c5fa4b40af050dcdf95",
   "mps_filename": "rocII-5-11_if.mps.gz"
  },
  {
   "instance": "rocII-8-11",
   "n_vars": 18390,
   "n_cons": 42374,
   "nnz": 483846,
   "depth": 59,
   "bound_changes": 5022,
   "file_bytes": 1858964,
   "sha256": "9f1a848319bc2c4c1c94d32113cbbba6f71d96ab08a8692aeb277ebd41170b84",
   "mps_filename": "rocII-8-11_if.mps.gz"
  },
  {
   "instance": "rvb-sub",
   "n_vars": 33765,
   "n_cons": 225,
   "nnz": 984143,
   "depth": 326,
   "bound_changes": 328,
   "file_bytes": 3173866,
   "sha256": "a527c299a26eae6be45cfdd46c7e27cc82f7b4cff3c427fffd31af2fdb7b9ef6",
   "mps_filename": "rvb-sub_if.mps.gz"
  },
  {
   "instance": "s100",
   "n_vars": 364417,
   "n_cons": 14733,
   "nnz": 1777917,
   "depth": 176,
   "bound_changes": 20538,
   "file_bytes": 10709873,
   "sha256": "5eb832c8fa2fec62f526fc4f0391c881b47c4adf456d0ddadc4e585ac1a8c355",
   "mps_filename": "s100_if.mps.gz"
  },
  {
   "instance": "s250r10",
   "n_vars": 273142,
   "n_cons": 10962,
   "nnz": 1318607,
   "depth": 28,
   "bound_changes": 244082,
   "file_bytes": 8337467,
   "sha256": "11130d6245b0160063d54a0e8885530f6b85d39d422dcafdb53da6c36d77d17a",
   "mps_filename": "s250r10_if.mps.gz"
  },
  {
   "instance": "satellites2-25",
   "n_vars": 35378,
   "n_cons": 20916,
   "nnz": 283668,
   "depth": 38,
   "bound_changes": 258,
   "file_bytes": 1131296,
   "sha256": "d004b7953f26977982b1ab4399699863e8c5d70e66c9da058697969d712fa9de",
   "mps_filename": "satellites2-25_if.mps.gz"
  },
  {
   "instance": "satellites2-40",
   "n_vars": 35378,
   "n_cons": 20916,
   "nnz": 283668,
   "depth": 61,
   "bound_changes": 281,
   "file_bytes": 1131470,
   "sha256": "49ae501bd3f1007a175363e1dbdb98155e2bdbb76add1f22b682339f5c274f6f",
   "mps_filename": "satellites2-40_if.mps.gz"
  },
  {
   "instance": "satellites2-60-fs",
   "n_vars": 35378,
   "n_cons": 16516,
   "nnz": 125048,
   "depth": 80,
   "bound_changes": 300,
   "file_bytes": 636346,
   "sha256": "605db11c1142dd7412ad05109fb98db1670155c47cb7be79444b5917d7ec665a",
   "mps_filename": "satellites2-60-fs_if.mps.gz"
  },
  {
   "instance": "satellites3-25",
   "n_vars": 81681,
   "n_cons": 44804,
   "nnz": 698176,
   "depth": 10,
   "bound_changes": 255,
   "file_bytes": 3056258,
   "sha256": "1b6e2a9d6550bd0f85d832509357e0be4ba22dd976d9630ab9d83598d6693279",
   "mps_filename": "satellites3-25_if.mps.gz"
  },
  {
   "instance": "satellites4-25",
   "n_vars": 95637,
   "n_cons": 51712,
   "nnz": 821192,
   "depth": 17,
   "bound_changes": 262,
   "file_bytes": 3573314,
   "sha256": "d0038a0aecd909365675cebd8882aa35f5e8e852c7515d86b3aff1eb5367f53b",
   "mps_filename": "satellites4-25_if.mps.gz"
  },
  {
   "instance": "sct32",
   "n_vars": 9767,
   "n_cons": 5440,
   "nnz": 109654,
   "depth": 1158,
   "bound_changes": 2608,
   "file_bytes": 453930,
   "sha256": "6dd1159bfc8e15c732691c7b1a8a35edcdef3c8a9d070f04c49f99650e404719",
   "mps_filename": "sct32_if.mps.gz"
  },
  {
   "instance": "sct5",
   "n_vars": 37265,
   "n_cons": 13304,
   "nnz": 147037,
   "depth": 5513,
   "bound_changes": 10640,
   "file_bytes": 722094,
   "sha256": "342ee41106a6f369bfc9c3ad7af174f06259f4f5dfdb7f16d7966720816b471e",
   "mps_filename": "sct5_if.mps.gz"
  },
  {
   "instance": "seqsolve1",
   "n_vars": 207665,
   "n_cons": 242243,
   "nnz": 1027681,
   "depth": 2399,
   "bound_changes": 17452,
   "file_bytes": 8313000,
   "sha256": "5f0cd5dbccc736ecba52a842c0d923088e0ba1b17053dce09e6cfacc378a582f",
   "mps_filename": "seqsolve1_if.mps.gz"
  },
  {
   "instance": "seqsolve2short4288",
   "n_vars": 207665,
   "n_cons": 242244,
   "nnz": 1028179,
   "depth": 978,
   "bound_changes": 16032,
   "file_bytes": 8312075,
   "sha256": "4fee300d9e7ebba6cc954ae5bc1566dbfd0c0ccdf37281d37f87f53d6f4e4668",
   "mps_filename": "seqsolve2short4288_if.mps.gz"
  },
  {
   "instance": "seqsolve3short4288excess384",
   "n_vars": 207665,
   "n_cons": 242245,
   "nnz": 1028677,
   "depth": 178,
   "bound_changes": 15230,
   "file_bytes": 8556284,
   "sha256": "f1e36ae51ae53cbb670b7b266e390286a255eac43ae40cc16545bf46c3e520b9",
   "mps_filename": "seqsolve3short4288excess384_if.mps.gz"
  },
  {
   "instance": "shipsched",
   "n_vars": 13594,
   "n_cons": 45554,
   "nnz": 121571,
   "depth": 38,
   "bound_changes": 6350,
   "file_bytes": 722515,
   "sha256": "bd2b05dadd30f3e21b251e57d000c5f90e4f398e6f4400dc8963bf6230689bb7",
   "mps_filename": "shipsched_if.mps.gz"
  },
  {
   "instance": "shs1014",
   "n_vars": 444474,
   "n_cons": 134322,
   "nnz": 1046077,
   "depth": 732,
   "bound_changes": 4793,
   "file_bytes": 6611907,
   "sha256": "2b1ed1ccc4c04e97f1f0886bc0adf1db6c3474c25a5085624548c9fdac361898",
   "mps_filename": "shs1014_if.mps.gz"
  },
  {
   "instance": "shs1023",
   "n_vars": 444625,
   "n_cons": 133944,
   "nnz": 1044725,
   "depth": 751,
   "bound_changes": 4650,
   "file_bytes": 6596010,
   "sha256": "c0f224c007a8608053b240bef4070846b6148471e06654d6a3c624da7a318f65",
   "mps_filename": "shs1023_if.mps.gz"
  },
  {
   "instance": "shs1042",
   "n_vars": 467589,
   "n_cons": 133377,
   "nnz": 1114011,
   "depth": 47,
   "bound_changes": 3014,
   "file_bytes": 7160471,
   "sha256": "76814cb68f6f0b203d81cdff1d5f53eb52f2b614b827fcfafeab0819620c107a",
   "mps_filename": "shs1042_if.mps.gz"
  },
  {
   "instance": "sing326",
   "n_vars": 55156,
   "n_cons": 50781,
   "nnz": 268173,
   "depth": 354,
   "bound_changes": 19399,
   "file_bytes": 1629250,
   "sha256": "8210a08233982b1ce4256a2af5e0d01ef0e02691a985453f62c9dccf3524fd3d",
   "mps_filename": "sing326_if.mps.gz"
  },
  {
   "instance": "sing44",
   "n_vars": 59708,
   "n_cons": 54745,
   "nnz": 281260,
   "depth": 225,
   "bound_changes": 30464,
   "file_bytes": 1709411,
   "sha256": "accdae48182799811d084bb9f493be9a075b00f6bf48889d5d1a2d47ae779bc9",
   "mps_filename": "sing44_if.mps.gz"
  },
  {
   "instance": "sp97ar",
   "n_vars": 14101,
   "n_cons": 1761,
   "nnz": 290968,
   "depth": 4172,
   "bound_changes": 4172,
   "file_bytes": 1118167,
   "sha256": "e1a637acee74e2aef31e4abfacc1e125ee55ea56339aa697d33cbc5bdff1ecd0",
   "mps_filename": "sp97ar_if.mps.gz"
  },
  {
   "instance": "sp98ar",
   "n_vars": 15085,
   "n_cons": 1435,
   "nnz": 426148,
   "depth": 3442,
   "bound_changes": 3443,
   "file_bytes": 1559096,
   "sha256": "efb89457b9ad2c7bb0637de51be6f8bf1c69b22b443cf566ce662cbd18f773b4",
   "mps_filename": "sp98ar_if.mps.gz"
  },
  {
   "instance": "splice1k1",
   "n_vars": 3253,
   "n_cons": 6505,
   "nnz": 1761016,
   "depth": 32,
   "bound_changes": 190,
   "file_bytes": 4960583,
   "sha256": "c8286e14c7df6e709ce7a58c449785538226b1eeed1262475c1cab85132898e5",
   "mps_filename": "splice1k1_if.mps.gz"
  },
  {
   "instance": "square23",
   "n_vars": 11660,
   "n_cons": 7887,
   "nnz": 898813,
   "depth": 11,
   "bound_changes": 7343,
   "file_bytes": 2617045,
   "sha256": "0a52fbb29129a87d5560e1cd387eacca4be9b65cb3343c1e6b670720d0f00efa",
   "mps_filename": "square23_if.mps.gz"
  },
  {
   "instance": "square31",
   "n_vars": 28860,
   "n_cons": 19435,
   "nnz": 3937200,
   "depth": 66,
   "bound_changes": 27101,
   "file_bytes": 11340522,
   "sha256": "722f7b9c006ab0eb476b6851c33d29502ea77223cf563731ac5b0d3624e4b5a4",
   "mps_filename": "square31_if.mps.gz"
  },
  {
   "instance": "square37",
   "n_vars": 49320,
   "n_cons": 33150,
   "nnz": 9475672,
   "depth": 48,
   "bound_changes": 31784,
   "file_bytes": 26719591,
   "sha256": "e8d9bf12e917a9e80c08e3b18644d1a10b172513571224b36485bf535a08cf83",
   "mps_filename": "square37_if.mps.gz"
  },
  {
   "instance": "square41",
   "n_vars": 62234,
   "n_cons": 40160,
   "nnz": 13566426,
   "depth": 24,
   "bound_changes": 38454,
   "file_bytes": 37903602,
   "sha256": "881d8c5f124e08a88bd8ced1a9a776b3000f514587df55b568b32412d55a4864",
   "mps_filename": "square41_if.mps.gz"
  },
  {
   "instance": "square47",
   "n_vars": 95030,
   "n_cons": 61591,
   "nnz": 27329856,
   "depth": 30,
   "bound_changes": 59356,
   "file_bytes": 74573170,
   "sha256": "1fe594e16513ebcd22d2f090d13336ede63956b240952607fdf2ee8a350259af",
   "mps_filename": "square47_if.mps.gz"
  },
  {
   "instance": "stockholm",
   "n_vars": 20644,
   "n_cons": 57346,
   "nnz": 171076,
   "depth": 2,
   "bound_changes": 964,
   "file_bytes": 1101331,
   "sha256": "666e44231ca3bbbadbb7c56663b03645cba0eaa10cb8bf222c66fba1d1ba234e",
   "mps_filename": "stockholm_if.mps.gz"
  },
  {
   "instance": "supportcase23",
   "n_vars": 24275,
   "n_cons": 40502,
   "nnz": 161525,
   "depth": 293,
   "bound_changes": 18293,
   "file_bytes": 910610,
   "sha256": "0eac79f569fdf511315d8f1f648a2b4a801880545cc8ed96406bbcb84513794b",
   "mps_filename": "supportcase23_if.mps.gz"
  },
  {
   "instance": "supportcase33",
   "n_vars": 20203,
   "n_cons": 20489,
   "nnz": 211915,
   "depth": 62,
   "bound_changes": 9694,
   "file_bytes": 1057711,
   "sha256": "d9befa1580b004670ef76cc2319871da7d2cae40a4bf042b4da2552fdee3055f",
   "mps_filename": "supportcase33_if.mps.gz"
  },
  {
   "instance": "supportcase37",
   "n_vars": 20047,
   "n_cons": 59023,
   "nnz": 135627,
   "depth": 20,
   "bound_changes": 5507,
   "file_bytes": 948563,
   "sha256": "b1d761079eac9f1da954ac1544ad4a800e01e467dfebfdfc428ef79851af3030",
   "mps_filename": "supportcase37_if.mps.gz"
  },
  {
   "instance": "supportcase39",
   "n_vars": 1025,
   "n_cons": 16384,
   "nnz": 398774,
   "depth": 249,
   "bound_changes": 242,
   "file_bytes": 1956254,
   "sha256": "e4f9297ea9e540dabf7dcaaa862a1b21a05fc1d2b92c3b637b8fbe5a40d1d946",
   "mps_filename": "supportcase39_if.mps.gz"
  },
  {
   "instance": "supportcase41",
   "n_vars": 4725,
   "n_cons": 28923,
   "nnz": 221321,
   "depth": 90,
   "bound_changes": 1635,
   "file_bytes": 816782,
   "sha256": "ca31e37d4c74547716e6bad207f393c5e3f9669bf7064c06abfcbeef6e3f7ebe",
   "mps_filename": "supportcase41_if.mps.gz"
  },
  {
   "instance": "supportcase6",
   "n_vars": 130052,
   "n_cons": 771,
   "nnz": 584976,
   "depth": 25,
   "bound_changes": 25,
   "file_bytes": 4209012,
   "sha256": "a0551528d4bc12b466c7b9ea9ed2d32d27ad8105629ab60cfea173e8cb0c95ec",
   "mps_filename": "supportcase6_if.mps.gz"
  },
  {
   "instance": "supportcase7",
   "n_vars": 138844,
   "n_cons": 6532,
   "nnz": 2845545,
   "depth": 12,
   "bound_changes": 138032,
   "file_bytes": 8899427,
   "sha256": "7c575a2374980133057cd68554be07fc2c4ef3635ecd6bdd089737da6ccc654a",
   "mps_filename": "supportcase7_if.mps.gz"
  },
  {
   "instance": "t1717",
   "n_vars": 73885,
   "n_cons": 551,
   "nnz": 325689,
   "depth": 27524,
   "bound_changes": 27524,
   "file_bytes": 1896578,
   "sha256": "62fd009eac952d79a9e344b2b81608493642e74f968d3009ef4bc92e9278ad0d",
   "mps_filename": "t1717_if.mps.gz"
  },
  {
   "instance": "t1722",
   "n_vars": 36630,
   "n_cons": 338,
   "nnz": 133096,
   "depth": 11693,
   "bound_changes": 11693,
   "file_bytes": 805616,
   "sha256": "5ec5ab03d71af483fd1f66e1ace9da8b08e0cdb65d5d60025cd063035c06b98a",
   "mps_filename": "t1722_if.mps.gz"
  },
  {
   "instance": "tbfp-network",
   "n_vars": 72747,
   "n_cons": 2436,
   "nnz": 215837,
   "depth": 83,
   "bound_changes": 83,
   "file_bytes": 1471523,
   "sha256": "e0fe7e7169b189c45abda485123a82a826a7ca7abe62036d25c487be83e7b626",
   "mps_filename": "tbfp-network_if.mps.gz"
  },
  {
   "instance": "thor50dday",
   "n_vars": 106261,
   "n_cons": 53360,
   "nnz": 212060,
   "depth": 1594,
   "bound_changes": 54724,
   "file_bytes": 1658027,
   "sha256": "f46d11aee497e8efe794780df45ed3dc08b33c504ce66c7ca7f3b9f671047d54",
   "mps_filename": "thor50dday_if.mps.gz"
  },
  {
   "instance": "triptim1",
   "n_vars": 30055,
   "n_cons": 15706,
   "nnz": 515436,
   "depth": 115,
   "bound_changes": 4514,
   "file_bytes": 1692880,
   "sha256": "53571d89c18448fb9ee2aebf515b4fc6709122c85bead5b701a090b7b8944ece",
   "mps_filename": "triptim1_if.mps.gz"
  },
  {
   "instance": "triptim2",
   "n_vars": 27326,
   "n_cons": 14427,
   "nnz": 521898,
   "depth": 77,
   "bound_changes": 4042,
   "file_bytes": 1663295,
   "sha256": "6b639119ebd1fbfb7b93e59fc743b0d93c3a7dec2e2f716e9d7e4397cf9f08fa",
   "mps_filename": "triptim2_if.mps.gz"
  },
  {
   "instance": "triptim4",
   "n_vars": 27226,
   "n_cons": 14361,
   "nnz": 520532,
   "depth": 49,
   "bound_changes": 4014,
   "file_bytes": 1651045,
   "sha256": "c11e18894f04ac8c64de57fdbd33b788f08130d6641828fdd5903afa9bddbe21",
   "mps_filename": "triptim4_if.mps.gz"
  },
  {
   "instance": "triptim7",
   "n_vars": 27342,
   "n_cons": 14427,
   "nnz": 521944,
   "depth": 54,
   "bound_changes": 4846,
   "file_bytes": 1660656,
   "sha256": "1d1eab6311d39e24b91831d175b15e5d036232ceddae5d7af19306b22abc5b99",
   "mps_filename": "triptim7_if.mps.gz"
  },
  {
   "instance": "triptim8",
   "n_vars": 27342,
   "n_cons": 14427,
   "nnz": 521945,
   "depth": 109,
   "bound_changes": 4897,
   "file_bytes": 1660906,
   "sha256": "aaa05c6d3082875318f292c8f158f16c346280b594170498c9eb80c31ee4af8e",
   "mps_filename": "triptim8_if.mps.gz"
  },
  {
   "instance": "uccase7",
   "n_vars": 33020,
   "n_cons": 47132,
   "nnz": 335644,
   "depth": 439,
   "bound_changes": 8595,
   "file_bytes": 1613580,
   "sha256": "7f740a20b12dc00b071114f1ef2fbba11596782178fde73a5df48a179dbf5c74",
   "mps_filename": "uccase7_if.mps.gz"
  },
  {
   "instance": "uccase8",
   "n_vars": 37413,
   "n_cons": 53709,
   "nnz": 214625,
   "depth": 747,
   "bound_changes": 7248,
   "file_bytes": 1318759,
   "sha256": "a60c1a2006bae74bcbf1ca8b90ea89074b71ef33eb6547905de308c1197b8dbe",
   "mps_filename": "uccase8_if.mps.gz"
  },
  {
   "instance": "uccase9",
   "n_vars": 33242,
   "n_cons": 49565,
   "nnz": 332316,
   "depth": 445,
   "bound_changes": 5676,
   "file_bytes": 1631770,
   "sha256": "58b69f800c83ccbe224d0f6b5e740147e77c31dc32a58d8678c1a7e21ca7b8ec",
   "mps_filename": "uccase9_if.mps.gz"
  },
  {
   "instance": "unitcal_7",
   "n_vars": 25755,
   "n_cons": 48939,
   "nnz": 127595,
   "depth": 24,
   "bound_changes": 8649,
   "file_bytes": 863145,
   "sha256": "141457a726586b9ebca5c243d706848c75e69b42da3e33afd7fc203bc2f208e5",
   "mps_filename": "unitcal_7_if.mps.gz"
  },
  {
   "instance": "vpphard",
   "n_vars": 51471,
   "n_cons": 47280,
   "nnz": 372305,
   "depth": 2208,
   "bound_changes": 49444,
   "file_bytes": 1760858,
   "sha256": "3554c6b83cf4153a491cd35ae067e75fba8050cbdb3493d25dcafd0774045013",
   "mps_filename": "vpphard_if.mps.gz"
  },
  {
   "instance": "vpphard2",
   "n_vars": 199999,
   "n_cons": 198450,
   "nnz": 648340,
   "depth": 1797,
   "bound_changes": 195381,
   "file_bytes": 4514409,
   "sha256": "a69dcd00df0048305e1dd618de160941268b46da3284d304be23cee16fb98078",
   "mps_filename": "vpphard2_if.mps.gz"
  }
 ]
}