InstanceRuntimeResult
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_000.opb.metafix.opb10.6123OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_001.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_009.opb.metafix.opb0.016182OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_003.opb.metafix.opb0.019167OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_007.opb.metafix.opb0.011487OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_002.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_002.opb.metafix.opb0.025908OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_009.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_004.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_008.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_008.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_007.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_006.opb.metafix.opb0.273303OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_006.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_002.opb.metafix.opb0.010644OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_003.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_005.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_008.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_001.opb.metafix.opb0OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_005.opb.metafix.opb943.844OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_008.opb.metafix.opb0.002659OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_001.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_007.opb.metafix.opb0.022473OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_005.opb.metafix.opb0.083956OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_004.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_006.opb.metafix.opb0.010596OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_009.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_003.opb.metafix.opb359.898OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_006.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_000.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_000.opb.metafix.opb0.021279OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_008.opb.metafix.opb0.012355OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_004.opb.metafix.opb0.140336OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_002.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_004.opb.metafix.opb0OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_003.opb.metafix.opb0.016319OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_004.opb.metafix.opb0.003035OPTIMUM
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.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_005.opb.metafix.opb0OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_002.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_006.opb.metafix.opb0OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_003.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_001.opb.metafix.opb0.243427OPTIMUM
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.opb11.9559OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_009.opb.metafix.opb0.556289OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_002.opb.metafix.opb0OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_005.opb.metafix.opb0.009209OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_000.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_007.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_008.opb.metafix.opb0.148803OPTIMUM
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.004556OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_003.opb.metafix.opb0.0025OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_000.opb.metafix.opb0.004099OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_006.opb.metafix.opb0.030911OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_007.opb.metafix.opb0.746581OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_001.opb.metafix.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_001.opb.metafix.opb0.008223OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm90p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm95p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm50p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm100p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm98p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm95p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb58.2692OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm100p-opt.opb.negationfix.opb1800UNKNOWN
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.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-070.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-040.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-hmittelman.lin.opb0.002308OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament20.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-098.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament16.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross20-080.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-30.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-23.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0066-0066.lin.opb0.160303OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-30.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-09.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-08.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-050.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-06.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross24-115.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0088-0888.lin.opb0.394514OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-15.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament24.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament06.lin.opb0.010083OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-030.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0077-0777.lin.opb0.361969OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-058.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross24-057.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament34.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-137.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-06.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-13.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament42.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross22-048.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0244-0244.lin.opb1.7122OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament28.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-08.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay20h.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament38.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0334-0334.lin.opb3.82958OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0344-0344.lin.opb306.518OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament44.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay30.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0044-0044.lin.opb0.030311OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-14.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-30.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0444-0444.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament36.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-60.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament08.lin.opb0.034346OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-03.lin.opb0.009003OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay33.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-18.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-70.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0234-0234.lin.opb0.144055OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0055-0055.lin.opb0.099534OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-20.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-020.lin.opb0.803572OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-crossdock_15x7.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay30h.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-15.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-05.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-25.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-03.lin.opb0.010873OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-20.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-05.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-10.lin.opb1702.44OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament22.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament46.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-19.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-26.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross22-096.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-010.lin.opb0.026782OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament32.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament30.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-090.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-05.lin.opb213.858OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-019.lin.opb87.9235OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament50.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay35.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-11.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross20-040.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0099-0999.lin.opb2.63814OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament48.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0333-0333.lin.opb0.876289OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-04.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-10.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament12.lin.opb298.327OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-117.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb1800SATISFIABLE
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament10.lin.opb0.398417OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament40.lin.opb1800SATISFIABLE
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.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp97ic.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-UMTS.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-B2C1S1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-trento1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp98ar.opb1800SATISFIABLE
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.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp98ic.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dg012142.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-glass4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-biella1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ir98.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dolom1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-railway_8_1_0.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core2536-691.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic98.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core4872-1529.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-siena1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-rail507.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dc1c.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dc1l.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp97ar.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10c.opb3.12592UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran14x18.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3707.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb0.962422UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb1.45549OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3704.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370b.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran13x13.opb709.72UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3706.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x12.opb11.0636UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb0.983835UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb23.3168UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb22.9041UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3709.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-gr4x6.opb4.33849UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb3.03941OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb22.2335UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x12.opb357.333UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb3.49205UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3708.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb2.07056UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3701.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos3.opb100.444OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-markshare2_1.opb1800SATISFIABLE
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.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos12.opb2.32648UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos7.opb1800SATISFIABLE
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.opb0.558748UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos2.opb49.6549OPTIMUM
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.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos17.opb1.81896UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos6.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath3.opb1800UNKNOWN
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.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-blend2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gesa3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1cl.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb39.7601OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-enigma.opb36.1577OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc06.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-mod013.opb25.0984OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc02.opb0.718287OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb18.1679OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1al.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-gen.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-khb05250.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-rgn.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc01.opb1.94241OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc04.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc03.opb51.8625OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-flugpl.opb1.08792OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc05.opb0.451075UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air03.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb423.173OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb959.491OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-sample2.opb6.13799OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3a.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mas76.opb0.065076OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08a.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nw04.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fixnet6.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum1.opb1.4568UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb4.14372OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb1800SATISFIABLE
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.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-set1ch.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-t1717.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-swath.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rout.opb1800SATISFIABLE
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.opb1800UNKNOWN
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.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum2.opb10.8107UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-danoint.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mas74.opb0.06384OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air04.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air05.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-timtab1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-vpm2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb1569.41UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-liu.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pk1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow40b.opb1800UNKNOWN
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.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-nazareth.opb0.526446OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-testprob.opb0.081352OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-maros.opb17.2284OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship12l.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow7.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc105.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sierra.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-brandy.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scfxm1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share2b.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow22.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-degen3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-beaconfd.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-degen2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-woodw.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-perold.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd6.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scfxm3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl2.opb47.1771UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scagr7.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb2.97834UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot4.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bandm.opb4.59249UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-standata.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-boeing1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb1800UNKNOWN
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.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-wood1p.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc205.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship08l.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-nesm.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-standgub.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50a.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb56.3036UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb56.7215OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-recipe.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-czprob.opb33.8933UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow15.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot.opb3.39686UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-boeing2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-afiro.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ganges.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship04l.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-80bau3b.opb2.04118UNSATISFIABLE
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.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-capri.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot87.opb3.02119UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-e226.opb4.78378UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl1.opb6.7019UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit2d.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-25fv47.opb1800UNKNOWN
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.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bore3d.opb0.215572UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship12s.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scfxm2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-forplan.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-blend.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-maros.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stair.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-shell.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-cycle.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share1b.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb53.4867OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb2.24602OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb0.078904OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb77.0562OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb1451.8OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb0.001948OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb21.8559OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb6.38085OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb308.429OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb32.9303OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb0.006155OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb0.704689OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb0UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb0.175165OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb0.112793OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb314.501OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=181.opb0.015516OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=431.opb0.017373OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=277.opb0.0162OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=151.opb0.013746OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=457.opb0.017309OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=379.opb0.016152OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=487.opb0.01593OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=367.opb0.022419OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=179.opb0.016043OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=11-Q=53.opb0.018057OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=127.opb0.014453OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=521.opb0.02002UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=197.opb0.012724OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=461.opb0.019636OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=163.opb0.019255OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=487.opb0.021429OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=179.opb0.017885OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=229-Q=307.opb0.012193OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=307.opb0.02524OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=431.opb0.015749OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=37-Q=107.opb0.017287OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=109-Q=373.opb0.013696OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=359.opb0.018834OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=163.opb0.021646OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=449.opb0.015429OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=163.opb0.019278OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=131.opb0.016435OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=137.opb0.021661OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=431.opb0.019512OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=419.opb0.014699OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=223.opb0.007887OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=379.opb0.016293OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=421.opb0.020364OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=379.opb0.017412OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=389.opb0.025181OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=211.opb0.018377OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=239-Q=373.opb0.019735OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=431.opb0.018595OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=163.opb0.014978OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=251.opb0.022776OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=521.opb0.016374UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=421-Q=487.opb0.023862OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=439.opb0.011823OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=41-Q=347.opb0.022719OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=379.opb0.022122OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=359.opb0.021864OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=383-Q=509.opb0.022554OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=191.opb0.019976OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=397.opb0.022069OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=521.opb0.017639UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=331.opb0.02007OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=163.opb0.020539OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=373.opb0.018373OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=457.opb0.013582OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=37-Q=443.opb0.018014OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=431.opb0.024006OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=439-Q=509.opb0.021473OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=487.opb0.015305OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=233.opb0.015513OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=263-Q=367.opb0.022745OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=487.opb0.018749OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=479.opb0.018419OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=293.opb0.023221OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=331.opb0.012093OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=347.opb0.024876OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=277.opb0.023735OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=271.opb0.023655OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=449.opb0.014065OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=353-Q=479.opb0.01686OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=227-Q=383.opb0.014331OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=431-Q=503.opb0.017104OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=397-Q=521.opb0.018939UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=509.opb0.015405OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=263.opb0.021744OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=179-Q=509.opb0.022288OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=347.opb0.014885OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=379.opb0.014216OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=397.opb0.022122OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=211-Q=347.opb0.0224OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=479.opb0.018197OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=487-Q=503.opb0.014319OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=211-Q=479.opb0.026238OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=31-Q=439.opb0.017698OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=233-Q=347.opb0.018403OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=503.opb0.017598OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=389-Q=433.opb0.020909OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=431.opb0.013064OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=191.opb0.02605OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=421.opb0.017352OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=347.opb0.024286OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=13-Q=179.opb0.013382OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=367-Q=389.opb0.018468OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=293.opb0.019607OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=491.opb0.020024OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=347.opb0.017285OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=223.opb0.020508OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=307.opb0.016276OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=487.opb0.018375OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=197.opb0.019661OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=137.opb0.023409OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=359.opb0.02406OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=331.opb0.017879OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=97.opb0.015065OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=409.opb0.024608OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=449.opb0.025594OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=347.opb0.019869OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=487-Q=499.opb0.018426OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=509.opb0.01831OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=109-Q=419.opb0.01764OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=487.opb0.018175OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=71.opb0.013618OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=107-Q=373.opb0.023593OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=521.opb0.020572UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=397-Q=449.opb0.021898OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=331.opb0.022838OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=11-Q=283.opb0.01966OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=409-Q=499.opb0.019748OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=331.opb0.014548OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=331.opb0.022934OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=449.opb0.0179OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=263.opb0.024882OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=293-Q=307.opb0.022613OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=281-Q=499.opb0.01519OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=173.opb0.017879OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=281-Q=331.opb0.01649OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=211.opb0.023637OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=283-Q=293.opb0.025359OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=257.opb0.019138OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=239-Q=487.opb0.01879OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=457.opb0.022179OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=419.opb0.014997OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=409.opb0.019866OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=137.opb0.017097OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=317.opb0.018539OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=313-Q=503.opb0.012116OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=229-Q=239.opb0.021368OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=5-Q=317.opb0.016233OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=431.opb0.022513OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=107-Q=503.opb0.020991OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=421-Q=449.opb0.021536OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=499.opb0.016121OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=157.opb0.01037OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=317-Q=389.opb0.019543OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=337.opb0.020038OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=167.opb0.019965OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=67-Q=223.opb0.019227OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=383.opb0.020367OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=331.opb0.016461OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=197-Q=479.opb0.022447OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=89.opb0.01181OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=271.opb0.019716OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=307.opb0.024507OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=71.opb0.019671OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=367.opb0.017094OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=379.opb0.018694OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=67-Q=191.opb0.022623OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=389.opb0.019902OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=347.opb0.024369OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=173.opb0.017443OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=43-Q=227.opb0.018045OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=409.opb0.016922OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=479.opb0.016082OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=73-Q=449.opb0.019002OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=359-Q=379.opb0.018297OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=509.opb0.021914OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=139-Q=191.opb0.017036OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=491.opb0.016371OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=307.opb0.020313OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=149.opb0.018714OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=293.opb0.015214OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=389.opb0.026031OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=421.opb0.022758OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=499.opb0.020836OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=419.opb0.02592OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=449-Q=479.opb0.014598OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=433.opb0.019827OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=419.opb0.014428OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=263-Q=307.opb0.013925OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=277.opb0.015236OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=479.opb0.021341OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=173.opb0.020729OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=211.opb0.023421OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=443-Q=487.opb0.015654OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=331.opb0.017162OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=409-Q=509.opb0.020905OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=383-Q=521.opb0.021979UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=317.opb0.023003OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=409.opb0.016955OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=151-Q=167.opb0.022413OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=31.opb0.006997OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=251.opb0.016492OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=307.opb0.015861OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_4.opb0.015189OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_13.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_6.opb0.181203OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_5.opb0.058064OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_18.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_8.opb7.81145OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_15.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_10.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_16.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_9.opb235.713OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_7.opb1.64607OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_19.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_17.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb974.837OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_4.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_4.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_1.opb710.731UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_1.opb616.751OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_3.opb715.837UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_2.opb1430.76UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_4.opb565.302UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb0.065518OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb8.10904OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb2.3301OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb0.336367OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb0.019069OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb363.528OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_15.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_16.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.08.opb3.12474OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.00.opb4.46554OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.10.opb8.63625OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.11.opb7.06972OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.14.opb7.26489OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.07.opb5.50658OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.12.opb6.34684OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.02.opb6.10534OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_14.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m4.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max512.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_20_20.r.opb0.381776OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_90_90.r.opb0.028354OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_10_10.r.opb2.44835OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-test1.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_10.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_10.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_50_50.r.opb1.06645OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-dk512x.r.opb0.023476OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ricks.r.opb6.6161OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-pdc.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb6.52532OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_15.r.opb4.57964OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-duke2.b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_30_30.r.opb2.80992OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_15.r.opb699.985OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-opus.r.opb0.023139OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-fout.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_10.r.opb9.47338OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_30_30.r.opb0.026015OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex6inp.r.opb0.042041OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-des.a.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5inp.r.opb0.013099OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-maincont.r.opb0.035514OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex1010.pi.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_90_90.r.opb0.041506OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bbara.r.opb0.00695OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_30_30.r.opb34.1983OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.a.opb5.70915OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_50_50.r.opb0.045305OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_40_40.r.opb0.022301OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_15.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-mlp4.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_30.r.opb98.7833OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-exps.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex4inp.r.opb0.214275OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd73.b.opb0.135476OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_70_70.r.opb0.088314OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m200_500_10_10.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_70_70.r.opb0.031363OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-lin.rom.r.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb442.408OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb1434.4OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb252.249OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb292.152OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb1663.05OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb921.01OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb402.966OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb38.51OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb57.8753OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb46.5158OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb41.0351OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb56.5062OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb43.187OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb0.281321OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb53.464OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb0.002602OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb0.005062OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb0.014671OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb0.005673OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb0.012592OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh301.opb0.03429OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb0.014937OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb0.016969OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb0OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.18.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb0.05813OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb0.012462OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb0.029478OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb0.759905OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb0.053557OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb0.026343OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb0.400225OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb0.010122OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb0.022761OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh205.opb0.034991OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb0.019392OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh204.opb0.050948OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb0.053948OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb0.053195OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb0.031374UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb0.057415OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb0.01387OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb0.042775OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb0.009465OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb0.004051OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb5.55647OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb0.018387OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-4.opb0.869262OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f600.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb0.004281OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb0.043884OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb57.692OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh218.opb0.080642OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb4.655OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb0.010145OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh212.opb0.046208OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb0.016927OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh209.opb0.067585OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-3.opb0.03234OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-1.opb0.035168OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb1.11884OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb0.02125OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-2.opb2.03403OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb0.005883OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb3.35552OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb0.070422UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb0.007895OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb0.017277OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb37.6976OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb0.017647OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb0.007136OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb0.468444OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb0.042675OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-4.opb0.045604OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.17.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb0.64987OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb1.36272OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb0.032285OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb0.01893OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-3.opb1.16266OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb3.26397OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb0.026941OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb0.027169OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb0.009245OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb0.406735OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb29.2056OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb0.036869UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb0.004746OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb0.063952UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb0.006545OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb0.04204UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb0.284529OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb0.015576UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh12.opb0.044893OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh220.opb0.069562OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh1.opb0.079163OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb0.005973OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f1000.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb0.037782OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb0.042518OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh7.opb0.106028OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh207.opb0.033769OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb0.14743OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh210.opb0.187007OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-5.opb0.46569OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb0.338568OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh213.opb0.050089OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb0.012263OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-2.opb0.040671OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb0.051256UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh217.opb0.229003OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb0.904993OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb10.8957OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f2000.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb0.023884OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb12.5447OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb0.010108OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb0.248206OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-1.opb1.24614OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb0.287234UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb3.86089OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb2.25934OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb0.002365OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb0OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb0.015354OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb0.007662OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-5.opb0.017971OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh201.opb16.0016OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb0.011895OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb0.010926OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4.opb1800UNKNOWN
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb0.040627OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb1.45159OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh17.opb0.052931OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb1.42513OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb0.010716OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ4_3.opb0.056352OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data4_3.opb0.546714OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-prom2.pi.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-5xp1.b.opb81.6343OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-9sym.b.opb0.281645OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb140.968OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-jac3.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-f51m.b.opb178.82OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-clip.b.opb0.599172OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb1754.46OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-apex4.a.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb2.13444OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb0.071188OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb8.54314OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb2.72149OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb2.70622OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb6.58362OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb3.75189OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb2.21664OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb0.060859OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb0.057548OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb0.07128OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb0.049067OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb5.60562OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-10pb.opb0.65907OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb2.68987OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g100x100.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x9.opb0.196831OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g2x2.opb0OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g4x4.opb0OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g7x7.opb0.021099OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x3.opb0.00707OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-p6b.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-ex9.opb16.8175OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-ash608gpia-3col.opb0.671973UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-807456.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-go19.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-777800.opb955.913OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-neos-547911.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-macrophage.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos18.opb0.076555OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-queens-30.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-toll-like.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-222__neos-1330346.opb43.7265OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-neos-1616732.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-631710.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-acc-tight6.opb0.3373OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-ex1010-pi.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-neos-785912.opb41.1087UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-methanosarcina.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-859770.opb179.98UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-544324.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-1109824.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-bnatt400.opb0.149355OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-protfold.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-datt256.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-tanglegram3.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-ns1853823.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-ns894244.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-acc-tight4.opb0.607978OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-iis-bupa-cov.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-f2000.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-wnq-n100-mw99-14.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-ns894788.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-neos-1440225.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-mspp16.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-ns1745726.opb12.0485UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb46.5825OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-neos-506428.opb1.00891OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-tanglegram1.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-neos788725.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-pb-simp-nonunif.opb6.73574OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-seymour.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-bnatt350.opb0.121549OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-iis-pima-cov.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-hanoi5.opb1.26574OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j308_4.std.opb7.42178OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3028_7.std.opb13.8021OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_4.std.opb9.30784OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3027_1.std.opb11.1449OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3039_1.std.opb2.22054OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3044_1.std.opb4.08885OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_3.std.opb24.2926OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3024_7.std.opb6.21505OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j304_5.std.opb1.17455OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j307_6.std.opb2.6993OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3020_9.std.opb25.0465OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3037_10.std.opb1.8384OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j305_3.std.opb3.18974OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3045_1.std.opb16.5875OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j309_3.std.opb6.68227OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3028_8.std.opb7.85124OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3021_10.std.opb1.35914OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3030_10.std.opb11.5158OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3047_1.std.opb15.9318OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3040_5.std.opb3.73949OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3032_2.std.opb18.6452OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j301_8.std.opb1.38202OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j309_7.std.opb8.77413OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3046_5.std.opb9.90685OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3029_1.std.opb9.19694OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3039_5.std.opb5.94826OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_10.std.opb11.3876OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3016_8.std.opb27.7637OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3034_9.std.opb6.19113OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_1.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_7.std.opb9.84137OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_10.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12030_10.std.opb47.6908OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12020_7.std.opb296.373OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12048_10.std.opb532.266OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1207_6.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12017_7.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12057_1.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12044_1.std.opb19.3729OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12058_7.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1207_10.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12019_5.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12019_2.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12037_6.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_10.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12060_5.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12039_5.std.opb610.82OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1205_7.std.opb47.4844OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12015_5.std.opb143.515OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12046_3.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12053_3.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1209_3.std.opb128.785OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_6.std.opb22.5775OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1209_1.std.opb158.952OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12051_6.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1204_1.std.opb81.7208OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12060_6.std.opb235.141OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12020_8.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12037_10.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12041_1.std.opb15.1991OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_2.std.opb15.9759OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12044_8.std.opb24.0448OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1201_2.std.opb17.7739OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12024_7.std.opb23.5772OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1202_7.std.opb31.4435OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12053_6.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1204_10.std.opb33.0128OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12038_4.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12047_2.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12049_10.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12055_4.std.opb40.772OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12013_5.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12036_9.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1206_4.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_2.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12026_4.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12020_5.std.opb89.2216OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_4.std.opb94.4928OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12021_8.std.opb8.88687OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12048_7.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12026_6.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12018_6.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_2.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12036_6.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j603_9.std.opb10.675OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6029_8.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6021_5.std.opb15.1254OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j602_4.std.opb4.94082OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6046_1.std.opb48.6656OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6027_6.std.opb69.6631OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6020_6.std.opb4.96784OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j603_6.std.opb4.51773OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6031_6.std.opb86.1889OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6019_2.std.opb2.64314OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6026_2.std.opb39.5287OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6013_4.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6012_9.std.opb11.2265OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6030_8.std.opb95.0712OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j606_1.std.opb63.9873OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6044_1.std.opb28.0166OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6035_5.std.opb7.48135OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j609_6.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j605_7.std.opb58.7551OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6043_1.std.opb22.6578OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6039_5.std.opb15.9384OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j607_3.std.opb32.8663OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6012_3.std.opb60.7829OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j902_10.std.opb46.558OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9017_9.std.opb2.82638OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9019_6.std.opb10.4714OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9038_2.std.opb19.7077OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9014_2.std.opb208.346OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9041_1.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j902_3.std.opb10.9748OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9025_7.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9027_5.std.opb23.8798OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9022_8.std.opb27.1301OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9020_8.std.opb19.8686OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j907_10.std.opb31.2388OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9021_5.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9013_1.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9036_4.std.opb5.05482OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9025_10.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9045_2.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j909_4.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9039_4.std.opb45.1772OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9010_6.std.opb37.0492OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9027_6.std.opb10.3221OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9013_9.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j901_1.std.opb6.20597OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9038_7.std.opb54.7781OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9024_9.std.opb69.693OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9043_5.std.opb25.9027OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9023_3.std.opb19.3986OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9043_10.std.opb39.1063OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9016_1.std.opb47.5517OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9044_5.std.opb45.325OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9031_6.std.opb104.767OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9033_3.std.opb5.13844OPTIMUM
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.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null10mast_rapportOE1.0_TMAX120_K67_cod3.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX60_K67_cod1.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE2.0_TMAX180_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX120_K67_cod1.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX180_K67_cod1.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod3.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX300_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE1.0_TMAX15_K67_cod1.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX120_K67_cod1.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX15_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX120_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX120_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX15_K67_cod1.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX120_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX120_K67_cod1.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX60_K67_cod1.opb1800UNKNOWN
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_K67_cod2.opb173.232OPTIMUM
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX60_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb1800SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-mul_8_11_shg.opb1800SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-mul_8_14_shg.opb1800SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-sbox_4_shg.opb1800SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-mul_8_3_shg.opb1800SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-mul_8_9_shg.opb1800SATISFIABLE
OPT-SMALLINT-LIN/kullmann/normalized-sbox_8_shg.opb1800UNKNOWN
OPT-SMALLINT-LIN/kullmann/normalized-mul_8_13_shg.opb1800SATISFIABLE
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-11.opb19.0287OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-14.opb19.9549OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-11.opb150.005OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-15.opb39.6441OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-3.opb21.3265OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-8.opb20.0222OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-4.opb107.535OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-10.opb9.0509OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-13.opb26.0976OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-1.opb46.5711OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-9.opb52.2041OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-13.opb68.2655OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-12.opb121.894OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-6.opb129.732OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-7.opb92.7718OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-15.opb193.334OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-5.opb72.3828OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-14.opb87.9756OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-2.opb44.8413OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-12.opb17.062OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randd1cab2.cudf.paranoid.opb348.754OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb71.4689OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa491d5.cudf.paranoid.opb0.275429UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.paranoid.opb309.434OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand4bf850.cudf.paranoid.opb145.979OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randbccf2d.cudf.paranoid.opb1127.4OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randfe95e3.cudf.paranoid.opb0.246911UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand65d021.cudf.paranoid.opb0.256753UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand902db1.cudf.paranoid.opb0.462619OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb52.081OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand2d8467.cudf.paranoid.opb490.947OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randf7d077.cudf.paranoid.opb0.280684UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa09fe9.cudf.paranoid.opb1417.9OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa6997e.cudf.paranoid.opb384.347OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand199fd6.cudf.paranoid.opb0.19138UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randb87834.cudf.paranoid.opb673.1OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randaef248.cudf.paranoid.opb0.251724UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand767898.cudf.paranoid.opb128.202OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb288.265OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb136.629OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc18b26.cudf.paranoid.opb336.628OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb0.15633UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand00ebc7.cudf.paranoid.opb0.226745UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand362510.cudf.paranoid.opb868.09OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb388.103OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb0.15917UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randfd04d4.cudf.paranoid.opb397.115OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4a23d9.cudf.paranoid.opb610.598OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb715.313OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb301.503OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randa2004a.cudf.paranoid.opb317.87OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand27da90.cudf.paranoid.opb849.301OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb224.296OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.paranoid.opb155.539OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.paranoid.opb237.166OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand085d8a.cudf.paranoid.opb263.607OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand5d20db.cudf.paranoid.opb474.905OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randcebca4.cudf.paranoid.opb361.047OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randb54299.cudf.paranoid.opb255.369OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand71b131.cudf.paranoid.opb684.534OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand9ffe99.cudf.paranoid.opb572.631OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4b919e.cudf.paranoid.opb219.169OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randec6fe1.cudf.paranoid.opb30.5889OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf66c83.cudf.paranoid.opb373.326OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1034.cudf.paranoid.opb0.039874UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-121.cudf.paranoid.opb0.073107UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-787.cudf.paranoid.opb0.004537OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1094.cudf.paranoid.opb0.023178OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1037.cudf.paranoid.opb0.023442OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-122.cudf.paranoid.opb0.080558UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb0.019819UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb0.01175UNSATISFIABLE
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.033339UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1125.cudf.paranoid.opb0.008586UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1098.cudf.paranoid.opb0.040939OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1097.cudf.paranoid.opb0.018343OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb0.069318OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1093.cudf.paranoid.opb0.040413UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-869.cudf.paranoid.opb0.012506UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-902.cudf.paranoid.opb0.070666OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-787.cudf.trendy.opb0.005333OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-995.cudf.trendy.opb0.011479UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1021.cudf.trendy.opb0.010179UNSATISFIABLE
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.opb2.35446OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-5000opt.opb8.0627OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb3.52016OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-3000opt.opb2.70735OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-3000opt.opb4.99728OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-2000opt.opb6.14787OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-10000opt.opb1.7013OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-4000opt.opb7.78465OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-4000opt.opb1.19899OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-9000opt.opb1.63879OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb36.0235OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-10000opt.opb7.08767OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-7000opt.opb2.4695OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-6000opt.opb5.44126OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-7000opt.opb9.00117OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-9000opt.opb3.6747OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-1000opt.opb2.41122OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.opb2.81452OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-6000opt.opb2.90431OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-8000opt.opb2.56325OPTIMUM
OPT-SMALLINT-LIN/flexray/normalized-fx63.opb1800UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx57.opb57.5504OPTIMUM
OPT-SMALLINT-LIN/flexray/normalized-fx60.opb626.508OPTIMUM
OPT-SMALLINT-LIN/flexray/normalized-fx49.opb1800UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx30.opb1800UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx75.opb1800UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx92.opb1800UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx97.opb1800UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx84.opb1800UNKNOWN
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir07_trarea_ac.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir05_trarea_ac.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir04_trarea_ac.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir08_trarea_ac.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir10_trarea_ac.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir03_trarea_ac.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_023_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb5.76408OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb4.71948OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb2.33425OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb8.3699OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_011_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_013_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_025_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_005_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb9.99655OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_003_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_029_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_012_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_028_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_007_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_016_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb107.263OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir09_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir04_area_delay.opb0.247791OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir07_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir02_area_delay.opb0.170786OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb8.96705OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir01_area_delay.opb0.013781OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir10_area_delay.opb1800UNKNOWN
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir08_area_delay.opb1800UNKNOWN
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb19.2492OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir09_area_opers.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir07_area_opers.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir08_area_opers.opb1800UNKNOWN
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb20.6093OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir04_area_opers.opb0.272483OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir10_area_opers.opb1800UNKNOWN
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir02_area_opers.opb0.207891OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir01_area_opers.opb0.013862OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb853.072OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb56.266OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb962.804OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb144.806OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb268.058OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb1577.4OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_9.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir03_area_partials.opb0.0607OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir06_area_partials.opb0.034178OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir07_area_partials.opb0.012734OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb0.912583OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb1.09105OPTIMUM
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.opb14.4865OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir05_area_partials.opb0.025231OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir02_area_partials.opb0.006047OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-8_16.opb1182.34OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-11_22.opb1800SATISFIABLE
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-6_12.opb0.356325OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-7_14.opb10.1935OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb174.079OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-5_10.opb0.490599OPTIMUM