InstanceRuntimeResult
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_8_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_8_ic.opb1806UNKNOWN
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.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_3_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_4_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_5_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_9_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_2_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_0_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_4_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_9_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_6_ic.opb1806UNKNOWN
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.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_7_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_6_ic.opb307.1OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_0_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_4_ic.opb427.8OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_8_ic.opb462.7OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_7_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_1_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_2_ic.opb477.8OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_1_ic.opb423.6OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_9_ic.opb404.5OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_3_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_5_ic.opb1803UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_2_ic.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_9_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_8_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_5_ic.opb340OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_5_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_4_ic.opb1807UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_2_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_4_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_6_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_0_ic.opb368.5OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_9_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_8_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_7_ic.opb425.9OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_6_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_3_ic.opb473.3OPTIMUM
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_0_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_1_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_7_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_3_ic.opb1806UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_4_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_4_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_5_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_7_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_5_mh.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_5_mh.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_6_mh.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_0_mh.opb1703SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_7_mh.opb1805SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_9_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_8_mh.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_9_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_3_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_2_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_6_mh.opb1798SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_3_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_8_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_8_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_0_mh.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_0_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_6_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_4_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_1_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_1_mh.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_3_mh.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_1_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_9_mh.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_7_mh.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat50_6_9_2_mh.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_0_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_3_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_4_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_7_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_0_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_5_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_5_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_5_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_8_mh_ic.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_6_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_mh_ic.opb1806SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_0_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_0_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_4_mh_ic.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_9_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_9_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_6_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_3_mh_ic.opb1798SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_1_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_6_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_3_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_8_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_1_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_8_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_6_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_8_mh_ic.opb1801SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_4_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_2_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_7_mh_ic.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_9_mh_ic.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_8.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_2.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_8.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_4.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_5.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_6.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_8.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_9.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_0.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_7.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_0.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_6.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_7.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_3.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_8.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_9.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_7.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_9.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_6.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_4.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_9.opb1808SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_1.opb1800UNKNOWN
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_2.opb1807SATISFIABLE
OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-opm2-z11-s8.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-opm2-z10-s2.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-ivu06-big.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-opm2-z12-s14.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-stp3d.opb1801UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-opm2-z9-s14.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-bley_xl1.opb137OPTIMUM
OPT-BIGINT-LIN/heinz/normalized-ds-big.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-opm2-z12-s7.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-n3div36.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-co-100.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-zib01.opb167.6UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-netdiversion.opb1806UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-sp97ar.opb1807SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-harp2.opb1807SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-sp98ar.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-t1717.opb244.1SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-t1722.opb119SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-eilB101.opb1808SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-air04.opb1806SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-ns1685374.opb1806SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-n3seq24.opb498SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-ivu52.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-neos-941313.opb629.9SATISFIABLE
OPT-BIGINT-LIN/heinz/normalized-opm2-z7-s2.opb1800UNKNOWN
OPT-BIGINT-LIN/heinz/normalized-sp98ic.opb1800UNKNOWN
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.opb1800UNKNOWN
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.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null20mast_rapportOE2.0_TMAX300_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX15_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb1800UNKNOWN
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.opb1800UNKNOWN
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.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_0null10mast_rapportOE1.0_TMAX300_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_0null10mast_rapportOE1.0_TMAX180_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX60_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX300_K192_cod1.opb1800UNKNOWN
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.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX300_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_0null50mast_rapportOE1.0_TMAX300_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX60_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null20mast_rapportOE1.0_TMAX180_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null50mast_rapportOE2.0_TMAX300_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX180_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null50mast_rapportOE1.0_TMAX60_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null50mast_rapportOE1.0_TMAX300_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE1.0_TMAX15_K67_cod2.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE1.0_TMAX120_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE1.0_TMAX180_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE1.0_TMAX300_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX60_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null20mast_rapportOE2.0_TMAX300_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null50mast_rapportOE1.0_TMAX120_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX60_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX60_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_10null50mast_rapportOE1.0_TMAX120_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE1.0_TMAX120_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX300_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null20mast_rapportOE2.0_TMAX120_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX180_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null20mast_rapportOE1.0_TMAX120_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_0null50mast_rapportOE2.0_TMAX15_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX300_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX15_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX60_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null50mast_rapportOE2.0_TMAX120_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null50mast_rapportOE1.0_TMAX15_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null20mast_rapportOE1.0_TMAX180_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null50mast_rapportOE1.0_TMAX15_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod1.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX300_K67_cod3.opb1800UNKNOWN
OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null50mast_rapportOE2.0_TMAX60_K67_cod2.opb1800UNKNOWN
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.20-12.opb298.6OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.20-13.opb1806SATISFIABLE
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.10-8.opb69.67OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.01-2.opb31.53OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.10-10.opb9.703OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-7.opb89.29OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.10-10.opb122.2OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.E.recomb10-0.20-11.opb15.94OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.01-4.opb336.1OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.10-10.opb85.65OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.20-13.opb112.8OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.20-13.opb65.32OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-9.opb149.8OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.20-15.opb60.5OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.01-2.opb71.93OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.01-5.opb113.6OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.01-2.opb16.94SATISFIABLE
OPT-BIGINT-LIN/graca/normalized-ped3.G.recomb10-0.01-2.opb41.99OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.10-7.opb12.16OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.E.recomb10-0.20-14.opb49.61OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.20-11.opb1806SATISFIABLE
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.20-14.opb154OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.20-12.opb39.96OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.01-1.opb83.68OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-10.opb68.8OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.10-8.opb132.3OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.10-7.opb158.1OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.01-5.opb15.43SATISFIABLE
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.01-1.opb9.034OPTIMUM
OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.10-9.opb11.43OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb0.2288UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand659e05.cudf.paranoid.opb0.2097UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randee102b.cudf.paranoid.opb6.269OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand43bd88.cudf.paranoid.opb5.555OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand2fa1f8.cudf.paranoid.opb0.09682UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rande22180.cudf.paranoid.opb0.09735UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randea4da3.cudf.paranoid.opb0.1067UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand396cf8.cudf.paranoid.opb0.8536OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand49e642.cudf.paranoid.opb1.621OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randd6bc17.cudf.paranoid.opb0.9023OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand88811a.cudf.paranoid.opb2.207OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand56b853.cudf.paranoid.opb2.145OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand6c4744.cudf.paranoid.opb0.1189UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randa65dfb.cudf.paranoid.opb1.068OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randab5933.cudf.paranoid.opb0.104UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randdd5509.cudf.paranoid.opb0.1115UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb1.277OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand682c92.cudf.paranoid.opb0.1005UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-mono-gac.cudf.paranoid.opb13.18OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kmines.cudf.paranoid.opb14.75OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb19.78OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-tasque.cudf.paranoid.opb28.89OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-plasma-widgets-workspace.cudf.paranoid.opb26.47OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kjumpingcube.cudf.paranoid.opb20.14OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kdessh.cudf.paranoid.opb17.6OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-gtwitter.cudf.paranoid.opb17.81OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb15.83OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kphotoalbum.cudf.paranoid.opb17.31OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-upstart-compat-sysv.cudf.paranoid.opb12.39OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-r-cran-car.cudf.paranoid.opb23.89OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-r-cran-rodbc.cudf.paranoid.opb16.29OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-libmono-relaxng1.0-cil.cudf.paranoid.opb21.57OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-system-config-printer.cudf.paranoid.opb15.4OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libpango-perl.cudf.paranoid.opb25.76OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-codebreaker.cudf.paranoid.opb16.57OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-evolution-dev.cudf.paranoid.opb24.81OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libcatalyst-perl.cudf.paranoid.opb20.69OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-python-hippocanvas.cudf.paranoid.opb20.51OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-konq-plugins.cudf.paranoid.opb10.9OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libhtml-parser-perl.cudf.paranoid.opb18.15OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-unattended-upgrades.cudf.paranoid.opb18.97OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-epiphany-browser.cudf.paranoid.opb27.62OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-dwww.cudf.paranoid.opb22.45OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-python-cairo.cudf.paranoid.opb17.28OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libpoe-perl.cudf.paranoid.opb15.67OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-txt2html.cudf.paranoid.opb20.36OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libcyrus-imap-perl22.cudf.paranoid.opb21.78OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-synaptic.cudf.paranoid.opb16.33OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-hal-cups-utils.cudf.paranoid.opb16.23OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb14.11OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1131.cudf.paranoid.opb0.2677UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1468.cudf.paranoid.opb2.983OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb1.957OPTIMUM
OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-520.cudf.paranoid.opb0.2092UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randf7d077.cudf.trendy.opb0.2989UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randa491d5.cudf.trendy.opb0.2999UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand6d579e.cudf.trendy.opb29.91OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randb87834.cudf.trendy.opb30.86OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand2d8467.cudf.trendy.opb23.38OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand65d021.cudf.trendy.opb0.2852UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand5c0b12.cudf.trendy.opb0.2203UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand659e05.cudf.trendy.opb0.2125UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand8177e7.cudf.trendy.opb36.68OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randee102b.cudf.trendy.opb19.93OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb10.01OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randfe95e3.cudf.trendy.opb0.1924UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randd1cab2.cudf.trendy.opb4.971OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand0c02bc.cudf.trendy.opb5.374OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb17.1OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5b1f2.cudf.trendy.opb0.1685UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand085d8a.cudf.trendy.opb3.747OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand271a0d.cudf.trendy.opb0.1714UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randb54299.cudf.trendy.opb9.802OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand767898.cudf.trendy.opb74.91OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.trendy.opb25.57OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randf794d2.cudf.trendy.opb12.6OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand27da90.cudf.trendy.opb26.41OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand362510.cudf.trendy.opb13.14OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand5d20db.cudf.trendy.opb5.907OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand00ebc7.cudf.trendy.opb0.1699UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randec6fe1.cudf.trendy.opb9.458OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randfd04d4.cudf.trendy.opb31.08OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc18b26.cudf.trendy.opb129.5OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb46.09OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rande2165e.cudf.trendy.opb20.2OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randcef367.cudf.trendy.opb0.1299UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand7e9372.cudf.trendy.opb16.44OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randdd5509.cudf.trendy.opb0.1219UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randcbf550.cudf.trendy.opb0.09392UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand56b853.cudf.trendy.opb18.18OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randa65dfb.cudf.trendy.opb19.14OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand03b0b5.cudf.trendy.opb0.1063UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb5.919OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand1958fb.cudf.trendy.opb2.573OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kphotoalbum.cudf.trendy.opb65.08OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-ark.cudf.trendy.opb63.57OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb232.9OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-libmono-addins-gui0.2-cil.cudf.trendy.opb39.66OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-plasma-widgets-workspace.cudf.trendy.opb64.88OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kommander.cudf.trendy.opb67.75OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-r-cran-car.cudf.trendy.opb242.3OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-inetutils-syslogd.cudf.trendy.opb57.19OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-mono-gac.cudf.trendy.opb66.56OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kblocks.cudf.trendy.opb64.85OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-gtwitter.cudf.trendy.opb240OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-txt2html.cudf.trendy.opb126.5OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-libpoe-perl.cudf.trendy.opb39.87OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-xvfb.cudf.trendy.opb224.9OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-mercurial-common.cudf.trendy.opb233.3OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-gnochm.cudf.trendy.opb30.76OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-monodevelop-nunit.cudf.trendy.opb61.99OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-konq-plugins.cudf.trendy.opb58.53OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-sonata.cudf.trendy.opb50.75OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-lirc.cudf.trendy.opb227.3OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-texlive-generic-recommended.cudf.trendy.opb59.43OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-libdbd-pg-perl.cudf.trendy.opb67.8OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-idle.cudf.trendy.opb233.6OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-121.cudf.trendy.opb0.09189UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb0.05062OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-902.cudf.trendy.opb0.5354OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1335.cudf.trendy.opb0.2729UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1093.cudf.trendy.opb0.04018UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1097.cudf.trendy.opb0.02111OPTIMUM
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-557.cudf.trendy.opb0.195UNSATISFIABLE
OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-658.cudf.trendy.opb0.02092UNSATISFIABLE
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.opb1807SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__256.opb812.1SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__64.opb1802SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__128.opb1805UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__128.opb1807SATISFIABLE
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.opb1807UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91.opb13.16OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__32.opb1807SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__256.opb1807SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__128.opb553.9SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__32.opb1807SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__8.opb1236SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__8.opb1805SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__16.opb10.4OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__2048.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__1024.opb1800UNKNOWN
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.opb398.3SATISFIABLE
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.opb200OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__16.opb66.03OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__16.opb205.1SATISFIABLE
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.opb198.6OPTIMUM
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.opb1807SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__64.opb565.7SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12.opb1.089OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__128.opb1807SATISFIABLE
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.opb726.7SATISFIABLE
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.opb3.849OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__512.opb1654SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812.opb603.4SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__64.opb1807SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__128.opb132.2OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__8.opb34.7SATISFIABLE
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.opb1458SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__64.opb55.05OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__16.opb1807UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__16.opb1807SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__128.opb1805SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__32.opb1800UNKNOWN
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.opb292.4OPTIMUM
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.opb1062SATISFIABLE
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.opb1806SATISFIABLE
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.opb581.2SATISFIABLE
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.opb354.4SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__32.opb23.89OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792.opb611.9SATISFIABLE
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__8.opb4.664OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__8.opb173.4OPTIMUM
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__16.opb1800UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__1024.opb295UNKNOWN
OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__8.opb1808SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-combined-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-combined-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-2-irEDCBA.opb172.1OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-2-irEDCBA.opb1471OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-2-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-B-2-1-irEDCBA.opb4.706OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb72.04OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-2-irabcde.opb273.3OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-EDCBAir.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-abcdeir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-irabcde.opb1620OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-2-irabcde.opb19.01OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-combined-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-combined-irabcde.opb78.99OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-B-2-1-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-2-irEDCBA.opb1797SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-2-irEDCBA.opb17.04OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-combined-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-abcdeir.opb1804SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-A-2-1-irEDCBA.opb303.5OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-1-irEDCBA.opb9.783OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irEDCBA.opb3.648OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-1-irEDCBA.opb114.8OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-combined-irabcde.opb56.37OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-B-2-1-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-A-2-combined-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-combined-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-2-irabcde.opb1469OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irEDCBA.opb969.5OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-1-irabcde.opb2.106OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-combined-irabcde.opb2.142OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-EDCBAir.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-1-irabcde.opb9.775OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-1-irabcde.opb31.31OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-1-irabcde.opb6.817OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-2-irEDCBA.opb91.99OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-combined-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-1-abcdeir.opb11.66OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-irabcde.opb1637OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-1-irEDCBA.opb21.81OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-2-irEDCBA.opb17.59OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-combined-irEDCBA.opb2.234OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-1-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-2-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-combined-EDCBAir.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-1-irEDCBA.opb19.47OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-1-irabcde.opb20.82OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-combined-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-1-irEDCBA.opb1054OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-1-irEDCBA.opb10.41OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-2-irabcde.opb39.36OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-1-irabcde.opb204.5OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-2-irabcde.opb1798SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-1-irabcde.opb97.28OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-abcdeir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-A-2-2-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-A-2-2-irabcde.opb1.968OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-combined-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-EDCBAir.opb135OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-combined-irabcde.opb66.92OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-2-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-2-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-1-irEDCBA.opb18.69OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-2-irabcde.opb8.294OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-combined-irEDCBA.opb25.58OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-2-irabcde.opb38.04OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-A-2-2-irEDCBA.opb7.952OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-2-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-EDCBAir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-abcdeir.opb113.8OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-2-irabcde.opb258.5OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-combined-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-2-irabcde.opb1.831OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-combined-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-1-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-EDCBAir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-1-irabcde.opb441.2OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-abcdeir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-irEDCBA.opb1433OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-B-2-1-irEDCBA.opb379.4OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-1-EDCBAir.opb1.947OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-1-irEDCBA.opb1614OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-1-irabcde.opb583.3OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-EDCBAir.opb90.48OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb4.439OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-2-irEDCBA.opb243.7OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-1-irabcde.opb1805SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-A-2-1-irabcde.opb1.178OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-1-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-1-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-B-2-1-irabcde.opb22.97OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-EDCBAir.opb1797SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-combined-irabcde.opb16.05OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-3-1-EDCBAir.opb60.26OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-A-2-2-irabcde.opb26.48OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-combined-irEDCBA.opb555.7OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-A-2-2-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-2-EDCBAir.opb5.271OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-combined-irEDCBA.opb4.231OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-abcdeir.opb82.8OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-EDCBAir.opb97.49OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-2-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-2-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-irabcde.opb2.443OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-A-2-combined-irEDCBA.opb48.9OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.seq-A-2-2-irEDCBA.opb57.32OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-2-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-combined-irabcde.opb3.226OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-3-combined-irEDCBA.opb33.89OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-abcdeir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-abcdeir.opb182.8OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-B-2-combined-irabcde.opb17.09OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-combined-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-2-2-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-B-2-1-irEDCBA.opb8.969OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-A-2-1-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-combined-abcdeir.opb39.31OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-1-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-1-irEDCBA.opb51.08OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-1-EDCBAir.opb19.47OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-combined-irEDCBA.opb14.21OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-abcdeir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-combined-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-combined-irabcde.opb2.409OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-irEDCBA.opb984.1OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-combined-irabcde.opb450.5OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-2-irEDCBA.opb21.47OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-2-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-combined-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-combined-irabcde.opb51.76OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-combined-irEDCBA.opb3.993OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-2-irEDCBA.opb15.73OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f38-AC_TotalLoss.seq-A-2-combined-irabcde.opb2.312OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-combined-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-1-irabcde.opb250.9OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-A-2-combined-irEDCBA.opb681.6OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-combined-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-combined-irEDCBA.opb3.701OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irabcde.opb1333OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-combined-irabcde.opb5.043OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-2-1-abcdeir.opb3.475OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-1-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-2-EDCBAir.opb3.338OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-B-2-combined-irabcde.opb13.64OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-1-abcdeir.opb53.85OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-EDCBAir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-A-2-1-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-abcdeir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-2-irabcde.opb50.45OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-2-irEDCBA.opb1.703OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-abcdeir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-2-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f42-DC_DoubleLoss.seq-B-2-2-irabcde.opb273OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-combined-EDCBAir.opb231.8OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb982.8OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-2-irabcde.opb2.849OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-2-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-1-irabcde.opb1.841OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-B-2-combined-irEDCBA.opb18.12OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-1-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-B-2-1-irabcde.opb8.037OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-2-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-2-1-irabcde.opb6.089OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-B-2-1-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-A-2-2-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-2-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-combined-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-combined-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-A-2-combined-irEDCBA.opb11.37OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-2-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-1-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-2-2-irEDCBA.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-B-2-combined-irEDCBA.opb1.955OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-B-2-1-irEDCBA.opb611.5OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-B-2-combined-EDCBAir.opb113.9OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-EDCBAir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb3.172OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-B-2-2-irEDCBA.opb421.1OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-1-EDCBAir.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f16-DCdoubleLoss.seq-B-2-1-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-irEDCBA.opb4.133OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-2-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-1-irEDCBA.opb3.022OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f34-AC_ESS.seq-A-2-2-irEDCBA.opb2.91OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-1-abcdeir.opb12.38OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f6-ACTotalLoss.seq-A-2-combined-irabcde.opb284.2OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f41-DC_DoubleLoss.seq-A-2-combined-irabcde.opb138.2OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-1-irabcde.opb1506OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irEDCBA.opb846.4OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-1-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f46-DC_Side1.seq-A-2-combined-irabcde.opb4.62OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f48-DC_TotalLoss.seq-B-2-combined-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-B-2-2-irabcde.opb643.5OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-A-2-1-irEDCBA.opb4.16OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-combined-EDCBAir.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-combined-irEDCBA.opb3.828OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f49-DC_TotalLoss.seq-A-2-combined-irEDCBA.opb1802SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-B-2-1-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-2-1-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f44-DC_ESS.seq-A-2-combined-irabcde.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb1248OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f38-AC_TotalLoss.seq-A-2-2-irEDCBA.opb2.883OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f43-DC_ESS.seq-A-2-1-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-A-2-combined-irabcde.opb1806SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f56-FCS_FC1_order3_PB.seq-B-2-combined-irEDCBA.opb1807SATISFIABLE
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-A-3-2-irabcde.opb18.77OPTIMUM
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-A-3-2-irEDCBA.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb1806UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm95p-opt.opb.negationfix.opb1453UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb1806UNKNOWN
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm100p-opt.opb.negationfix.opb1806UNKNOWN
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.opb1808SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0334-0334.lin.opb1573OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb351535.lin.opb1808SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0099-9211.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-25.lin.opb1801SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0066-0066.lin.opb35.44OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb933.5SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0077-0077.lin.opb57.29OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb351.3SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0344-0344.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0055-0062.lin.opb10.91OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302075.lin.opb1807SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-qap.lin.opb1805SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-30.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-28.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0044-1601.lin.opb4.983OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-60.lin.opb1805SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-41.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0234-0234.lin.opb25.5OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb351555.lin.opb1808SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb465.7SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-55.lin.opb1805SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-34.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302095.lin.opb1808SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0244-0244.lin.opb81.01OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-45.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302055.lin.opb1808SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-1010-0824.lin.opb364.1OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb351575.lin.opb1807SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-pb302035.lin.opb1807SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay80.lin.opb611.6SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-crossdock_15x8.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-38.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-cardqp_inlp.lin.opb1808SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-45.lin.opb1805SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0333-0333.lin.opb41.7OPTIMUM
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-50.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-40.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-23.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0444-0444.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2g-0088-0088.lin.opb1151OPTIMUM
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb1798UNKNOWN
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome12.opb1807UNKNOWN
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.opb1806SATISFIABLE
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.opb1806SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb2.465OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb1806SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb121.4OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb1804SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb1807SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb1800UNKNOWN
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb10.47OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb1805SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb25.9OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb11.63OPTIMUM
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb1807UNKNOWN
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb248.1SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb1807UNKNOWN
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.opb1807UNKNOWN
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb1806SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb1805SATISFIABLE
normalized-PB06/OPT-MEDINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb1800UNKNOWN
normalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb196.8UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb1800UNKNOWN
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.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2586-950.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dg012142.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3703.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bk4x3.opb9.723OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb479.9OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb1804SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3701.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3702.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3705.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3706.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-mkc1.opb1800UNKNOWN
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.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos7.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bc1.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos13.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos2.opb1805UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb32.98OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb59.42OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath1.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb1800UNKNOWN
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.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb332.5OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos14.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb1808UNKNOWN
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.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb1808UNKNOWN
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.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-blend2.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1.opb301.4UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb298.6UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-gen.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc03.opb438.1OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc04.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb1803SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet4.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-egout.opb164.8OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1al.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-khb05250.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb20.15OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc06.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc02.opb94.29OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb1808SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc01.opb100.5OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-flugpl.opb17.3OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1cl.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet3.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell5.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb1417OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-qiu.opb93.93UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb61.7OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum1.opb1.881UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb198.7UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb207.3UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb1799UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas74.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-van.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb46.09UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare2.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-ds.opb205.3SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-modglob.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-msc98-ip.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-dano3mip.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb0.782UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb1806SATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb0.9539OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb3.968OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb0.3916OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg2.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-lotfi.opb968.8UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-etamacro.opb0.2469UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-adlittle.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-forplan.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-nesm.opb2.053UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-25fv47.opb2.311UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb249.5UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fffff800.opb1.766UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-tuff.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing1.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb3.454UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb822.8OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-beaconfd.opb2.089UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap1.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.opb1772UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb174OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb691.5OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standata.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm1.opb0.5129UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing2.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-brandy.opb0.3512UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12s.opb0.9599UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-capri.opb0.2137UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04l.opb2.759UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.opb1.478UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb1612UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd1.opb245.1UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb0.3255UNSATISFIABLE
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.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen2.opb1806UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-80bau3b.opb2.64UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-israel.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-wood1p.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share2b.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot87.opb3.756UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm3.opb1.541UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr25.opb0.3159UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-e226.opb0.01703UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bandm.opb0.5094UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.we.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor1.opb0.06421UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share1b.opb0.2391UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-woodw.opb30.58UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb713.3UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb1.908UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb314.5OPTIMUM
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1p.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow15.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr7.opb0.08806UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb5.619UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bore3d.opb0.226UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-perold.opb1.031UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm2.opb1.017UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot4.opb0.8243UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd6.opb249.8UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl2.opb2.998UNSATISFIABLE
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.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ganges.opb0.8915UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb1808UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor2.opb1.435UNSATISFIABLE
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08s.opb0.451UNSATISFIABLE
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb31.98OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb28.22OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708.opb0.0658OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114-max.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb0.06074OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opb0.1978OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb0.04274OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb943OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb35.19OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb1807SATISFIABLE
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb1263OPTIMUM
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155-max.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839-max.opb1807UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb1800UNKNOWN
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400-max.opb1800UNKNOWN
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir08_trarea_ac.opb1806SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb1807SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir10_trarea_ac.opb1806SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb1806SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb1806SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb1806SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb1806SATISFIABLE
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir07_trarea_ac.opb1806SATISFIABLE