| Instance | Runtime | Result |
|---|
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_000.opb.metafix.opb | 3.64283 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_001.opb.metafix.opb | 1807.21 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_009.opb.metafix.opb | 0.019345 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_003.opb.metafix.opb | 0.013278 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_007.opb.metafix.opb | 0.01127 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_002.opb.metafix.opb | 1807.3 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_002.opb.metafix.opb | 0.020541 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_009.opb.metafix.opb | 1807.25 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_004.opb.metafix.opb | 1809.2 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_008.opb.metafix.opb | 1807.17 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_008.opb.metafix.opb | 1807.15 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_007.opb.metafix.opb | 1809.37 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_006.opb.metafix.opb | 0.131298 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_006.opb.metafix.opb | 1807.22 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_002.opb.metafix.opb | 0.0133 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_003.opb.metafix.opb | 1807.31 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_005.opb.metafix.opb | 1807.16 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_008.opb.metafix.opb | 1807.01 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_001.opb.metafix.opb | 0.002944 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_005.opb.metafix.opb | 155.372 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_008.opb.metafix.opb | 0.003466 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_001.opb.metafix.opb | 1807.18 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_007.opb.metafix.opb | 0.017473 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_005.opb.metafix.opb | 0.074015 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_004.opb.metafix.opb | 1807.22 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_006.opb.metafix.opb | 0.008316 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_009.opb.metafix.opb | 1807.25 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_003.opb.metafix.opb | 1016.56 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_006.opb.metafix.opb | 1807.14 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_000.opb.metafix.opb | 1807.15 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_000.opb.metafix.opb | 0.016364 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_008.opb.metafix.opb | 0.009137 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_004.opb.metafix.opb | 0.072153 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_002.opb.metafix.opb | 320.588 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_004.opb.metafix.opb | 0.002561 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_003.opb.metafix.opb | 0.012559 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_004.opb.metafix.opb | 0.004444 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_009.opb.metafix.opb | 0 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_005.opb.metafix.opb | 1807.29 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_005.opb.metafix.opb | 0.00256 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_002.opb.metafix.opb | 1807.08 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_006.opb.metafix.opb | 0.002399 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_003.opb.metafix.opb | 1807.33 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_001.opb.metafix.opb | 0.281896 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_007.opb.metafix.opb | 0 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_004.opb.metafix.opb | 7.73965 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_009.opb.metafix.opb | 0.627843 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_002.opb.metafix.opb | 0.00297 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_005.opb.metafix.opb | 0.012828 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_14x14_000.opb.metafix.opb | 1807.15 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_007.opb.metafix.opb | 1807.28 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_10x10_008.opb.metafix.opb | 0.121726 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_000.opb.metafix.opb | 0 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_009.opb.metafix.opb | 0.003919 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_6x6_003.opb.metafix.opb | 0.003171 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_000.opb.metafix.opb | 0.004726 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_006.opb.metafix.opb | 0.031942 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_007.opb.metafix.opb | 0.562805 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_12x12_001.opb.metafix.opb | 1708.85 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_8x8_001.opb.metafix.opb | 0.012343 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm90p-opt.opb.negationfix.opb | 1804.94 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm95p-opt.opb.negationfix.opb | 1805.03 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb | 1805.07 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb | 1804.94 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb | 1805.12 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb | 1804.94 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb | 62.1846 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm50p-opt.opb.negationfix.opb | 1805.48 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm100p-opt.opb.negationfix.opb | 1804.8 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb | 826.856 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb | 1804.68 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb | 1806.47 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb | 1807.41 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb | 1802.83 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm98p-opt.opb.negationfix.opb | 1804.88 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm95p-opt.opb.negationfix.opb | 790.781 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb | 9.01959 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm100p-opt.opb.negationfix.opb | 1804.61 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm85p-opt.opb.negationfix.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb | 74.3781 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb | 1804.7 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-070.lin.opb | 1807.1 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-040.lin.opb | 1807.29 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-hmittelman.lin.opb | 0.007936 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament20.lin.opb | 1807.03 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-098.lin.opb | 1806.7 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament16.lin.opb | 1807.2 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross20-080.lin.opb | 1806.63 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-30.lin.opb | 1806.82 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-23.lin.opb | 1806.44 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0066-0066.lin.opb | 0.15561 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-30.lin.opb | 1809.04 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb | 1805.98 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-09.lin.opb | 1806.51 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-08.lin.opb | 1806.39 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-050.lin.opb | 1807.02 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-06.lin.opb | 1807.13 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross24-115.lin.opb | 1809.12 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0088-0888.lin.opb | 0.486965 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-15.lin.opb | 1806.36 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament24.lin.opb | 1806.77 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament06.lin.opb | 0.009159 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.lin.opb | 1806.32 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-030.lin.opb | 541.272 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0077-0777.lin.opb | 0.540283 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-058.lin.opb | 1806.89 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb | 1806.81 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross24-057.lin.opb | 1806.59 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament34.lin.opb | 1806.47 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-137.lin.opb | 1806.64 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-06.lin.opb | 1806.66 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-13.lin.opb | 1809.13 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament42.lin.opb | 1805.91 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb | 1804.82 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross22-048.lin.opb | 1806.8 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0244-0244.lin.opb | 1.16083 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament28.lin.opb | 1806.64 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-08.lin.opb | 1806.65 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay20h.lin.opb | 1806.13 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament38.lin.opb | 1806.49 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0334-0334.lin.opb | 6.50683 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0344-0344.lin.opb | 125.11 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament44.lin.opb | 1805.77 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay30.lin.opb | 1806 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0044-0044.lin.opb | 0.026251 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-14.lin.opb | 1806.39 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-30.lin.opb | 1806.32 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0444-0444.lin.opb | 1809.37 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament36.lin.opb | 1809.01 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-60.lin.opb | 1806.21 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament08.lin.opb | 0.018016 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-03.lin.opb | 0.006438 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay33.lin.opb | 1806.11 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.opb | 1808.9 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-18.lin.opb | 1806.34 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-70.lin.opb | 1805.83 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0234-0234.lin.opb | 0.101035 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0055-0055.lin.opb | 0.06514 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-20.lin.opb | 1806.38 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-020.lin.opb | 0.480475 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-crossdock_15x7.lin.opb | 1805.32 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay30h.lin.opb | 1806.25 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-15.lin.opb | 1806.65 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-05.lin.opb | 1809.31 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-25.lin.opb | 1806.18 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-03.lin.opb | 0.009649 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-20.lin.opb | 107.464 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-05.lin.opb | 1806.77 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-10.lin.opb | 1806.74 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament22.lin.opb | 1809.37 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament46.lin.opb | 1805.71 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb | 1806.61 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb | 1806.01 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-19.lin.opb | 1806.38 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-26.lin.opb | 1806.31 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross22-096.lin.opb | 1806.2 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-010.lin.opb | 0.023566 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament32.lin.opb | 1806.59 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament30.lin.opb | 1806.77 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-090.lin.opb | 1807.06 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-05.lin.opb | 42.0876 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-019.lin.opb | 28.4138 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament50.lin.opb | 1805.84 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay35.lin.opb | 1806.13 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-11.lin.opb | 1806.27 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.lin.opb | 1806.61 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.opb | 1807.44 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross20-040.lin.opb | 1806.83 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0099-0999.lin.opb | 8.96971 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament48.lin.opb | 1806 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0333-0333.lin.opb | 1.35204 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-04.lin.opb | 1807.18 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-10.lin.opb | 1806.38 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament12.lin.opb | 11.7054 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-117.lin.opb | 1809.3 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb | 1807.4 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament10.lin.opb | 0.205145 | OPTIMUM |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament40.lin.opb | 1806 | SATISFIABLE |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jul4.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-sep4.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-may6.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-may5.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jul6.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-oct4.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-aug5.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jul5.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-aug6.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-aug4.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-sep6.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-sep5.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-oct6.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jun5.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-may4.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jun6.5.opb | 1800 | UNKNOWN |
| PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-oct5.5.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-A2C1S1.opb | 164.262 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb | 1805.42 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb | 103.212 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp97ic.opb | 1805.56 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-UMTS.opb | 1804.61 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-B2C1S1.opb | 276.018 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-trento1.opb | 1805.84 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb | 1805.47 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp98ar.opb | 1808.17 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-van.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb | 1805.42 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp98ic.opb | 1805.58 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb | 1805.55 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb | 133.984 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb | 1808.79 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dg012142.opb | 1805.27 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb | 1806.23 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb | 1805.6 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-glass4.opb | 1806.12 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb | 1804.74 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb | 1805.61 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-biella1.opb | 1465.26 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ir98.opb | 1805.44 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dolom1.opb | 118.574 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-railway_8_1_0.opb | 1805.54 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb | 123.395 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core2536-691.opb | 1806.12 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic98.opb | 72.4525 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core4872-1529.opb | 1806.14 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-siena1.opb | 166.827 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb | 1808.08 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-rail507.opb | 1805.34 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dc1c.opb | 1805.43 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dc1l.opb | 78.4798 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp97ar.opb | 1805.92 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb | 1805.84 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb | 1807.54 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10c.opb | 21.6022 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb | 33.3776 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran14x18.opb | 1806.79 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3707.opb | 1804.78 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb | 3.97572 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb | 1.24692 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3704.opb | 1804.52 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370b.opb | 1804.61 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb | 1804.62 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran13x13.opb | 1807.48 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3706.opb | 1803 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb | 1804.45 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x12.opb | 48.2967 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb | 2.04418 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb | 494.877 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb | 1804.24 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb | 107.237 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb | 1807.37 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3709.opb | 1804.4 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-gr4x6.opb | 1.68907 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb | 0.729807 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb | 86.1538 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x12.opb | 1806.62 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb | 88.7779 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb | 1804.66 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb | 25.6986 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb | 1804.66 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3708.opb | 1804.56 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb | 8.59974 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3701.opb | 1804.84 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos3.opb | 117.861 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-markshare2_1.opb | 1806.6 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb | 1805.23 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb | 1806.15 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos20.opb | 158.694 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb | 1807.02 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb | 612.491 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos12.opb | 14.2673 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos7.opb | 1805.82 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-dano3_4.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos13.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bc1.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos11.opb | 4.53556 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst1.opb | 1805.46 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb | 1805.37 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath2.opb | 113.513 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos2.opb | 56.2632 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-dano3_3.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb | 1805.46 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb | 114.111 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos17.opb | 5.57829 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath1.opb | 118.241 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb | 1805.65 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos6.opb | 1808.2 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath3.opb | 1804.52 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-dano3_5.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb | 1807.39 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb | 1808.98 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb | 1696.39 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-blend2.opb | 1806.3 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb | 1809.25 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gesa3.opb | 199.841 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb | 1806.77 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1cl.opb | 1806.07 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb | 2.93397 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb | 1804.91 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-enigma.opb | 0.109277 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb | 1804.62 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc06.opb | 1808.46 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-mod013.opb | 25.6396 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc02.opb | 0.072203 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb | 0.800209 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1al.opb | 1806 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-gen.opb | 1806.15 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb | 1385.59 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb | 1805.09 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3b.opb | 1806.28 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p6000.opb | 1806.19 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-khb05250.opb | 1805.2 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-rgn.opb | 1807.96 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc01.opb | 0.162052 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc04.opb | 1803.41 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc03.opb | 1.59642 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-flugpl.opb | 0.22458 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc05.opb | 72.3845 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb | 1804.62 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb | 1804.83 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb | 1806.62 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air03.opb | 1805.8 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb | 1805.64 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb | 1.05132 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb | 19.187 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-sample2.opb | 0.951995 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3a.opb | 1805.92 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mas76.opb | 0.035498 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08a.opb | 1807.66 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nw04.opb | 142.111 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb | 493.993 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fixnet6.opb | 1804.39 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb | 1805.94 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb | 94.9805 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum1.opb | 1.50401 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb | 0.409476 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb | 1806.27 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum3.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb | 1807 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare2.opb | 1807.01 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-set1ch.opb | 1806.23 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb | 1805.58 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-t1717.opb | 118.527 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb | 1805.76 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb | 60.8546 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-swath.opb | 1805.95 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rout.opb | 1806.29 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-dano3mip.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opb | 1805.23 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-van.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb | 527.922 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum2.opb | 11.1435 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb | 1805.41 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-danoint.opb | 1806.27 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb | 1805.95 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb | 1805.75 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb | 1806.16 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb | 1806.29 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb | 1805.81 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mas74.opb | 0.033648 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb | 1806.19 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb | 106.353 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb | 1805.99 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb | 1808.33 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air04.opb | 1807.59 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb | 109.874 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air05.opb | 1808.42 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-timtab1.opb | 1805.26 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-vpm2.opb | 1451.21 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-liu.opb | 1806.16 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pk1.opb | 1806.45 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow40b.opb | 1805.6 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb | 1805.58 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-nazareth.opb | 0.073349 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-testprob.opb | 0.07939 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-maros.opb | 0.068323 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship12l.opb | 1803.79 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow7.opb | 1805.45 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc105.opb | 1806.07 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sierra.opb | 1804.24 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-brandy.opb | 93.6055 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scfxm1.opb | 1805.38 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share2b.opb | 96.5843 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow22.opb | 1804.53 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb | 101.224 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-degen3.opb | 1331.48 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-beaconfd.opb | 1806.05 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-degen2.opb | 14.4812 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb | 1805.33 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb | 1804.84 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-woodw.opb | 127.073 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-perold.opb | 1804.68 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb | 1805.99 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd6.opb | 85.7381 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scfxm3.opb | 1805.65 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl2.opb | 172.084 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg.opb | 1805.07 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scagr7.opb | 1805.76 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb | 31.2372 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb | 1806.62 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb | 1807.83 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot4.opb | 1805.44 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bandm.opb | 18.0661 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb | 1806.21 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-standata.opb | 1805.61 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-boeing1.opb | 1805.86 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd1.opb | 1804.67 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb | 1804.77 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit2p.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb | 1806.14 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-wood1p.opb | 254.459 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc205.opb | 1805.51 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship08l.opb | 1804.21 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-nesm.opb | 1804.79 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-standgub.opb | 1805.89 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50a.opb | 1806.2 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb | 279.758 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb | 9.32804 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-recipe.opb | 1808.17 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-czprob.opb | 66.2773 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap3.opb | 1805.71 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow15.opb | 1804.88 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot.opb | 3.49883 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-boeing2.opb | 1806.04 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb | 1805.12 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-afiro.opb | 29.5088 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb | 1806.02 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ganges.opb | 1805.62 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb | 1805.8 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb | 43.9712 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship04l.opb | 1807.5 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg2.opb | 1804.93 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb | 117.207 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap2.opb | 1806.01 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb | 82.6257 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-80bau3b.opb | 2.10129 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scorpion.opb | 1806.02 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb | 1804.64 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-capri.opb | 1805.63 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot87.opb | 3.10595 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb | 1806.03 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-e226.opb | 16.2602 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb | 77.8207 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl1.opb | 37.51 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit2d.opb | 145.956 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb | 1808.63 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb | 222.548 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb | 80.9193 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb | 1806.06 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-25fv47.opb | 1805.38 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-maros-r7.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb | 1800 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship04s.opb | 1804.74 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bore3d.opb | 0.208369 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship12s.opb | 1804.64 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scfxm2.opb | 1805.24 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-forplan.opb | 1805.75 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-blend.opb | 749.962 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap1.opb | 1808.56 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-maros.opb | 1805.47 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stair.opb | 31.1382 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-shell.opb | 1804.44 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-cycle.opb | 1805.16 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share1b.opb | 743.281 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb | 1806.57 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb | 25.5454 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb | 4.32637 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb | 150.71 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb | 0.076723 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb | 50.2267 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb | 1807 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb | 1806.94 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb | 1806.14 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb | 0 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb | 1804.6 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb | 1806.63 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb | 14.6739 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb | 5.95965 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb | 141.805 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb | 0.163632 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb | 0.005828 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb | 7.6973 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb | 1804.43 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb | 1806.93 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb | 0.128257 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb | 0.001193 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb | 1809.2 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb | 0.037295 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb | 0.081217 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb | 1805.94 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb | 12.4953 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb | 1805.07 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb | 1806.96 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb | 1805.44 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb | 24.6727 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb | 1805.94 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb | 1809.37 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb | 1805.78 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb | 1807.01 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb | 28.6246 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb | 1808.44 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb | 1806.02 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb | 1805.86 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb | 1805.97 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb | 1805.69 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb | 1805.84 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb | 1805.83 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb | 1805.68 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb | 1805.76 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb | 1808.39 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb | 1805.92 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb | 1805.08 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb | 1805.79 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb | 1805.85 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb | 1805.85 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb | 1805.1 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb | 1805.02 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb | 1805.01 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb | 1804.96 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb | 1805.21 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb | 1804.92 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb | 1804.95 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb | 1805.06 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb | 1807.61 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb | 1805.07 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb | 1807.47 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb | 1804.5 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb | 1804.79 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb | 1805.06 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb | 1804.72 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb | 1807.03 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb | 1805.44 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb | 1807.05 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb | 1806.96 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb | 1806.98 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb | 1809.31 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb | 1807.04 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb | 1807.07 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb | 1807 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb | 1806.98 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb | 1806.99 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb | 1807.13 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb | 1806.99 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb | 1806.99 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb | 1809.34 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=181.opb | 0.024567 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=431.opb | 0.020753 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=277.opb | 0.021718 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=151.opb | 0.019685 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=457.opb | 0.022671 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=379.opb | 0.019128 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=487.opb | 0.015568 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=367.opb | 0.016494 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=179.opb | 0.021398 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=11-Q=53.opb | 0.014003 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=127.opb | 0.016813 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=521.opb | 0.016861 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=197.opb | 0.021115 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=461.opb | 0.023009 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=163.opb | 0.023329 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=487.opb | 0.017581 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=179.opb | 0.018576 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=229-Q=307.opb | 0.023742 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=307.opb | 0.019633 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=431.opb | 0.014307 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=37-Q=107.opb | 0.015 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=109-Q=373.opb | 0.021157 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=359.opb | 0.025365 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=163.opb | 0.021686 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=449.opb | 0.013304 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=163.opb | 0.015977 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=131.opb | 0.017826 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=137.opb | 0.023716 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=431.opb | 0.020189 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=419.opb | 0.01755 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=223.opb | 0.017801 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=379.opb | 0.013175 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=421.opb | 0.015931 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=379.opb | 0.021116 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=389.opb | 0.020689 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=211.opb | 0.019182 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=239-Q=373.opb | 0.019723 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=431.opb | 0.023091 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=163.opb | 0.023349 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=251.opb | 0.024035 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=521.opb | 0.019513 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=421-Q=487.opb | 0.015934 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=439.opb | 0.022508 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=41-Q=347.opb | 0.024558 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=379.opb | 0.025584 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=359.opb | 0.015157 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=383-Q=509.opb | 0.021312 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=191.opb | 0.021405 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=397.opb | 0.0245 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=521.opb | 0.021461 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=331.opb | 0.0247 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=163.opb | 0.023754 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=373.opb | 0.024324 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=457.opb | 0.01209 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=37-Q=443.opb | 0.026608 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=431.opb | 0.020256 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=439-Q=509.opb | 0.016536 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=487.opb | 0.015369 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=233.opb | 0.02354 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=263-Q=367.opb | 0.026575 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=487.opb | 0.015043 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=479.opb | 0.014661 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=293.opb | 0.025261 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=331.opb | 0.021981 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=347.opb | 0.024687 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=277.opb | 0.01464 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=271.opb | 0.022467 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=449.opb | 0.019694 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=353-Q=479.opb | 0.021169 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=227-Q=383.opb | 0.021655 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=431-Q=503.opb | 0.014494 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=397-Q=521.opb | 0.021107 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=509.opb | 0.018074 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=263.opb | 0.022543 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=179-Q=509.opb | 0.020178 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=17-Q=347.opb | 0.015949 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=379.opb | 0.018684 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=379-Q=397.opb | 0.02045 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=211-Q=347.opb | 0.023811 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=479.opb | 0.021571 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=487-Q=503.opb | 0.015398 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=211-Q=479.opb | 0.014778 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=31-Q=439.opb | 0.017163 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=233-Q=347.opb | 0.021721 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=503.opb | 0.021455 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=389-Q=433.opb | 0.026983 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=431.opb | 0.018282 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=191.opb | 0.018396 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=421.opb | 0.021741 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=347.opb | 0.022575 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=13-Q=179.opb | 0.007992 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=367-Q=389.opb | 0.020009 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=293.opb | 0.017722 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=491.opb | 0.017712 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=347.opb | 0.024071 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=223.opb | 0.017091 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=307.opb | 0.020141 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=487.opb | 0.022675 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=197.opb | 0.022418 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=137.opb | 0.020695 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=359.opb | 0.022456 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=331.opb | 0.024609 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=97.opb | 0.020394 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=409.opb | 0.026211 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=449.opb | 0.017907 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=347.opb | 0.022235 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=487-Q=499.opb | 0.020295 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=97-Q=509.opb | 0.024728 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=109-Q=419.opb | 0.015405 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=487.opb | 0.022193 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=71.opb | 0.016541 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=107-Q=373.opb | 0.021236 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=521.opb | 0.028628 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=397-Q=449.opb | 0.021514 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=331.opb | 0.02708 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=11-Q=283.opb | 0.013163 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=409-Q=499.opb | 0.024211 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=331.opb | 0.026788 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=331.opb | 0.02103 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=257-Q=449.opb | 0.022839 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=263.opb | 0.021956 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=293-Q=307.opb | 0.023573 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=281-Q=499.opb | 0.02301 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=173.opb | 0.02249 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=281-Q=331.opb | 0.022335 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=211.opb | 0.021656 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=283-Q=293.opb | 0.026412 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=79-Q=257.opb | 0.02124 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=239-Q=487.opb | 0.018566 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=457.opb | 0.018167 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=61-Q=419.opb | 0.025229 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=71-Q=409.opb | 0.013148 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=137.opb | 0.020231 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=89-Q=317.opb | 0.019731 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=313-Q=503.opb | 0.021398 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=229-Q=239.opb | 0.02372 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=5-Q=317.opb | 0.015169 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=431.opb | 0.023402 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=107-Q=503.opb | 0.017479 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=421-Q=449.opb | 0.022921 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=499.opb | 0.016212 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=131-Q=157.opb | 0.027011 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=317-Q=389.opb | 0.016683 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=337.opb | 0.026568 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=167.opb | 0.024631 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=67-Q=223.opb | 0.017523 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=383.opb | 0.021949 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=331.opb | 0.015682 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=197-Q=479.opb | 0.019054 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=83-Q=89.opb | 0.017849 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=271.opb | 0.026815 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=307.opb | 0.028136 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=71.opb | 0.017232 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=367.opb | 0.026304 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=379.opb | 0.02344 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=67-Q=191.opb | 0.018824 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=389.opb | 0.025204 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=347.opb | 0.022878 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=167-Q=173.opb | 0.026197 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=43-Q=227.opb | 0.019505 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=101-Q=409.opb | 0.018249 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=479.opb | 0.022607 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=73-Q=449.opb | 0.028864 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=359-Q=379.opb | 0.018634 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=509.opb | 0.022956 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=139-Q=191.opb | 0.025202 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=491.opb | 0.01785 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=307.opb | 0.026544 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=149.opb | 0.02048 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=293.opb | 0.024177 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=191-Q=389.opb | 0.023104 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=421.opb | 0.020054 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=499.opb | 0.021532 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=59-Q=419.opb | 0.022081 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=449-Q=479.opb | 0.020411 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=269-Q=433.opb | 0.020398 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=347-Q=419.opb | 0.016799 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=263-Q=307.opb | 0.028075 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=277.opb | 0.018189 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=331-Q=479.opb | 0.019592 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=173-Q=173.opb | 0.026036 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=127-Q=211.opb | 0.020798 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=443-Q=487.opb | 0.019778 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=331.opb | 0.026829 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=409-Q=509.opb | 0.018004 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=383-Q=521.opb | 0.021286 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=307-Q=317.opb | 0.022384 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=29-Q=409.opb | 0.018492 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=151-Q=167.opb | 0.025335 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=7-Q=31.opb | 0.004634 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=149-Q=251.opb | 0.026425 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=223-Q=307.opb | 0.020132 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_4.opb | 0.00819 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_13.opb | 1806.51 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_6.opb | 0.119178 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_5.opb | 0.038199 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb | 1806.55 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.opb | 1806.52 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_18.opb | 1806.28 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_8.opb | 4.40735 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb | 1806.49 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_15.opb | 1806.38 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_10.opb | 708.193 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_16.opb | 1806.27 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_9.opb | 126.873 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb | 1806.22 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_7.opb | 1.03436 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_19.opb | 1806.34 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_17.opb | 1806.63 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb | 147.964 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_4.opb | 1806.53 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.opb | 1807.62 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_3.opb | 1807.48 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb | 1807.01 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_1.opb | 1807.27 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb | 338.426 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_4.opb | 1807.62 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb | 1807.19 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_4.opb | 1807.17 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb | 1807.52 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_1.opb | 135.946 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb | 1807.05 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb | 1807.13 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb | 1807.42 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_1.opb | 1809.35 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb | 1807.06 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.opb | 1809.36 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_2.opb | 1807.5 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb | 1806.81 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb | 1807.51 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb | 1806.91 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_1.opb | 1807.49 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb | 1807.5 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_3.opb | 192.931 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb | 76.851 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_2.opb | 58.5089 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb | 1807.22 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb | 197.219 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_1.opb | 1809.32 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb | 1807.13 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb | 1809.3 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb | 1807.54 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb | 1806.92 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_4.opb | 65.784 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.opb | 1807.13 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb | 1807.14 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_3.opb | 1807.1 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb | 1481.55 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb | 1807.25 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.opb | 1806.4 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb | 1809.36 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb | 653.965 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb | 0.038307 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb | 3.43989 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb | 1806.27 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb | 0.935783 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb | 0.111676 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb | 1806.24 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb | 0.008333 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb | 137.446 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb | 1806.51 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_15.opb | 1806.22 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb | 1806.42 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.opb | 1809.13 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_16.opb | 1806.25 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.opb | 1806.17 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.08.opb | 2.58327 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.00.opb | 4.20148 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.10.opb | 8.36444 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.11.opb | 6.45747 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.14.opb | 6.81876 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.07.opb | 6.17716 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.12.opb | 6.78028 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.02.opb | 6.10416 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_14.r.opb | 1807.6 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m4.r.opb | 1809.3 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb | 1805.9 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb | 1806.17 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max512.r.opb | 1807.06 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_20_20.r.opb | 0.276148 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_90_90.r.opb | 0.032147 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_10_10.r.opb | 1.88139 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-test1.r.opb | 1806.53 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb | 1809.38 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_10.r.opb | 1496.93 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb | 1806.57 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_10.r.opb | 1807.65 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_50_50.r.opb | 1.96898 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-dk512x.r.opb | 0.017223 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb | 1806.28 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ricks.r.opb | 0.157063 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-pdc.r.opb | 1806.04 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb | 2.28288 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_15.r.opb | 3.33601 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-duke2.b.opb | 1806.62 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb | 1806.48 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_30_30.r.opb | 0.953302 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_15.r.opb | 539.611 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-opus.r.opb | 0.017318 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb | 1805.71 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-fout.r.opb | 1807.25 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_10.r.opb | 1.99734 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_30_30.r.opb | 0.027495 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex6inp.r.opb | 0.042401 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-des.a.opb | 1808.22 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5inp.r.opb | 0.005048 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-maincont.r.opb | 0.030915 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb | 1807.29 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex1010.pi.opb | 1806.09 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.b.opb | 1807.16 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_90_90.r.opb | 0.046519 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5.r.opb | 1806.29 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bbara.r.opb | 0.003546 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_30_30.r.opb | 8.80212 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.a.opb | 5.54105 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_50_50.r.opb | 0.079972 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_40_40.r.opb | 0.020936 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb | 1803.22 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_15.r.opb | 1807.6 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-mlp4.r.opb | 1809.35 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_30.r.opb | 11.8846 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-exps.r.opb | 1807.43 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb | 1806.96 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex4inp.r.opb | 0.401129 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb | 1807.61 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd73.b.opb | 0.076372 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_70_70.r.opb | 0.186567 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m200_500_10_10.r.opb | 1805.07 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_70_70.r.opb | 0.032881 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb | 1807.26 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-lin.rom.r.opb | 1806.94 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb | 1807.43 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb | 1597.48 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb | 1807.38 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb | 324.599 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb | 1807.43 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb | 1807.19 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb | 1808.37 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb | 1545 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb | 1804.02 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb | 1807.42 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb | 62.4505 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb | 62.62 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb | 44.2415 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb | 10.7306 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb | 11.8748 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb | 1804.63 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb | 1807.44 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb | 1809.25 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb | 1807.33 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb | 1807.22 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb | 1262.92 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb | 1406.7 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb | 204.344 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb | 221.431 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb | 144.69 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb | 1807.28 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb | 1807.07 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb | 1807.37 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb | 1807.35 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb | 1807.24 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb | 1807.27 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb | 1809.25 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb | 1807.46 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb | 1807.24 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb | 1807.41 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb | 7.64703 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb | 2.70404 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb | 6.23546 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb | 2.20735 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb | 6.16079 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb | 2.55117 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb | 0.053124 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb | 1102.36 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb | 1809.37 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb | 1805.86 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb | 1806.87 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb | 1806.01 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb | 1806.5 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb | 1806.81 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb | 1805.73 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb | 1806.74 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb | 1805.75 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb | 1806.36 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb | 1806.77 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb | 1806.14 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb | 1805.56 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb | 1806.81 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb | 1806.74 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb | 14.3812 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb | 331.793 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb | 1806.89 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb | 0.005734 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb | 0.009715 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb | 413.634 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb | 1807.04 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb | 1809.39 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb | 0.016858 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb | 0.02602 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb | 0.020824 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb | 1807.09 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh301.opb | 0.051629 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb | 0.018747 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb | 0.017062 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb | 0.010868 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb | 993.157 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.18.opb | 1804.9 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb | 0.057725 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb | 0.020628 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb | 1805.87 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb | 0.034061 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb | 0.770659 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb | 847.52 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb | 710.14 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb | 0.064511 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb | 0.016933 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb | 0.531317 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb | 0.028654 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb | 1.93698 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb | 0.025941 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh205.opb | 0.053646 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb | 728.369 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb | 0.023836 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh204.opb | 0.057338 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb | 0.057813 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb | 0.064521 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb | 0.505188 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb | 0.051895 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb | 0.053071 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb | 0.056207 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb | 0.044682 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb | 1806.57 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb | 2.18661 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb | 0.0108 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb | 4.88086 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb | 0.030606 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-4.opb | 1.13906 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f600.opb | 1806.99 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5.opb | 1806.52 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb | 0.013967 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb | 0.05263 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb | 1806.56 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb | 1806.78 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb | 1806.18 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb | 17.2188 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh218.opb | 0.062022 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb | 1806.93 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb | 3.45819 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb | 0.018978 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh212.opb | 0.051718 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb | 0.030278 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh209.opb | 0.060917 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb | 1806.89 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-3.opb | 0.033694 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-1.opb | 0.041281 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb | 1.30621 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb | 0.03111 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-2.opb | 1.98106 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb | 0.030952 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb | 6.09712 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb | 1.15138 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb | 0.03655 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb | 0.028006 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb | 20.5324 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb | 0.025442 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb | 0.02759 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb | 0.828119 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb | 0.043292 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-4.opb | 0.042145 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.17.opb | 1805.67 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb | 1806.14 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb | 1808.87 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb | 0.524618 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb | 1.80106 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb | 0.04586 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb | 0.025172 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-3.opb | 1.68552 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb | 1806.3 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb | 3.29669 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb | 1806.44 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb | 0.034369 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb | 0.027677 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb | 0.011353 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb | 0.500061 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb | 9.92649 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb | 0.649406 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb | 0.045524 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb | 1809.31 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb | 1.15354 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb | 0.05189 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb | 0.742626 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb | 4.21124 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb | 0.498259 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb | 0.087028 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh12.opb | 0.049086 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh220.opb | 0.05581 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb | 1806.79 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh1.opb | 0.078498 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb | 0.031179 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb | 1806.68 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f1000.opb | 1807.08 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb | 0.056448 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb | 0.047047 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh7.opb | 0.059431 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh207.opb | 0.05333 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb | 0.354216 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb | 1805.94 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh210.opb | 0.12275 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb | 1806.93 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-5.opb | 1.31799 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb | 0.62497 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh213.opb | 0.057488 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb | 1804.64 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb | 0.014524 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb | 1806.84 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-2.opb | 0.047776 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb | 0.502704 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb | 1809.32 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh217.opb | 0.205169 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb | 1.94011 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb | 1805.71 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb | 8.06955 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f2000.opb | 1806.66 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb | 1806.66 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb | 0.059992 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb | 10.6415 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb | 0.019463 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb | 0.332026 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-1.opb | 1.34896 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1.opb | 1806.56 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb | 0.322256 | UNSATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb | 2.55097 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb | 2.68791 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb | 2.2707 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb | 0.015487 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb | 1806.66 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb | 0.017125 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb | 0.017777 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb | 0.011562 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par8-5.opb | 0.049071 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh201.opb | 5.75845 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb | 0.008642 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3.opb | 1806.52 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb | 0.014429 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb | 1691.98 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb | 1806.81 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4.opb | 1806.57 | UNKNOWN |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb | 3.2773 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb | 0.042841 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb | 3.33277 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh17.opb | 0.05666 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb | 1.32801 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb | 0.019749 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ4_3.opb | 0.052639 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb | 1806.57 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb | 1809.22 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb | 1805.68 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb | 1806.96 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data4_3.opb | 0.204476 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb | 1807.36 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb | 1805.24 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-prom2.pi.opb | 1806.59 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb | 1809.33 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb | 1806.31 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb | 1809.3 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-5xp1.b.opb | 10.1235 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-9sym.b.opb | 0.152156 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb | 18.9944 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb | 1806.49 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb | 1807.13 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb | 1805.15 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-jac3.opb | 1806.77 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-f51m.b.opb | 125.077 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb | 1807.07 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-clip.b.opb | 0.938654 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb | 270.406 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.opb | 1806.33 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-apex4.a.opb | 1806.13 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb | 0.634728 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb | 0.037037 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb | 0.597599 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb | 0.311532 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb | 0.969135 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb | 2.40546 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb | 1.22792 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb | 0.504777 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb | 0.050247 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb | 0.037692 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb | 0.04207 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb | 0.035491 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb | 1.51169 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-10pb.opb | 0.310492 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb | 0.707853 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb | 70.6618 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g100x100.opb | 1805.3 | SATISFIABLE |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x9.opb | 0.267564 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g2x2.opb | 0 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g4x4.opb | 0.003287 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g7x7.opb | 0.019836 | OPTIMUM |
| normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x3.opb | 0.007299 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-p6b.opb | 1807.02 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb | 974.745 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-ex9.opb | 5.38796 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-ash608gpia-3col.opb | 0.450693 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-neos-807456.opb | 1807.2 | UNKNOWN |
| OPT-SMALLINT-LIN/heinz/normalized-go19.opb | 1806.83 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-neos-777800.opb | 166.63 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-neos-547911.opb | 1805.86 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-macrophage.opb | 1808.74 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-neos18.opb | 0.066322 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-queens-30.opb | 1805.65 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-toll-like.opb | 1805.68 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-222__neos-1330346.opb | 19.2379 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-neos-1616732.opb | 1807.4 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-neos-631710.opb | 1805.17 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-acc-tight6.opb | 0.299992 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-ex1010-pi.opb | 1806.19 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-neos-785912.opb | 1.78867 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-methanosarcina.opb | 1806.28 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-neos-859770.opb | 167.985 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-neos-544324.opb | 104.357 | UNKNOWN |
| OPT-SMALLINT-LIN/heinz/normalized-neos-1109824.opb | 1805.85 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-bnatt400.opb | 0.36939 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-protfold.opb | 1806.72 | UNKNOWN |
| OPT-SMALLINT-LIN/heinz/normalized-datt256.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/heinz/normalized-tanglegram3.opb | 1808.22 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-ns1853823.opb | 1807.23 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-ns894244.opb | 1806.15 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-acc-tight4.opb | 0.235795 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-iis-bupa-cov.opb | 1807.63 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-f2000.opb | 1806.68 | UNKNOWN |
| OPT-SMALLINT-LIN/heinz/normalized-wnq-n100-mw99-14.opb | 1804.81 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-ns894788.opb | 92.3206 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-neos-1440225.opb | 1805.71 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-mspp16.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/heinz/normalized-ns1745726.opb | 8.36941 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb | 11.2291 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-neos-506428.opb | 1.03298 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-tanglegram1.opb | 1806.24 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-neos788725.opb | 185.283 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-pb-simp-nonunif.opb | 6.40437 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-seymour.opb | 1807.07 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-bnatt350.opb | 0.281678 | OPTIMUM |
| OPT-SMALLINT-LIN/heinz/normalized-iis-pima-cov.opb | 1807.26 | SATISFIABLE |
| OPT-SMALLINT-LIN/heinz/normalized-hanoi5.opb | 3.64089 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j308_4.std.opb | 5.25161 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3028_7.std.opb | 7.52379 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_4.std.opb | 4.77227 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3027_1.std.opb | 3.99584 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3039_1.std.opb | 7.99884 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3044_1.std.opb | 42.5162 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_3.std.opb | 4.32019 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3024_7.std.opb | 4.56862 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j304_5.std.opb | 1.87564 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j307_6.std.opb | 3.58818 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3020_9.std.opb | 2.19527 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3037_10.std.opb | 4.43381 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j305_3.std.opb | 6.39286 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3045_1.std.opb | 8.03762 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j309_3.std.opb | 14.299 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3028_8.std.opb | 39.1862 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3021_10.std.opb | 2.8438 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3030_10.std.opb | 6.94416 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3047_1.std.opb | 4.8544 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3040_5.std.opb | 4.39923 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3032_2.std.opb | 9.42626 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j301_8.std.opb | 1.40932 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j309_7.std.opb | 5.87681 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3046_5.std.opb | 7.70498 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3029_1.std.opb | 6.65898 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3039_5.std.opb | 4.42173 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3010_10.std.opb | 7.78907 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3016_8.std.opb | 6.52988 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3034_9.std.opb | 2.21854 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_1.std.opb | 1805.4 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_7.std.opb | 6.64722 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_10.std.opb | 1805.99 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12030_10.std.opb | 12.5781 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12020_7.std.opb | 35.1494 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12048_10.std.opb | 45.2668 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1207_6.std.opb | 1805.59 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12017_7.std.opb | 1808.64 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12057_1.std.opb | 1808.68 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12044_1.std.opb | 5.77792 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12058_7.std.opb | 1805.64 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1207_10.std.opb | 1805.3 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12019_5.std.opb | 1805.74 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12019_2.std.opb | 1805.76 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12037_6.std.opb | 1805.55 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_10.std.opb | 1805.66 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12060_5.std.opb | 1805.72 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12039_5.std.opb | 32.4983 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1205_7.std.opb | 7.27871 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12015_5.std.opb | 25.8577 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12046_3.std.opb | 1805.89 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12053_3.std.opb | 1805.29 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1209_3.std.opb | 12.486 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_6.std.opb | 6.72455 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1209_1.std.opb | 13.4883 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12051_6.std.opb | 1808.37 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1204_1.std.opb | 6.79841 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12060_6.std.opb | 33.6156 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12020_8.std.opb | 57.1706 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12037_10.std.opb | 1805.91 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12041_1.std.opb | 4.60352 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_2.std.opb | 5.55859 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12044_8.std.opb | 6.39488 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1201_2.std.opb | 6.44635 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12024_7.std.opb | 6.66348 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1202_7.std.opb | 5.42673 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12053_6.std.opb | 1805.21 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1204_10.std.opb | 6.58881 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12038_4.std.opb | 1805.55 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12047_2.std.opb | 1805.82 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12049_10.std.opb | 88.6866 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12055_4.std.opb | 22.7075 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12013_5.std.opb | 1805.39 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12036_9.std.opb | 1805.65 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1206_4.std.opb | 1806.03 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_2.std.opb | 1805.77 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12026_4.std.opb | 1805.98 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12020_5.std.opb | 33.3604 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_4.std.opb | 28.6365 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12021_8.std.opb | 5.94717 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12048_7.std.opb | 1806.39 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12026_6.std.opb | 1808.47 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12018_6.std.opb | 1805.6 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_2.std.opb | 1806.08 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12036_6.std.opb | 1805.98 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j603_9.std.opb | 4.73757 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6029_8.std.opb | 1806.08 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6021_5.std.opb | 7.23832 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j602_4.std.opb | 3.52321 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6046_1.std.opb | 9.68053 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6027_6.std.opb | 5.94893 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6020_6.std.opb | 4.89966 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j603_6.std.opb | 4.43853 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6031_6.std.opb | 13.6795 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6019_2.std.opb | 4.13257 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6026_2.std.opb | 9.76164 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6013_4.std.opb | 1805.59 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6012_9.std.opb | 6.86082 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6030_8.std.opb | 9.10627 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j606_1.std.opb | 5.16715 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6044_1.std.opb | 9.25104 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6035_5.std.opb | 4.20643 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j609_6.std.opb | 1806.37 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j605_7.std.opb | 9.46876 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6043_1.std.opb | 7.13149 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6039_5.std.opb | 8.73311 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j607_3.std.opb | 6.16446 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6012_3.std.opb | 6.68292 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j902_10.std.opb | 6.43651 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9017_9.std.opb | 3.92224 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9019_6.std.opb | 3.68855 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9038_2.std.opb | 9.56914 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9014_2.std.opb | 24.0562 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9041_1.std.opb | 1808.59 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j902_3.std.opb | 5.65183 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9025_7.std.opb | 1805.64 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9027_5.std.opb | 14.7371 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9022_8.std.opb | 8.22137 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9020_8.std.opb | 5.86623 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j907_10.std.opb | 7.63381 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9021_5.std.opb | 130.094 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9013_1.std.opb | 1805.8 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9036_4.std.opb | 7.40397 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9025_10.std.opb | 1805.6 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9045_2.std.opb | 1805.88 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j909_4.std.opb | 1805.59 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9039_4.std.opb | 7.32655 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9010_6.std.opb | 13.8126 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9027_6.std.opb | 16.4305 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9013_9.std.opb | 1805.74 | SATISFIABLE |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j901_1.std.opb | 4.80669 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9038_7.std.opb | 10.2075 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9024_9.std.opb | 6.10671 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9043_5.std.opb | 15.9447 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9023_3.std.opb | 5.85875 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9043_10.std.opb | 10.3418 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9016_1.std.opb | 26.5371 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9044_5.std.opb | 14.8002 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9031_6.std.opb | 21.8133 | OPTIMUM |
| OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9033_3.std.opb | 4.30707 | OPTIMUM |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX180_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX15_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null20mast_rapportOE2.0_TMAX120_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null0mast_rapportOE2.0_TMAX180_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX60_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX300_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE1.0_TMAX120_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null20mast_rapportOE1.0_TMAX15_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX60_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null0mast_rapportOE2.0_TMAX60_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX300_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX180_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null20mast_rapportOE2.0_TMAX60_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX60_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX15_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX120_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null0mast_rapportOE1.0_TMAX300_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX300_K192_cod2.opb | 1800 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX60_K67_cod3.opb | 1805.88 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null10mast_rapportOE1.0_TMAX120_K67_cod3.opb | 1805.94 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2.opb | 1805.96 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX60_K67_cod1.opb | 1806.06 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE2.0_TMAX180_K67_cod2.opb | 1808.51 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX120_K67_cod1.opb | 1805.77 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb | 1808.61 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX180_K67_cod1.opb | 1806.03 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb | 359.223 | OPTIMUM |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb | 1805.02 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb | 1806.39 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod3.opb | 1805.9 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX300_K67_cod2.opb | 1805.48 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb | 1805.42 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb | 1805.61 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2.opb | 1805.57 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE1.0_TMAX15_K67_cod1.opb | 1806.1 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX120_K67_cod1.opb | 1805.87 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX15_K67_cod2.opb | 218.487 | OPTIMUM |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX120_K67_cod2.opb | 229.7 | OPTIMUM |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX120_K67_cod2.opb | 1805.8 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX15_K67_cod1.opb | 1808.58 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb | 1805.87 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX120_K67_cod2.opb | 1806.24 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX120_K67_cod1.opb | 1805.94 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX60_K67_cod1.opb | 1805.98 | SATISFIABLE |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb | 1805.82 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_K67_cod2.opb | 5.80457 | OPTIMUM |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX60_K67_cod2.opb | 1806.35 | UNKNOWN |
| OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb | 1805.98 | SATISFIABLE |
| OPT-SMALLINT-LIN/kullmann/normalized-mul_8_11_shg.opb | 1804.98 | SATISFIABLE |
| OPT-SMALLINT-LIN/kullmann/normalized-mul_8_14_shg.opb | 1804.53 | SATISFIABLE |
| OPT-SMALLINT-LIN/kullmann/normalized-sbox_4_shg.opb | 1807.14 | SATISFIABLE |
| OPT-SMALLINT-LIN/kullmann/normalized-mul_8_3_shg.opb | 1805.18 | SATISFIABLE |
| OPT-SMALLINT-LIN/kullmann/normalized-mul_8_9_shg.opb | 1804.69 | SATISFIABLE |
| OPT-SMALLINT-LIN/kullmann/normalized-sbox_8_shg.opb | 289.683 | UNKNOWN |
| OPT-SMALLINT-LIN/kullmann/normalized-mul_8_13_shg.opb | 1804.64 | SATISFIABLE |
| OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-11.opb | 3.1262 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-14.opb | 2.91052 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-11.opb | 5.75845 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-15.opb | 25.2785 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-3.opb | 3.65589 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-8.opb | 4.66704 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-4.opb | 3.7379 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-10.opb | 4.20206 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-13.opb | 3.38938 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-1.opb | 3.57683 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-9.opb | 4.63663 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-13.opb | 6.51274 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-12.opb | 6.04935 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-6.opb | 5.23643 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.10-7.opb | 5.22744 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-15.opb | 6.00029 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-5.opb | 3.4061 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.20-14.opb | 5.11862 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped2.B.recomb1-0.01-2.opb | 4.00427 | OPTIMUM |
| OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-12.opb | 2.8605 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randd1cab2.cudf.paranoid.opb | 1.76323 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb | 1.99166 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa491d5.cudf.paranoid.opb | 0.705447 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.paranoid.opb | 1.06998 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand4bf850.cudf.paranoid.opb | 1.5099 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randbccf2d.cudf.paranoid.opb | 1.96015 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randfe95e3.cudf.paranoid.opb | 0.261881 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand65d021.cudf.paranoid.opb | 0.530238 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand902db1.cudf.paranoid.opb | 0.387183 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb | 1.45919 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand2d8467.cudf.paranoid.opb | 1.67156 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randf7d077.cudf.paranoid.opb | 0.861078 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa09fe9.cudf.paranoid.opb | 2.17624 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa6997e.cudf.paranoid.opb | 2.32743 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand199fd6.cudf.paranoid.opb | 0.202462 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randb87834.cudf.paranoid.opb | 1.7323 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randaef248.cudf.paranoid.opb | 0.257099 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand767898.cudf.paranoid.opb | 1.46585 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb | 1.63933 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb | 0.679344 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc18b26.cudf.paranoid.opb | 1.15277 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb | 0.16795 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand00ebc7.cudf.paranoid.opb | 0.22979 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand362510.cudf.paranoid.opb | 1.96579 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb | 1.30332 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb | 0.163607 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randfd04d4.cudf.paranoid.opb | 0.695607 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4a23d9.cudf.paranoid.opb | 1.35122 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb | 1.43625 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb | 1.69438 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randa2004a.cudf.paranoid.opb | 1.26495 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand27da90.cudf.paranoid.opb | 1.8669 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb | 1.05244 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.paranoid.opb | 1.30543 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.paranoid.opb | 1.97812 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand085d8a.cudf.paranoid.opb | 1.60965 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand5d20db.cudf.paranoid.opb | 1.5165 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randcebca4.cudf.paranoid.opb | 1.49162 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randb54299.cudf.paranoid.opb | 1.29439 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand71b131.cudf.paranoid.opb | 2.0332 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand9ffe99.cudf.paranoid.opb | 1.65265 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4b919e.cudf.paranoid.opb | 1.29555 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randec6fe1.cudf.paranoid.opb | 1.35174 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf66c83.cudf.paranoid.opb | 1.39963 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1034.cudf.paranoid.opb | 0.048855 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-121.cudf.paranoid.opb | 0.08941 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-787.cudf.paranoid.opb | 0.005077 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1094.cudf.paranoid.opb | 0.021344 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1037.cudf.paranoid.opb | 0.035801 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-122.cudf.paranoid.opb | 0.084107 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb | 0.021191 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb | 0.012194 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1078.cudf.paranoid.opb | 0 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1077.cudf.paranoid.opb | 0.033328 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1125.cudf.paranoid.opb | 0.01077 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1098.cudf.paranoid.opb | 0.051273 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1097.cudf.paranoid.opb | 0.023336 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb | 0.092675 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1093.cudf.paranoid.opb | 0.035891 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-869.cudf.paranoid.opb | 0.022647 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-902.cudf.paranoid.opb | 0.079368 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-787.cudf.trendy.opb | 0.007546 | OPTIMUM |
| OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-995.cudf.trendy.opb | 0.012768 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1021.cudf.trendy.opb | 0.010083 | UNSATISFIABLE |
| OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/datasets/caixa/normalized-1078.cudf.trendy.opb | 0 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-1000opt.opb | 1.00924 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-5000opt.opb | 2.19569 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb | 1.32038 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-3000opt.opb | 1.02582 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-3000opt.opb | 3.05575 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-2000opt.opb | 3.74452 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-10000opt.opb | 1.1979 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-4000opt.opb | 3.00463 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-4000opt.opb | 0.542624 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-9000opt.opb | 1.03065 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb | 12.3195 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-10000opt.opb | 3.76939 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-7000opt.opb | 1.1464 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-6000opt.opb | 4.34298 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-7000opt.opb | 5.67498 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-9000opt.opb | 1.8411 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-1000opt.opb | 2.65689 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.opb | 0.966323 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-6000opt.opb | 1.67832 | OPTIMUM |
| OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-8000opt.opb | 1.11252 | OPTIMUM |
| OPT-SMALLINT-LIN/flexray/normalized-fx63.opb | 1806.2 | UNKNOWN |
| OPT-SMALLINT-LIN/flexray/normalized-fx57.opb | 2.54102 | OPTIMUM |
| OPT-SMALLINT-LIN/flexray/normalized-fx60.opb | 768.524 | OPTIMUM |
| OPT-SMALLINT-LIN/flexray/normalized-fx49.opb | 1806.35 | UNKNOWN |
| OPT-SMALLINT-LIN/flexray/normalized-fx30.opb | 1803.63 | UNKNOWN |
| OPT-SMALLINT-LIN/flexray/normalized-fx75.opb | 1807.95 | UNKNOWN |
| OPT-SMALLINT-LIN/flexray/normalized-fx92.opb | 749.686 | OPTIMUM |
| OPT-SMALLINT-LIN/flexray/normalized-fx97.opb | 1805.15 | UNKNOWN |
| OPT-SMALLINT-LIN/flexray/normalized-fx84.opb | 10.4219 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir07_trarea_ac.opb | 1809.33 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb | 1806.3 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir05_trarea_ac.opb | 1807.02 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir04_trarea_ac.opb | 1808.88 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb | 1806.06 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir08_trarea_ac.opb | 1806.18 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir10_trarea_ac.opb | 1806.09 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir03_trarea_ac.opb | 211.695 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb | 11.4757 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb | 8.70402 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_023_area_delay.opb | 36.9703 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb | 1.31221 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb | 1.88946 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb | 1.72878 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb | 0.800176 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb | 4.58745 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb | 5.81379 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_011_area_delay.opb | 5.56403 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb | 5.16568 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_013_area_delay.opb | 15.6538 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb | 1.69843 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_area_delay.opb | 18.9161 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_025_area_delay.opb | 14.5081 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb | 33.2717 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_005_area_delay.opb | 25.7889 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb | 3.00104 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb | 27.2311 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_003_area_delay.opb | 7.45455 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb | 41.4292 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_area_delay.opb | 6.51311 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_029_area_delay.opb | 19.5229 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_012_area_delay.opb | 22.7263 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb | 6.49216 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb | 2.24771 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_028_area_delay.opb | 10.329 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb | 3.45723 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_007_area_delay.opb | 19.9525 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_016_area_delay.opb | 7.47684 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb | 26.8846 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir09_area_delay.opb | 1806.54 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir04_area_delay.opb | 0.21833 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir07_area_delay.opb | 1806.62 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir02_area_delay.opb | 0.069291 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb | 2.08304 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir01_area_delay.opb | 0.012172 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir10_area_delay.opb | 1806.14 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir08_area_delay.opb | 1805.56 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb | 20.8207 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb | 1682.35 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb | 0.788842 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir09_area_opers.opb | 42.0636 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir07_area_opers.opb | 14.4685 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir08_area_opers.opb | 1805.43 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb | 2.00521 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir04_area_opers.opb | 0.298978 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb | 6.58961 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir10_area_opers.opb | 1004.22 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir02_area_opers.opb | 0.216083 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb | 2.11475 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir01_area_opers.opb | 0.020643 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.opb | 1806.39 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb | 1805.33 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb | 1805.43 | SATISFIABLE |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb | 242.172 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb | 9.45795 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb | 205.695 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb | 110.751 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb | 77.3494 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb | 280.749 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_9.opb | 1225.13 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir03_area_partials.opb | 0.069543 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir06_area_partials.opb | 0.044232 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir07_area_partials.opb | 0.01225 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb | 0.384168 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb | 0.599285 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir04_area_partials.opb | 0 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir08_area_partials.opb | 5.82846 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir05_area_partials.opb | 0.032711 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir02_area_partials.opb | 0.009876 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-8_16.opb | 238.501 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-11_22.opb | 285.745 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-6_12.opb | 0.161869 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-7_14.opb | 2.6981 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb | 12.3952 | OPTIMUM |
| normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-5_10.opb | 0.06401 | OPTIMUM |