Add benchmark script and instances

lifting/benchmark/orig-100/mip.yaml

@@ -0,0 +1,319 @@
+cpu_time:
+  0: 1085.86900000
+  1: 454.11500000
+  2: 473.60700000
+  3: 477.03800000
+  4: 1406.57800000
+  5: 572.74400000
+  6: 1241.25700000
+  7: 588.50900000
+  8: 561.67300000
+  9: 444.28900000
+  10: 1060.02900000
+  11: 510.77300000
+  12: 513.94800000
+  13: 583.01100000
+  14: 448.98800000
+  15: 482.97300000
+  16: 473.73900000
+  17: 468.78400000
+  18: 523.82900000
+  19: 520.91000000
+  20: 456.20500000
+  21: 463.42800000
+  22: 481.22000000
+  23: 501.06100000
+  24: 457.02400000
+  25: 444.71800000
+  26: 532.04200000
+  27: 453.43100000
+  28: 437.62700000
+  29: 763.01700000
+  30: 476.87100000
+  31: 472.21500000
+  32: 475.16200000
+  33: 441.58400000
+  34: 482.99000000
+  35: 763.80200000
+  36: 460.65400000
+  37: 454.13700000
+  38: 441.86900000
+  39: 546.12400000
+  40: 483.00600000
+  41: 461.75100000
+  42: 640.86900000
+  43: 515.36400000
+  44: 445.43000000
+  45: 426.45800000
+  46: 632.75400000
+  47: 420.02900000
+  48: 662.65200000
+  49: 436.32900000
+  50: 425.46500000
+  51: 504.99500000
+  52: 514.26700000
+  53: 503.17800000
+  54: 881.98000000
+  55: 485.72600000
+  56: 456.78100000
+  57: 526.67200000
+  58: 825.77600000
+  59: 1020.77500000
+  60: 675.86400000
+  61: 426.79700000
+  62: 743.13500000
+  63: 772.47400000
+  64: 516.29400000
+  65: 429.80000000
+  66: 481.27700000
+  67: 426.84200000
+  68: 467.86100000
+  69: 2057.29300000
+  70: 962.58300000
+  71: 1061.81900000
+  72: 960.18800000
+  73: 649.41900000
+  74: 502.24200000
+  75: 1313.97300000
+  76: 499.07800000
+  77: 518.50800000
+  78: 450.96300000
+  79: 831.47700000
+  80: 494.30900000
+  81: 444.36100000
+  82: 452.78400000
+  83: 637.75000000
+  84: 517.40500000
+  85: 512.98400000
+  86: 1340.10100000
+  87: 716.97800000
+  88: 511.79500000
+  89: 454.72300000
+  90: 449.90200000
+  91: 534.81000000
+  92: 486.81200000
+  93: 1586.25400000
+  94: 676.35700000
+  95: 1313.57200000
+  96: 487.52700000
+  97: 569.54300000
+  98: 481.32200000
+  99: 463.32600000
+  100: 444.95600000
+  101: 567.17000000
+  102: 462.99700000
+  103: 1015.56000000
+  104: 2170.25500000
+  105: 1421.39600000
+  106: 529.80000000
+  107: 455.30700000
+  108: 1208.31800000
+  109: 627.68100000
+  110: 839.38600000
+  111: 503.98300000
+  112: 462.79700000
+  113: 642.05600000
+  114: 458.34600000
+  115: 485.08200000
+  116: 1347.38200000
+  117: 447.87000000
+  118: 623.90800000
+  119: 623.77200000
+  120: 571.82700000
+  121: 522.76900000
+  122: 804.63300000
+  123: 454.96800000
+  124: 1568.21600000
+  125: 983.05400000
+  126: 750.27400000
+  127: 694.24100000
+  128: 1052.72100000
+  129: 526.05700000
+  130: 440.40300000
+  131: 462.27900000
+  132: 477.82300000
+  133: 527.15300000
+  134: 814.45200000
+  135: 491.05600000
+  136: 559.78000000
+  137: 1242.86800000
+  138: 922.11100000
+  139: 969.83300000
+  140: 573.46800000
+  141: 975.12100000
+  142: 412.72100000
+  143: 455.64000000
+  144: 1323.71700000
+  145: 841.00600000
+  146: 496.01300000
+  147: 507.32400000
+  148: 470.62800000
+  149: 498.09400000
+  150: 475.01000000
+  151: 449.97200000
+  152: 464.42900000
+  153: 870.29300000
+  154: 538.37900000
+  155: 463.82900000
+  156: 476.90200000
+  157: 519.59400000
+  158: 437.58600000
+  159: 655.12700000
+  160: 485.30400000
+  161: 494.42700000
+  162: 509.46200000
+  163: 737.89000000
+  164: 447.54800000
+  165: 484.42600000
+  166: 461.79200000
+  167: 450.02800000
+  168: 436.53200000
+  169: 491.47600000
+  170: 850.92000000
+  171: 524.75800000
+  172: 952.55800000
+  173: 587.25900000
+  174: 583.46300000
+  175: 958.14900000
+  176: 807.77200000
+  177: 1024.41500000
+  178: 694.71800000
+  179: 793.72200000
+  180: 912.92600000
+  181: 479.58600000
+  182: 440.01700000
+  183: 463.69300000
+  184: 708.75500000
+  185: 473.23000000
+  186: 610.48800000
+  187: 867.17100000
+  188: 598.09900000
+  189: 469.04800000
+  190: 1398.09100000
+  191: 522.42500000
+  192: 518.65500000
+  193: 683.87700000
+  194: 1111.30200000
+  195: 501.03700000
+  196: 443.75300000
+  197: 514.21300000
+  198: 869.95000000
+  199: 733.82900000
+  200: 501.97900000
+  201: 480.46100000
+  202: 1029.24600000
+  203: 508.88900000
+  204: 492.13300000
+  205: 816.20300000
+  206: 483.27900000
+  207: 561.26300000
+  208: 485.83500000
+  209: 523.36700000
+  210: 456.57700000
+  211: 428.97900000
+  212: 516.64300000
+  213: 996.30200000
+  214: 696.36300000
+  215: 503.60400000
+  216: 651.26600000
+  217: 477.19200000
+  218: 424.91900000
+  219: 473.47300000
+  220: 430.54000000
+  221: 1002.58300000
+  222: 995.73900000
+  223: 1372.08200000
+  224: 720.74200000
+  225: 449.51100000
+  226: 1389.91700000
+  227: 1322.63700000
+  228: 527.27200000
+  229: 566.58300000
+  230: 476.70000000
+  231: 588.77900000
+  232: 543.88700000
+  233: 528.26200000
+  234: 513.09300000
+  235: 444.00000000
+  236: 917.50900000
+  237: 668.48400000
+  238: 1528.52500000
+  239: 1299.63600000
+  240: 504.35000000
+  241: 569.80700000
+  242: 487.48800000
+  243: 1355.36000000
+  244: 1277.30900000
+  245: 1406.75600000
+  246: 983.25600000
+  247: 504.18000000
+  248: 1399.73000000
+  249: 1726.53800000
+  250: 563.64500000
+  251: 609.00500000
+  252: 1329.25600000
+  253: 1099.10800000
+  254: 654.82100000
+  255: 431.11000000
+  256: 389.09300000
+  257: 437.47100000
+  258: 368.80300000
+  259: 471.91600000
+  260: 439.23300000
+  261: 441.47100000
+  262: 423.53600000
+  263: 363.95000000
+  264: 389.36200000
+  265: 459.53300000
+  266: 437.85900000
+  267: 425.03700000
+  268: 457.93800000
+  269: 363.09900000
+  270: 386.03900000
+  271: 1180.36700000
+  272: 1097.38300000
+  273: 473.45800000
+  274: 451.72500000
+  275: 379.27600000
+  276: 514.94100000
+  277: 362.62500000
+  278: 351.16500000
+  279: 498.29600000
+  280: 432.78400000
+  281: 356.17700000
+  282: 353.26900000
+  283: 698.64400000
+  284: 426.67300000
+  285: 432.34100000
+  286: 425.63600000
+  287: 463.26100000
+  288: 1047.55600000
+  289: 434.59200000
+  290: 1384.86200000
+  291: 461.60900000
+  292: 791.00000000
+  293: 669.78500000
+  294: 400.32600000
+  295: 380.02100000
+  296: 479.19400000
+  297: 644.52900000
+  298: 454.05500000
+  299: 508.57900000
+  300: 519.46100000
+  301: 367.36400000
+  302: 592.96700000
+  303: 1176.09700000
+  304: 1019.69400000
+  305: 407.96500000
+  306: 497.81300000
+  307: 372.34600000
+  308: 445.86700000
+  309: 487.34300000
+  310: 381.94700000
+  311: 545.13700000
+  312: 983.38300000
+  313: 625.70100000
+  314: 1300.65700000
+  315: 847.97300000
+  316: 749.96700000
+  317: 636.56800000