InstanceRuntimeResult
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_000.opb.metafix.opb3.64283OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_001.opb.metafix.opb1807.21UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_009.opb.metafix.opb0.019345OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_003.opb.metafix.opb0.013278OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_007.opb.metafix.opb0.01127OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_002.opb.metafix.opb1807.3SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_002.opb.metafix.opb0.020541OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_009.opb.metafix.opb1807.25SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_004.opb.metafix.opb1809.2UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_008.opb.metafix.opb1807.17UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_008.opb.metafix.opb1807.15SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_007.opb.metafix.opb1809.37SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_006.opb.metafix.opb0.131298OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_006.opb.metafix.opb1807.22SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_002.opb.metafix.opb0.0133OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_003.opb.metafix.opb1807.31SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_005.opb.metafix.opb1807.16SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_008.opb.metafix.opb1807.01SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_001.opb.metafix.opb0.002944OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_005.opb.metafix.opb155.372OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_008.opb.metafix.opb0.003466OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_001.opb.metafix.opb1807.18SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_007.opb.metafix.opb0.017473OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_005.opb.metafix.opb0.074015OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_004.opb.metafix.opb1807.22UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_006.opb.metafix.opb0.008316OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_009.opb.metafix.opb1807.25SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_003.opb.metafix.opb1016.56OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_006.opb.metafix.opb1807.14SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_000.opb.metafix.opb1807.15SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_000.opb.metafix.opb0.016364OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_008.opb.metafix.opb0.009137OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_004.opb.metafix.opb0.072153OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_002.opb.metafix.opb320.588OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_004.opb.metafix.opb0.002561OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_003.opb.metafix.opb0.012559OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_004.opb.metafix.opb0.004444OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_009.opb.metafix.opb0OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_005.opb.metafix.opb1807.29UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_005.opb.metafix.opb0.00256OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_002.opb.metafix.opb1807.08UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_006.opb.metafix.opb0.002399OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_003.opb.metafix.opb1807.33UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_001.opb.metafix.opb0.281896OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_007.opb.metafix.opb0OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_004.opb.metafix.opb7.73965OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_009.opb.metafix.opb0.627843OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_002.opb.metafix.opb0.00297OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_005.opb.metafix.opb0.012828OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_000.opb.metafix.opb1807.15SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_007.opb.metafix.opb1807.28UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_008.opb.metafix.opb0.121726OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_000.opb.metafix.opb0OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_009.opb.metafix.opb0.003919OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_003.opb.metafix.opb0.003171OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_000.opb.metafix.opb0.004726OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_006.opb.metafix.opb0.031942OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_007.opb.metafix.opb0.562805OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_001.opb.metafix.opb1708.85OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_001.opb.metafix.opb0.012343OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm90p-opt.opb.negationfix.opb1804.94UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm95p-opt.opb.negationfix.opb1805.03UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb1805.07UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb1804.94UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb1805.12SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb1804.94UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb62.1846OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm50p-opt.opb.negationfix.opb1805.48SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm100p-opt.opb.negationfix.opb1804.8UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb826.856OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb1804.68SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb1806.47SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb1807.41UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb1802.83UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm98p-opt.opb.negationfix.opb1804.88UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm95p-opt.opb.negationfix.opb790.781OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb9.01959OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm100p-opt.opb.negationfix.opb1804.61UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm85p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb74.3781UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb1804.7SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-070.lin.opb1807.1SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-040.lin.opb1807.29SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-hmittelman.lin.opb0.007936OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament20.lin.opb1807.03SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-098.lin.opb1806.7SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament16.lin.opb1807.2SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross20-080.lin.opb1806.63SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-30.lin.opb1806.82SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-23.lin.opb1806.44SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0066-0066.lin.opb0.15561OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-30.lin.opb1809.04SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb1805.98SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-09.lin.opb1806.51SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-08.lin.opb1806.39SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-050.lin.opb1807.02SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-06.lin.opb1807.13SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross24-115.lin.opb1809.12SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0088-0888.lin.opb0.486965OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-15.lin.opb1806.36SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament24.lin.opb1806.77SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament06.lin.opb0.009159OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.lin.opb1806.32SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-030.lin.opb541.272OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0077-0777.lin.opb0.540283OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-058.lin.opb1806.89SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb1806.81SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross24-057.lin.opb1806.59SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament34.lin.opb1806.47SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-137.lin.opb1806.64SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-06.lin.opb1806.66SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-13.lin.opb1809.13SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament42.lin.opb1805.91SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb1804.82SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross22-048.lin.opb1806.8SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0244-0244.lin.opb1.16083OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament28.lin.opb1806.64SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-08.lin.opb1806.65SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay20h.lin.opb1806.13SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament38.lin.opb1806.49SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0334-0334.lin.opb6.50683OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0344-0344.lin.opb125.11OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament44.lin.opb1805.77SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay30.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0044-0044.lin.opb0.026251OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-14.lin.opb1806.39SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-30.lin.opb1806.32SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0444-0444.lin.opb1809.37SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament36.lin.opb1809.01SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-60.lin.opb1806.21SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament08.lin.opb0.018016OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-03.lin.opb0.006438OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay33.lin.opb1806.11SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.opb1808.9SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-18.lin.opb1806.34SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-70.lin.opb1805.83SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0234-0234.lin.opb0.101035OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0055-0055.lin.opb0.06514OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-20.lin.opb1806.38SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-020.lin.opb0.480475OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-crossdock_15x7.lin.opb1805.32SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay30h.lin.opb1806.25SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-15.lin.opb1806.65SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-05.lin.opb1809.31SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-25.lin.opb1806.18SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-03.lin.opb0.009649OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-20.lin.opb107.464OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-05.lin.opb1806.77SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-10.lin.opb1806.74SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament22.lin.opb1809.37SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament46.lin.opb1805.71SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb1806.61SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb1806.01SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-19.lin.opb1806.38SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-26.lin.opb1806.31SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross22-096.lin.opb1806.2SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-010.lin.opb0.023566OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament32.lin.opb1806.59SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament30.lin.opb1806.77SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-090.lin.opb1807.06SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-05.lin.opb42.0876OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-019.lin.opb28.4138OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament50.lin.opb1805.84SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay35.lin.opb1806.13SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-11.lin.opb1806.27SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.lin.opb1806.61SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.opb1807.44SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross20-040.lin.opb1806.83SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0099-0999.lin.opb8.96971OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament48.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0333-0333.lin.opb1.35204OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-04.lin.opb1807.18SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-10.lin.opb1806.38SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament12.lin.opb11.7054OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-117.lin.opb1809.3SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb1807.4SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament10.lin.opb0.205145OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament40.lin.opb1806SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jul4.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-sep4.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-may6.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-may5.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jul6.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-oct4.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-aug5.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jul5.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-aug6.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-aug4.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-sep6.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-sep5.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-oct6.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jun5.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-may4.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jun6.5.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-oct5.5.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-A2C1S1.opb164.262UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb1805.42UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb103.212UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp97ic.opb1805.56SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-UMTS.opb1804.61UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-B2C1S1.opb276.018UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-trento1.opb1805.84UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb1805.47UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp98ar.opb1808.17SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-van.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb1805.42UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp98ic.opb1805.58SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb1805.55UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb133.984UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb1808.79SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dg012142.opb1805.27UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb1806.23SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb1805.6UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-glass4.opb1806.12SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb1804.74UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb1805.61UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-biella1.opb1465.26UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ir98.opb1805.44UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dolom1.opb118.574UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-railway_8_1_0.opb1805.54UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb123.395UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core2536-691.opb1806.12SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic98.opb72.4525UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core4872-1529.opb1806.14SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-siena1.opb166.827UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb1808.08UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-rail507.opb1805.34SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dc1c.opb1805.43UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dc1l.opb78.4798UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp97ar.opb1805.92SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb1805.84SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb1807.54UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10c.opb21.6022UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb33.3776OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran14x18.opb1806.79UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3707.opb1804.78UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb3.97572UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb1.24692OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3704.opb1804.52UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370b.opb1804.61UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb1804.62UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran13x13.opb1807.48UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3706.opb1803UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb1804.45UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x12.opb48.2967UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb2.04418UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb494.877UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb1804.24UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb107.237UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb1807.37UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3709.opb1804.4UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-gr4x6.opb1.68907UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb0.729807OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb86.1538UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x12.opb1806.62UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb88.7779UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb1804.66UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb25.6986OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb1804.66UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3708.opb1804.56UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb8.59974UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3701.opb1804.84UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos3.opb117.861OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-markshare2_1.opb1806.6SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb1805.23UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb1806.15SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb158.694OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb1807.02SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb612.491OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos12.opb14.2673UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos7.opb1805.82SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-dano3_4.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos13.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bc1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos11.opb4.53556UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst1.opb1805.46UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb1805.37UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath2.opb113.513UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos2.opb56.2632OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-dano3_3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb1805.46UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb114.111OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos17.opb5.57829UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath1.opb118.241UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb1805.65UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos6.opb1808.2UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath3.opb1804.52UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-dano3_5.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb1807.39SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb1808.98SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb1696.39OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-blend2.opb1806.3UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb1809.25SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gesa3.opb199.841OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb1806.77SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1cl.opb1806.07SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb2.93397OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb1804.91UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-enigma.opb0.109277OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb1804.62UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc06.opb1808.46UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-mod013.opb25.6396OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc02.opb0.072203OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb0.800209OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1al.opb1806SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-gen.opb1806.15SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb1385.59OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb1805.09SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3b.opb1806.28SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb1806.19UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-khb05250.opb1805.2UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-rgn.opb1807.96UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc01.opb0.162052OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc04.opb1803.41UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc03.opb1.59642OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-flugpl.opb0.22458OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc05.opb72.3845UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb1804.62UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb1804.83SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb1806.62SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air03.opb1805.8SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb1805.64SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb1.05132OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb19.187OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-sample2.opb0.951995OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3a.opb1805.92SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mas76.opb0.035498OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08a.opb1807.66UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nw04.opb142.111UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb493.993UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fixnet6.opb1804.39UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb1805.94SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb94.9805UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum1.opb1.50401UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb0.409476OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb1806.27SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb1807SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare2.opb1807.01SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-set1ch.opb1806.23SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb1805.58UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-t1717.opb118.527UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb1805.76UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb60.8546UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-swath.opb1805.95UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rout.opb1806.29SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-dano3mip.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opb1805.23UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-van.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb527.922OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum2.opb11.1435UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb1805.41UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-danoint.opb1806.27UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb1805.95UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb1805.75UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb1806.16UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb1806.29SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb1805.81SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mas74.opb0.033648OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb1806.19SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb106.353OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb1805.99SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb1808.33UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air04.opb1807.59SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb109.874UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air05.opb1808.42SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-timtab1.opb1805.26UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-vpm2.opb1451.21OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-liu.opb1806.16SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pk1.opb1806.45SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow40b.opb1805.6UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb1805.58SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-nazareth.opb0.073349OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-testprob.opb0.07939OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-maros.opb0.068323OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship12l.opb1803.79UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow7.opb1805.45UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc105.opb1806.07SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sierra.opb1804.24UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-brandy.opb93.6055UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scfxm1.opb1805.38UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share2b.opb96.5843OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow22.opb1804.53UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb101.224UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-degen3.opb1331.48UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-beaconfd.opb1806.05UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-degen2.opb14.4812UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb1805.33UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb1804.84UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-woodw.opb127.073UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-perold.opb1804.68UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb1805.99SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd6.opb85.7381UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scfxm3.opb1805.65UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl2.opb172.084UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg.opb1805.07UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scagr7.opb1805.76UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb31.2372UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb1806.62UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb1807.83UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot4.opb1805.44UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bandm.opb18.0661UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb1806.21SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-standata.opb1805.61UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-boeing1.opb1805.86UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd1.opb1804.67UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb1804.77UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit2p.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb1806.14SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-wood1p.opb254.459UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc205.opb1805.51SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship08l.opb1804.21UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-nesm.opb1804.79UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-standgub.opb1805.89UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50a.opb1806.2SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb279.758UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb9.32804OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-recipe.opb1808.17UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-czprob.opb66.2773UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap3.opb1805.71SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow15.opb1804.88UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot.opb3.49883UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-boeing2.opb1806.04UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb1805.12UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-afiro.opb29.5088OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb1806.02UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ganges.opb1805.62UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb1805.8UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb43.9712UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship04l.opb1807.5UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg2.opb1804.93UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb117.207UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap2.opb1806.01SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb82.6257UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-80bau3b.opb2.10129UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scorpion.opb1806.02UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb1804.64UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-capri.opb1805.63UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot87.opb3.10595UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb1806.03UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-e226.opb16.2602UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb77.8207UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl1.opb37.51UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit2d.opb145.956UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb1808.63UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb222.548UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb80.9193UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb1806.06SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-25fv47.opb1805.38UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-maros-r7.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship04s.opb1804.74UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bore3d.opb0.208369UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship12s.opb1804.64UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scfxm2.opb1805.24UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-forplan.opb1805.75UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-blend.opb749.962OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap1.opb1808.56SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-maros.opb1805.47UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stair.opb31.1382UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-shell.opb1804.44UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-cycle.opb1805.16UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share1b.opb743.281UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb1806.57SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb25.5454OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb4.32637OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb150.71UNKNOWN
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb0.076723OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb50.2267OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb1807SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb1806.94SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb1806.14SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb0OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb1804.6SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb1806.63SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb14.6739OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb5.95965OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb141.805OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb0.163632OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb0.005828OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb7.6973OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb1804.43UNKNOWN
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb1806.93SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb0.128257OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb0.001193UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb1809.2SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb0.037295OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb0.081217OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb1805.94SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb12.4953OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb1805.07SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb1806.96SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb1805.44SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb24.6727OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb1805.94UNKNOWN
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb1809.37UNKNOWN
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb1805.78SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb1807.01UNKNOWN
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb28.6246OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb1808.44UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb1806.02UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb1805.86UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb1805.97UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb1805.69UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb1805.84UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb1805.83UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb1805.68UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb1805.76UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb1808.39UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb1805.92UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb1805.08UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb1805.79UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb1805.85UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb1805.85UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb1805.1SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb1805.02SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb1805.01SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb1804.96SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb1805.21SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb1804.92SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb1804.95SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb1805.06SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb1807.61SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb1805.07SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb1807.47SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb1804.5SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb1804.79SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb1805.06SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb1804.72SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb1807.03SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb1805.44SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb1807.05SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb1806.96SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb1806.98SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb1809.31SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb1807.04SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb1807.07SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb1807SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb1806.98SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb1806.99SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb1807.13SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb1806.99SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb1806.99SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb1809.34SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=181.opb0.024567OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=431.opb0.020753OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=277.opb0.021718OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=151.opb0.019685OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=457.opb0.022671OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=379.opb0.019128OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=487.opb0.015568OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=367.opb0.016494OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=179.opb0.021398OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=11-Q=53.opb0.014003OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=127.opb0.016813OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=521.opb0.016861UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=197.opb0.021115OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=461.opb0.023009OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=163.opb0.023329OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=487.opb0.017581OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=179.opb0.018576OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=229-Q=307.opb0.023742OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=307.opb0.019633OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=431.opb0.014307OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=37-Q=107.opb0.015OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=109-Q=373.opb0.021157OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=359.opb0.025365OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=163.opb0.021686OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=449.opb0.013304OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=163.opb0.015977OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=131.opb0.017826OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=137.opb0.023716OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=431.opb0.020189OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=419.opb0.01755OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=223.opb0.017801OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=379.opb0.013175OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=421.opb0.015931OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=379.opb0.021116OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=389.opb0.020689OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=211.opb0.019182OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=239-Q=373.opb0.019723OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=431.opb0.023091OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=163.opb0.023349OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=251.opb0.024035OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=521.opb0.019513UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=421-Q=487.opb0.015934OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=439.opb0.022508OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=41-Q=347.opb0.024558OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=379.opb0.025584OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=359.opb0.015157OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=383-Q=509.opb0.021312OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=191.opb0.021405OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=397.opb0.0245OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=521.opb0.021461UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=331.opb0.0247OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=163.opb0.023754OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=373.opb0.024324OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=457.opb0.01209OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=37-Q=443.opb0.026608OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=431.opb0.020256OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=439-Q=509.opb0.016536OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=487.opb0.015369OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=233.opb0.02354OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=263-Q=367.opb0.026575OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=487.opb0.015043OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=479.opb0.014661OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=293.opb0.025261OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=331.opb0.021981OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=347.opb0.024687OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=277.opb0.01464OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=271.opb0.022467OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=449.opb0.019694OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=353-Q=479.opb0.021169OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=227-Q=383.opb0.021655OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=431-Q=503.opb0.014494OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=397-Q=521.opb0.021107UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=509.opb0.018074OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=263.opb0.022543OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=179-Q=509.opb0.020178OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=347.opb0.015949OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=379.opb0.018684OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=397.opb0.02045OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=211-Q=347.opb0.023811OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=479.opb0.021571OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=487-Q=503.opb0.015398OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=211-Q=479.opb0.014778OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=31-Q=439.opb0.017163OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=233-Q=347.opb0.021721OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=503.opb0.021455OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=389-Q=433.opb0.026983OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=431.opb0.018282OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=191.opb0.018396OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=421.opb0.021741OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=347.opb0.022575OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=13-Q=179.opb0.007992OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=367-Q=389.opb0.020009OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=293.opb0.017722OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=491.opb0.017712OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=347.opb0.024071OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=223.opb0.017091OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=307.opb0.020141OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=487.opb0.022675OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=197.opb0.022418OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=137.opb0.020695OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=359.opb0.022456OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=331.opb0.024609OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=97.opb0.020394OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=409.opb0.026211OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=449.opb0.017907OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=347.opb0.022235OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=487-Q=499.opb0.020295OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=509.opb0.024728OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=109-Q=419.opb0.015405OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=487.opb0.022193OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=71.opb0.016541OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=107-Q=373.opb0.021236OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=521.opb0.028628UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=397-Q=449.opb0.021514OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=331.opb0.02708OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=11-Q=283.opb0.013163OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=409-Q=499.opb0.024211OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=331.opb0.026788OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=331.opb0.02103OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=449.opb0.022839OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=263.opb0.021956OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=293-Q=307.opb0.023573OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=281-Q=499.opb0.02301OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=173.opb0.02249OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=281-Q=331.opb0.022335OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=211.opb0.021656OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=283-Q=293.opb0.026412OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=257.opb0.02124OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=239-Q=487.opb0.018566OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=457.opb0.018167OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=419.opb0.025229OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=409.opb0.013148OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=137.opb0.020231OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=317.opb0.019731OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=313-Q=503.opb0.021398OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=229-Q=239.opb0.02372OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=5-Q=317.opb0.015169OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=431.opb0.023402OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=107-Q=503.opb0.017479OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=421-Q=449.opb0.022921OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=499.opb0.016212OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=157.opb0.027011OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=317-Q=389.opb0.016683OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=337.opb0.026568OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=167.opb0.024631OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=67-Q=223.opb0.017523OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=383.opb0.021949OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=331.opb0.015682OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=197-Q=479.opb0.019054OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=89.opb0.017849OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=271.opb0.026815OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=307.opb0.028136OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=71.opb0.017232OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=367.opb0.026304OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=379.opb0.02344OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=67-Q=191.opb0.018824OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=389.opb0.025204OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=347.opb0.022878OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=173.opb0.026197OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=43-Q=227.opb0.019505OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=409.opb0.018249OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=479.opb0.022607OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=73-Q=449.opb0.028864OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=359-Q=379.opb0.018634OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=509.opb0.022956OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=139-Q=191.opb0.025202OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=491.opb0.01785OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=307.opb0.026544OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=149.opb0.02048OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=293.opb0.024177OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=389.opb0.023104OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=421.opb0.020054OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=499.opb0.021532OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=419.opb0.022081OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=449-Q=479.opb0.020411OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=433.opb0.020398OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=419.opb0.016799OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=263-Q=307.opb0.028075OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=277.opb0.018189OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=479.opb0.019592OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=173.opb0.026036OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=211.opb0.020798OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=443-Q=487.opb0.019778OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=331.opb0.026829OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=409-Q=509.opb0.018004OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=383-Q=521.opb0.021286UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=317.opb0.022384OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=409.opb0.018492OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=151-Q=167.opb0.025335OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=31.opb0.004634OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=251.opb0.026425OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=307.opb0.020132OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_4.opb0.00819OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_13.opb1806.51SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_6.opb0.119178OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_5.opb0.038199OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb1806.55SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.opb1806.52SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_18.opb1806.28UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_8.opb4.40735OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb1806.49SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_15.opb1806.38UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_10.opb708.193OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_16.opb1806.27SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_9.opb126.873OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb1806.22UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_7.opb1.03436OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_19.opb1806.34UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_17.opb1806.63UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb147.964OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_4.opb1806.53UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.opb1807.62UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_3.opb1807.48UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb1807.01SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_1.opb1807.27UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb338.426OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_4.opb1807.62UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb1807.19SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_4.opb1807.17SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb1807.52SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_1.opb135.946UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb1807.05UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb1807.13SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb1807.42UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_1.opb1809.35UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb1807.06SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.opb1809.36UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_2.opb1807.5UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb1806.81SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb1807.51SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb1806.91SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_1.opb1807.49UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb1807.5SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_3.opb192.931UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb76.851OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_2.opb58.5089UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb1807.22SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb197.219OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_1.opb1809.32SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb1807.13SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb1809.3SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb1807.54UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb1806.92SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_4.opb65.784UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.opb1807.13UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb1807.14UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_3.opb1807.1UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb1481.55OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb1807.25UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.opb1806.4UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb1809.36UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb653.965OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb0.038307OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb3.43989OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb1806.27UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb0.935783OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb0.111676OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb1806.24UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb0.008333OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb137.446OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb1806.51UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_15.opb1806.22UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb1806.42SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.opb1809.13UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_16.opb1806.25SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.opb1806.17UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.08.opb2.58327OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.00.opb4.20148OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.10.opb8.36444OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.11.opb6.45747OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.14.opb6.81876OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.07.opb6.17716OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.12.opb6.78028OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.02.opb6.10416OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_14.r.opb1807.6SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m4.r.opb1809.3SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb1805.9SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb1806.17SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max512.r.opb1807.06SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_20_20.r.opb0.276148OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_90_90.r.opb0.032147OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_10_10.r.opb1.88139OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-test1.r.opb1806.53SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb1809.38SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_10.r.opb1496.93OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb1806.57SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_10.r.opb1807.65SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_50_50.r.opb1.96898OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-dk512x.r.opb0.017223OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb1806.28SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ricks.r.opb0.157063OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-pdc.r.opb1806.04SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb2.28288OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_15.r.opb3.33601OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-duke2.b.opb1806.62SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb1806.48SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_30_30.r.opb0.953302OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_15.r.opb539.611OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-opus.r.opb0.017318OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb1805.71SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-fout.r.opb1807.25SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_10.r.opb1.99734OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_30_30.r.opb0.027495OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex6inp.r.opb0.042401OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-des.a.opb1808.22SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5inp.r.opb0.005048OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-maincont.r.opb0.030915OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb1807.29SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex1010.pi.opb1806.09SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.b.opb1807.16SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_90_90.r.opb0.046519OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5.r.opb1806.29SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bbara.r.opb0.003546OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_30_30.r.opb8.80212OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.a.opb5.54105OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_50_50.r.opb0.079972OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_40_40.r.opb0.020936OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb1803.22SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_15.r.opb1807.6SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-mlp4.r.opb1809.35SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_30.r.opb11.8846OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-exps.r.opb1807.43SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb1806.96SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex4inp.r.opb0.401129OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb1807.61SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd73.b.opb0.076372OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_70_70.r.opb0.186567OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m200_500_10_10.r.opb1805.07SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_70_70.r.opb0.032881OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb1807.26SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-lin.rom.r.opb1806.94SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb1807.43SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb1597.48OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb1807.38SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb324.599OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb1807.43SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb1807.19SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb1808.37SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb1545OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb1804.02SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb1807.42SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb62.4505OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb62.62OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb44.2415OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb10.7306OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb11.8748OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb1804.63SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb1807.44SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb1809.25SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb1807.33SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb1807.22SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb1262.92OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb1406.7OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb204.344OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb221.431OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb144.69OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb1807.28SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb1807.07SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb1807.37SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb1807.35SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb1807.24SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb1807.27SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb1809.25SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb1807.46SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb1807.24SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb1807.41SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb7.64703OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb2.70404OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb6.23546OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb2.20735OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb6.16079OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb2.55117OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb0.053124OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb1102.36OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb1809.37SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb1805.86SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb1806.87SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb1806.01SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb1806.5SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb1806.81SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb1805.73SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb1806.74SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb1805.75SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb1806.36SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb1806.77SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb1806.14SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb1805.56SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb1806.81SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb1806.74SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb14.3812OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb331.793OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb1806.89SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb0.005734OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb0.009715OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb413.634OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb1807.04SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb1809.39SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb0.016858OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb0.02602OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb0.020824OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb1807.09SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh301.opb0.051629OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb0.018747OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb0.017062OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb0.010868OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb993.157OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.18.opb1804.9UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb0.057725OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb0.020628OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb1805.87UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb0.034061OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb0.770659OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb847.52OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb710.14OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb0.064511OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb0.016933OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb0.531317OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb0.028654OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb1.93698OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb0.025941OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh205.opb0.053646OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb728.369OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb0.023836OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh204.opb0.057338OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb0.057813OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb0.064521OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb0.505188UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb0.051895OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb0.053071OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb0.056207OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb0.044682OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb1806.57SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb2.18661OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb0.0108OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb4.88086OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb0.030606OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-4.opb1.13906OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f600.opb1806.99UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5.opb1806.52UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb0.013967OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb0.05263OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb1806.56SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb1806.78UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb1806.18SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb17.2188OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh218.opb0.062022OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb1806.93UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb3.45819OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb0.018978OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh212.opb0.051718OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb0.030278OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh209.opb0.060917OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb1806.89SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-3.opb0.033694OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-1.opb0.041281OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb1.30621OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb0.03111OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-2.opb1.98106OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb0.030952OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb6.09712OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb1.15138UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb0.03655OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb0.028006OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb20.5324OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb0.025442OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb0.02759OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb0.828119OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb0.043292OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-4.opb0.042145OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.17.opb1805.67UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb1806.14SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb1808.87SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb0.524618OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb1.80106OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb0.04586OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb0.025172OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-3.opb1.68552OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb1806.3SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb3.29669OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb1806.44SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb0.034369OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb0.027677OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb0.011353OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb0.500061OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb9.92649OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb0.649406UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb0.045524OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb1809.31SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb1.15354UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb0.05189OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb0.742626UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb4.21124OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb0.498259OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb0.087028UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh12.opb0.049086OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh220.opb0.05581OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb1806.79SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh1.opb0.078498OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb0.031179OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb1806.68SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f1000.opb1807.08UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb0.056448OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb0.047047OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh7.opb0.059431OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh207.opb0.05333OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb0.354216OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb1805.94SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh210.opb0.12275OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb1806.93UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-5.opb1.31799OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb0.62497OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh213.opb0.057488OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb1804.64UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb0.014524OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb1806.84UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-2.opb0.047776OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb0.502704UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb1809.32SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh217.opb0.205169OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb1.94011OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb1805.71SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb8.06955OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f2000.opb1806.66UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb1806.66UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb0.059992OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb10.6415OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb0.019463OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb0.332026OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-1.opb1.34896OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1.opb1806.56UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb0.322256UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb2.55097OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb2.68791OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb2.2707OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb0.015487OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb1806.66SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb0.017125OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb0.017777OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb0.011562OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-5.opb0.049071OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh201.opb5.75845OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb0.008642OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3.opb1806.52UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb0.014429OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb1691.98OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb1806.81UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4.opb1806.57UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb3.2773OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb0.042841OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb3.33277OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh17.opb0.05666OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb1.32801OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb0.019749OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ4_3.opb0.052639OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb1806.57SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb1809.22SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb1805.68SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb1806.96SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data4_3.opb0.204476OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb1807.36SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb1805.24SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-prom2.pi.opb1806.59SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb1809.33SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb1806.31SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb1809.3SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-5xp1.b.opb10.1235OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-9sym.b.opb0.152156OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb18.9944OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb1806.49SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb1807.13SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb1805.15SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-jac3.opb1806.77SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-f51m.b.opb125.077OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb1807.07SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-clip.b.opb0.938654OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb270.406OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.opb1806.33SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-apex4.a.opb1806.13SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb0.634728OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb0.037037OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb0.597599OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb0.311532OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb0.969135OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb2.40546OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb1.22792OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb0.504777OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb0.050247OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb0.037692OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb0.04207OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb0.035491OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb1.51169OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-10pb.opb0.310492OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb0.707853OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb70.6618OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g100x100.opb1805.3SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x9.opb0.267564OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g2x2.opb0OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g4x4.opb0.003287OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g7x7.opb0.019836OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x3.opb0.007299OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-p6b.opb1807.02SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb974.745OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-ex9.opb5.38796OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-ash608gpia-3col.opb0.450693UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-807456.opb1807.2UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-go19.opb1806.83SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-777800.opb166.63OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-neos-547911.opb1805.86SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-macrophage.opb1808.74SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos18.opb0.066322OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-queens-30.opb1805.65SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-toll-like.opb1805.68SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-222__neos-1330346.opb19.2379OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-neos-1616732.opb1807.4SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-631710.opb1805.17SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-acc-tight6.opb0.299992OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-ex1010-pi.opb1806.19SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-785912.opb1.78867UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-methanosarcina.opb1806.28SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-859770.opb167.985UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-544324.opb104.357UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-neos-1109824.opb1805.85SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-bnatt400.opb0.36939OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-protfold.opb1806.72UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-datt256.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-tanglegram3.opb1808.22SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-ns1853823.opb1807.23SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-ns894244.opb1806.15SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-acc-tight4.opb0.235795OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-iis-bupa-cov.opb1807.63SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-f2000.opb1806.68UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-wnq-n100-mw99-14.opb1804.81SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-ns894788.opb92.3206OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-neos-1440225.opb1805.71SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-mspp16.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-ns1745726.opb8.36941UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb11.2291OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-neos-506428.opb1.03298OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-tanglegram1.opb1806.24SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos788725.opb185.283UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-pb-simp-nonunif.opb6.40437OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-seymour.opb1807.07SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-bnatt350.opb0.281678OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-iis-pima-cov.opb1807.26SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-hanoi5.opb3.64089OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j308_4.std.opb5.25161OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3028_7.std.opb7.52379OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_4.std.opb4.77227OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3027_1.std.opb3.99584OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3039_1.std.opb7.99884OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3044_1.std.opb42.5162OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_3.std.opb4.32019OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3024_7.std.opb4.56862OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j304_5.std.opb1.87564OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j307_6.std.opb3.58818OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3020_9.std.opb2.19527OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3037_10.std.opb4.43381OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j305_3.std.opb6.39286OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3045_1.std.opb8.03762OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j309_3.std.opb14.299OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3028_8.std.opb39.1862OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3021_10.std.opb2.8438OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3030_10.std.opb6.94416OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3047_1.std.opb4.8544OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3040_5.std.opb4.39923OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3032_2.std.opb9.42626OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j301_8.std.opb1.40932OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j309_7.std.opb5.87681OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3046_5.std.opb7.70498OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3029_1.std.opb6.65898OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3039_5.std.opb4.42173OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_10.std.opb7.78907OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3016_8.std.opb6.52988OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3034_9.std.opb2.21854OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_1.std.opb1805.4SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_7.std.opb6.64722OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_10.std.opb1805.99SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12030_10.std.opb12.5781OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12020_7.std.opb35.1494OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12048_10.std.opb45.2668OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1207_6.std.opb1805.59SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12017_7.std.opb1808.64SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12057_1.std.opb1808.68SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12044_1.std.opb5.77792OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12058_7.std.opb1805.64SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1207_10.std.opb1805.3SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12019_5.std.opb1805.74SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12019_2.std.opb1805.76SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12037_6.std.opb1805.55SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_10.std.opb1805.66SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12060_5.std.opb1805.72SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12039_5.std.opb32.4983OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1205_7.std.opb7.27871OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12015_5.std.opb25.8577OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12046_3.std.opb1805.89SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12053_3.std.opb1805.29SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1209_3.std.opb12.486OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_6.std.opb6.72455OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1209_1.std.opb13.4883OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12051_6.std.opb1808.37SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1204_1.std.opb6.79841OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12060_6.std.opb33.6156OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12020_8.std.opb57.1706OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12037_10.std.opb1805.91SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12041_1.std.opb4.60352OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_2.std.opb5.55859OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12044_8.std.opb6.39488OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1201_2.std.opb6.44635OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12024_7.std.opb6.66348OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1202_7.std.opb5.42673OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12053_6.std.opb1805.21SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1204_10.std.opb6.58881OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12038_4.std.opb1805.55SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12047_2.std.opb1805.82SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12049_10.std.opb88.6866OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12055_4.std.opb22.7075OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12013_5.std.opb1805.39SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12036_9.std.opb1805.65SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1206_4.std.opb1806.03SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_2.std.opb1805.77SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12026_4.std.opb1805.98SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12020_5.std.opb33.3604OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_4.std.opb28.6365OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12021_8.std.opb5.94717OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12048_7.std.opb1806.39SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12026_6.std.opb1808.47SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12018_6.std.opb1805.6SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_2.std.opb1806.08SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12036_6.std.opb1805.98SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j603_9.std.opb4.73757OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6029_8.std.opb1806.08SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6021_5.std.opb7.23832OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j602_4.std.opb3.52321OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6046_1.std.opb9.68053OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6027_6.std.opb5.94893OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6020_6.std.opb4.89966OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j603_6.std.opb4.43853OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6031_6.std.opb13.6795OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6019_2.std.opb4.13257OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6026_2.std.opb9.76164OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6013_4.std.opb1805.59SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6012_9.std.opb6.86082OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6030_8.std.opb9.10627OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j606_1.std.opb5.16715OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6044_1.std.opb9.25104OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6035_5.std.opb4.20643OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j609_6.std.opb1806.37SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j605_7.std.opb9.46876OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6043_1.std.opb7.13149OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6039_5.std.opb8.73311OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j607_3.std.opb6.16446OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6012_3.std.opb6.68292OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j902_10.std.opb6.43651OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9017_9.std.opb3.92224OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9019_6.std.opb3.68855OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9038_2.std.opb9.56914OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9014_2.std.opb24.0562OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9041_1.std.opb1808.59SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j902_3.std.opb5.65183OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9025_7.std.opb1805.64SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9027_5.std.opb14.7371OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9022_8.std.opb8.22137OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9020_8.std.opb5.86623OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j907_10.std.opb7.63381OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9021_5.std.opb130.094OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9013_1.std.opb1805.8SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9036_4.std.opb7.40397OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9025_10.std.opb1805.6SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9045_2.std.opb1805.88SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j909_4.std.opb1805.59SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9039_4.std.opb7.32655OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9010_6.std.opb13.8126OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9027_6.std.opb16.4305OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9013_9.std.opb1805.74SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j901_1.std.opb4.80669OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9038_7.std.opb10.2075OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9024_9.std.opb6.10671OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9043_5.std.opb15.9447OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9023_3.std.opb5.85875OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9043_10.std.opb10.3418OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9016_1.std.opb26.5371OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9044_5.std.opb14.8002OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9031_6.std.opb21.8133OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9033_3.std.opb4.30707OPTIMUM
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX180_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX15_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null20mast_rapportOE2.0_TMAX120_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null0mast_rapportOE2.0_TMAX180_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX60_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX300_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE1.0_TMAX120_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null20mast_rapportOE1.0_TMAX15_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX60_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null0mast_rapportOE2.0_TMAX60_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX300_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX180_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null20mast_rapportOE2.0_TMAX60_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX60_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX15_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX120_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null0mast_rapportOE1.0_TMAX300_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX300_K192_cod2.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX60_K67_cod3.opb1805.88SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null10mast_rapportOE1.0_TMAX120_K67_cod3.opb1805.94SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2.opb1805.96UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX60_K67_cod1.opb1806.06SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE2.0_TMAX180_K67_cod2.opb1808.51UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX120_K67_cod1.opb1805.77SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb1808.61SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX180_K67_cod1.opb1806.03SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb359.223OPTIMUM
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb1805.02SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb1806.39UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod3.opb1805.9SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX300_K67_cod2.opb1805.48UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb1805.42UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb1805.61UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2.opb1805.57UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE1.0_TMAX15_K67_cod1.opb1806.1SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX120_K67_cod1.opb1805.87SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX15_K67_cod2.opb218.487OPTIMUM
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX120_K67_cod2.opb229.7OPTIMUM
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX120_K67_cod2.opb1805.8UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX15_K67_cod1.opb1808.58SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb1805.87SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX120_K67_cod2.opb1806.24UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX120_K67_cod1.opb1805.94SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX60_K67_cod1.opb1805.98SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb1805.82UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_K67_cod2.opb5.80457OPTIMUM
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX60_K67_cod2.opb1806.35UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb1805.98SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-mul_8_11_shg.opb1804.98SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-mul_8_14_shg.opb1804.53SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-sbox_4_shg.opb1807.14SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-mul_8_3_shg.opb1805.18SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-mul_8_9_shg.opb1804.69SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-sbox_8_shg.opb289.683UNKNOWN
OPT-SMALLINT-LIN/kullmann/normalized-mul_8_13_shg.opb1804.64SATISFIABLE
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-11.opb3.1262OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-14.opb2.91052OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-11.opb5.75845OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-15.opb25.2785OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-3.opb3.65589OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-8.opb4.66704OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-4.opb3.7379OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-10.opb4.20206OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-13.opb3.38938OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-1.opb3.57683OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-9.opb4.63663OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-13.opb6.51274OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-12.opb6.04935OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-6.opb5.23643OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-7.opb5.22744OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-15.opb6.00029OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-5.opb3.4061OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-14.opb5.11862OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-2.opb4.00427OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-12.opb2.8605OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randd1cab2.cudf.paranoid.opb1.76323OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb1.99166OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa491d5.cudf.paranoid.opb0.705447UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.paranoid.opb1.06998OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand4bf850.cudf.paranoid.opb1.5099OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randbccf2d.cudf.paranoid.opb1.96015OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randfe95e3.cudf.paranoid.opb0.261881UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand65d021.cudf.paranoid.opb0.530238UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand902db1.cudf.paranoid.opb0.387183OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb1.45919OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand2d8467.cudf.paranoid.opb1.67156OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randf7d077.cudf.paranoid.opb0.861078UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa09fe9.cudf.paranoid.opb2.17624OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa6997e.cudf.paranoid.opb2.32743OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand199fd6.cudf.paranoid.opb0.202462UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randb87834.cudf.paranoid.opb1.7323OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randaef248.cudf.paranoid.opb0.257099UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand767898.cudf.paranoid.opb1.46585OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb1.63933OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb0.679344OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc18b26.cudf.paranoid.opb1.15277OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb0.16795UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand00ebc7.cudf.paranoid.opb0.22979UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand362510.cudf.paranoid.opb1.96579OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb1.30332OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb0.163607UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randfd04d4.cudf.paranoid.opb0.695607OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4a23d9.cudf.paranoid.opb1.35122OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb1.43625OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb1.69438OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randa2004a.cudf.paranoid.opb1.26495OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand27da90.cudf.paranoid.opb1.8669OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb1.05244OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.paranoid.opb1.30543OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.paranoid.opb1.97812OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand085d8a.cudf.paranoid.opb1.60965OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand5d20db.cudf.paranoid.opb1.5165OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randcebca4.cudf.paranoid.opb1.49162OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randb54299.cudf.paranoid.opb1.29439OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand71b131.cudf.paranoid.opb2.0332OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand9ffe99.cudf.paranoid.opb1.65265OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4b919e.cudf.paranoid.opb1.29555OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randec6fe1.cudf.paranoid.opb1.35174OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf66c83.cudf.paranoid.opb1.39963OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1034.cudf.paranoid.opb0.048855UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-121.cudf.paranoid.opb0.08941UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-787.cudf.paranoid.opb0.005077OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1094.cudf.paranoid.opb0.021344OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1037.cudf.paranoid.opb0.035801OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-122.cudf.paranoid.opb0.084107UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb0.021191UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb0.012194UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1078.cudf.paranoid.opb0OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1077.cudf.paranoid.opb0.033328UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1125.cudf.paranoid.opb0.01077UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1098.cudf.paranoid.opb0.051273OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1097.cudf.paranoid.opb0.023336OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb0.092675OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1093.cudf.paranoid.opb0.035891UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-869.cudf.paranoid.opb0.022647UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-902.cudf.paranoid.opb0.079368OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-787.cudf.trendy.opb0.007546OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-995.cudf.trendy.opb0.012768UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1021.cudf.trendy.opb0.010083UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1078.cudf.trendy.opb0OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-1000opt.opb1.00924OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-5000opt.opb2.19569OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb1.32038OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-3000opt.opb1.02582OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-3000opt.opb3.05575OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-2000opt.opb3.74452OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-10000opt.opb1.1979OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-4000opt.opb3.00463OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-4000opt.opb0.542624OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-9000opt.opb1.03065OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb12.3195OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-10000opt.opb3.76939OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-7000opt.opb1.1464OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-6000opt.opb4.34298OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-7000opt.opb5.67498OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-9000opt.opb1.8411OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-1000opt.opb2.65689OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.opb0.966323OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-6000opt.opb1.67832OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-8000opt.opb1.11252OPTIMUM
OPT-SMALLINT-LIN/flexray/normalized-fx63.opb1806.2UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx57.opb2.54102OPTIMUM
OPT-SMALLINT-LIN/flexray/normalized-fx60.opb768.524OPTIMUM
OPT-SMALLINT-LIN/flexray/normalized-fx49.opb1806.35UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx30.opb1803.63UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx75.opb1807.95UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx92.opb749.686OPTIMUM
OPT-SMALLINT-LIN/flexray/normalized-fx97.opb1805.15UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx84.opb10.4219OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir07_trarea_ac.opb1809.33SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb1806.3SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir05_trarea_ac.opb1807.02SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir04_trarea_ac.opb1808.88SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb1806.06SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir08_trarea_ac.opb1806.18SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir10_trarea_ac.opb1806.09SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir03_trarea_ac.opb211.695OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb11.4757OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb8.70402OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_023_area_delay.opb36.9703OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb1.31221OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb1.88946OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb1.72878OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb0.800176OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb4.58745OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb5.81379OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_011_area_delay.opb5.56403OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb5.16568OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_013_area_delay.opb15.6538OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb1.69843OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_area_delay.opb18.9161OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_025_area_delay.opb14.5081OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb33.2717OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_005_area_delay.opb25.7889OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb3.00104OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb27.2311OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_003_area_delay.opb7.45455OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb41.4292OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_area_delay.opb6.51311OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_029_area_delay.opb19.5229OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_012_area_delay.opb22.7263OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb6.49216OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb2.24771OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_028_area_delay.opb10.329OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb3.45723OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_007_area_delay.opb19.9525OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_016_area_delay.opb7.47684OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb26.8846OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir09_area_delay.opb1806.54SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir04_area_delay.opb0.21833OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir07_area_delay.opb1806.62SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir02_area_delay.opb0.069291OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb2.08304OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir01_area_delay.opb0.012172OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir10_area_delay.opb1806.14SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir08_area_delay.opb1805.56SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb20.8207OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb1682.35OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb0.788842OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir09_area_opers.opb42.0636OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir07_area_opers.opb14.4685OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir08_area_opers.opb1805.43SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb2.00521OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir04_area_opers.opb0.298978OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb6.58961OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir10_area_opers.opb1004.22OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir02_area_opers.opb0.216083OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb2.11475OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir01_area_opers.opb0.020643OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.opb1806.39SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb1805.33SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb1805.43SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb242.172OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb9.45795OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb205.695OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb110.751OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb77.3494OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb280.749OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_9.opb1225.13OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir03_area_partials.opb0.069543OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir06_area_partials.opb0.044232OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir07_area_partials.opb0.01225OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb0.384168OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb0.599285OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir04_area_partials.opb0OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir08_area_partials.opb5.82846OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir05_area_partials.opb0.032711OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir02_area_partials.opb0.009876OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-8_16.opb238.501OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-11_22.opb285.745OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-6_12.opb0.161869OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-7_14.opb2.6981OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb12.3952OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-5_10.opb0.06401OPTIMUM