InstanceRuntimeResult
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_000.opb.metafix.opb14.4771OPTIMUM
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.014493OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_003.opb.metafix.opb0.017701OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_007.opb.metafix.opb0.01287OPTIMUM
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.023062OPTIMUM
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.332915OPTIMUM
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.010095OPTIMUM
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.opb235.408OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_008.opb.metafix.opb0.003256OPTIMUM
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.019803OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_005.opb.metafix.opb0.087611OPTIMUM
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.007701OPTIMUM
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.opb1800SATISFIABLE
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.018457OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_008.opb.metafix.opb0.011121OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_004.opb.metafix.opb0.14568OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_002.opb.metafix.opb726.236OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_004.opb.metafix.opb0.002544OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_003.opb.metafix.opb0.009646OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_004.opb.metafix.opb0.004059OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_009.opb.metafix.opb0.0031OPTIMUM
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.opb0.002587OPTIMUM
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.opb0.002956OPTIMUM
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.341478OPTIMUM
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.opb14.1301OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_009.opb.metafix.opb0.631111OPTIMUM
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.011141OPTIMUM
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.148316OPTIMUM
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.004382OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_003.opb.metafix.opb0OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_000.opb.metafix.opb0.004248OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_006.opb.metafix.opb0.040629OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_007.opb.metafix.opb0.9836OPTIMUM
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.012808OPTIMUM
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.opb1800SATISFIABLE
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.opb1800SATISFIABLE
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.opb329.38OPTIMUM
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.004374OPTIMUM
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.158863OPTIMUM
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.542815OPTIMUM
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.013037OPTIMUM
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.501052OPTIMUM
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.opb2.62075OPTIMUM
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.opb6.62252OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0344-0344.lin.opb167.316OPTIMUM
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.036053OPTIMUM
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.030254OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-03.lin.opb0.005241OPTIMUM
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.225198OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0055-0055.lin.opb0.135563OPTIMUM
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.903684OPTIMUM
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.opb1022.11OPTIMUM
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.008689OPTIMUM
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.opb602.557OPTIMUM
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.025977OPTIMUM
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.opb145.527OPTIMUM
PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-019.lin.opb92.5672OPTIMUM
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.opb5.70303OPTIMUM
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.opb1.29616OPTIMUM
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.opb82.8453OPTIMUM
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.587508OPTIMUM
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.opb1800SATISFIABLE
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.opb1800SATISFIABLE
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.opb1800UNKNOWN
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.opb18.5592UNSATISFIABLE
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.opb1.64766UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb2.22687OPTIMUM
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.opb1800UNKNOWN
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.opb69.4507UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb1.15518UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb1800UNKNOWN
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.opb412.274UNSATISFIABLE
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.opb5.52087UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb1.72641OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb86.3194UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x12.opb425.362UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb12.0013UNSATISFIABLE
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.opb5.73681UNSATISFIABLE
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.opb78.7223OPTIMUM
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.opb4.42676UNSATISFIABLE
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.802325UNSATISFIABLE
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.opb37.835OPTIMUM
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.opb2.2994UNSATISFIABLE
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.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb28.4376OPTIMUM
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.opb16.5878OPTIMUM
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.opb29.2722OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc02.opb0.869902OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb50.1686OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1al.opb1800SATISFIABLE
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.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc01.opb2.49624OPTIMUM
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.4293OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-flugpl.opb1.36414OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc05.opb6.47962UNSATISFIABLE
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.opb237.719OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-sample2.opb5.45606OPTIMUM
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.098982OPTIMUM
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.48841UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb4.25021OPTIMUM
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.opb1800SATISFIABLE
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.opb11.2087UNSATISFIABLE
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.072827OPTIMUM
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.opb1800SATISFIABLE
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.opb1751.46UNSATISFIABLE
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.opb1.99052OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-testprob.opb0.04186OPTIMUM
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-maros.opb3.4634OPTIMUM
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.opb1800SATISFIABLE
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.opb86.0124UNSATISFIABLE
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.opb1800UNKNOWN
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.opb4.19458UNSATISFIABLE
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.opb5.04217UNSATISFIABLE
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.opb1800SATISFIABLE
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.opb38.839UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb30.1422OPTIMUM
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.6165UNSATISFIABLE
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.52676UNSATISFIABLE
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.opb484.605OPTIMUM
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.12133UNSATISFIABLE
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.12281UNSATISFIABLE
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.opb5.27639UNSATISFIABLE
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.opb8.61313UNSATISFIABLE
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.opb1800SATISFIABLE
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.220916UNSATISFIABLE
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.opb1800SATISFIABLE
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.opb57.2583OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb2.46249OPTIMUM
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.068341OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb79.7464OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb146.129OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb1449.55OPTIMUM
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.002119OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb1800SATISFIABLE
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.opb36.4687OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb8.16477OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb229.731OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb20.4991OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb0.006717OPTIMUM
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.808754OPTIMUM
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.166813OPTIMUM
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb0.105098OPTIMUM
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.opb185.698OPTIMUM
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.opb973.076OPTIMUM
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.02231OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=431.opb0.017866OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=277.opb0.015453OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=151.opb0.015346OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=457.opb0.02137OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=379.opb0.026396OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=487.opb0.023791OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=367.opb0.020446OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=179.opb0.022642OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=11-Q=53.opb0.016272OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=127.opb0.018135OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=521.opb0.023713UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=197.opb0.017974OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=461.opb0.019597OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=163.opb0.018551OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=487.opb0.017464OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=179.opb0.00851OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=229-Q=307.opb0.023587OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=307.opb0.024182OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=431.opb0.023236OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=37-Q=107.opb0.012721OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=109-Q=373.opb0.019055OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=359.opb0.025195OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=163.opb0.013715OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=449.opb0.022421OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=163.opb0.024826OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=131.opb0.018253OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=137.opb0.023335OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=431.opb0.014386OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=419.opb0.025054OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=223.opb0.012823OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=379.opb0.024791OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=421.opb0.018169OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=379.opb0.014667OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=389.opb0.022244OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=211.opb0.021179OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=239-Q=373.opb0.027167OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=431.opb0.023139OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=163.opb0.021456OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=251.opb0.017108OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=521.opb0.023364UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=421-Q=487.opb0.018044OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=439.opb0.017966OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=41-Q=347.opb0.018203OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=379.opb0.017123OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=359.opb0.01915OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=383-Q=509.opb0.017614OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=191.opb0.015949OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=397.opb0.024523OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=521.opb0.020572UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=331.opb0.022237OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=163.opb0.021852OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=373.opb0.019288OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=457.opb0.017926OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=37-Q=443.opb0.021916OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=431.opb0.023195OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=439-Q=509.opb0.015266OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=487.opb0.021515OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=233.opb0.018588OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=263-Q=367.opb0.025117OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=487.opb0.018576OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=479.opb0.021073OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=293.opb0.017765OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=331.opb0.023298OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=347.opb0.025427OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=277.opb0.01969OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=271.opb0.018215OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=449.opb0.024868OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=353-Q=479.opb0.01916OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=227-Q=383.opb0.021527OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=431-Q=503.opb0.022923OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=397-Q=521.opb0.021444UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=509.opb0.019854OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=263.opb0.022928OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=179-Q=509.opb0.018271OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=347.opb0.011165OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=379.opb0.016425OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=397.opb0.02506OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=211-Q=347.opb0.026535OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=479.opb0.022755OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=487-Q=503.opb0.020859OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=211-Q=479.opb0.02242OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=31-Q=439.opb0.020668OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=233-Q=347.opb0.025296OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=503.opb0.016135OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=389-Q=433.opb0.02326OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=431.opb0.023062OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=191.opb0.017824OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=421.opb0.017503OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=347.opb0.018604OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=13-Q=179.opb0.015408OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=367-Q=389.opb0.017133OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=293.opb0.019113OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=491.opb0.022736OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=347.opb0.021823OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=223.opb0.012904OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=307.opb0.02028OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=487.opb0.018119OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=197.opb0.017653OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=137.opb0.016829OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=359.opb0.021903OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=331.opb0.024191OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=97.opb0.020127OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=409.opb0.023963OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=449.opb0.017958OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=347.opb0.023995OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=487-Q=499.opb0.020192OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=509.opb0.023386OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=109-Q=419.opb0.020426OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=487.opb0.021144OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=71.opb0.020217OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=107-Q=373.opb0.019558OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=521.opb0.025042UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=397-Q=449.opb0.012767OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=331.opb0.013569OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=11-Q=283.opb0.021076OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=409-Q=499.opb0.013994OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=331.opb0.023152OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=331.opb0.026807OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=449.opb0.021457OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=263.opb0.023084OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=293-Q=307.opb0.02189OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=281-Q=499.opb0.020354OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=173.opb0.013471OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=281-Q=331.opb0.024317OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=211.opb0.020173OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=283-Q=293.opb0.027056OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=257.opb0.017324OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=239-Q=487.opb0.019316OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=457.opb0.019978OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=419.opb0.018338OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=409.opb0.019163OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=137.opb0.025626OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=317.opb0.01742OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=313-Q=503.opb0.017375OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=229-Q=239.opb0.024648OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=5-Q=317.opb0.015767OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=431.opb0.0175OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=107-Q=503.opb0.015641OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=421-Q=449.opb0.01877OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=499.opb0.018571OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=157.opb0.018946OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=317-Q=389.opb0.023262OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=337.opb0.024618OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=167.opb0.025415OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=67-Q=223.opb0.023124OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=383.opb0.019423OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=331.opb0.017522OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=197-Q=479.opb0.018092OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=89.opb0.019505OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=271.opb0.024388OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=307.opb0.024188OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=71.opb0.020434OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=367.opb0.022722OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=379.opb0.026084OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=67-Q=191.opb0.020587OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=389.opb0.024148OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=347.opb0.024784OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=173.opb0.016508OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=43-Q=227.opb0.014295OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=409.opb0.015732OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=479.opb0.018902OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=73-Q=449.opb0.013256OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=359-Q=379.opb0.018784OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=509.opb0.019342OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=139-Q=191.opb0.026466OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=491.opb0.02254OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=307.opb0.025321OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=149.opb0.024127OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=293.opb0.017369OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=389.opb0.01902OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=421.opb0.01778OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=499.opb0.018655OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=419.opb0.025305OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=449-Q=479.opb0.017018OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=433.opb0.022315OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=419.opb0.016236OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=263-Q=307.opb0.026335OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=277.opb0.019271OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=479.opb0.0161OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=173.opb0.020749OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=211.opb0.022576OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=443-Q=487.opb0.011593OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=331.opb0.027631OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=409-Q=509.opb0.016013OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=383-Q=521.opb0.022433UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=317.opb0.026825OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=409.opb0.014192OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=151-Q=167.opb0.020681OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=31.opb0.008498OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=251.opb0.022455OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=307.opb0.022395OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_4.opb0.014468OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_13.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_6.opb0.652214OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_5.opb0.061176OPTIMUM
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.opb6.79189OPTIMUM
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.opb178.754OPTIMUM
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.opb2.42435OPTIMUM
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.opb970.776OPTIMUM
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.opb195.919UNSATISFIABLE
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.opb1800UNKNOWN
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.opb87.9543UNSATISFIABLE
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.opb589.773UNSATISFIABLE
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.opb67.6296UNSATISFIABLE
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.073895OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb6.23822OPTIMUM
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.63512OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb0.313075OPTIMUM
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.023937OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb251.446OPTIMUM
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.opb1800SATISFIABLE
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.opb2.82521OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.00.opb4.28576OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.10.opb8.42963OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.11.opb7.41385OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.14.opb6.92856OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.07.opb6.29303OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.12.opb6.75507OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.02.opb5.96364OPTIMUM
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.359444OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_90_90.r.opb0.019321OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_10_10.r.opb1.58205OPTIMUM
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.95147OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-dk512x.r.opb0.025599OPTIMUM
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.opb0.80341OPTIMUM
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.opb8.40743OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_15.r.opb6.89794OPTIMUM
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.89072OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_15.r.opb1345.92OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-opus.r.opb0.018447OPTIMUM
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.opb10.6373OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_30_30.r.opb0.029422OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex6inp.r.opb0.055861OPTIMUM
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.006954OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-maincont.r.opb0.030302OPTIMUM
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.044147OPTIMUM
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.007341OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_30_30.r.opb61.2084OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.a.opb5.87978OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_50_50.r.opb0.07441OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_40_40.r.opb0.022308OPTIMUM
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.opb12.1896OPTIMUM
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.501399OPTIMUM
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.116152OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_70_70.r.opb0.166011OPTIMUM
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.027815OPTIMUM
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.opb628.586OPTIMUM
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.opb400.581OPTIMUM
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.opb42.5619OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb60.7081OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb10.9142OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb9.37739OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb10.3984OPTIMUM
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.opb1112.39OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb290.152OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb510.246OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb37.2219OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb12.0519OPTIMUM
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.opb11.2368OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb3.63474OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb10.318OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb1.76964OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb11.3992OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb44.4636OPTIMUM
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb0.360944OPTIMUM
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.opb1800UNKNOWN
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.opb34.5446OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb385.147OPTIMUM
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.opb0OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb0.00505OPTIMUM
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.008056OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb0.004672OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb0.008109OPTIMUM
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.056365OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb0.012844OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb0.009199OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb0.006881OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb679.049OPTIMUM
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.03599OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb0.012726OPTIMUM
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.024767OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb0.54173OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb1381.68OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb662.681OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb0.047925OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb0.019832OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb0.401147OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb0.007827OPTIMUM
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.007162OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh205.opb0.062944OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb1152.44OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb0.018279OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh204.opb0.079454OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb0.048873OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb0.039371OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb0.041645UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb0.093835OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb0.023969OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb0.037171OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb0.01022OPTIMUM
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.003016OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb17.4378OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb0.010574OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-4.opb0.626514OPTIMUM
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.005308OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb0.012305OPTIMUM
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.opb15.6325OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh218.opb0.082766OPTIMUM
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.opb3.7385OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb0.01031OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh212.opb0.04039OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb0.020891OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh209.opb0.079855OPTIMUM
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.031001OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-1.opb0.032728OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb1.51125OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb0.004489OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-2.opb1.13593OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb0.020086OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb3.85031OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb0.081623UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb0.019957OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb0.020727OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb24.5881OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb0.014161OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb0.017742OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb0.261053OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb0.023056OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-4.opb0.034279OPTIMUM
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.486094OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb1.65689OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb0.009982OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb0.021029OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-3.opb0.616073OPTIMUM
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.opb6.8374OPTIMUM
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.019321OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb0.020012OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb0.010828OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb0.786868OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb11.8494OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb0.041714UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb0.042171OPTIMUM
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.082242UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb0.010739OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb0.044091UNSATISFIABLE
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.489094OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb0.020618UNSATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh12.opb0.062476OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh220.opb0.067954OPTIMUM
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.108224OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb0.007153OPTIMUM
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.012332OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb0.031345OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh7.opb0.072113OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh207.opb0.064797OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb0.311711OPTIMUM
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.414267OPTIMUM
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.461654OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb0.372714OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh213.opb0.072102OPTIMUM
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.010643OPTIMUM
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.033369OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb0.052552UNSATISFIABLE
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.341932OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb3.95593OPTIMUM
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.opb22.7022OPTIMUM
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.046559OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb14.9738OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb0.008457OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb0.222001OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-1.opb1.12581OPTIMUM
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.352492UNSATISFIABLE
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.opb6.16901OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb1.816OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb0OPTIMUM
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.opb0.00453OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb0.012884OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb0.006537OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-5.opb0.028091OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh201.opb12.9903OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb0.011254OPTIMUM
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.012543OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb1742.05OPTIMUM
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.035165OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb1.25268OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh17.opb0.056106OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb2.2788OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb0.009603OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ4_3.opb0.072245OPTIMUM
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.412085OPTIMUM
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.opb82.2089OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-9sym.b.opb0.231734OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb78.7636OPTIMUM
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.opb55.5221OPTIMUM
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.765491OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb625.547OPTIMUM
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.opb1.87236OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb0.058168OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb2.69263OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb1.33662OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb3.81657OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb7.62523OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb5.51916OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb1.33809OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb0.073234OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb0.067472OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb0.048106OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb0.046077OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb3.52903OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-10pb.opb0.660055OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb2.76128OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb1609.61OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g100x100.opb1800SATISFIABLE
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x9.opb0.447844OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g2x2.opb0.000989OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g4x4.opb0.002602OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g7x7.opb0.031029OPTIMUM
normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x3.opb0.005405OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-p6b.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-ex9.opb18.3428OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-ash608gpia-3col.opb0.626648UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-807456.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-go19.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-777800.opb68.1187OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-neos-547911.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-macrophage.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos18.opb0.072095OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-queens-30.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-toll-like.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-222__neos-1330346.opb18.5208OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-neos-1616732.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-631710.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-acc-tight6.opb1.21765OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-ex1010-pi.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-neos-785912.opb9.86299UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-methanosarcina.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-859770.opb67.8098UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-544324.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-neos-1109824.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-bnatt400.opb0.158206OPTIMUM
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.opb1.49479OPTIMUM
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.opb7.42042UNSATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb56.1777OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-neos-506428.opb1.04886OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-tanglegram1.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-neos788725.opb1800UNKNOWN
OPT-SMALLINT-LIN/heinz/normalized-pb-simp-nonunif.opb7.42379OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-seymour.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-bnatt350.opb0.116662OPTIMUM
OPT-SMALLINT-LIN/heinz/normalized-iis-pima-cov.opb1800SATISFIABLE
OPT-SMALLINT-LIN/heinz/normalized-hanoi5.opb1.124OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j308_4.std.opb5.37761OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3028_7.std.opb9.5203OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_4.std.opb7.79138OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3027_1.std.opb19.716OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3039_1.std.opb5.04157OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3044_1.std.opb10.7425OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_3.std.opb7.31931OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3024_7.std.opb11.0414OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j304_5.std.opb1.92449OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j307_6.std.opb5.27902OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3020_9.std.opb4.21542OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3037_10.std.opb6.39705OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j305_3.std.opb2.51382OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3045_1.std.opb15.8101OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j309_3.std.opb12.274OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3028_8.std.opb11.536OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3021_10.std.opb2.12042OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3030_10.std.opb15.0709OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3047_1.std.opb18.377OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3040_5.std.opb7.06154OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3032_2.std.opb16.5985OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j301_8.std.opb1.21342OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j309_7.std.opb11.1874OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3046_5.std.opb28.1495OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3029_1.std.opb26.1467OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3039_5.std.opb3.60702OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_10.std.opb20.4815OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3016_8.std.opb19.8288OPTIMUM
OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3034_9.std.opb2.60147OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_1.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_7.std.opb43.1446OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_10.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12030_10.std.opb89.4241OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12020_7.std.opb700.763OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12048_10.std.opb620.548OPTIMUM
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.opb13.2162OPTIMUM
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.opb1278.98OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1205_7.std.opb30.3037OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12015_5.std.opb122.738OPTIMUM
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.opb576.932OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_6.std.opb31.1347OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1209_1.std.opb145.48OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12051_6.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1204_1.std.opb87.0521OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12060_6.std.opb557.605OPTIMUM
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.opb8.46044OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_2.std.opb22.2308OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12044_8.std.opb26.9639OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1201_2.std.opb11.3266OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12024_7.std.opb27.6704OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1202_7.std.opb13.974OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12053_6.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1204_10.std.opb25.4329OPTIMUM
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.opb1543.78OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12055_4.std.opb120.875OPTIMUM
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.opb312.719OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_4.std.opb239.702OPTIMUM
OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12021_8.std.opb11.5521OPTIMUM
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.opb18.2045OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6029_8.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6021_5.std.opb17.3182OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j602_4.std.opb4.58256OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6046_1.std.opb50.9159OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6027_6.std.opb80.695OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6020_6.std.opb5.04804OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j603_6.std.opb4.96952OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6031_6.std.opb10.977OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6019_2.std.opb3.64889OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6026_2.std.opb20.7976OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6013_4.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6012_9.std.opb91.7753OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6030_8.std.opb98.0461OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j606_1.std.opb55.2222OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6044_1.std.opb25.7332OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6035_5.std.opb4.65609OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j609_6.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j605_7.std.opb237.125OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6043_1.std.opb8.86903OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6039_5.std.opb13.1486OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j607_3.std.opb8.98357OPTIMUM
OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6012_3.std.opb50.8753OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j902_10.std.opb52.5846OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9017_9.std.opb4.59501OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9019_6.std.opb11.074OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9038_2.std.opb18.8331OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9014_2.std.opb243.345OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9041_1.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j902_3.std.opb9.77727OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9025_7.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9027_5.std.opb19.1983OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9022_8.std.opb19.7826OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9020_8.std.opb16.4299OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j907_10.std.opb12.8896OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9021_5.std.opb1409.1OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9013_1.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9036_4.std.opb12.961OPTIMUM
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.opb42.5609OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9010_6.std.opb185.782OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9027_6.std.opb17.1768OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9013_9.std.opb1800SATISFIABLE
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j901_1.std.opb15.4331OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9038_7.std.opb31.9078OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9024_9.std.opb64.6554OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9043_5.std.opb19.6517OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9023_3.std.opb22.0792OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9043_10.std.opb22.6549OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9016_1.std.opb49.6923OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9044_5.std.opb37.9634OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9031_6.std.opb14.651OPTIMUM
OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9033_3.std.opb3.25796OPTIMUM
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.opb1772.14OPTIMUM
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.opb26.3278OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-14.opb7.61089OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-11.opb134.302OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-15.opb17.1357OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-3.opb11.9613OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-8.opb72.2479OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-4.opb81.7466OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-10.opb103.167OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-13.opb4.23625OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-1.opb62.9122OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-9.opb123.567OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-13.opb12.5468OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-12.opb84.8978OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-6.opb53.091OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-7.opb170.473OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-15.opb92.0381OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-5.opb45.8672OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-14.opb9.62057OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-2.opb56.4694OPTIMUM
OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-12.opb16.981OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randd1cab2.cudf.paranoid.opb53.3813OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb515.832OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa491d5.cudf.paranoid.opb0.289793UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.paranoid.opb599.537OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand4bf850.cudf.paranoid.opb241.111OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randbccf2d.cudf.paranoid.opb932.3OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randfe95e3.cudf.paranoid.opb0.259698UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand65d021.cudf.paranoid.opb0.255156UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand902db1.cudf.paranoid.opb0.440238OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb82.1131OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand2d8467.cudf.paranoid.opb741.059OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randf7d077.cudf.paranoid.opb0.29654UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa09fe9.cudf.paranoid.opb445.767OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa6997e.cudf.paranoid.opb457.267OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand199fd6.cudf.paranoid.opb0.204094UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randb87834.cudf.paranoid.opb496.894OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randaef248.cudf.paranoid.opb0.267849UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand767898.cudf.paranoid.opb119.58OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb152.404OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb526.034OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc18b26.cudf.paranoid.opb293.904OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb0.173049UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand00ebc7.cudf.paranoid.opb0.227731UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand362510.cudf.paranoid.opb291.523OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb889.155OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb0.172843UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randfd04d4.cudf.paranoid.opb432.587OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4a23d9.cudf.paranoid.opb54.7087OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb661.327OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb209.876OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randa2004a.cudf.paranoid.opb1619.32OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand27da90.cudf.paranoid.opb1378.73OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb471.51OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.paranoid.opb123.33OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.paranoid.opb226.335OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand085d8a.cudf.paranoid.opb289.53OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand5d20db.cudf.paranoid.opb129.894OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randcebca4.cudf.paranoid.opb831.359OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randb54299.cudf.paranoid.opb147.367OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand71b131.cudf.paranoid.opb326.535OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand9ffe99.cudf.paranoid.opb249.324OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4b919e.cudf.paranoid.opb171.459OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randec6fe1.cudf.paranoid.opb112.447OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf66c83.cudf.paranoid.opb49.232OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1034.cudf.paranoid.opb0.04989UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-121.cudf.paranoid.opb0.086681UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-787.cudf.paranoid.opb0.004895OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1094.cudf.paranoid.opb0.024795OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1037.cudf.paranoid.opb0.027544OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-122.cudf.paranoid.opb0.083299UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb0.02115UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb0.012703UNSATISFIABLE
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.036667UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1125.cudf.paranoid.opb0.010767UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1098.cudf.paranoid.opb0.047847OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1097.cudf.paranoid.opb0.016809OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb0.0748OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1093.cudf.paranoid.opb0.043054UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-869.cudf.paranoid.opb0.021116UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-902.cudf.paranoid.opb0.06967OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-787.cudf.trendy.opb0.005671OPTIMUM
OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-995.cudf.trendy.opb0.013173UNSATISFIABLE
OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1021.cudf.trendy.opb0.008246UNSATISFIABLE
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.43699OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-5000opt.opb8.55296OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb3.18668OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-3000opt.opb2.69714OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-3000opt.opb7.18721OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-2000opt.opb8.47926OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-10000opt.opb2.69634OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-4000opt.opb5.95925OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-4000opt.opb1.1867OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-9000opt.opb3.84567OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb29.0318OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-10000opt.opb7.36251OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-7000opt.opb2.81569OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-6000opt.opb6.3613OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-7000opt.opb5.24357OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-9000opt.opb3.10932OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-1000opt.opb6.65402OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.opb3.08896OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-6000opt.opb2.8075OPTIMUM
OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-8000opt.opb3.98246OPTIMUM
OPT-SMALLINT-LIN/flexray/normalized-fx63.opb1800UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx57.opb24.4508OPTIMUM
OPT-SMALLINT-LIN/flexray/normalized-fx60.opb139.359OPTIMUM
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.opb1063.25OPTIMUM
OPT-SMALLINT-LIN/flexray/normalized-fx97.opb1800UNKNOWN
OPT-SMALLINT-LIN/flexray/normalized-fx84.opb545.96OPTIMUM
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.opb13.7215OPTIMUM
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.opb7.59497OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb3.31615OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb11.9318OPTIMUM
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.opb14.1516OPTIMUM
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.opb157.873OPTIMUM
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.261164OPTIMUM
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.108584OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb9.13333OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir01_area_delay.opb0.00653OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir10_area_delay.opb1800SATISFIABLE
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.8493OPTIMUM
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.6128OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir04_area_opers.opb0.267554OPTIMUM
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.183965OPTIMUM
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.013867OPTIMUM
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.opb193.032OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb28.7309OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb336.988OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb160.705OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb94.6817OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb396.595OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_9.opb1517.87OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir03_area_partials.opb0.065696OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir06_area_partials.opb0.071362OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir07_area_partials.opb0.022734OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb0.691656OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb0.823644OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir04_area_partials.opb0.002091OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir08_area_partials.opb8.17934OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir05_area_partials.opb0.020225OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir02_area_partials.opb0OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-8_16.opb746.221OPTIMUM
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.332572OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-7_14.opb20.8934OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb438.787OPTIMUM
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-5_10.opb0.62373OPTIMUM