Instance | Runtime | Result |
---|
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_8_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_8_ic.opb | 242.799 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_2_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_5_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_0_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_7_ic.opb | 226.008 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_3_ic.opb | 254.82 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_4_ic.opb | 246.632 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_5_ic.opb | 224.591 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_9_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_2_ic.opb | 227.813 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_0_ic.opb | 221.863 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_4_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_9_ic.opb | 226.435 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_6_ic.opb | 223.706 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_6_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_3_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_1_ic.opb | 234.703 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_7_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_6_ic.opb | 13.5422 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_0_ic.opb | 1804.95 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_4_ic.opb | 19.5898 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_8_ic.opb | 28.1286 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_7_ic.opb | 1807.28 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_1_ic.opb | 1805.29 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_2_ic.opb | 27.8596 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_1_ic.opb | 12.5175 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_9_ic.opb | 24.4063 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_3_ic.opb | 1805.15 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_5_ic.opb | 1804.9 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_2_ic.opb | 1805 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_9_ic.opb | 1805.14 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_8_ic.opb | 1805.03 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_5_ic.opb | 30.9781 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_5_ic.opb | 1805.01 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_4_ic.opb | 1804.97 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_2_ic.opb | 1804.88 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_4_ic.opb | 1804.86 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_6_ic.opb | 1805.43 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_0_ic.opb | 21.5888 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_9_ic.opb | 1807.26 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_8_ic.opb | 1804.73 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_7_ic.opb | 32.2043 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_6_ic.opb | 1804.89 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_3_ic.opb | 84.9526 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_0_ic.opb | 1803.03 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_1_ic.opb | 1805.13 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_7_ic.opb | 1804.89 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_3_ic.opb | 1804.66 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_4_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_4_mh.opb | 501.385 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_5_mh.opb | 310.467 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_7_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_5_mh.opb | 501.832 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_5_mh.opb | 1803.79 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_6_mh.opb | 1803.84 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_0_mh.opb | 99.353 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_7_mh.opb | 1154.87 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_9_mh.opb | 340.367 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_8_mh.opb | 1804.01 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb | 1805.88 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_9_mh.opb | 828.554 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_3_mh.opb | 973.225 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_2_mh.opb | 322.954 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_6_mh.opb | 351.258 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_3_mh.opb | 266.023 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_8_mh.opb | 1805.77 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_8_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_0_mh.opb | 1803.21 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_0_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_6_mh.opb | 189.904 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_4_mh.opb | 1803.97 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_1_mh.opb | 1430.28 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_1_mh.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_3_mh.opb | 1803.9 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_1_mh.opb | 1804.08 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_9_mh.opb | 1806.61 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_7_mh.opb | 1803.87 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_2_mh.opb | 1806.11 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_0_mh_ic.opb | 181.84 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_3_mh_ic.opb | 1803.33 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_4_mh_ic.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_7_mh_ic.opb | 1802.25 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_0_mh_ic.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_5_mh_ic.opb | 1803.16 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_5_mh_ic.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_5_mh_ic.opb | 1805.49 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_8_mh_ic.opb | 1228.89 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_6_mh_ic.opb | 1803.42 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_mh_ic.opb | 1805.79 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_0_mh_ic.opb | 1805.78 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_0_mh_ic.opb | 1603.94 | OPTIMUM |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_4_mh_ic.opb | 1803.4 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_9_mh_ic.opb | 203.682 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_9_mh_ic.opb | 1805.6 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_6_mh_ic.opb | 187.337 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_3_mh_ic.opb | 208.69 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_1_mh_ic.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_6_mh_ic.opb | 1805.75 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_3_mh_ic.opb | 1805.59 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_8_mh_ic.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_1_mh_ic.opb | 1802.19 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_8_mh_ic.opb | 195.475 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_6_mh_ic.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_8_mh_ic.opb | 1803.25 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_4_mh_ic.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_2_mh_ic.opb | 1804.61 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_7_mh_ic.opb | 180.283 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_9_mh_ic.opb | 1805.63 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_8.opb | 1805.68 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb | 1805.19 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_2.opb | 1805.26 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_8.opb | 1804.31 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_4.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_5.opb | 405.234 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_6.opb | 1804.82 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_8.opb | 1805.05 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_9.opb | 1797.24 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_0.opb | 1805.75 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_7.opb | 1325.1 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb | 1804.81 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb | 1803.09 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_0.opb | 1272.89 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_6.opb | 1805.36 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb | 1805.63 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_7.opb | 1807.68 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_3.opb | 313.396 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb | 1807.76 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_8.opb | 1804.77 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_9.opb | 359.137 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_7.opb | 264.395 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_9.opb | 1805.82 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb | 1805.28 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_6.opb | 373.763 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_4.opb | 1804.73 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_9.opb | 1805.47 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_1.opb | 342.351 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_2.opb | 291.218 | SATISFIABLE |
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb | 1805.27 | SATISFIABLE |
OPT-BIGINT-LIN/heinz/normalized-opm2-z11-s8.opb | 145.112 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-opm2-z10-s2.opb | 1804.19 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-ivu06-big.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-opm2-z12-s14.opb | 102.393 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-stp3d.opb | 184.241 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-opm2-z9-s14.opb | 1805.06 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-bley_xl1.opb | 21.3758 | OPTIMUM |
OPT-BIGINT-LIN/heinz/normalized-ds-big.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-opm2-z12-s7.opb | 102.028 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-n3div36.opb | 1805.61 | SATISFIABLE |
OPT-BIGINT-LIN/heinz/normalized-co-100.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-zib01.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-netdiversion.opb | 1805.12 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-sp97ar.opb | 1807.58 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-harp2.opb | 1806.37 | SATISFIABLE |
OPT-BIGINT-LIN/heinz/normalized-sp98ar.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-t1717.opb | 158.323 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-t1722.opb | 136.919 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-eilB101.opb | 1806.25 | SATISFIABLE |
OPT-BIGINT-LIN/heinz/normalized-air04.opb | 1807.43 | SATISFIABLE |
OPT-BIGINT-LIN/heinz/normalized-ns1685374.opb | 1807.26 | SATISFIABLE |
OPT-BIGINT-LIN/heinz/normalized-n3seq24.opb | 132.121 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-ivu52.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-neos-941313.opb | 111.673 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-opm2-z7-s2.opb | 1805.96 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-sp98ic.opb | 1807.31 | UNKNOWN |
OPT-BIGINT-LIN/heinz/normalized-ns1663818.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX300_K192_cod2.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_0null0mast_rapportOE2.0_TMAX15_K192_cod2.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX60_K192_cod1.opb | 1804.85 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null10mast_rapportOE2.0_TMAX15_K192_cod2.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX60_K192_cod1.opb | 1805.02 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null20mast_rapportOE2.0_TMAX300_K192_cod1.opb | 1805.15 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX15_K192_cod1.opb | 1804.85 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb | 1804.79 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null50mast_rapportOE1.0_TMAX300_K192_cod2.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb | 1804.67 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_0null20mast_rapportOE2.0_TMAX120_K192_cod2.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX15_K192_cod1.opb | 1804.89 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_0null10mast_rapportOE1.0_TMAX300_K192_cod1.opb | 1804.93 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb | 1804.92 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_0null10mast_rapportOE1.0_TMAX180_K192_cod1.opb | 1804.71 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX60_K192_cod1.opb | 1807.33 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod1.opb | 1804.63 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX300_K192_cod1.opb | 1805.09 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null20mast_rapportOE2.0_TMAX15_K192_cod2.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX300_K192_cod1.opb | 1804.71 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX300_K192_cod1.opb | 1804.7 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_0null50mast_rapportOE1.0_TMAX300_K192_cod1.opb | 1804.62 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX60_K192_cod1.opb | 1805.03 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null20mast_rapportOE1.0_TMAX180_K192_cod1.opb | 1804.85 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null50mast_rapportOE2.0_TMAX300_K192_cod1.opb | 1804.89 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb | 1804.61 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb | 1804.57 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX180_K192_cod1.opb | 1807.43 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null50mast_rapportOE1.0_TMAX60_K192_cod1.opb | 1807.5 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb | 1807.5 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null50mast_rapportOE1.0_TMAX300_K67_cod3.opb | 1807.89 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE1.0_TMAX15_K67_cod2.opb | 74.3168 | OPTIMUM |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE1.0_TMAX120_K67_cod1.opb | 1805.34 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE1.0_TMAX180_K67_cod3.opb | 1807.55 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE1.0_TMAX300_K67_cod1.opb | 1805.01 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX60_K67_cod1.opb | 1804.84 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null20mast_rapportOE2.0_TMAX300_K67_cod3.opb | 1805.87 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null50mast_rapportOE1.0_TMAX120_K67_cod1.opb | 1805.82 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX60_K67_cod3.opb | 1805.06 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX60_K67_cod1.opb | 1805.79 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_10null50mast_rapportOE1.0_TMAX120_K67_cod3.opb | 1805.34 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE1.0_TMAX120_K67_cod3.opb | 1804.92 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX300_K67_cod3.opb | 1805.6 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null20mast_rapportOE2.0_TMAX120_K67_cod1.opb | 1805.9 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX180_K67_cod1.opb | 1805.83 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null20mast_rapportOE1.0_TMAX120_K67_cod1.opb | 1805.05 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_0null50mast_rapportOE2.0_TMAX15_K67_cod1.opb | 1807.34 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod1.opb | 1805.72 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX300_K67_cod1.opb | 1805.46 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX15_K67_cod1.opb | 1805.39 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX60_K67_cod1.opb | 1805.01 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null50mast_rapportOE2.0_TMAX120_K67_cod3.opb | 1805.08 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null50mast_rapportOE1.0_TMAX15_K67_cod3.opb | 1805.53 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb | 1806.21 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null20mast_rapportOE1.0_TMAX180_K67_cod3.opb | 1805.96 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null50mast_rapportOE1.0_TMAX15_K67_cod1.opb | 1808.83 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod1.opb | 1804.98 | UNKNOWN |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod3.opb | 1806.09 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX300_K67_cod3.opb | 1805.32 | SATISFIABLE |
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null50mast_rapportOE2.0_TMAX60_K67_cod2.opb | 1806.31 | SATISFIABLE |
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.20-12.opb | 384.423 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.20-13.opb | 1805.11 | SATISFIABLE |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.10-8.opb | 79.344 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.01-2.opb | 50.6576 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.10-10.opb | 13.3811 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-7.opb | 110.028 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.10-10.opb | 142.67 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped3.E.recomb10-0.20-11.opb | 17.9688 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.01-4.opb | 119.311 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.10-10.opb | 32.1446 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.20-13.opb | 49.6893 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.20-13.opb | 85.1334 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-9.opb | 116.88 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.20-15.opb | 77.1377 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.01-2.opb | 87.2752 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.01-5.opb | 59.9091 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.01-2.opb | 144.159 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.01-2.opb | 27.9891 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.10-7.opb | 10.6824 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped3.E.recomb10-0.20-14.opb | 29.6042 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.20-11.opb | 1805.07 | SATISFIABLE |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.20-14.opb | 174.116 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.20-12.opb | 172.483 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.01-1.opb | 74.5834 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-10.opb | 88.5691 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-8.opb | 97.46 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.10-7.opb | 124.644 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.01-5.opb | 183.925 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.01-1.opb | 7.96075 | OPTIMUM |
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.10-9.opb | 11.8409 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb | 0.314183 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand659e05.cudf.paranoid.opb | 0.278446 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randee102b.cudf.paranoid.opb | 2.33974 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand43bd88.cudf.paranoid.opb | 3.84138 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand2fa1f8.cudf.paranoid.opb | 0.098222 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rande22180.cudf.paranoid.opb | 0.168153 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randea4da3.cudf.paranoid.opb | 0.137946 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand396cf8.cudf.paranoid.opb | 1.45446 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand49e642.cudf.paranoid.opb | 1.52213 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randd6bc17.cudf.paranoid.opb | 1.00714 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand88811a.cudf.paranoid.opb | 1.41359 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand56b853.cudf.paranoid.opb | 1.1541 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand6c4744.cudf.paranoid.opb | 0.110292 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randa65dfb.cudf.paranoid.opb | 1.30437 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randab5933.cudf.paranoid.opb | 0.145363 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randdd5509.cudf.paranoid.opb | 0.163811 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb | 1.45384 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand682c92.cudf.paranoid.opb | 0.099417 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-mono-gac.cudf.paranoid.opb | 10.2262 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kmines.cudf.paranoid.opb | 9.15582 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb | 8.93777 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-tasque.cudf.paranoid.opb | 10.2852 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-plasma-widgets-workspace.cudf.paranoid.opb | 8.17552 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kjumpingcube.cudf.paranoid.opb | 7.85571 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kdessh.cudf.paranoid.opb | 10.4492 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-gtwitter.cudf.paranoid.opb | 7.88596 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb | 9.29682 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kphotoalbum.cudf.paranoid.opb | 8.12435 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-upstart-compat-sysv.cudf.paranoid.opb | 12.1486 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-r-cran-car.cudf.paranoid.opb | 9.40049 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-r-cran-rodbc.cudf.paranoid.opb | 9.59638 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-libmono-relaxng1.0-cil.cudf.paranoid.opb | 8.77098 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-system-config-printer.cudf.paranoid.opb | 9.20885 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libpango-perl.cudf.paranoid.opb | 9.1525 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-codebreaker.cudf.paranoid.opb | 12.3349 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-evolution-dev.cudf.paranoid.opb | 9.40633 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libcatalyst-perl.cudf.paranoid.opb | 9.63196 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-python-hippocanvas.cudf.paranoid.opb | 12.2441 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-konq-plugins.cudf.paranoid.opb | 11.2809 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libhtml-parser-perl.cudf.paranoid.opb | 9.84765 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-unattended-upgrades.cudf.paranoid.opb | 10.4736 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-epiphany-browser.cudf.paranoid.opb | 10.5586 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-dwww.cudf.paranoid.opb | 7.73679 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-python-cairo.cudf.paranoid.opb | 9.35471 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libpoe-perl.cudf.paranoid.opb | 12.6683 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-txt2html.cudf.paranoid.opb | 7.98595 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libcyrus-imap-perl22.cudf.paranoid.opb | 9.23661 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-synaptic.cudf.paranoid.opb | 10.2198 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-hal-cups-utils.cudf.paranoid.opb | 10.4622 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb | 7.49649 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1131.cudf.paranoid.opb | 0.283761 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1468.cudf.paranoid.opb | 1.53964 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb | 1.50267 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-520.cudf.paranoid.opb | 0.216504 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randf7d077.cudf.trendy.opb | 4.29225 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randa491d5.cudf.trendy.opb | 4.6699 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand6d579e.cudf.trendy.opb | 9.47875 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randb87834.cudf.trendy.opb | 6.63323 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand2d8467.cudf.trendy.opb | 11.0721 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand65d021.cudf.trendy.opb | 3.33188 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand5c0b12.cudf.trendy.opb | 0.3055 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand659e05.cudf.trendy.opb | 0.29728 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand8177e7.cudf.trendy.opb | 7.93842 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randee102b.cudf.trendy.opb | 1.39831 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb | 4.53329 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randfe95e3.cudf.trendy.opb | 0.266213 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randd1cab2.cudf.trendy.opb | 5.87382 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand0c02bc.cudf.trendy.opb | 10.1808 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb | 6.90807 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5b1f2.cudf.trendy.opb | 0.177204 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand085d8a.cudf.trendy.opb | 3.6931 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand271a0d.cudf.trendy.opb | 0.15671 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randb54299.cudf.trendy.opb | 6.46432 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand767898.cudf.trendy.opb | 2.98226 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.trendy.opb | 5.66292 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randf794d2.cudf.trendy.opb | 16.6948 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand27da90.cudf.trendy.opb | 8.60812 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand362510.cudf.trendy.opb | 8.21156 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand5d20db.cudf.trendy.opb | 3.47686 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand00ebc7.cudf.trendy.opb | 0.242002 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randec6fe1.cudf.trendy.opb | 7.12601 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randfd04d4.cudf.trendy.opb | 1.91999 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc18b26.cudf.trendy.opb | 3.82116 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb | 2.3826 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rande2165e.cudf.trendy.opb | 8.35682 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randcef367.cudf.trendy.opb | 0.192924 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand7e9372.cudf.trendy.opb | 3.84404 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randdd5509.cudf.trendy.opb | 0.176853 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randcbf550.cudf.trendy.opb | 0.095307 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand56b853.cudf.trendy.opb | 3.09064 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randa65dfb.cudf.trendy.opb | 5.28835 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand03b0b5.cudf.trendy.opb | 0.091994 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb | 2.45533 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand1958fb.cudf.trendy.opb | 7.35389 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kphotoalbum.cudf.trendy.opb | 44.4734 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-ark.cudf.trendy.opb | 41.879 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb | 60.6358 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-libmono-addins-gui0.2-cil.cudf.trendy.opb | 113.289 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-plasma-widgets-workspace.cudf.trendy.opb | 29.933 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kommander.cudf.trendy.opb | 29.9729 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-r-cran-car.cudf.trendy.opb | 69.2653 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-inetutils-syslogd.cudf.trendy.opb | 33.6231 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-mono-gac.cudf.trendy.opb | 36.9638 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kblocks.cudf.trendy.opb | 32.9737 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-gtwitter.cudf.trendy.opb | 58.3561 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-txt2html.cudf.trendy.opb | 31.2262 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-libpoe-perl.cudf.trendy.opb | 136.342 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-xvfb.cudf.trendy.opb | 66.7705 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-mercurial-common.cudf.trendy.opb | 76.3489 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-gnochm.cudf.trendy.opb | 107.935 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-monodevelop-nunit.cudf.trendy.opb | 61.6493 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-konq-plugins.cudf.trendy.opb | 35.951 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-sonata.cudf.trendy.opb | 110.878 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-lirc.cudf.trendy.opb | 70.8122 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-texlive-generic-recommended.cudf.trendy.opb | 33.8215 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-libdbd-pg-perl.cudf.trendy.opb | 34.782 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-idle.cudf.trendy.opb | 77.0343 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-121.cudf.trendy.opb | 0.089886 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb | 0.052982 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-902.cudf.trendy.opb | 0.09993 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1335.cudf.trendy.opb | 0.281868 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1093.cudf.trendy.opb | 0.034695 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1097.cudf.trendy.opb | 0.029687 | OPTIMUM |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-557.cudf.trendy.opb | 0.206007 | UNSATISFIABLE |
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-658.cudf.trendy.opb | 0.014426 | UNSATISFIABLE |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__2048.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__512.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__64.opb | 108.282 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__256.opb | 1802.66 | SATISFIABLE |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__64.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__128.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__128.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__512.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__8.opb | 1804.17 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91.opb | 3.75684 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__32.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__256.opb | 268.365 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__128.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__32.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__8.opb | 123.965 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__8.opb | 1808.53 | SATISFIABLE |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__16.opb | 5.145 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__2048.opb | 138.708 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__1024.opb | 160.152 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__256.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__256.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__64.opb | 176.396 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__256.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__32.opb | 47.7445 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__16.opb | 18.898 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__16.opb | 255.378 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__1024.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366.opb | 21.2832 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__2048.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__64.opb | 1804.23 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__64.opb | 1805.31 | SATISFIABLE |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12.opb | 0.229217 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__128.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__512.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__16.opb | 1804.79 | SATISFIABLE |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__1024.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45.opb | 0.511229 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__512.opb | 176.271 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812.opb | 1804.78 | SATISFIABLE |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__64.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__128.opb | 74.2781 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__8.opb | 9.31779 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__512.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__32.opb | 139.228 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__64.opb | 27.941 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__16.opb | 1804.03 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__16.opb | 265.884 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__128.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__32.opb | 487.908 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__1024.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__256.opb | 216.985 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__256.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__128.opb | 122.593 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__2048.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__512.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766.opb | 741.954 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__1024.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__32.opb | 1410.91 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__2048.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__512.opb | 416.709 | SATISFIABLE |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__32.opb | 13.4408 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792.opb | 661.112 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__8.opb | 3.0165 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__8.opb | 53.8811 | OPTIMUM |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__16.opb | 604.944 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__1024.opb | 1800 | UNKNOWN |
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__8.opb | 1800 | UNKNOWN |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-combined-irabcde.opb | 1806.72 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-combined-irEDCBA.opb | 1806.98 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-2-irEDCBA.opb | 79.8637 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-irabcde.opb | 1806.7 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-2-irEDCBA.opb | 123.601 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-2-irabcde.opb | 1806.69 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-B-2-1-irEDCBA.opb | 0.481381 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb | 50.4112 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-2-irabcde.opb | 156.305 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-EDCBAir.opb | 1806.63 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-abcdeir.opb | 1806.43 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-irabcde.opb | 177.679 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-2-irabcde.opb | 49.5609 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-combined-irEDCBA.opb | 1807.11 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-combined-irabcde.opb | 4.44834 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-B-2-1-irEDCBA.opb | 1807.03 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-2-irEDCBA.opb | 1806.64 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-2-irEDCBA.opb | 5.10807 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-combined-irEDCBA.opb | 1806.62 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-abcdeir.opb | 1422.47 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-A-2-1-irEDCBA.opb | 43.1553 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-1-irEDCBA.opb | 1.55117 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irEDCBA.opb | 1.85216 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-1-irEDCBA.opb | 49.2214 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-combined-irabcde.opb | 53.3145 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb | 1806.85 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-B-2-1-irEDCBA.opb | 1806.93 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-irEDCBA.opb | 1806.92 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-A-2-combined-irabcde.opb | 1806.9 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-combined-irEDCBA.opb | 1806.93 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-2-irabcde.opb | 130.012 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irEDCBA.opb | 29.3955 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-1-irabcde.opb | 3.24788 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-combined-irabcde.opb | 0.962017 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-EDCBAir.opb | 1806.52 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-1-irabcde.opb | 1.49428 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-1-irabcde.opb | 29.6755 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-1-irabcde.opb | 47.6651 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-2-irEDCBA.opb | 53.7518 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-combined-irabcde.opb | 1809.31 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-1-abcdeir.opb | 13.043 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-irabcde.opb | 121.871 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-irEDCBA.opb | 1808.93 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-1-irEDCBA.opb | 6.95373 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-irEDCBA.opb | 1809.07 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-2-irEDCBA.opb | 6.22318 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-combined-irEDCBA.opb | 1.24645 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-1-irabcde.opb | 1806.91 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-2-irEDCBA.opb | 1809.34 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-combined-EDCBAir.opb | 1806.62 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-1-irEDCBA.opb | 15.4705 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-irabcde.opb | 1806.71 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-1-irabcde.opb | 35.806 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-combined-irabcde.opb | 1807.29 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-1-irEDCBA.opb | 99.2928 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irEDCBA.opb | 1806.82 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-1-irEDCBA.opb | 1.34688 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-2-irabcde.opb | 14.4347 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-1-irabcde.opb | 74.1537 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-2-irabcde.opb | 1806.91 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-1-irabcde.opb | 45.3328 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-abcdeir.opb | 1806.23 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-A-2-2-irEDCBA.opb | 1807.26 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-A-2-2-irabcde.opb | 1.13522 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-combined-irEDCBA.opb | 1806.66 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-EDCBAir.opb | 36.7629 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-combined-irabcde.opb | 5.38102 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-2-irabcde.opb | 1809.24 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-2-irEDCBA.opb | 1806.7 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-1-irEDCBA.opb | 10.9888 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-2-irabcde.opb | 17.3897 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-combined-irEDCBA.opb | 37.921 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-2-irabcde.opb | 3.49868 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-irEDCBA.opb | 1806.56 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-A-2-2-irEDCBA.opb | 10.4165 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-2-irabcde.opb | 1806.93 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-EDCBAir.opb | 1806.02 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-abcdeir.opb | 11.6741 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-2-irabcde.opb | 136.849 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-combined-irEDCBA.opb | 1806.96 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb | 1809.38 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-2-irabcde.opb | 1.13088 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-combined-irEDCBA.opb | 1809.08 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-1-irEDCBA.opb | 1806.94 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-EDCBAir.opb | 1804.6 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-1-irabcde.opb | 64.554 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-abcdeir.opb | 1806.93 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-irEDCBA.opb | 14.7212 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-B-2-1-irEDCBA.opb | 71.5825 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-1-EDCBAir.opb | 0.330667 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-1-irEDCBA.opb | 45.4109 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-1-irabcde.opb | 52.9082 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-EDCBAir.opb | 14.6933 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb | 2.04223 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-2-irEDCBA.opb | 147.45 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-1-irabcde.opb | 1806.92 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-A-2-1-irabcde.opb | 1.79345 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-1-irabcde.opb | 1807.35 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-1-irabcde.opb | 1806.94 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-1-irabcde.opb | 22.0048 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-EDCBAir.opb | 1805.97 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-combined-irabcde.opb | 5.67827 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-3-1-EDCBAir.opb | 40.2118 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb | 1806.78 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-A-2-2-irabcde.opb | 5.14757 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-combined-irEDCBA.opb | 125.966 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irEDCBA.opb | 1806.88 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-A-2-2-irabcde.opb | 1807.36 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-2-EDCBAir.opb | 4.64833 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irabcde.opb | 1806.97 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-irEDCBA.opb | 1806.75 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-combined-irEDCBA.opb | 88.0506 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-abcdeir.opb | 75.9499 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-EDCBAir.opb | 59.3186 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-2-irabcde.opb | 1807.02 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-2-irabcde.opb | 1806.38 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-irabcde.opb | 2.74647 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-A-2-combined-irEDCBA.opb | 55.3364 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-A-2-2-irEDCBA.opb | 7.9931 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-2-irEDCBA.opb | 1806.98 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-combined-irabcde.opb | 18.9735 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-3-combined-irEDCBA.opb | 34.8409 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-abcdeir.opb | 1806.85 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-abcdeir.opb | 60.7025 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-B-2-combined-irabcde.opb | 8.50525 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-combined-irabcde.opb | 1807.18 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-2-2-irEDCBA.opb | 1806.95 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-B-2-1-irEDCBA.opb | 10.6135 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-1-irEDCBA.opb | 1806.98 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-combined-abcdeir.opb | 24.5796 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irabcde.opb | 1807.13 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-1-irabcde.opb | 1806.86 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-1-irEDCBA.opb | 41.8428 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-1-EDCBAir.opb | 18.0509 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-combined-irEDCBA.opb | 44.3637 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-abcdeir.opb | 1806.31 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-combined-irabcde.opb | 1806.83 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-combined-irabcde.opb | 1.32128 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-irEDCBA.opb | 54.5568 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-irabcde.opb | 1808.8 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-combined-irabcde.opb | 154.479 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-2-irEDCBA.opb | 43.6688 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-2-irabcde.opb | 1804.6 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-combined-irabcde.opb | 1809.02 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-combined-irabcde.opb | 31.9363 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-combined-irEDCBA.opb | 3.11477 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-2-irEDCBA.opb | 3.90366 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f38-AC_TotalLoss.seq-A-2-combined-irabcde.opb | 1.93467 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-combined-irEDCBA.opb | 1808.72 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-1-irabcde.opb | 153.157 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-irabcde.opb | 1806.56 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-combined-irEDCBA.opb | 81.5418 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-combined-irEDCBA.opb | 1807.2 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-combined-irEDCBA.opb | 25.6359 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irabcde.opb | 87.6794 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-combined-irabcde.opb | 2.66066 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-1-abcdeir.opb | 1.73332 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-irabcde.opb | 1806.68 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-2-EDCBAir.opb | 2.27618 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-B-2-combined-irabcde.opb | 87.3428 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-1-abcdeir.opb | 14.7037 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-EDCBAir.opb | 1805.12 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-1-irEDCBA.opb | 1807.26 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-abcdeir.opb | 1805.99 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-2-irabcde.opb | 4.50367 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-2-irEDCBA.opb | 0.896354 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-abcdeir.opb | 1804.52 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-2-irEDCBA.opb | 1806.97 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-2-irabcde.opb | 165.601 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-combined-EDCBAir.opb | 53.2311 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb | 74.15 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-2-irabcde.opb | 3.16228 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-2-irEDCBA.opb | 1806.94 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-1-irabcde.opb | 1.36121 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-B-2-combined-irEDCBA.opb | 4.45561 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-irEDCBA.opb | 1806.65 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-B-2-1-irabcde.opb | 128.143 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-2-irabcde.opb | 1806.73 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-1-irabcde.opb | 1.41887 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-B-2-1-irEDCBA.opb | 1807.29 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-A-2-2-irabcde.opb | 1807.01 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-2-irEDCBA.opb | 1806.69 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-irabcde.opb | 1806.72 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-combined-irabcde.opb | 1806.72 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-irEDCBA.opb | 1806.79 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-combined-irEDCBA.opb | 20.5197 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-2-irEDCBA.opb | 1806.56 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-irabcde.opb | 1806.62 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-2-2-irEDCBA.opb | 1807.16 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-combined-irEDCBA.opb | 1.03739 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-B-2-1-irEDCBA.opb | 87.2382 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-combined-EDCBAir.opb | 96.314 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-EDCBAir.opb | 1806.16 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb | 1.7615 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-2-irEDCBA.opb | 129.416 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-EDCBAir.opb | 1806.31 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-irabcde.opb | 1806.54 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-B-2-1-irabcde.opb | 1806.77 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-irEDCBA.opb | 2.40075 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-2-irabcde.opb | 1804.5 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-1-irEDCBA.opb | 1.22296 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-2-irEDCBA.opb | 0.823857 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-1-abcdeir.opb | 23.7625 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-A-2-combined-irabcde.opb | 135.084 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-combined-irabcde.opb | 47.2707 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-1-irabcde.opb | 60.5038 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irEDCBA.opb | 105.899 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-1-irabcde.opb | 1809.36 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-combined-irabcde.opb | 10.8623 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-combined-irabcde.opb | 1806.92 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-B-2-2-irabcde.opb | 89.6001 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-1-irEDCBA.opb | 2.99833 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-combined-EDCBAir.opb | 1806.39 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-combined-irEDCBA.opb | 1.70541 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-combined-irEDCBA.opb | 1807 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-1-irabcde.opb | 1806.88 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-1-irEDCBA.opb | 1806.94 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-combined-irabcde.opb | 1807.05 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb | 78.9162 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irabcde.opb | 1806.72 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f38-AC_TotalLoss.seq-A-2-2-irEDCBA.opb | 2.00522 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-1-irEDCBA.opb | 1809.36 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-combined-irabcde.opb | 1806.75 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-combined-irEDCBA.opb | 1806.64 | SATISFIABLE |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-2-irabcde.opb | 36.4806 | OPTIMUM |
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-irEDCBA.opb | 1808.77 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb | 1800 | UNKNOWN |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm95p-opt.opb.negationfix.opb | 1800 | UNKNOWN |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb | 1800 | UNKNOWN |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm100p-opt.opb.negationfix.opb | 1800 | UNKNOWN |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb | 1800 | UNKNOWN |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb351595.lin.opb | 1804.29 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0334-0334.lin.opb | 791.957 | OPTIMUM |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb351535.lin.opb | 1804.54 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0099-9211.lin.opb | 600.535 | OPTIMUM |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-25.lin.opb | 1806.48 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0066-0066.lin.opb | 16.5335 | OPTIMUM |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb | 1800 | UNKNOWN |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0077-0077.lin.opb | 17.164 | OPTIMUM |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb | 88.4641 | UNKNOWN |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0344-0344.lin.opb | 1806.6 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0055-0062.lin.opb | 1.59342 | OPTIMUM |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302075.lin.opb | 1804.48 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-qap.lin.opb | 1807.98 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-30.lin.opb | 1805.92 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-28.lin.opb | 1806.22 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0044-1601.lin.opb | 0.546615 | OPTIMUM |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-60.lin.opb | 1805.35 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-41.lin.opb | 1808.42 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0234-0234.lin.opb | 6.95885 | OPTIMUM |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb351555.lin.opb | 1804.44 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb | 1800 | UNKNOWN |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-55.lin.opb | 1805.87 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-34.lin.opb | 1806.28 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302095.lin.opb | 204.165 | UNKNOWN |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0244-0244.lin.opb | 24.0242 | OPTIMUM |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-45.lin.opb | 1806.3 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302055.lin.opb | 1804.3 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-1010-0824.lin.opb | 1135.97 | OPTIMUM |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb351575.lin.opb | 1804.59 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302035.lin.opb | 1806.84 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay80.lin.opb | 162.293 | UNKNOWN |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-crossdock_15x8.lin.opb | 1806.03 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-38.lin.opb | 1806.21 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-cardqp_inlp.lin.opb | 1806.04 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-45.lin.opb | 1805.45 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0333-0333.lin.opb | 23.2356 | OPTIMUM |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-50.lin.opb | 1802.79 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-40.lin.opb | 1806.34 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-23.lin.opb | 1806.27 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0444-0444.lin.opb | 1806.62 | SATISFIABLE |
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0088-0088.lin.opb | 619.428 | OPTIMUM |
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome12.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-ds.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb | 1806.21 | SATISFIABLE |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb | 1807.47 | SATISFIABLE |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb | 0.24635 | OPTIMUM |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb | 1804.95 | SATISFIABLE |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb | 2.94416 | OPTIMUM |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb | 1805.78 | SATISFIABLE |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb | 30.4489 | OPTIMUM |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb | 1805.75 | UNKNOWN |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb | 2.15619 | OPTIMUM |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb | 1808.16 | SATISFIABLE |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb | 25.6283 | OPTIMUM |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb | 1.96706 | OPTIMUM |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb | 1806.17 | UNKNOWN |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb | 158.927 | UNKNOWN |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb | 89.2121 | OPTIMUM |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb | 1806.27 | SATISFIABLE |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb | 1805.58 | SATISFIABLE |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb | 1804.66 | SATISFIABLE |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb | 1804.86 | UNKNOWN |
normalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb | 1806.66 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb | 641.321 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb | 1808.14 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb | 855.624 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb | 562.636 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb | 1804.97 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb | 1804.25 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb | 1806.18 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb | 1802.76 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb | 1805.3 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb | 668.644 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb | 648.714 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb | 34.2656 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb | 1806.24 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb | 1805.27 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb | 1806.31 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb | 1806.29 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb | 437.363 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb | 410.075 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb | 463.938 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb | 529.438 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb | 1804.55 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb | 1806.1 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb | 1806.03 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb | 1804.58 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb | 714.052 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-van.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-trento1.opb | 1804.55 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2586-950.opb | 1808.79 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb | 1804.75 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb | 1803.65 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb | 279.692 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb | 121.726 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb | 1806 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb | 1805.3 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb | 1805.01 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dg012142.opb | 1805.83 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3703.opb | 150.446 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb | 145.738 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bk4x3.opb | 0.548337 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb | 1808.53 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb | 1805.76 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb | 1806.69 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb | 1805.52 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb | 146.281 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb | 1805.5 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb | 1805.79 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb | 1806.43 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb | 1806.61 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb | 147.828 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb | 1806.38 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb | 148.753 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb | 1805.67 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb | 145.98 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb | 1805.45 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb | 1805.88 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb | 105.486 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb | 1806 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb | 1805.44 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb | 148.056 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3701.opb | 146.922 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3702.opb | 148.366 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3705.opb | 145.684 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb | 149.19 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb | 1808.45 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb | 151.42 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3706.opb | 144.953 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb | 161.421 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb | 1806.97 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-mkc1.opb | 227.546 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_3.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath3.opb | 1806.4 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos7.opb | 1808.78 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bc1.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos13.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos2.opb | 1805.6 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb | 18.2964 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb | 1805.65 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb | 1.05109 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath1.opb | 1806.28 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb | 1805.7 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb | 1807.05 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb | 80.6069 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_5.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath2.opb | 1806.22 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb | 1806.44 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb | 12.8205 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb | 1808.38 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb | 1718.03 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos14.opb | 1806.04 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb | 1805.93 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_4.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb | 1805.37 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb | 1805.3 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome12.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome13.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb | 1805.33 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-blend2.opb | 1806.09 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1.opb | 4.97418 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb | 4.92996 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb | 1805.66 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-gen.opb | 1805.88 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc03.opb | 2.30811 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc04.opb | 520.966 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb | 1805.26 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb | 1805.8 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet4.opb | 1805.98 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-egout.opb | 6.58453 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1al.opb | 1806.05 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-khb05250.opb | 1804.8 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb | 1805.94 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb | 0.300867 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc06.opb | 1807.71 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb | 1805.66 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc02.opb | 0.162332 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb | 1809.29 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb | 1805.78 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc01.opb | 0.131787 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-flugpl.opb | 0.170056 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1cl.opb | 1805.94 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet3.opb | 1808.76 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell5.opb | 1805.89 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb | 56.0836 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb | 1808.93 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb | 580.328 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-qiu.opb | 11.9108 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb | 1806.32 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb | 185.008 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb | 6.52426 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum1.opb | 1.91586 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb | 1805.6 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb | 44.1937 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb | 1806.58 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2.opb | 1805.88 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb | 1805.93 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb | 1806.14 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb | 1805.39 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb | 1806.62 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb | 1807.16 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb | 1806.26 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb | 1804.86 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb | 1806.02 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb | 414.527 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas74.opb | 1806.58 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb | 1804.59 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb | 1805.52 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb | 1806.4 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-van.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb | 1805.22 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb | 47.0639 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare2.opb | 1809.37 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-ds.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb | 1808.09 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-modglob.opb | 759.503 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb | 1806.02 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb | 1807.24 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb | 1806.95 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb | 1806.14 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb | 1806.85 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-msc98-ip.opb | 1805.55 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb | 523.653 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb | 1806.63 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-dano3mip.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb | 14.5771 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb | 873.634 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb | 0.034126 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb | 0.433034 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb | 0.017521 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg2.opb | 1803.7 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-lotfi.opb | 1805.2 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb | 3.90284 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-etamacro.opb | 0.271075 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-adlittle.opb | 19.9603 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-forplan.opb | 305.552 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-nesm.opb | 2.1241 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-25fv47.opb | 2.48389 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb | 1805.93 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fffff800.opb | 1.89995 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-tuff.opb | 1804.22 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb | 1805.92 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing1.opb | 1803.57 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb | 3.50014 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb | 3.06078 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-beaconfd.opb | 1.90964 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap1.opb | 1805.82 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.opb | 1805.64 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb | 4.27001 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb | 34.2916 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standata.opb | 1805.67 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm1.opb | 0.509716 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb | 505.643 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing2.opb | 1808.79 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-brandy.opb | 0.352323 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12s.opb | 1.83001 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-capri.opb | 0.222369 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04l.opb | 1.95621 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb | 1804.22 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.opb | 1.49735 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros.opb | 1804.37 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd1.opb | 1807.59 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb | 0.920977 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow22.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scrs8.opb | 1804.06 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen2.opb | 1806.05 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-80bau3b.opb | 2.55555 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-israel.opb | 1808.67 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-wood1p.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share2b.opb | 1808.49 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb | 228.595 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot87.opb | 3.74348 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm3.opb | 1.53395 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb | 1803.39 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb | 286.597 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb | 1805.52 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr25.opb | 0.311909 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-e226.opb | 0.446508 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bandm.opb | 0.561149 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.we.opb | 1808.92 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb | 1805.75 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb | 1806 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor1.opb | 0.074146 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share1b.opb | 0.275328 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-woodw.opb | 13.9928 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb | 1805.46 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb | 1805.93 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb | 3.99854 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb | 1.93597 | OPTIMUM |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1p.opb | 1804.24 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow15.opb | 1802.79 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr7.opb | 0.077712 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb | 5.64517 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bore3d.opb | 0.240939 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.opb | 1805.77 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb | 1805.26 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb | 263.722 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-perold.opb | 1.064 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb | 1806.15 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm2.opb | 1.01983 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb | 1804.86 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot4.opb | 0.925049 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd6.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl2.opb | 3.06094 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standgub.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb | 1802.65 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ganges.opb | 0.946597 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb | 244.683 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb | 1805.85 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb | 1800 | UNKNOWN |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor2.opb | 1.48261 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08s.opb | 1.75386 | UNSATISFIABLE |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb | 185.99 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb | 1805.42 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb | 1806.05 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb | 1806.24 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb | 1244.29 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277.opb | 78.3195 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb | 20.003 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708.opb | 0.030215 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb | 1808.98 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb | 1805.95 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb | 1806.3 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb | 1806.67 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb | 1805.71 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114-max.opb | 1809 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb | 1806.01 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb | 1806.08 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb | 1805.79 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb | 415.436 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb | 1375.42 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650.opb | 1264.31 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb | 1805.87 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb | 1806.28 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb | 0.054876 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb | 738.402 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb | 1805.76 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb | 1806.14 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb | 1805.72 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb | 1805.84 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb | 1805.85 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb | 1805.9 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb | 1808.4 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb | 1808.89 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb | 1806.12 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb | 920.666 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb | 1806.26 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb | 1805.59 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb | 1806.71 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb | 1806.58 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb | 1805.59 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb | 1808.32 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb | 1806.7 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb | 1806.74 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb | 1806.72 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb | 1805.57 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb | 1808.63 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opb | 0.116599 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb | 1805.82 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690.opb | 1805.91 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb | 1806.18 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb | 0.052085 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb | 1805.8 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb | 1806.25 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb | 1808.84 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb | 1805.62 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522-max.opb | 1806.05 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb | 1806.01 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb | 1805.83 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb | 1805.87 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999.opb | 1805.92 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552.opb | 638.115 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb | 9.14489 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb | 1807.89 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb | 1805.51 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb | 1806.6 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb | 1805.9 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb | 485.379 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb | 1805.62 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480-max.opb | 1808.19 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb | 1805.65 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129.opb | 1805.49 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb | 344.19 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb | 1805.92 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415.opb | 556.994 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb | 1805.69 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb | 1806.06 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb | 1805.8 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb | 1806.46 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb | 1805.45 | SATISFIABLE |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb | 1805.66 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb | 1805.58 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb | 1805.52 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb | 1806.68 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb | 1806.43 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb | 1806.48 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb | 1806.33 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb | 241.763 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb | 1805.63 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb | 1805.64 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb | 1806.5 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb | 708.782 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641.opb | 1808.29 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155.opb | 1806.59 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb | 1806.49 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb | 138.496 | OPTIMUM |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155-max.opb | 1807.04 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb | 1806.19 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839-max.opb | 1806.25 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb | 1806.72 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb | 1806.51 | UNKNOWN |
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400-max.opb | 1806.12 | UNKNOWN |
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir08_trarea_ac.opb | 1805.8 | SATISFIABLE |
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb | 1805.84 | SATISFIABLE |
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir10_trarea_ac.opb | 1805.84 | SATISFIABLE |
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb | 1806.8 | SATISFIABLE |
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb | 1805.62 | SATISFIABLE |
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb | 1388.71 | OPTIMUM |
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb | 1809.29 | SATISFIABLE |
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir07_trarea_ac.opb | 1806.77 | SATISFIABLE |