InstanceRuntimeResult
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_8_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_8_ic.opb242.799UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_2_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_5_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_0_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_7_ic.opb226.008UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_3_ic.opb254.82UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_4_ic.opb246.632UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_5_ic.opb224.591UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_9_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_2_ic.opb227.813UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_0_ic.opb221.863UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_4_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_9_ic.opb226.435UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_6_ic.opb223.706UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_6_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_3_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_1_ic.opb234.703UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_7_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_6_ic.opb13.5422OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_0_ic.opb1804.95SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_4_ic.opb19.5898OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_8_ic.opb28.1286OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_7_ic.opb1807.28UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_1_ic.opb1805.29UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_2_ic.opb27.8596OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_1_ic.opb12.5175OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_9_ic.opb24.4063OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_3_ic.opb1805.15SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_5_ic.opb1804.9UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_2_ic.opb1805SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_9_ic.opb1805.14SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_8_ic.opb1805.03SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_5_ic.opb30.9781OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_5_ic.opb1805.01SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_4_ic.opb1804.97UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_2_ic.opb1804.88UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_4_ic.opb1804.86SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_6_ic.opb1805.43SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_0_ic.opb21.5888OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_9_ic.opb1807.26UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_8_ic.opb1804.73UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_7_ic.opb32.2043OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_6_ic.opb1804.89UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_3_ic.opb84.9526OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_0_ic.opb1803.03UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_1_ic.opb1805.13SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_7_ic.opb1804.89SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_3_ic.opb1804.66UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_4_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_4_mh.opb501.385OPTIMUM
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_5_mh.opb310.467SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_7_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_5_mh.opb501.832OPTIMUM
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_5_mh.opb1803.79SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_6_mh.opb1803.84SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_0_mh.opb99.353OPTIMUM
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_7_mh.opb1154.87OPTIMUM
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_9_mh.opb340.367SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_8_mh.opb1804.01SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb1805.88SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_9_mh.opb828.554OPTIMUM
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_3_mh.opb973.225OPTIMUM
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_2_mh.opb322.954SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_6_mh.opb351.258SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_3_mh.opb266.023SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_8_mh.opb1805.77SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_8_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_0_mh.opb1803.21SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_0_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_6_mh.opb189.904OPTIMUM
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_4_mh.opb1803.97UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_1_mh.opb1430.28OPTIMUM
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_1_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_3_mh.opb1803.9SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_1_mh.opb1804.08SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_9_mh.opb1806.61SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_7_mh.opb1803.87UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_2_mh.opb1806.11SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_0_mh_ic.opb181.84UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_3_mh_ic.opb1803.33SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_4_mh_ic.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_7_mh_ic.opb1802.25SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_0_mh_ic.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_5_mh_ic.opb1803.16SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_5_mh_ic.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_5_mh_ic.opb1805.49SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_8_mh_ic.opb1228.89OPTIMUM
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_6_mh_ic.opb1803.42SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_mh_ic.opb1805.79SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_0_mh_ic.opb1805.78UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_0_mh_ic.opb1603.94OPTIMUM
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_4_mh_ic.opb1803.4UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_9_mh_ic.opb203.682UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_9_mh_ic.opb1805.6UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_6_mh_ic.opb187.337UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_3_mh_ic.opb208.69SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_1_mh_ic.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_6_mh_ic.opb1805.75SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_3_mh_ic.opb1805.59SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_8_mh_ic.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_1_mh_ic.opb1802.19UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_8_mh_ic.opb195.475UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_6_mh_ic.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_8_mh_ic.opb1803.25SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_4_mh_ic.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_2_mh_ic.opb1804.61SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_7_mh_ic.opb180.283UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_9_mh_ic.opb1805.63SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_8.opb1805.68SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb1805.19SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_2.opb1805.26SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_8.opb1804.31SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_4.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_5.opb405.234SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_6.opb1804.82SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_8.opb1805.05SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_9.opb1797.24SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_0.opb1805.75SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_7.opb1325.1SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb1804.81SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb1803.09SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_0.opb1272.89SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_6.opb1805.36SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb1805.63SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_7.opb1807.68SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_3.opb313.396SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb1807.76SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_8.opb1804.77SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_9.opb359.137SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_7.opb264.395SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_9.opb1805.82SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb1805.28SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_6.opb373.763SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_4.opb1804.73SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_9.opb1805.47SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_1.opb342.351SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_2.opb291.218SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb1805.27SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-opm2-z11-s8.opb145.112UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-opm2-z10-s2.opb1804.19UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-ivu06-big.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-opm2-z12-s14.opb102.393UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-stp3d.opb184.241UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-opm2-z9-s14.opb1805.06UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-bley_xl1.opb21.3758OPTIMUM
OPT-BIGINT-LIN/heinz/normalized-ds-big.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-opm2-z12-s7.opb102.028UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-n3div36.opb1805.61SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-co-100.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-zib01.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-netdiversion.opb1805.12UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-sp97ar.opb1807.58UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-harp2.opb1806.37SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-sp98ar.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-t1717.opb158.323UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-t1722.opb136.919UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-eilB101.opb1806.25SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-air04.opb1807.43SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-ns1685374.opb1807.26SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-n3seq24.opb132.121UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-ivu52.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-neos-941313.opb111.673UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-opm2-z7-s2.opb1805.96UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-sp98ic.opb1807.31UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-ns1663818.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX300_K192_cod2.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_0null0mast_rapportOE2.0_TMAX15_K192_cod2.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX60_K192_cod1.opb1804.85UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null10mast_rapportOE2.0_TMAX15_K192_cod2.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX60_K192_cod1.opb1805.02UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null20mast_rapportOE2.0_TMAX300_K192_cod1.opb1805.15UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX15_K192_cod1.opb1804.85UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb1804.79UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null50mast_rapportOE1.0_TMAX300_K192_cod2.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb1804.67UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_0null20mast_rapportOE2.0_TMAX120_K192_cod2.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX15_K192_cod1.opb1804.89UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_0null10mast_rapportOE1.0_TMAX300_K192_cod1.opb1804.93UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb1804.92UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_0null10mast_rapportOE1.0_TMAX180_K192_cod1.opb1804.71UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX60_K192_cod1.opb1807.33UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod1.opb1804.63UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX300_K192_cod1.opb1805.09UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null20mast_rapportOE2.0_TMAX15_K192_cod2.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX300_K192_cod1.opb1804.71UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX300_K192_cod1.opb1804.7UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_0null50mast_rapportOE1.0_TMAX300_K192_cod1.opb1804.62UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX60_K192_cod1.opb1805.03UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null20mast_rapportOE1.0_TMAX180_K192_cod1.opb1804.85UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null50mast_rapportOE2.0_TMAX300_K192_cod1.opb1804.89UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb1804.61UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb1804.57UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX180_K192_cod1.opb1807.43UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null50mast_rapportOE1.0_TMAX60_K192_cod1.opb1807.5UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb1807.5UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null50mast_rapportOE1.0_TMAX300_K67_cod3.opb1807.89SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE1.0_TMAX15_K67_cod2.opb74.3168OPTIMUM
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE1.0_TMAX120_K67_cod1.opb1805.34SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE1.0_TMAX180_K67_cod3.opb1807.55SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE1.0_TMAX300_K67_cod1.opb1805.01SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX60_K67_cod1.opb1804.84SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null20mast_rapportOE2.0_TMAX300_K67_cod3.opb1805.87SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null50mast_rapportOE1.0_TMAX120_K67_cod1.opb1805.82SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX60_K67_cod3.opb1805.06UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX60_K67_cod1.opb1805.79SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_10null50mast_rapportOE1.0_TMAX120_K67_cod3.opb1805.34SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE1.0_TMAX120_K67_cod3.opb1804.92SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX300_K67_cod3.opb1805.6SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null20mast_rapportOE2.0_TMAX120_K67_cod1.opb1805.9SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX180_K67_cod1.opb1805.83SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null20mast_rapportOE1.0_TMAX120_K67_cod1.opb1805.05SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_0null50mast_rapportOE2.0_TMAX15_K67_cod1.opb1807.34SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod1.opb1805.72SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX300_K67_cod1.opb1805.46SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX15_K67_cod1.opb1805.39SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX60_K67_cod1.opb1805.01UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null50mast_rapportOE2.0_TMAX120_K67_cod3.opb1805.08SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null50mast_rapportOE1.0_TMAX15_K67_cod3.opb1805.53SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb1806.21SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null20mast_rapportOE1.0_TMAX180_K67_cod3.opb1805.96SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null50mast_rapportOE1.0_TMAX15_K67_cod1.opb1808.83SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod1.opb1804.98UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod3.opb1806.09SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX300_K67_cod3.opb1805.32SATISFIABLE
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null50mast_rapportOE2.0_TMAX60_K67_cod2.opb1806.31SATISFIABLE
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.20-12.opb384.423OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.20-13.opb1805.11SATISFIABLE
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.10-8.opb79.344OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.01-2.opb50.6576OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.10-10.opb13.3811OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-7.opb110.028OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.10-10.opb142.67OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.E.recomb10-0.20-11.opb17.9688OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.01-4.opb119.311OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.10-10.opb32.1446OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.20-13.opb49.6893OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.20-13.opb85.1334OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-9.opb116.88OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.20-15.opb77.1377OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.01-2.opb87.2752OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.01-5.opb59.9091OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.01-2.opb144.159OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.01-2.opb27.9891OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.10-7.opb10.6824OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.E.recomb10-0.20-14.opb29.6042OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.20-11.opb1805.07SATISFIABLE
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.20-14.opb174.116OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.20-12.opb172.483OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.01-1.opb74.5834OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-10.opb88.5691OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-8.opb97.46OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.10-7.opb124.644OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.01-5.opb183.925OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.01-1.opb7.96075OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.10-9.opb11.8409OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb0.314183UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand659e05.cudf.paranoid.opb0.278446UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randee102b.cudf.paranoid.opb2.33974OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand43bd88.cudf.paranoid.opb3.84138OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand2fa1f8.cudf.paranoid.opb0.098222UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rande22180.cudf.paranoid.opb0.168153UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randea4da3.cudf.paranoid.opb0.137946UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand396cf8.cudf.paranoid.opb1.45446OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand49e642.cudf.paranoid.opb1.52213OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randd6bc17.cudf.paranoid.opb1.00714OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand88811a.cudf.paranoid.opb1.41359OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand56b853.cudf.paranoid.opb1.1541OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand6c4744.cudf.paranoid.opb0.110292UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randa65dfb.cudf.paranoid.opb1.30437OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randab5933.cudf.paranoid.opb0.145363UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randdd5509.cudf.paranoid.opb0.163811UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb1.45384OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand682c92.cudf.paranoid.opb0.099417UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-mono-gac.cudf.paranoid.opb10.2262OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kmines.cudf.paranoid.opb9.15582OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb8.93777OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-tasque.cudf.paranoid.opb10.2852OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-plasma-widgets-workspace.cudf.paranoid.opb8.17552OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kjumpingcube.cudf.paranoid.opb7.85571OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kdessh.cudf.paranoid.opb10.4492OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-gtwitter.cudf.paranoid.opb7.88596OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb9.29682OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kphotoalbum.cudf.paranoid.opb8.12435OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-upstart-compat-sysv.cudf.paranoid.opb12.1486OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-r-cran-car.cudf.paranoid.opb9.40049OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-r-cran-rodbc.cudf.paranoid.opb9.59638OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-libmono-relaxng1.0-cil.cudf.paranoid.opb8.77098OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-system-config-printer.cudf.paranoid.opb9.20885OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libpango-perl.cudf.paranoid.opb9.1525OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-codebreaker.cudf.paranoid.opb12.3349OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-evolution-dev.cudf.paranoid.opb9.40633OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libcatalyst-perl.cudf.paranoid.opb9.63196OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-python-hippocanvas.cudf.paranoid.opb12.2441OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-konq-plugins.cudf.paranoid.opb11.2809OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libhtml-parser-perl.cudf.paranoid.opb9.84765OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-unattended-upgrades.cudf.paranoid.opb10.4736OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-epiphany-browser.cudf.paranoid.opb10.5586OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-dwww.cudf.paranoid.opb7.73679OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-python-cairo.cudf.paranoid.opb9.35471OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libpoe-perl.cudf.paranoid.opb12.6683OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-txt2html.cudf.paranoid.opb7.98595OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libcyrus-imap-perl22.cudf.paranoid.opb9.23661OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-synaptic.cudf.paranoid.opb10.2198OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-hal-cups-utils.cudf.paranoid.opb10.4622OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb7.49649OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1131.cudf.paranoid.opb0.283761UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1468.cudf.paranoid.opb1.53964OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb1.50267OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-520.cudf.paranoid.opb0.216504UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randf7d077.cudf.trendy.opb4.29225UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randa491d5.cudf.trendy.opb4.6699UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand6d579e.cudf.trendy.opb9.47875OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randb87834.cudf.trendy.opb6.63323OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand2d8467.cudf.trendy.opb11.0721OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand65d021.cudf.trendy.opb3.33188UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand5c0b12.cudf.trendy.opb0.3055UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand659e05.cudf.trendy.opb0.29728UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand8177e7.cudf.trendy.opb7.93842OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randee102b.cudf.trendy.opb1.39831OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb4.53329OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randfe95e3.cudf.trendy.opb0.266213UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randd1cab2.cudf.trendy.opb5.87382OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand0c02bc.cudf.trendy.opb10.1808OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb6.90807OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5b1f2.cudf.trendy.opb0.177204UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand085d8a.cudf.trendy.opb3.6931OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand271a0d.cudf.trendy.opb0.15671UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randb54299.cudf.trendy.opb6.46432OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand767898.cudf.trendy.opb2.98226OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.trendy.opb5.66292OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randf794d2.cudf.trendy.opb16.6948OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand27da90.cudf.trendy.opb8.60812OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand362510.cudf.trendy.opb8.21156OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand5d20db.cudf.trendy.opb3.47686OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand00ebc7.cudf.trendy.opb0.242002UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randec6fe1.cudf.trendy.opb7.12601OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randfd04d4.cudf.trendy.opb1.91999OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc18b26.cudf.trendy.opb3.82116OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb2.3826OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rande2165e.cudf.trendy.opb8.35682OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randcef367.cudf.trendy.opb0.192924UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand7e9372.cudf.trendy.opb3.84404OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randdd5509.cudf.trendy.opb0.176853UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randcbf550.cudf.trendy.opb0.095307UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand56b853.cudf.trendy.opb3.09064OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randa65dfb.cudf.trendy.opb5.28835OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand03b0b5.cudf.trendy.opb0.091994UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb2.45533OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand1958fb.cudf.trendy.opb7.35389OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kphotoalbum.cudf.trendy.opb44.4734OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-ark.cudf.trendy.opb41.879OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb60.6358OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-libmono-addins-gui0.2-cil.cudf.trendy.opb113.289OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-plasma-widgets-workspace.cudf.trendy.opb29.933OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kommander.cudf.trendy.opb29.9729OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-r-cran-car.cudf.trendy.opb69.2653OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-inetutils-syslogd.cudf.trendy.opb33.6231OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-mono-gac.cudf.trendy.opb36.9638OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kblocks.cudf.trendy.opb32.9737OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-gtwitter.cudf.trendy.opb58.3561OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-txt2html.cudf.trendy.opb31.2262OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-libpoe-perl.cudf.trendy.opb136.342OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-xvfb.cudf.trendy.opb66.7705OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-mercurial-common.cudf.trendy.opb76.3489OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-gnochm.cudf.trendy.opb107.935OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-monodevelop-nunit.cudf.trendy.opb61.6493OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-konq-plugins.cudf.trendy.opb35.951OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-sonata.cudf.trendy.opb110.878OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-lirc.cudf.trendy.opb70.8122OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-texlive-generic-recommended.cudf.trendy.opb33.8215OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-libdbd-pg-perl.cudf.trendy.opb34.782OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-idle.cudf.trendy.opb77.0343OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-121.cudf.trendy.opb0.089886UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb0.052982OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-902.cudf.trendy.opb0.09993OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1335.cudf.trendy.opb0.281868UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1093.cudf.trendy.opb0.034695UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1097.cudf.trendy.opb0.029687OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-557.cudf.trendy.opb0.206007UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-658.cudf.trendy.opb0.014426UNSATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__2048.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__512.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__64.opb108.282UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__256.opb1802.66SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__64.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__128.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__128.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__512.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__8.opb1804.17UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91.opb3.75684OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__32.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__256.opb268.365UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__128.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__32.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__8.opb123.965UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__8.opb1808.53SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__16.opb5.145OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__2048.opb138.708UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__1024.opb160.152UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__256.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__256.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__64.opb176.396OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__256.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__32.opb47.7445OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__16.opb18.898OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__16.opb255.378OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__1024.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366.opb21.2832OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__2048.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__64.opb1804.23UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__64.opb1805.31SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12.opb0.229217OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__128.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__512.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__16.opb1804.79SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__1024.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45.opb0.511229OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__512.opb176.271UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812.opb1804.78SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__64.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__128.opb74.2781OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__8.opb9.31779OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__512.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__32.opb139.228UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__64.opb27.941OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__16.opb1804.03UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__16.opb265.884UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__128.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__32.opb487.908UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__1024.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__256.opb216.985OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__256.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__128.opb122.593UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__2048.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__512.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766.opb741.954OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__1024.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__32.opb1410.91OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__2048.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__512.opb416.709SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__32.opb13.4408OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792.opb661.112OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__8.opb3.0165OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__8.opb53.8811OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__16.opb604.944UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__1024.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__8.opb1800UNKNOWN
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-combined-irabcde.opb1806.72SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-combined-irEDCBA.opb1806.98SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-2-irEDCBA.opb79.8637OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-irabcde.opb1806.7SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-2-irEDCBA.opb123.601OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-2-irabcde.opb1806.69SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-B-2-1-irEDCBA.opb0.481381OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb50.4112OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-2-irabcde.opb156.305OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-EDCBAir.opb1806.63SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-abcdeir.opb1806.43SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-irabcde.opb177.679OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-2-irabcde.opb49.5609OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-combined-irEDCBA.opb1807.11SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-combined-irabcde.opb4.44834OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-B-2-1-irEDCBA.opb1807.03SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-2-irEDCBA.opb1806.64SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-2-irEDCBA.opb5.10807OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-combined-irEDCBA.opb1806.62SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-abcdeir.opb1422.47OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-A-2-1-irEDCBA.opb43.1553OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-1-irEDCBA.opb1.55117OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irEDCBA.opb1.85216OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-1-irEDCBA.opb49.2214OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-combined-irabcde.opb53.3145OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb1806.85SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-B-2-1-irEDCBA.opb1806.93SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-irEDCBA.opb1806.92SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-A-2-combined-irabcde.opb1806.9SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-combined-irEDCBA.opb1806.93SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-2-irabcde.opb130.012OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irEDCBA.opb29.3955OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-1-irabcde.opb3.24788OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-combined-irabcde.opb0.962017OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-EDCBAir.opb1806.52SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-1-irabcde.opb1.49428OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-1-irabcde.opb29.6755OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-1-irabcde.opb47.6651OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-2-irEDCBA.opb53.7518OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-combined-irabcde.opb1809.31SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-1-abcdeir.opb13.043OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-irabcde.opb121.871OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-irEDCBA.opb1808.93SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-1-irEDCBA.opb6.95373OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-irEDCBA.opb1809.07SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-2-irEDCBA.opb6.22318OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-combined-irEDCBA.opb1.24645OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-1-irabcde.opb1806.91SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-2-irEDCBA.opb1809.34SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-combined-EDCBAir.opb1806.62SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-1-irEDCBA.opb15.4705OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-irabcde.opb1806.71SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-1-irabcde.opb35.806OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-combined-irabcde.opb1807.29SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-1-irEDCBA.opb99.2928OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irEDCBA.opb1806.82SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-1-irEDCBA.opb1.34688OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-2-irabcde.opb14.4347OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-1-irabcde.opb74.1537OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-2-irabcde.opb1806.91SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-1-irabcde.opb45.3328OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-abcdeir.opb1806.23SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-A-2-2-irEDCBA.opb1807.26SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-A-2-2-irabcde.opb1.13522OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-combined-irEDCBA.opb1806.66SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-EDCBAir.opb36.7629OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-combined-irabcde.opb5.38102OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-2-irabcde.opb1809.24SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-2-irEDCBA.opb1806.7SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-1-irEDCBA.opb10.9888OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-2-irabcde.opb17.3897OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-combined-irEDCBA.opb37.921OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-2-irabcde.opb3.49868OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-irEDCBA.opb1806.56SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-A-2-2-irEDCBA.opb10.4165OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-2-irabcde.opb1806.93SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-EDCBAir.opb1806.02SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-abcdeir.opb11.6741OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-2-irabcde.opb136.849OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-combined-irEDCBA.opb1806.96SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb1809.38SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-2-irabcde.opb1.13088OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-combined-irEDCBA.opb1809.08SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-1-irEDCBA.opb1806.94SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-EDCBAir.opb1804.6SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-1-irabcde.opb64.554OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-abcdeir.opb1806.93SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-irEDCBA.opb14.7212OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-B-2-1-irEDCBA.opb71.5825OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-1-EDCBAir.opb0.330667OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-1-irEDCBA.opb45.4109OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-1-irabcde.opb52.9082OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-EDCBAir.opb14.6933OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb2.04223OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-2-irEDCBA.opb147.45OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-1-irabcde.opb1806.92SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-A-2-1-irabcde.opb1.79345OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-1-irabcde.opb1807.35SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-1-irabcde.opb1806.94SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-1-irabcde.opb22.0048OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-EDCBAir.opb1805.97SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-combined-irabcde.opb5.67827OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-3-1-EDCBAir.opb40.2118OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb1806.78SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-A-2-2-irabcde.opb5.14757OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-combined-irEDCBA.opb125.966OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irEDCBA.opb1806.88SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-A-2-2-irabcde.opb1807.36SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-2-EDCBAir.opb4.64833OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irabcde.opb1806.97SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-irEDCBA.opb1806.75SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-combined-irEDCBA.opb88.0506OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-abcdeir.opb75.9499OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-EDCBAir.opb59.3186OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-2-irabcde.opb1807.02SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-2-irabcde.opb1806.38SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-irabcde.opb2.74647OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-A-2-combined-irEDCBA.opb55.3364OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-A-2-2-irEDCBA.opb7.9931OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-2-irEDCBA.opb1806.98SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-combined-irabcde.opb18.9735OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-3-combined-irEDCBA.opb34.8409OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-abcdeir.opb1806.85SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-abcdeir.opb60.7025OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-B-2-combined-irabcde.opb8.50525OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-combined-irabcde.opb1807.18SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-2-2-irEDCBA.opb1806.95SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-B-2-1-irEDCBA.opb10.6135OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-1-irEDCBA.opb1806.98SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-combined-abcdeir.opb24.5796OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irabcde.opb1807.13SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-1-irabcde.opb1806.86SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-1-irEDCBA.opb41.8428OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-1-EDCBAir.opb18.0509OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-combined-irEDCBA.opb44.3637OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-abcdeir.opb1806.31SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-combined-irabcde.opb1806.83SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-combined-irabcde.opb1.32128OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-irEDCBA.opb54.5568OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-irabcde.opb1808.8SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-combined-irabcde.opb154.479OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-2-irEDCBA.opb43.6688OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-2-irabcde.opb1804.6SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-combined-irabcde.opb1809.02SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-combined-irabcde.opb31.9363OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-combined-irEDCBA.opb3.11477OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-2-irEDCBA.opb3.90366OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f38-AC_TotalLoss.seq-A-2-combined-irabcde.opb1.93467OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-combined-irEDCBA.opb1808.72SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-1-irabcde.opb153.157OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-irabcde.opb1806.56SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-combined-irEDCBA.opb81.5418OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-combined-irEDCBA.opb1807.2SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-combined-irEDCBA.opb25.6359OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irabcde.opb87.6794OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-combined-irabcde.opb2.66066OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-1-abcdeir.opb1.73332OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-irabcde.opb1806.68SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-2-EDCBAir.opb2.27618OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-B-2-combined-irabcde.opb87.3428OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-1-abcdeir.opb14.7037OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-EDCBAir.opb1805.12SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-1-irEDCBA.opb1807.26SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-abcdeir.opb1805.99SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-2-irabcde.opb4.50367OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-2-irEDCBA.opb0.896354OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-abcdeir.opb1804.52SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-2-irEDCBA.opb1806.97SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-2-irabcde.opb165.601OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-combined-EDCBAir.opb53.2311OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb74.15OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-2-irabcde.opb3.16228OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-2-irEDCBA.opb1806.94SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-1-irabcde.opb1.36121OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-B-2-combined-irEDCBA.opb4.45561OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-irEDCBA.opb1806.65SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-B-2-1-irabcde.opb128.143OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-2-irabcde.opb1806.73SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-1-irabcde.opb1.41887OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-B-2-1-irEDCBA.opb1807.29SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-A-2-2-irabcde.opb1807.01SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-2-irEDCBA.opb1806.69SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-irabcde.opb1806.72SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-combined-irabcde.opb1806.72SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-irEDCBA.opb1806.79SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-combined-irEDCBA.opb20.5197OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-2-irEDCBA.opb1806.56SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-irabcde.opb1806.62SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-2-2-irEDCBA.opb1807.16SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-combined-irEDCBA.opb1.03739OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-B-2-1-irEDCBA.opb87.2382OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-combined-EDCBAir.opb96.314OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-EDCBAir.opb1806.16SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb1.7615OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-2-irEDCBA.opb129.416OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-EDCBAir.opb1806.31SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-irabcde.opb1806.54SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-B-2-1-irabcde.opb1806.77SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-irEDCBA.opb2.40075OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-2-irabcde.opb1804.5SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-1-irEDCBA.opb1.22296OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-2-irEDCBA.opb0.823857OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-1-abcdeir.opb23.7625OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-A-2-combined-irabcde.opb135.084OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-combined-irabcde.opb47.2707OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-1-irabcde.opb60.5038OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irEDCBA.opb105.899OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-1-irabcde.opb1809.36SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-combined-irabcde.opb10.8623OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-combined-irabcde.opb1806.92SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-B-2-2-irabcde.opb89.6001OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-1-irEDCBA.opb2.99833OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-combined-EDCBAir.opb1806.39SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-combined-irEDCBA.opb1.70541OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-combined-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-1-irabcde.opb1806.88SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-1-irEDCBA.opb1806.94SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-combined-irabcde.opb1807.05SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb78.9162OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irabcde.opb1806.72SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f38-AC_TotalLoss.seq-A-2-2-irEDCBA.opb2.00522OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-1-irEDCBA.opb1809.36SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-combined-irabcde.opb1806.75SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-combined-irEDCBA.opb1806.64SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-2-irabcde.opb36.4806OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-irEDCBA.opb1808.77SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm95p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm100p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb351595.lin.opb1804.29SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0334-0334.lin.opb791.957OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb351535.lin.opb1804.54SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0099-9211.lin.opb600.535OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-25.lin.opb1806.48SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0066-0066.lin.opb16.5335OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0077-0077.lin.opb17.164OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb88.4641UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0344-0344.lin.opb1806.6SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0055-0062.lin.opb1.59342OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302075.lin.opb1804.48SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-qap.lin.opb1807.98SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-30.lin.opb1805.92SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-28.lin.opb1806.22SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0044-1601.lin.opb0.546615OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-60.lin.opb1805.35SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-41.lin.opb1808.42SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0234-0234.lin.opb6.95885OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb351555.lin.opb1804.44SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-55.lin.opb1805.87SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-34.lin.opb1806.28SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302095.lin.opb204.165UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0244-0244.lin.opb24.0242OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-45.lin.opb1806.3SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302055.lin.opb1804.3SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-1010-0824.lin.opb1135.97OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb351575.lin.opb1804.59SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302035.lin.opb1806.84SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay80.lin.opb162.293UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-crossdock_15x8.lin.opb1806.03SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-38.lin.opb1806.21SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-cardqp_inlp.lin.opb1806.04SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-45.lin.opb1805.45SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0333-0333.lin.opb23.2356OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-50.lin.opb1802.79SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-40.lin.opb1806.34SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-23.lin.opb1806.27SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0444-0444.lin.opb1806.62SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0088-0088.lin.opb619.428OPTIMUM
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb1800UNKNOWN
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome12.opb1800UNKNOWN
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-ds.opb1800UNKNOWN
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb1806.21SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb1800UNKNOWN
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb1807.47SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb0.24635OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb1804.95SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb2.94416OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb1805.78SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb30.4489OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb1805.75UNKNOWN
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb2.15619OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb1808.16SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb25.6283OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb1.96706OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb1806.17UNKNOWN
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb158.927UNKNOWN
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb89.2121OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb1800UNKNOWN
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb1806.27SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb1805.58SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb1804.66SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb1804.86UNKNOWN
normalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb1806.66SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb641.321OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb1808.14SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb855.624OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb562.636UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb1804.97UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb1804.25UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb1806.18SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb1802.76UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb1805.3SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb668.644UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb648.714UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb34.2656OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb1806.24SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb1805.27UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb1806.31SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb1806.29SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb437.363UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb410.075UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb463.938UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb529.438UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb1804.55UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb1806.1SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb1806.03SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb1804.58SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb714.052UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-van.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-trento1.opb1804.55UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2586-950.opb1808.79SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb1804.75UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb1803.65SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb279.692OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb121.726UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb1805.3SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb1805.01SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dg012142.opb1805.83UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3703.opb150.446UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb145.738UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bk4x3.opb0.548337OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb1808.53SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb1805.76SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb1806.69SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb1805.52SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb146.281UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb1805.5SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb1805.79SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb1806.43SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb1806.61SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb147.828UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb1806.38SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb148.753UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb1805.67SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb145.98UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb1805.45SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb1805.88SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb105.486OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb1805.44SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb148.056UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3701.opb146.922UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3702.opb148.366UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3705.opb145.684UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb149.19UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb1808.45SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb151.42UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3706.opb144.953UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb161.421UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb1806.97SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-mkc1.opb227.546UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_3.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath3.opb1806.4UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos7.opb1808.78SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bc1.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos13.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos2.opb1805.6UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb18.2964OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb1805.65SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb1.05109OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath1.opb1806.28UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb1805.7UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb1807.05SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb80.6069OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_5.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath2.opb1806.22UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb1806.44SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb12.8205OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb1808.38SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb1718.03UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos14.opb1806.04SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb1805.93SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_4.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb1805.37SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb1805.3UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome12.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome13.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb1805.33UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-blend2.opb1806.09UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1.opb4.97418UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb4.92996UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb1805.66SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-gen.opb1805.88SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc03.opb2.30811OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc04.opb520.966UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb1805.26SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb1805.8SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet4.opb1805.98SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-egout.opb6.58453OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1al.opb1806.05SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-khb05250.opb1804.8UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb1805.94SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb0.300867OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc06.opb1807.71UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb1805.66SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc02.opb0.162332OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb1809.29SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb1805.78SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc01.opb0.131787OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-flugpl.opb0.170056OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1cl.opb1805.94SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet3.opb1808.76SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell5.opb1805.89SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb56.0836OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb1808.93SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb580.328OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-qiu.opb11.9108UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb1806.32SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb185.008UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb6.52426OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum1.opb1.91586UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb1805.6SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb44.1937UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb1806.58SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2.opb1805.88SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb1805.93SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb1806.14SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb1805.39UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb1806.62SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb1807.16SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb1806.26SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb1804.86UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb1806.02SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb414.527OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas74.opb1806.58SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb1804.59SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb1805.52SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb1806.4UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-van.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb1805.22UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb47.0639UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare2.opb1809.37SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-ds.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb1808.09SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-modglob.opb759.503UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb1806.02UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb1807.24UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb1806.95UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb1806.14SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb1806.85UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-msc98-ip.opb1805.55SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb523.653UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb1806.63SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-dano3mip.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb14.5771UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb873.634OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb0.034126OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb0.433034OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb0.017521OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg2.opb1803.7UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-lotfi.opb1805.2UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb3.90284OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-etamacro.opb0.271075UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-adlittle.opb19.9603UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-forplan.opb305.552UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-nesm.opb2.1241UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-25fv47.opb2.48389UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb1805.93SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fffff800.opb1.89995UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-tuff.opb1804.22UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb1805.92UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing1.opb1803.57UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb3.50014UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb3.06078OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-beaconfd.opb1.90964UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap1.opb1805.82SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.opb1805.64UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb4.27001OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb34.2916OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standata.opb1805.67UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm1.opb0.509716UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb505.643UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing2.opb1808.79UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-brandy.opb0.352323UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12s.opb1.83001UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-capri.opb0.222369UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04l.opb1.95621UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb1804.22UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.opb1.49735UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros.opb1804.37UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd1.opb1807.59UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb0.920977UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow22.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scrs8.opb1804.06UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen2.opb1806.05UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-80bau3b.opb2.55555UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-israel.opb1808.67SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-wood1p.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share2b.opb1808.49UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb228.595UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot87.opb3.74348UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm3.opb1.53395UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb1803.39UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb286.597UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb1805.52UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr25.opb0.311909UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-e226.opb0.446508UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bandm.opb0.561149UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.we.opb1808.92UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb1805.75UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor1.opb0.074146UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share1b.opb0.275328UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-woodw.opb13.9928UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb1805.46UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb1805.93UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb3.99854UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb1.93597OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1p.opb1804.24UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow15.opb1802.79UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr7.opb0.077712UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb5.64517UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bore3d.opb0.240939UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.opb1805.77SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb1805.26UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb263.722UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-perold.opb1.064UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb1806.15SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm2.opb1.01983UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb1804.86UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot4.opb0.925049UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd6.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl2.opb3.06094UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standgub.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb1802.65UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ganges.opb0.946597UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb244.683UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb1805.85UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor2.opb1.48261UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08s.opb1.75386UNSATISFIABLE
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb185.99OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb1805.42UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb1806.05UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb1806.24UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb1244.29OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277.opb78.3195OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb20.003OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708.opb0.030215OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb1808.98UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb1805.95UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb1806.3UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb1806.67UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb1805.71UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114-max.opb1809UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb1806.01UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb1806.08UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb1805.79UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb415.436OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb1375.42OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650.opb1264.31OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb1805.87UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb1806.28UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb0.054876OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb738.402OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb1805.76UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb1806.14UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb1805.72UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb1805.84UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb1805.85UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb1805.9UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb1808.4UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb1808.89UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb1806.12UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb920.666OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb1806.26UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb1805.59UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb1806.71UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb1806.58UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb1805.59UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb1808.32UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb1806.7UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb1806.74UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb1806.72UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb1805.57UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb1808.63UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opb0.116599OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb1805.82UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690.opb1805.91UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb1806.18UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb0.052085OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb1805.8UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb1806.25UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb1808.84UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb1805.62UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522-max.opb1806.05UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb1806.01UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb1805.83UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb1805.87UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999.opb1805.92UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552.opb638.115OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb9.14489OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb1807.89UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb1805.51UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb1806.6UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb1805.9UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb485.379OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb1805.62UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480-max.opb1808.19UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb1805.65UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129.opb1805.49UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb344.19OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb1805.92UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415.opb556.994OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb1805.69UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb1806.06UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb1805.8UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb1806.46UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb1805.45SATISFIABLE
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb1805.66UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb1805.58UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb1805.52UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb1806.68UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb1806.43UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb1806.48UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb1806.33UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb241.763OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb1805.63UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb1805.64UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb1806.5UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb708.782OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641.opb1808.29UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155.opb1806.59UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb1806.49UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb138.496OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155-max.opb1807.04UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb1806.19UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839-max.opb1806.25UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb1806.72UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb1806.51UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400-max.opb1806.12UNKNOWN
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir08_trarea_ac.opb1805.8SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb1805.84SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir10_trarea_ac.opb1805.84SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb1806.8SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb1805.62SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb1388.71OPTIMUM
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb1809.29SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir07_trarea_ac.opb1806.77SATISFIABLE