InstanceRuntimeResult
normalized-lo_12x12_000.opb.metafix.opb198.831OPTIMUM
normalized-lo_16x16_001.opb.metafix.opb1798.734UNKNOWN
normalized-lo_10x10_009.opb.metafix.opb0.090895OPTIMUM
normalized-lo_10x10_003.opb.metafix.opb0.097639OPTIMUM
normalized-lo_8x8_007.opb.metafix.opb0.125492OPTIMUM
normalized-lo_16x16_002.opb.metafix.opb1798.695UNKNOWN
normalized-lo_10x10_002.opb.metafix.opb0.17776OPTIMUM
normalized-lo_16x16_009.opb.metafix.opb1798.730UNKNOWN
normalized-lo_16x16_004.opb.metafix.opb1798.757UNKNOWN
normalized-lo_16x16_008.opb.metafix.opb1798.709UNKNOWN
normalized-lo_12x12_008.opb.metafix.opb1798.741UNKNOWN
normalized-lo_14x14_007.opb.metafix.opb1798.723UNKNOWN
normalized-lo_10x10_006.opb.metafix.opb2.66506OPTIMUM
normalized-lo_16x16_006.opb.metafix.opb1798.712UNKNOWN
normalized-lo_8x8_002.opb.metafix.opb0.142586OPTIMUM
normalized-lo_14x14_003.opb.metafix.opb1798.747UNKNOWN
normalized-lo_16x16_005.opb.metafix.opb1798.697UNKNOWN
normalized-lo_14x14_008.opb.metafix.opb1798.753UNKNOWN
normalized-lo_6x6_001.opb.metafix.opb0.025308OPTIMUM
normalized-lo_12x12_005.opb.metafix.opb1798.704UNKNOWN
normalized-lo_6x6_008.opb.metafix.opb0.024595OPTIMUM
normalized-lo_14x14_001.opb.metafix.opb1798.741UNKNOWN
normalized-lo_10x10_007.opb.metafix.opb0.08082OPTIMUM
normalized-lo_10x10_005.opb.metafix.opb0.938313OPTIMUM
normalized-lo_14x14_004.opb.metafix.opb1800.454UNKNOWN
normalized-lo_8x8_006.opb.metafix.opb0.1401OPTIMUM
normalized-lo_14x14_009.opb.metafix.opb1798.744UNKNOWN
normalized-lo_12x12_003.opb.metafix.opb1798.708UNKNOWN
normalized-lo_14x14_006.opb.metafix.opb1798.740UNKNOWN
normalized-lo_16x16_000.opb.metafix.opb1798.741UNKNOWN
normalized-lo_10x10_000.opb.metafix.opb0.078476OPTIMUM
normalized-lo_8x8_008.opb.metafix.opb0.121262OPTIMUM
normalized-lo_10x10_004.opb.metafix.opb1.27564OPTIMUM
normalized-lo_12x12_002.opb.metafix.opb1798.721UNKNOWN
normalized-lo_6x6_004.opb.metafix.opb0.029278OPTIMUM
normalized-lo_8x8_003.opb.metafix.opb0.122815OPTIMUM
normalized-lo_8x8_004.opb.metafix.opb0.1192OPTIMUM
normalized-lo_6x6_009.opb.metafix.opb0.026921OPTIMUM
normalized-lo_14x14_005.opb.metafix.opb1798.779UNKNOWN
normalized-lo_6x6_005.opb.metafix.opb0.017667OPTIMUM
normalized-lo_14x14_002.opb.metafix.opb1798.720UNKNOWN
normalized-lo_6x6_006.opb.metafix.opb0.022859OPTIMUM
normalized-lo_16x16_003.opb.metafix.opb1798.647UNKNOWN
normalized-lo_10x10_001.opb.metafix.opb2.52481OPTIMUM
normalized-lo_6x6_007.opb.metafix.opb0.025515OPTIMUM
normalized-lo_12x12_004.opb.metafix.opb160.141OPTIMUM
normalized-lo_12x12_009.opb.metafix.opb5.94531OPTIMUM
normalized-lo_6x6_002.opb.metafix.opb0.024542OPTIMUM
normalized-lo_8x8_005.opb.metafix.opb0.111003OPTIMUM
normalized-lo_14x14_000.opb.metafix.opb1798.728UNKNOWN
normalized-lo_16x16_007.opb.metafix.opb1798.750UNKNOWN
normalized-lo_10x10_008.opb.metafix.opb1.27504OPTIMUM
normalized-lo_6x6_000.opb.metafix.opb0.026658OPTIMUM
normalized-lo_8x8_009.opb.metafix.opb0.111756OPTIMUM
normalized-lo_6x6_003.opb.metafix.opb0.028603OPTIMUM
normalized-lo_8x8_000.opb.metafix.opb0.115036OPTIMUM
normalized-lo_12x12_006.opb.metafix.opb0.628802OPTIMUM
normalized-lo_12x12_007.opb.metafix.opb7.7775OPTIMUM
normalized-lo_12x12_001.opb.metafix.opb1798.712UNKNOWN
normalized-lo_8x8_001.opb.metafix.opb0.111234OPTIMUM
normalized-hw64-vm90p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw64-vm95p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw64-vm85p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw64-vm99p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw64-vm75p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw64-vm98p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw64-vm25p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw64-vm50p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw64-vm100p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw32-vm75p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw32-vm90p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw32-vm85p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw32-vm99p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw32-vm50p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw32-vm98p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw32-vm95p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw32-vm25p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw32-vm100p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw128-vm75p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw128-vm85p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw128-vm50p-opt.opb.negationfix.opb1800UNKNOWN
normalized-hw128-vm25p-opt.opb.negationfix.opb1800UNKNOWN
normalized-edgecross10-070.lin.opb1798.631UNKNOWN
normalized-edgecross10-040.lin.opb1798.685UNKNOWN
normalized-hmittelman.lin.opb0.003023OPTIMUM
normalized-sporttournament20.lin.opb1798.737UNKNOWN
normalized-edgecross14-098.lin.opb1798.555UNKNOWN
normalized-sporttournament16.lin.opb1798.697UNKNOWN
normalized-edgecross20-080.lin.opb1798.503UNKNOWN
normalized-graphpart_clique-30.lin.opb1800.431UNKNOWN
normalized-autocorr_bern30-23.lin.opb1798.795UNKNOWN
normalized-graphpart_2pm-0066-0066.lin.opb2.29627OPTIMUM
normalized-autocorr_bern30-30.lin.opb1798.757UNKNOWN
normalized-faclay25.lin.opb1798.441UNKNOWN
normalized-autocorr_bern35-09.lin.opb1798.790UNKNOWN
normalized-autocorr_bern60-08.lin.opb1798.778UNKNOWN
normalized-edgecross10-050.lin.opb1798.682UNKNOWN
normalized-autocorr_bern25-06.lin.opb1800.451UNKNOWN
normalized-edgecross24-115.lin.opb1798.467UNKNOWN
normalized-graphpart_2pm-0088-0888.lin.opb11.7178OPTIMUM
normalized-autocorr_bern30-15.lin.opb1798.811UNKNOWN
normalized-sporttournament24.lin.opb1798.692UNKNOWN
normalized-sporttournament06.lin.opb0.042755OPTIMUM
normalized-autocorr_bern50-13.lin.opb1798.775UNKNOWN
normalized-edgecross10-030.lin.opb1798.653UNKNOWN
normalized-graphpart_2pm-0077-0777.lin.opb19.0456OPTIMUM
normalized-edgecross14-058.lin.opb1798.663UNKNOWN
normalized-sporttournament26.lin.opb1798.693UNKNOWN
normalized-edgecross24-057.lin.opb1798.544UNKNOWN
normalized-sporttournament34.lin.opb1798.702UNKNOWN
normalized-edgecross14-137.lin.opb1800.435UNKNOWN
normalized-autocorr_bern55-06.lin.opb1798.814UNKNOWN
normalized-autocorr_bern25-13.lin.opb1798.840UNKNOWN
normalized-sporttournament42.lin.opb1798.661UNKNOWN
normalized-autocorr_bern50-06.lin.opb1798.863UNKNOWN
normalized-edgecross22-048.lin.opb1798.600UNKNOWN
normalized-graphpart_3pm-0244-0244.lin.opb27.5534OPTIMUM
normalized-sporttournament28.lin.opb1798.682UNKNOWN
normalized-autocorr_bern30-08.lin.opb1798.839UNKNOWN
normalized-faclay20h.lin.opb1798.797UNKNOWN
normalized-sporttournament38.lin.opb1800.440UNKNOWN
normalized-graphpart_3pm-0334-0334.lin.opb155.667OPTIMUM
normalized-graphpart_3pm-0344-0344.lin.opb1798.741UNKNOWN
normalized-sporttournament44.lin.opb1798.635UNKNOWN
normalized-faclay30.lin.opb1798.373UNKNOWN
normalized-graphpart_2pm-0044-0044.lin.opb1.98072OPTIMUM
normalized-autocorr_bern55-14.lin.opb1798.818UNKNOWN
normalized-autocorr_bern40-30.lin.opb1798.784UNKNOWN
normalized-graphpart_3pm-0444-0444.lin.opb1798.729UNKNOWN
normalized-sporttournament36.lin.opb1798.681UNKNOWN
normalized-graphpart_clique-60.lin.opb1798.386UNKNOWN
normalized-sporttournament08.lin.opb1.74479OPTIMUM
normalized-autocorr_bern20-03.lin.opb0.039779OPTIMUM
normalized-faclay33.lin.opb1798.736UNKNOWN
normalized-autocorr_bern60-15.lin.opb1798.809UNKNOWN
normalized-autocorr_bern35-18.lin.opb1798.771UNKNOWN
normalized-graphpart_clique-70.lin.opb1798.337UNKNOWN
normalized-graphpart_3pm-0234-0234.lin.opb6.46918OPTIMUM
normalized-graphpart_2pm-0055-0055.lin.opb1.91229OPTIMUM
normalized-autocorr_bern40-20.lin.opb1798.773UNKNOWN
normalized-edgecross10-020.lin.opb1371.62OPTIMUM
normalized-crossdock_15x7.lin.opb1798.781UNKNOWN
normalized-faclay30h.lin.opb1798.286UNKNOWN
normalized-autocorr_bern20-15.lin.opb1798.805UNKNOWN
normalized-autocorr_bern45-05.lin.opb1798.831UNKNOWN
normalized-autocorr_bern25-25.lin.opb1798.780UNKNOWN
normalized-autocorr_bern25-03.lin.opb0.579285OPTIMUM
normalized-graphpart_clique-20.lin.opb1798.656UNKNOWN
normalized-autocorr_bern40-05.lin.opb1798.817UNKNOWN
normalized-autocorr_bern20-10.lin.opb1798.796UNKNOWN
normalized-sporttournament22.lin.opb1798.687UNKNOWN
normalized-sporttournament46.lin.opb1798.638UNKNOWN
normalized-graphpart_clique-40.lin.opb1798.483UNKNOWN
normalized-graphpart_clique-50.lin.opb1798.419UNKNOWN
normalized-autocorr_bern25-19.lin.opb1798.797UNKNOWN
normalized-autocorr_bern35-26.lin.opb1798.767UNKNOWN
normalized-edgecross22-096.lin.opb1798.494UNKNOWN
normalized-edgecross10-010.lin.opb0.421208OPTIMUM
normalized-sporttournament32.lin.opb1798.722UNKNOWN
normalized-sporttournament30.lin.opb1798.724UNKNOWN
normalized-edgecross10-090.lin.opb1798.617UNKNOWN
normalized-autocorr_bern20-05.lin.opb1798.825UNKNOWN
normalized-edgecross14-019.lin.opb1798.715UNKNOWN
normalized-sporttournament50.lin.opb1798.653UNKNOWN
normalized-faclay35.lin.opb1798.306UNKNOWN
normalized-autocorr_bern45-11.lin.opb1800.453UNKNOWN
normalized-edgecross14-176.lin.opb1798.556UNKNOWN
normalized-sporttournament18.lin.opb1798.739UNKNOWN
normalized-edgecross20-040.lin.opb1798.654UNKNOWN
normalized-graphpart_2pm-0099-0999.lin.opb87.0524OPTIMUM
normalized-sporttournament48.lin.opb1798.621UNKNOWN
normalized-graphpart_3pm-0333-0333.lin.opb21.7517OPTIMUM
normalized-autocorr_bern35-04.lin.opb1798.798UNKNOWN
normalized-autocorr_bern40-10.lin.opb1798.783UNKNOWN
normalized-sporttournament12.lin.opb1798.732UNKNOWN
normalized-edgecross14-117.lin.opb1798.584UNKNOWN
normalized-autocorr_bern30-04.lin.opb1798.845UNKNOWN
normalized-sporttournament10.lin.opb1798.760UNKNOWN
normalized-sporttournament40.lin.opb1798.663UNKNOWN
normalized-jul4.5.opb1800UNKNOWN
normalized-sep4.5.opb1800UNKNOWN
normalized-may6.5.opb1800UNKNOWN
normalized-may5.5.opb1800UNKNOWN
normalized-jul6.5.opb1800UNKNOWN
normalized-oct4.5.opb1800UNKNOWN
normalized-aug5.5.opb1800UNKNOWN
normalized-jul5.5.opb1800UNKNOWN
normalized-aug6.5.opb1800UNKNOWN
normalized-aug4.5.opb1800UNKNOWN
normalized-sep6.5.opb1800UNKNOWN
normalized-sep5.5.opb1800UNKNOWN
normalized-oct6.5.opb1800UNKNOWN
normalized-jun5.5.opb1800UNKNOWN
normalized-may4.5.opb1800UNKNOWN
normalized-jun6.5.opb1800UNKNOWN
normalized-oct5.5.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-A2C1S1.opb1798.516UNKNOWN
normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb1798.718UNKNOWN
normalized-reduced-mps-v2-20-10-NSR8K.opb215.313UNSATISFIABLE
normalized-reduced-mps-v2-20-10-sp97ic.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-UMTS.opb1798.639UNKNOWN
normalized-reduced-mps-v2-20-10-B2C1S1.opb121.069UNSATISFIABLE
normalized-reduced-mps-v2-20-10-trento1.opb1798.074UNKNOWN
normalized-reduced-mps-v2-20-10-roll3000.opb1798.438UNKNOWN
normalized-reduced-mps-v2-20-10-sp98ar.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-van.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-bg512142.opb1798.686UNKNOWN
normalized-reduced-mps-v2-20-10-sp98ic.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-A1C1S1.opb1798.469UNKNOWN
normalized-reduced-mps-v2-20-10-blp-ar98.opb1798.248UNKNOWN
normalized-reduced-mps-v2-20-10-nsrand_ipx.opb1798.418UNKNOWN
normalized-reduced-mps-v2-20-10-dg012142.opb1798.643UNKNOWN
normalized-reduced-mps-v2-20-10-core4284-1064.opb1798.625UNKNOWN
normalized-reduced-mps-v2-20-10-tr12-30.opb1798.726UNKNOWN
normalized-reduced-mps-v2-20-10-glass4.opb1798.514UNKNOWN
normalized-reduced-mps-v2-20-10-CMS750_4.opb1798.708UNKNOWN
normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb1798.712UNKNOWN
normalized-reduced-mps-v2-20-10-biella1.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-blp-ir98.opb1798.266UNKNOWN
normalized-reduced-mps-v2-20-10-dolom1.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-railway_8_1_0.opb1798.688UNKNOWN
normalized-reduced-mps-v2-20-10-B1C1S1.opb164.193UNSATISFIABLE
normalized-reduced-mps-v2-20-10-core2536-691.opb1798.659UNKNOWN
normalized-reduced-mps-v2-20-10-blp-ic98.opb1798.267UNKNOWN
normalized-reduced-mps-v2-20-10-core4872-1529.opb1798.600UNKNOWN
normalized-reduced-mps-v2-20-10-siena1.opb250.781UNSATISFIABLE
normalized-reduced-mps-v2-20-10-blp-ic97.opb1798.230UNKNOWN
normalized-reduced-mps-v2-20-10-rail507.opb1798.361UNKNOWN
normalized-reduced-mps-v2-20-10-dc1c.opb1798.110UNKNOWN
normalized-reduced-mps-v2-20-10-dc1l.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-sp97ar.opb1798.296UNKNOWN
normalized-reduced-mps-v2-20-10-core2586-950.opb1800.448UNKNOWN
normalized-reduced-mps-v2-20-10-n370c.opb1798.727UNKNOWN
normalized-reduced-mps-v2-20-10-ran10x10c.opb1798.783UNKNOWN
normalized-reduced-mps-v2-20-10-ran16x16.opb1798.702UNKNOWN
normalized-reduced-mps-v2-20-10-ran14x18.opb1798.735UNKNOWN
normalized-reduced-mps-v2-20-10-n3707.opb1798.706UNKNOWN
normalized-reduced-mps-v2-20-10-ran6x43.opb1798.696UNKNOWN
normalized-reduced-mps-v2-20-10-ran10x10a.opb1798.737UNKNOWN
normalized-reduced-mps-v2-20-10-n3704.opb1798.735UNKNOWN
normalized-reduced-mps-v2-20-10-n370b.opb1798.775UNKNOWN
normalized-reduced-mps-v2-20-10-n3705.opb1798.764UNKNOWN
normalized-reduced-mps-v2-20-10-ran13x13.opb1798.724UNKNOWN
normalized-reduced-mps-v2-20-10-n3706.opb1798.725UNKNOWN
normalized-reduced-mps-v2-20-10-n3700.opb1800.460UNKNOWN
normalized-reduced-mps-v2-20-10-ran10x12.opb1798.748UNKNOWN
normalized-reduced-mps-v2-20-10-ran4x64.opb55.1002UNSATISFIABLE
normalized-reduced-mps-v2-20-10-ran12x21.opb1798.691UNKNOWN
normalized-reduced-mps-v2-20-10-n3703.opb1798.792UNKNOWN
normalized-reduced-mps-v2-20-10-ran10x26.opb1800.454UNKNOWN
normalized-reduced-mps-v2-20-10-n370a.opb1798.771UNKNOWN
normalized-reduced-mps-v2-20-10-n3709.opb1798.728UNKNOWN
normalized-reduced-mps-v2-20-10-gr4x6.opb1798.795UNKNOWN
normalized-reduced-mps-v2-20-10-bk4x3.opb1798.771UNKNOWN
normalized-reduced-mps-v2-20-10-bal8x12.opb1798.751UNKNOWN
normalized-reduced-mps-v2-20-10-ran12x12.opb1798.722UNKNOWN
normalized-reduced-mps-v2-20-10-ran10x10b.opb1798.731UNKNOWN
normalized-reduced-mps-v2-20-10-n3702.opb1798.724UNKNOWN
normalized-reduced-mps-v2-20-10-ran17x17.opb1798.720UNKNOWN
normalized-reduced-mps-v2-20-10-n370e.opb1798.785UNKNOWN
normalized-reduced-mps-v2-20-10-n3708.opb1798.724UNKNOWN
normalized-reduced-mps-v2-20-10-ran8x32.opb1674.2UNSATISFIABLE
normalized-reduced-mps-v2-20-10-n3701.opb1798.738UNKNOWN
normalized-reduced-mps-v2-20-10-neos3.opb1798.565UNKNOWN
normalized-reduced-mps-v2-20-10-markshare2_1.opb1798.618UNKNOWN
normalized-reduced-mps-v2-20-10-neos9.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-mkc1.opb1798.391UNKNOWN
normalized-reduced-mps-v2-20-10-seymour1.opb1798.348UNKNOWN
normalized-reduced-mps-v2-20-10-neos20.opb1798.666UNKNOWN
normalized-reduced-mps-v2-20-10-markshare1_1.opb1798.660UNKNOWN
normalized-reduced-mps-v2-20-10-qap10.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-neos12.opb3.88714UNSATISFIABLE
normalized-reduced-mps-v2-20-10-neos7.opb1798.600UNKNOWN
normalized-reduced-mps-v2-20-10-dano3_4.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-neos13.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-bc1.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-neos11.opb1.12948UNSATISFIABLE
normalized-reduced-mps-v2-20-10-bienst1.opb1798.508UNKNOWN
normalized-reduced-mps-v2-20-10-neos15.opb1800.458UNKNOWN
normalized-reduced-mps-v2-20-10-swath2.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-neos2.opb1798.535UNKNOWN
normalized-reduced-mps-v2-20-10-dano3_3.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-neos14.opb1798.705UNKNOWN
normalized-reduced-mps-v2-20-10-nug08.opb1798.332UNKNOWN
normalized-reduced-mps-v2-20-10-neos17.opb28.8975UNSATISFIABLE
normalized-reduced-mps-v2-20-10-swath1.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-bienst2.opb1798.477UNKNOWN
normalized-reduced-mps-v2-20-10-neos6.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-swath3.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-dano3_5.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-fome11.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-gt2.opb1798.693UNKNOWN
normalized-reduced-mps-v2-20-10-qnet1_o.opb1798.514UNKNOWN
normalized-reduced-mps-v2-20-10-gesa3_o.opb1798.681UNKNOWN
normalized-reduced-mps-v2-20-10-blend2.opb1798.533UNKNOWN
normalized-reduced-mps-v2-20-10-qnet1.opb1798.518UNKNOWN
normalized-reduced-mps-v2-20-10-gesa3.opb1798.488UNKNOWN
normalized-reduced-mps-v2-20-10-bell5.opb1798.456UNKNOWN
normalized-reduced-mps-v2-20-10-set1cl.opb1798.624UNKNOWN
normalized-reduced-mps-v2-20-10-pipex.opb1344.88OPTIMUM
normalized-reduced-mps-v2-20-10-dcmulti.opb1798.653UNKNOWN
normalized-reduced-mps-v2-20-10-enigma.opb65.6755OPTIMUM
normalized-reduced-mps-v2-20-10-fixnet3.opb1798.597UNKNOWN
normalized-reduced-mps-v2-20-10-misc06.opb1798.354UNKNOWN
normalized-reduced-mps-v2-20-10-mod013.opb1798.702UNKNOWN
normalized-reduced-mps-v2-20-10-misc02.opb3.86537OPTIMUM
normalized-reduced-mps-v2-20-10-p0291.opb28.4712OPTIMUM
normalized-reduced-mps-v2-20-10-set1al.opb1798.624UNKNOWN
normalized-reduced-mps-v2-20-10-gen.opb1798.573UNKNOWN
normalized-reduced-mps-v2-20-10-air02.opb1798.507UNKNOWN
normalized-reduced-mps-v2-20-10-vpm1.opb1798.536UNKNOWN
normalized-reduced-mps-v2-20-10-bell3b.opb1798.501UNKNOWN
normalized-reduced-mps-v2-20-10-p6000.opb1798.340UNKNOWN
normalized-reduced-mps-v2-20-10-khb05250.opb1798.479UNKNOWN
normalized-reduced-mps-v2-20-10-rgn.opb1798.667UNKNOWN
normalized-reduced-mps-v2-20-10-misc01.opb3.36206OPTIMUM
normalized-reduced-mps-v2-20-10-misc04.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-misc03.opb1798.703UNKNOWN
normalized-reduced-mps-v2-20-10-flugpl.opb9.07234OPTIMUM
normalized-reduced-mps-v2-20-10-misc05.opb43.608UNSATISFIABLE
normalized-reduced-mps-v2-20-10-fixnet4.opb1798.604UNKNOWN
normalized-reduced-mps-v2-20-10-air06.opb1798.424UNKNOWN
normalized-reduced-mps-v2-20-10-egout.opb1800.429UNKNOWN
normalized-reduced-mps-v2-20-10-air03.opb1798.320UNKNOWN
normalized-reduced-mps-v2-20-10-bell4.opb1798.513UNKNOWN
normalized-reduced-mps-v2-20-10-p0282.opb1798.640UNKNOWN
normalized-reduced-mps-v2-20-10-air01.opb636.084OPTIMUM
normalized-reduced-mps-v2-20-10-sample2.opb179.255OPTIMUM
normalized-reduced-mps-v2-20-10-bell3a.opb1798.426UNKNOWN
normalized-reduced-mps-v2-20-10-mas76.opb0.262723OPTIMUM
normalized-reduced-mps-v2-20-10-pp08a.opb1798.711UNKNOWN
normalized-reduced-mps-v2-20-10-nw04.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-arki001.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-fixnet6.opb1798.589UNKNOWN
normalized-reduced-mps-v2-20-10-nsrand-ipx.opb1798.396UNKNOWN
normalized-reduced-mps-v2-20-10-msc98-ip.opb1798.448UNKNOWN
normalized-reduced-mps-v2-20-10-momentum1.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-noswot.opb1798.622UNKNOWN
normalized-reduced-mps-v2-20-10-harp2.opb1798.374UNKNOWN
normalized-reduced-mps-v2-20-10-momentum3.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-markshare1.opb1798.680UNKNOWN
normalized-reduced-mps-v2-20-10-markshare2.opb1798.631UNKNOWN
normalized-reduced-mps-v2-20-10-set1ch.opb1798.638UNKNOWN
normalized-reduced-mps-v2-20-10-roll3000.opb1798.473UNKNOWN
normalized-reduced-mps-v2-20-10-t1717.opb1797.833UNKNOWN
normalized-reduced-mps-v2-20-10-stp3d.opb1798.606UNKNOWN
normalized-reduced-mps-v2-20-10-a1c1s1.opb53.7042UNSATISFIABLE
normalized-reduced-mps-v2-20-10-swath.opb1798.518UNKNOWN
normalized-reduced-mps-v2-20-10-rout.opb1798.600UNKNOWN
normalized-reduced-mps-v2-20-10-dano3mip.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-pp08aCUTS.opb1798.691UNKNOWN
normalized-reduced-mps-v2-20-10-van.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-fiber.opb1798.474UNKNOWN
normalized-reduced-mps-v2-20-10-momentum2.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-modglob.opb1798.424UNKNOWN
normalized-reduced-mps-v2-20-10-danoint.opb1798.403UNKNOWN
normalized-reduced-mps-v2-20-10-tr12-30.opb1798.635UNKNOWN
normalized-reduced-mps-v2-20-10-timtab2.opb1800.430UNKNOWN
normalized-reduced-mps-v2-20-10-aflow30a.opb1798.265UNKNOWN
normalized-reduced-mps-v2-20-10-glass4.opb1798.456UNKNOWN
normalized-reduced-mps-v2-20-10-gesa2-o.opb1798.679UNKNOWN
normalized-reduced-mps-v2-20-10-mas74.opb0.271632OPTIMUM
normalized-reduced-mps-v2-20-10-mkc.opb1798.564UNKNOWN
normalized-reduced-mps-v2-20-10-misc07.opb1800.449UNKNOWN
normalized-reduced-mps-v2-20-10-gesa2.opb1798.511UNKNOWN
normalized-reduced-mps-v2-20-10-qiu.opb1798.428UNKNOWN
normalized-reduced-mps-v2-20-10-air04.opb1798.682UNKNOWN
normalized-reduced-mps-v2-20-10-mod011.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-air05.opb1798.356UNKNOWN
normalized-reduced-mps-v2-20-10-timtab1.opb1798.571UNKNOWN
normalized-reduced-mps-v2-20-10-vpm2.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-atlanta-ip.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-liu.opb1798.471UNKNOWN
normalized-reduced-mps-v2-20-10-pk1.opb1798.586UNKNOWN
normalized-reduced-mps-v2-20-10-aflow40b.opb1798.202UNKNOWN
normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-sp97ar.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-nazareth.opb0.198067OPTIMUM
normalized-reduced-mps-v2-20-10-testprob.opb0.169827OPTIMUM
normalized-reduced-mps-v2-20-10-maros.opb1798.743UNKNOWN
normalized-reduced-mps-v2-20-10-ship12l.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-grow7.opb1798.320UNKNOWN
normalized-reduced-mps-v2-20-10-sc105.opb1798.706UNKNOWN
normalized-reduced-mps-v2-20-10-sierra.opb1798.600UNKNOWN
normalized-reduced-mps-v2-20-10-brandy.opb1798.349UNKNOWN
normalized-reduced-mps-v2-20-10-scfxm1.opb1798.466UNKNOWN
normalized-reduced-mps-v2-20-10-share2b.opb1798.525UNKNOWN
normalized-reduced-mps-v2-20-10-grow22.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-fit1d.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-degen3.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-beaconfd.opb1798.389UNKNOWN
normalized-reduced-mps-v2-20-10-degen2.opb1798.432UNKNOWN
normalized-reduced-mps-v2-20-10-lotfi.opb1798.583UNKNOWN
normalized-reduced-mps-v2-20-10-gfrd-pnc.opb1800.455UNKNOWN
normalized-reduced-mps-v2-20-10-woodw.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-perold.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-adlittle.opb1798.637UNKNOWN
normalized-reduced-mps-v2-20-10-scsd6.opb1798.419UNKNOWN
normalized-reduced-mps-v2-20-10-scfxm3.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-bnl2.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-agg.opb1798.504UNKNOWN
normalized-reduced-mps-v2-20-10-scagr7.opb1798.532UNKNOWN
normalized-reduced-mps-v2-20-10-seba.opb143.932UNSATISFIABLE
normalized-reduced-mps-v2-20-10-agg3.opb1800.448UNKNOWN
normalized-reduced-mps-v2-20-10-modszk1.opb1798.458UNKNOWN
normalized-reduced-mps-v2-20-10-pilot4.opb1798.254UNKNOWN
normalized-reduced-mps-v2-20-10-bandm.opb144.67UNSATISFIABLE
normalized-reduced-mps-v2-20-10-israel.opb1798.271UNKNOWN
normalized-reduced-mps-v2-20-10-standata.opb1798.417UNKNOWN
normalized-reduced-mps-v2-20-10-boeing1.opb1798.376UNKNOWN
normalized-reduced-mps-v2-20-10-scsd1.opb1798.442UNKNOWN
normalized-reduced-mps-v2-20-10-pilot.we.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-fit2p.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-stocfor1.opb1798.673UNKNOWN
normalized-reduced-mps-v2-20-10-wood1p.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-sc205.opb1798.687UNKNOWN
normalized-reduced-mps-v2-20-10-ship08l.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-nesm.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-standgub.opb1798.393UNKNOWN
normalized-reduced-mps-v2-20-10-sc50a.opb1798.722UNKNOWN
normalized-reduced-mps-v2-20-10-vtp.base.opb1215.26UNSATISFIABLE
normalized-reduced-mps-v2-20-10-kb2.opb700.42OPTIMUM
normalized-reduced-mps-v2-20-10-recipe.opb1798.485UNKNOWN
normalized-reduced-mps-v2-20-10-czprob.opb132.757UNSATISFIABLE
normalized-reduced-mps-v2-20-10-sctap3.opb1798.509UNKNOWN
normalized-reduced-mps-v2-20-10-grow15.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-pilot.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-boeing2.opb1798.539UNKNOWN
normalized-reduced-mps-v2-20-10-stocfor2.opb1800.452UNKNOWN
normalized-reduced-mps-v2-20-10-afiro.opb1798.599UNKNOWN
normalized-reduced-mps-v2-20-10-scagr25.opb1798.398UNKNOWN
normalized-reduced-mps-v2-20-10-ganges.opb1798.336UNKNOWN
normalized-reduced-mps-v2-20-10-fffff800.opb1798.437UNKNOWN
normalized-reduced-mps-v2-20-10-scrs8.opb1798.528UNKNOWN
normalized-reduced-mps-v2-20-10-ship04l.opb1798.480UNKNOWN
normalized-reduced-mps-v2-20-10-agg2.opb1798.451UNKNOWN
normalized-reduced-mps-v2-20-10-fit1p.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-sctap2.opb1798.505UNKNOWN
normalized-reduced-mps-v2-20-10-d2q06c.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-80bau3b.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-dfl001.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-scorpion.opb1800.441UNKNOWN
normalized-reduced-mps-v2-20-10-ship08s.opb1798.536UNKNOWN
normalized-reduced-mps-v2-20-10-capri.opb1798.563UNKNOWN
normalized-reduced-mps-v2-20-10-pilot87.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-tuff.opb1798.327UNKNOWN
normalized-reduced-mps-v2-20-10-e226.opb1798.424UNKNOWN
normalized-reduced-mps-v2-20-10-greenbeb.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-bnl1.opb1798.474UNKNOWN
normalized-reduced-mps-v2-20-10-fit2d.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-etamacro.opb1798.476UNKNOWN
normalized-reduced-mps-v2-20-10-d6cube.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-greenbea.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-sc50b.opb1798.702UNKNOWN
normalized-reduced-mps-v2-20-10-25fv47.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-maros-r7.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-scsd8.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-ship04s.opb1798.506UNKNOWN
normalized-reduced-mps-v2-20-10-bore3d.opb57.909UNSATISFIABLE
normalized-reduced-mps-v2-20-10-ship12s.opb1798.509UNKNOWN
normalized-reduced-mps-v2-20-10-scfxm2.opb1798.557UNKNOWN
normalized-reduced-mps-v2-20-10-forplan.opb1798.282UNKNOWN
normalized-reduced-mps-v2-20-10-blend.opb1798.641UNKNOWN
normalized-reduced-mps-v2-20-10-sctap1.opb1798.372UNKNOWN
normalized-reduced-mps-v2-20-10-maros.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-stair.opb335.017UNSATISFIABLE
normalized-reduced-mps-v2-20-10-shell.opb1798.596UNKNOWN
normalized-reduced-mps-v2-20-10-cycle.opb1800UNKNOWN
normalized-reduced-mps-v2-20-10-share1b.opb1798.412UNKNOWN
normalized-reduced-ws97-3.opb1798.573UNKNOWN
normalized-mps-v2-20-10-neos10.opb244.69OPTIMUM
normalized-mps-v2-20-10-neos1.opb808.197OPTIMUM
normalized-mps-v2-20-10-neos19.opb1800UNKNOWN
normalized-mps-v2-20-10-neos18.opb1.03182OPTIMUM
normalized-mps-v2-20-10-neos8.opb196.426OPTIMUM
normalized-mps-v2-20-10-neos5.opb1798.773UNKNOWN
normalized-mps-v2-20-10-neos16.opb1798.769UNKNOWN
normalized-mps-v2-20-10-mitre.opb1800UNKNOWN
normalized-mps-v2-20-10-stein9.opb0.003083OPTIMUM
normalized-mps-v2-20-10-l152lav.opb1798.564UNKNOWN
normalized-mps-v2-20-10-cracpb1.opb1800UNKNOWN
normalized-mps-v2-20-10-lseu.opb555.547OPTIMUM
normalized-mps-v2-20-10-stein45.opb104.333OPTIMUM
normalized-mps-v2-20-10-p0201.opb1798.725UNKNOWN
normalized-mps-v2-20-10-p0040.opb786.925OPTIMUM
normalized-mps-v2-20-10-stein15.opb0.017091OPTIMUM
normalized-mps-v2-20-10-sentoy.opb396.373OPTIMUM
normalized-mps-v2-20-10-mod010.opb1798.653UNKNOWN
normalized-mps-v2-20-10-p0548.opb1798.628UNKNOWN
normalized-mps-v2-20-10-bm23.opb2.71167OPTIMUM
normalized-mps-v2-20-10-diamond.opb0.000995UNSATISFIABLE
normalized-mps-v2-20-10-mod008.opb1800UNKNOWN
normalized-mps-v2-20-10-p0033.opb7.9054OPTIMUM
normalized-mps-v2-20-10-stein27.opb0.976924OPTIMUM
normalized-mps-v2-20-10-lp4l.opb1798.609UNKNOWN
normalized-mps-v2-20-10-mzzv42z.opb1798.638UNKNOWN
normalized-mps-v2-20-10-10teams.opb1798.570UNKNOWN
normalized-mps-v2-20-10-seymour.opb1798.729UNKNOWN
normalized-mps-v2-20-10-fast0507.opb1798.281UNKNOWN
normalized-mps-v2-20-10-mzzv11.opb1798.620UNKNOWN
normalized-mps-v2-20-10-manna81.opb1798.499UNKNOWN
normalized-mps-v2-20-10-protfold.opb1798.708UNKNOWN
normalized-mps-v2-20-10-p2756.opb1798.440UNKNOWN
normalized-mps-v2-20-10-opt1217.opb1798.785UNKNOWN
normalized-mps-v2-20-10-net12.opb151.54OPTIMUM
normalized-vtxcov_v2000_e4000_34.opb.PB06.opb1798.715UNKNOWN
normalized-vtxcov_v2000_e4000_18.opb.PB06.opb1798.662UNKNOWN
normalized-vtxcov_v2000_e4000_12.opb.PB06.opb1798.681UNKNOWN
normalized-vtxcov_v2000_e4000_43.opb.PB06.opb1798.687UNKNOWN
normalized-vtxcov_v2000_e4000_5.opb.PB06.opb1798.693UNKNOWN
normalized-vtxcov_v2000_e4000_8.opb.PB06.opb1798.705UNKNOWN
normalized-vtxcov_v2000_e4000_0.opb.PB06.opb1798.715UNKNOWN
normalized-vtxcov_v2000_e4000_2.opb.PB06.opb1798.670UNKNOWN
normalized-vtxcov_v2000_e4000_36.opb.PB06.opb1798.685UNKNOWN
normalized-vtxcov_v2000_e4000_6.opb.PB06.opb1798.656UNKNOWN
normalized-vtxcov_v2000_e4000_33.opb.PB06.opb1798.666UNKNOWN
normalized-vtxcov_v2000_e4000_1.opb.PB06.opb1798.689UNKNOWN
normalized-vtxcov_v2000_e4000_21.opb.PB06.opb1798.631UNKNOWN
normalized-vtxcov_v2000_e4000_11.opb.PB06.opb1800.426UNKNOWN
normalized-vtxcov_v2000_e4000_7.opb.PB06.opb1798.676UNKNOWN
normalized-wnq_n100_mw99_0.opb.PB06.opb1798.417UNKNOWN
normalized-wnq_n100_mw99_7.opb.PB06.opb1798.374UNKNOWN
normalized-wnq_n100_mw99_13.opb.PB06.opb1800.459UNKNOWN
normalized-wnq_n100_mw99_12.opb.PB06.opb1798.451UNKNOWN
normalized-wnq_n100_mw99_9.opb.PB06.opb1798.371UNKNOWN
normalized-wnq_n100_mw99_11.opb.PB06.opb1798.360UNKNOWN
normalized-wnq_n100_mw99_3.opb.PB06.opb1798.369UNKNOWN
normalized-wnq_n100_mw99_1.opb.PB06.opb1798.341UNKNOWN
normalized-wnq_n100_mw99_8.opb.PB06.opb1798.350UNKNOWN
normalized-wnq_n100_mw99_5.opb.PB06.opb1798.383UNKNOWN
normalized-wnq_n100_mw99_4.opb.PB06.opb1798.365UNKNOWN
normalized-wnq_n100_mw99_6.opb.PB06.opb1798.402UNKNOWN
normalized-wnq_n100_mw99_2.opb.PB06.opb1798.337UNKNOWN
normalized-wnq_n100_mw99_14.opb.PB06.opb1798.333UNKNOWN
normalized-wnq_n100_mw99_10.opb.PB06.opb1798.398UNKNOWN
normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb1798.738UNKNOWN
normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb1798.716UNKNOWN
normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb1798.721UNKNOWN
normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb1798.711UNKNOWN
normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb1798.694UNKNOWN
normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb1798.708UNKNOWN
normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb1798.692UNKNOWN
normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb1798.719UNKNOWN
normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb1798.647UNKNOWN
normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb1798.722UNKNOWN
normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb1798.731UNKNOWN
normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb1798.746UNKNOWN
normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb1798.718UNKNOWN
normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb1798.690UNKNOWN
normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb1798.713UNKNOWN
normalized-factor-size=9-P=157-Q=181.opb0.130456OPTIMUM
normalized-factor-size=9-P=307-Q=431.opb0.034213OPTIMUM
normalized-factor-size=9-P=131-Q=277.opb0.028634OPTIMUM
normalized-factor-size=9-P=53-Q=151.opb0.040253OPTIMUM
normalized-factor-size=9-P=17-Q=457.opb0.015831OPTIMUM
normalized-factor-size=9-P=331-Q=379.opb0.113337OPTIMUM
normalized-factor-size=9-P=47-Q=487.opb0.122643OPTIMUM
normalized-factor-size=9-P=83-Q=367.opb0.030074OPTIMUM
normalized-factor-size=9-P=167-Q=179.opb0.13647OPTIMUM
normalized-factor-size=9-P=11-Q=53.opb0.020643OPTIMUM
normalized-factor-size=9-P=53-Q=127.opb0.065614OPTIMUM
normalized-factor-size=9-P=379-Q=521.opb0.040454UNSATISFIABLE
normalized-factor-size=9-P=83-Q=197.opb0.080744OPTIMUM
normalized-factor-size=9-P=71-Q=461.opb0.034225OPTIMUM
normalized-factor-size=9-P=157-Q=163.opb0.086554OPTIMUM
normalized-factor-size=9-P=149-Q=487.opb0.07562OPTIMUM
normalized-factor-size=9-P=7-Q=179.opb0.031956OPTIMUM
normalized-factor-size=9-P=229-Q=307.opb0.075441OPTIMUM
normalized-factor-size=9-P=251-Q=307.opb0.08269OPTIMUM
normalized-factor-size=9-P=269-Q=431.opb0.059645OPTIMUM
normalized-factor-size=9-P=37-Q=107.opb0.029186OPTIMUM
normalized-factor-size=9-P=109-Q=373.opb0.107178OPTIMUM
normalized-factor-size=9-P=269-Q=359.opb0.087047OPTIMUM
normalized-factor-size=9-P=149-Q=163.opb0.091671OPTIMUM
normalized-factor-size=9-P=307-Q=449.opb0.04807OPTIMUM
normalized-factor-size=9-P=29-Q=163.opb0.072135OPTIMUM
normalized-factor-size=9-P=59-Q=131.opb0.06764OPTIMUM
normalized-factor-size=9-P=127-Q=137.opb0.087296OPTIMUM
normalized-factor-size=9-P=347-Q=431.opb0.045443OPTIMUM
normalized-factor-size=9-P=251-Q=419.opb0.126714OPTIMUM
normalized-factor-size=9-P=7-Q=223.opb0.03405OPTIMUM
normalized-factor-size=9-P=251-Q=379.opb0.095053OPTIMUM
normalized-factor-size=9-P=223-Q=421.opb0.061525OPTIMUM
normalized-factor-size=9-P=347-Q=379.opb0.089318OPTIMUM
normalized-factor-size=9-P=331-Q=389.opb0.090652OPTIMUM
normalized-factor-size=9-P=89-Q=211.opb0.122239OPTIMUM
normalized-factor-size=9-P=239-Q=373.opb0.066919OPTIMUM
normalized-factor-size=9-P=379-Q=431.opb0.065424OPTIMUM
normalized-factor-size=9-P=131-Q=163.opb0.088101OPTIMUM
normalized-factor-size=9-P=191-Q=251.opb0.066909OPTIMUM
normalized-factor-size=9-P=29-Q=521.opb0.062621UNSATISFIABLE
normalized-factor-size=9-P=421-Q=487.opb0.041227OPTIMUM
normalized-factor-size=9-P=347-Q=439.opb0.054788OPTIMUM
normalized-factor-size=9-P=41-Q=347.opb0.082021OPTIMUM
normalized-factor-size=9-P=101-Q=379.opb0.042898OPTIMUM
normalized-factor-size=9-P=331-Q=359.opb0.077578OPTIMUM
normalized-factor-size=9-P=383-Q=509.opb0.066463OPTIMUM
normalized-factor-size=9-P=53-Q=191.opb0.043425OPTIMUM
normalized-factor-size=9-P=149-Q=397.opb0.049364OPTIMUM
normalized-factor-size=9-P=23-Q=521.opb0.06013UNSATISFIABLE
normalized-factor-size=9-P=97-Q=331.opb0.030793OPTIMUM
normalized-factor-size=9-P=61-Q=163.opb0.046981OPTIMUM
normalized-factor-size=9-P=157-Q=373.opb0.062746OPTIMUM
normalized-factor-size=9-P=97-Q=457.opb0.087052OPTIMUM
normalized-factor-size=9-P=37-Q=443.opb0.032436OPTIMUM
normalized-factor-size=9-P=59-Q=431.opb0.133163OPTIMUM
normalized-factor-size=9-P=439-Q=509.opb0.023145OPTIMUM
normalized-factor-size=9-P=89-Q=487.opb0.090123OPTIMUM
normalized-factor-size=9-P=113-Q=233.opb0.066351OPTIMUM
normalized-factor-size=9-P=263-Q=367.opb0.049148OPTIMUM
normalized-factor-size=9-P=17-Q=487.opb0.043556OPTIMUM
normalized-factor-size=9-P=29-Q=479.opb0.057493OPTIMUM
normalized-factor-size=9-P=89-Q=293.opb0.03311OPTIMUM
normalized-factor-size=9-P=257-Q=331.opb0.067711OPTIMUM
normalized-factor-size=9-P=223-Q=347.opb0.121864OPTIMUM
normalized-factor-size=9-P=251-Q=277.opb0.131388OPTIMUM
normalized-factor-size=9-P=83-Q=271.opb0.036109OPTIMUM
normalized-factor-size=9-P=83-Q=449.opb0.060196OPTIMUM
normalized-factor-size=9-P=353-Q=479.opb0.075759OPTIMUM
normalized-factor-size=9-P=227-Q=383.opb0.080624OPTIMUM
normalized-factor-size=9-P=431-Q=503.opb0.026023OPTIMUM
normalized-factor-size=9-P=397-Q=521.opb0.033104UNSATISFIABLE
normalized-factor-size=9-P=149-Q=509.opb0.048735OPTIMUM
normalized-factor-size=9-P=89-Q=263.opb0.032579OPTIMUM
normalized-factor-size=9-P=179-Q=509.opb0.064027OPTIMUM
normalized-factor-size=9-P=17-Q=347.opb0.011596OPTIMUM
normalized-factor-size=9-P=23-Q=379.opb0.0625OPTIMUM
normalized-factor-size=9-P=379-Q=397.opb0.059999OPTIMUM
normalized-factor-size=9-P=211-Q=347.opb0.045294OPTIMUM
normalized-factor-size=9-P=97-Q=479.opb0.069553OPTIMUM
normalized-factor-size=9-P=487-Q=503.opb0.019671OPTIMUM
normalized-factor-size=9-P=211-Q=479.opb0.073677OPTIMUM
normalized-factor-size=9-P=31-Q=439.opb0.098729OPTIMUM
normalized-factor-size=9-P=233-Q=347.opb0.099826OPTIMUM
normalized-factor-size=9-P=257-Q=503.opb0.100504OPTIMUM
normalized-factor-size=9-P=389-Q=433.opb0.03306OPTIMUM
normalized-factor-size=9-P=89-Q=431.opb0.028209OPTIMUM
normalized-factor-size=9-P=173-Q=191.opb0.091256OPTIMUM
normalized-factor-size=9-P=47-Q=421.opb0.060692OPTIMUM
normalized-factor-size=9-P=167-Q=347.opb0.049299OPTIMUM
normalized-factor-size=9-P=13-Q=179.opb0.030781OPTIMUM
normalized-factor-size=9-P=367-Q=389.opb0.071679OPTIMUM
normalized-factor-size=9-P=23-Q=293.opb0.017478OPTIMUM
normalized-factor-size=9-P=71-Q=491.opb0.09735OPTIMUM
normalized-factor-size=9-P=89-Q=347.opb0.037883OPTIMUM
normalized-factor-size=9-P=101-Q=223.opb0.118685OPTIMUM
normalized-factor-size=9-P=61-Q=307.opb0.025301OPTIMUM
normalized-factor-size=9-P=347-Q=487.opb0.041087OPTIMUM
normalized-factor-size=9-P=47-Q=197.opb0.044331OPTIMUM
normalized-factor-size=9-P=79-Q=137.opb0.058675OPTIMUM
normalized-factor-size=9-P=127-Q=359.opb0.077182OPTIMUM
normalized-factor-size=9-P=331-Q=331.opb0.100459OPTIMUM
normalized-factor-size=9-P=53-Q=97.opb0.074969OPTIMUM
normalized-factor-size=9-P=149-Q=409.opb0.042324OPTIMUM
normalized-factor-size=9-P=191-Q=449.opb0.088331OPTIMUM
normalized-factor-size=9-P=307-Q=347.opb0.044789OPTIMUM
normalized-factor-size=9-P=487-Q=499.opb0.03888OPTIMUM
normalized-factor-size=9-P=97-Q=509.opb0.079244OPTIMUM
normalized-factor-size=9-P=109-Q=419.opb0.092202OPTIMUM
normalized-factor-size=9-P=127-Q=487.opb0.056319OPTIMUM
normalized-factor-size=9-P=29-Q=71.opb0.025357OPTIMUM
normalized-factor-size=9-P=107-Q=373.opb0.081818OPTIMUM
normalized-factor-size=9-P=113-Q=521.opb0.072437UNSATISFIABLE
normalized-factor-size=9-P=397-Q=449.opb0.033997OPTIMUM
normalized-factor-size=9-P=79-Q=331.opb0.032476OPTIMUM
normalized-factor-size=9-P=11-Q=283.opb0.025073OPTIMUM
normalized-factor-size=9-P=409-Q=499.opb0.025339OPTIMUM
normalized-factor-size=9-P=113-Q=331.opb0.042539OPTIMUM
normalized-factor-size=9-P=251-Q=331.opb0.103828OPTIMUM
normalized-factor-size=9-P=257-Q=449.opb0.043571OPTIMUM
normalized-factor-size=9-P=223-Q=263.opb0.099411OPTIMUM
normalized-factor-size=9-P=293-Q=307.opb0.043419OPTIMUM
normalized-factor-size=9-P=281-Q=499.opb0.034681OPTIMUM
normalized-factor-size=9-P=79-Q=173.opb0.040324OPTIMUM
normalized-factor-size=9-P=281-Q=331.opb0.059298OPTIMUM
normalized-factor-size=9-P=173-Q=211.opb0.098546OPTIMUM
normalized-factor-size=9-P=283-Q=293.opb0.05111OPTIMUM
normalized-factor-size=9-P=79-Q=257.opb0.031124OPTIMUM
normalized-factor-size=9-P=239-Q=487.opb0.104825OPTIMUM
normalized-factor-size=9-P=101-Q=457.opb0.081123OPTIMUM
normalized-factor-size=9-P=61-Q=419.opb0.125767OPTIMUM
normalized-factor-size=9-P=71-Q=409.opb0.031928OPTIMUM
normalized-factor-size=9-P=131-Q=137.opb0.051674OPTIMUM
normalized-factor-size=9-P=89-Q=317.opb0.031908OPTIMUM
normalized-factor-size=9-P=313-Q=503.opb0.048792OPTIMUM
normalized-factor-size=9-P=229-Q=239.opb0.104891OPTIMUM
normalized-factor-size=9-P=5-Q=317.opb0.013161OPTIMUM
normalized-factor-size=9-P=223-Q=431.opb0.08187OPTIMUM
normalized-factor-size=9-P=107-Q=503.opb0.159651OPTIMUM
normalized-factor-size=9-P=421-Q=449.opb0.031743OPTIMUM
normalized-factor-size=9-P=127-Q=499.opb0.051781OPTIMUM
normalized-factor-size=9-P=131-Q=157.opb0.096109OPTIMUM
normalized-factor-size=9-P=317-Q=389.opb0.095477OPTIMUM
normalized-factor-size=9-P=59-Q=337.opb0.02525OPTIMUM
normalized-factor-size=9-P=149-Q=167.opb0.072107OPTIMUM
normalized-factor-size=9-P=67-Q=223.opb0.071468OPTIMUM
normalized-factor-size=9-P=223-Q=383.opb0.084513OPTIMUM
normalized-factor-size=9-P=29-Q=331.opb0.107993OPTIMUM
normalized-factor-size=9-P=197-Q=479.opb0.066243OPTIMUM
normalized-factor-size=9-P=83-Q=89.opb0.052437OPTIMUM
normalized-factor-size=9-P=149-Q=271.opb0.036207OPTIMUM
normalized-factor-size=9-P=59-Q=307.opb0.06061OPTIMUM
normalized-factor-size=9-P=47-Q=71.opb0.023094OPTIMUM
normalized-factor-size=9-P=307-Q=367.opb0.045318OPTIMUM
normalized-factor-size=9-P=223-Q=379.opb0.109343OPTIMUM
normalized-factor-size=9-P=67-Q=191.opb0.037345OPTIMUM
normalized-factor-size=9-P=127-Q=389.opb0.100912OPTIMUM
normalized-factor-size=9-P=331-Q=347.opb0.061611OPTIMUM
normalized-factor-size=9-P=167-Q=173.opb0.094234OPTIMUM
normalized-factor-size=9-P=43-Q=227.opb0.028103OPTIMUM
normalized-factor-size=9-P=101-Q=409.opb0.076867OPTIMUM
normalized-factor-size=9-P=113-Q=479.opb0.057249OPTIMUM
normalized-factor-size=9-P=73-Q=449.opb0.019588OPTIMUM
normalized-factor-size=9-P=359-Q=379.opb0.085814OPTIMUM
normalized-factor-size=9-P=191-Q=509.opb0.052015OPTIMUM
normalized-factor-size=9-P=139-Q=191.opb0.084065OPTIMUM
normalized-factor-size=9-P=127-Q=491.opb0.082813OPTIMUM
normalized-factor-size=9-P=307-Q=307.opb0.057221OPTIMUM
normalized-factor-size=9-P=127-Q=149.opb0.106196OPTIMUM
normalized-factor-size=9-P=149-Q=293.opb0.043607OPTIMUM
normalized-factor-size=9-P=191-Q=389.opb0.059622OPTIMUM
normalized-factor-size=9-P=347-Q=421.opb0.050152OPTIMUM
normalized-factor-size=9-P=223-Q=499.opb0.070731OPTIMUM
normalized-factor-size=9-P=59-Q=419.opb0.10676OPTIMUM
normalized-factor-size=9-P=449-Q=479.opb0.044481OPTIMUM
normalized-factor-size=9-P=269-Q=433.opb0.042936OPTIMUM
normalized-factor-size=9-P=347-Q=419.opb0.06856OPTIMUM
normalized-factor-size=9-P=263-Q=307.opb0.04386OPTIMUM
normalized-factor-size=9-P=29-Q=277.opb0.022619OPTIMUM
normalized-factor-size=9-P=331-Q=479.opb0.063151OPTIMUM
normalized-factor-size=9-P=173-Q=173.opb0.112738OPTIMUM
normalized-factor-size=9-P=127-Q=211.opb0.080902OPTIMUM
normalized-factor-size=9-P=443-Q=487.opb0.036318OPTIMUM
normalized-factor-size=9-P=307-Q=331.opb0.05838OPTIMUM
normalized-factor-size=9-P=409-Q=509.opb0.025312OPTIMUM
normalized-factor-size=9-P=383-Q=521.opb0.035472UNSATISFIABLE
normalized-factor-size=9-P=307-Q=317.opb0.079619OPTIMUM
normalized-factor-size=9-P=29-Q=409.opb0.065008OPTIMUM
normalized-factor-size=9-P=151-Q=167.opb0.103577OPTIMUM
normalized-factor-size=9-P=7-Q=31.opb0.020752OPTIMUM
normalized-factor-size=9-P=149-Q=251.opb0.097236OPTIMUM
normalized-factor-size=9-P=223-Q=307.opb0.111052OPTIMUM
normalized-bogr_4.opb0.032388OPTIMUM
normalized-bogr_13.opb1798.372UNKNOWN
normalized-bogr_6.opb0.913021OPTIMUM
normalized-bogr_5.opb0.167097OPTIMUM
normalized-bogr_11.opb1798.417UNKNOWN
normalized-bogr_12.opb1798.447UNKNOWN
normalized-bogr_18.opb1798.112UNKNOWN
normalized-bogr_8.opb54.1103OPTIMUM
normalized-bogr_14.opb1798.352UNKNOWN
normalized-bogr_15.opb1798.259UNKNOWN
normalized-bogr_10.opb1798.503UNKNOWN
normalized-bogr_16.opb1798.370UNKNOWN
normalized-bogr_9.opb959.052OPTIMUM
normalized-bogr_20.opb1798.146UNKNOWN
normalized-bogr_7.opb7.91888OPTIMUM
normalized-bogr_19.opb1798.119UNKNOWN
normalized-bogr_17.opb1800.398UNKNOWN
normalized-opt-market-split_4_30_4.opb1798.691UNKNOWN
normalized-market-split_6_50_4.opb1798.310UNKNOWN
normalized-market-split_5_40_3.opb1800.435UNKNOWN
normalized-market-split_6_50_3.opb1798.489UNKNOWN
normalized-opt-market-split_8_70_4.opb1798.684UNKNOWN
normalized-market-split_8_70_1.opb1798.706UNKNOWN
normalized-opt-market-split_4_30_3.opb1798.700UNKNOWN
normalized-market-split_5_40_4.opb1798.488UNKNOWN
normalized-opt-market-split_6_50_2.opb1798.414UNKNOWN
normalized-opt-market-split_6_50_4.opb1798.476UNKNOWN
normalized-opt-market-split_5_40_4.opb1798.524UNKNOWN
normalized-market-split_4_30_1.opb1798.726UNKNOWN
normalized-market-split_8_70_2.opb1798.651UNKNOWN
normalized-opt-market-split_8_70_2.opb1798.695UNKNOWN
normalized-market-split_6_50_1.opb1798.426UNKNOWN
normalized-market-split_7_60_1.opb1798.377UNKNOWN
normalized-opt-market-split_6_50_3.opb1798.429UNKNOWN
normalized-market-split_7_60_4.opb1798.444UNKNOWN
normalized-market-split_6_50_2.opb1798.286UNKNOWN
normalized-opt-market-split_8_70_3.opb1798.737UNKNOWN
normalized-opt-market-split_5_40_3.opb1798.492UNKNOWN
normalized-opt-market-split_8_70_1.opb1798.678UNKNOWN
normalized-market-split_5_40_1.opb1798.624UNKNOWN
normalized-opt-market-split_5_40_2.opb1798.470UNKNOWN
normalized-market-split_4_30_3.opb1798.752UNKNOWN
normalized-opt-market-split_4_30_2.opb1798.641UNKNOWN
normalized-market-split_4_30_2.opb1419.66UNSATISFIABLE
normalized-opt-market-split_6_50_1.opb1798.449UNKNOWN
normalized-opt-market-split_4_30_1.opb1798.665UNKNOWN
normalized-opt-market-split_7_60_1.opb1798.711UNKNOWN
normalized-opt-market-split_7_60_3.opb1798.721UNKNOWN
normalized-opt-market-split_7_60_4.opb1798.691UNKNOWN
normalized-market-split_5_40_2.opb1798.587UNKNOWN
normalized-opt-market-split_7_60_2.opb1798.737UNKNOWN
normalized-market-split_4_30_4.opb1798.694UNKNOWN
normalized-market-split_8_70_3.opb1798.580UNKNOWN
normalized-market-split_8_70_4.opb1798.628UNKNOWN
normalized-market-split_7_60_3.opb1798.229UNKNOWN
normalized-opt-market-split_5_40_1.opb1800.450UNKNOWN
normalized-market-split_7_60_2.opb1798.576UNKNOWN
normalized-OGR_17.opb1798.190UNKNOWN
normalized-OGR_11.opb1798.415UNKNOWN
normalized-OGR_10.opb1798.530UNKNOWN
normalized-OGR_5.opb0.195163OPTIMUM
normalized-OGR_8.opb88.2578OPTIMUM
normalized-OGR_19.opb1798.133UNKNOWN
normalized-OGR_7.opb8.93607OPTIMUM
normalized-OGR_6.opb1.58445OPTIMUM
normalized-OGR_18.opb1798.195UNKNOWN
normalized-OGR_4.opb0.02872OPTIMUM
normalized-OGR_9.opb1328.84OPTIMUM
normalized-OGR_13.opb1798.276UNKNOWN
normalized-OGR_15.opb1798.254UNKNOWN
normalized-OGR_12.opb1798.417UNKNOWN
normalized-OGR_14.opb1798.321UNKNOWN
normalized-OGR_16.opb1798.308UNKNOWN
normalized-OGR_20.opb1798.114UNKNOWN
normalized-simp-unif-100_100.08.opb93.3504OPTIMUM
normalized-simp-unif-100_100.00.opb75.955OPTIMUM
normalized-simp-nonunif-100_100.10.opb135.945OPTIMUM
normalized-simp-nonunif-100_100.11.opb150.291OPTIMUM
normalized-simp-nonunif-100_100.14.opb134.288OPTIMUM
normalized-simp-nonunif-100_100.07.opb115.181OPTIMUM
normalized-simp-nonunif-100_100.12.opb60.3969OPTIMUM
normalized-simp-nonunif-100_100.02.opb132.481OPTIMUM
normalized-m100_300_10_14.r.opb1800.462UNKNOWN
normalized-m4.r.opb1798.681UNKNOWN
normalized-bw.b.opb1798.717UNKNOWN
normalized-apex6.b.opb1800.437UNKNOWN
normalized-max512.r.opb1798.733UNKNOWN
normalized-m100_50_20_20.r.opb3.34889OPTIMUM
normalized-m50_100_90_90.r.opb0.021613OPTIMUM
normalized-m100_50_10_10.r.opb42.6141OPTIMUM
normalized-test1.r.opb1798.682UNKNOWN
normalized-C499.a.opb1798.708UNKNOWN
normalized-m100_100_10_10.r.opb1798.771UNKNOWN
normalized-max1024.r.opb1798.554UNKNOWN
normalized-m100_300_10_10.r.opb1798.734UNKNOWN
normalized-m100_100_50_50.r.opb14.7443OPTIMUM
normalized-dk512x.r.opb0.152324OPTIMUM
normalized-bench1.r.opb1798.596UNKNOWN
normalized-ricks.r.opb4.65897OPTIMUM
normalized-pdc.r.opb1798.229UNKNOWN
normalized-rd84.b.opb66.1738OPTIMUM
normalized-m50_100_10_15.r.opb72.2759OPTIMUM
normalized-duke2.b.opb1798.553UNKNOWN
normalized-prom2.r.opb1798.679UNKNOWN
normalized-m50_100_30_30.r.opb70.5361OPTIMUM
normalized-m100_100_10_15.r.opb1798.696UNKNOWN
normalized-opus.r.opb0.167615OPTIMUM
normalized-C499.b.opb1798.670UNKNOWN
normalized-fout.r.opb1798.727UNKNOWN
normalized-m50_100_10_10.r.opb93.3291OPTIMUM
normalized-m100_50_30_30.r.opb0.128076OPTIMUM
normalized-ex6inp.r.opb0.729489OPTIMUM
normalized-des.a.opb1798.555UNKNOWN
normalized-ex5inp.r.opb0.033335OPTIMUM
normalized-maincont.r.opb0.486794OPTIMUM
normalized-alu2.b.opb1798.740UNKNOWN
normalized-ex1010.pi.opb1798.690UNKNOWN
normalized-C880.b.opb1798.719UNKNOWN
normalized-m100_100_90_90.r.opb0.026015OPTIMUM
normalized-ex5.r.opb1798.674UNKNOWN
normalized-bbara.r.opb0.012902OPTIMUM
normalized-m100_100_30_30.r.opb1798.784UNKNOWN
normalized-C880.a.opb188.052OPTIMUM
normalized-m50_100_50_50.r.opb0.971021OPTIMUM
normalized-m100_50_40_40.r.opb0.042544OPTIMUM
normalized-saucier.r.opb1798.732UNKNOWN
normalized-m100_300_10_15.r.opb1798.743UNKNOWN
normalized-mlp4.r.opb1798.682UNKNOWN
normalized-m100_100_10_30.r.opb550.41OPTIMUM
normalized-exps.r.opb1798.723UNKNOWN
normalized-addm4.r.opb1798.565UNKNOWN
normalized-ex4inp.r.opb8.66337OPTIMUM
normalized-m100_300_10_20.r.opb1798.725UNKNOWN
normalized-rd73.b.opb0.283373OPTIMUM
normalized-m100_100_70_70.r.opb1.27438OPTIMUM
normalized-m200_500_10_10.r.opb1798.741UNKNOWN
normalized-m50_100_70_70.r.opb0.659131OPTIMUM
normalized-apex7.b.opb1798.730UNKNOWN
normalized-lin.rom.r.opb1798.730UNKNOWN
normalized-frb45-21-1.opb1798.644UNKNOWN
normalized-frb45-21-5.opb1798.654UNKNOWN
normalized-frb45-21-2.opb1798.612UNKNOWN
normalized-frb45-21-4.opb1798.596UNKNOWN
normalized-frb45-21-3.opb1798.625UNKNOWN
normalized-frb50-23-5.opb1798.704UNKNOWN
normalized-frb50-23-2.opb1798.637UNKNOWN
normalized-frb50-23-4.opb1798.640UNKNOWN
normalized-frb50-23-1.opb1798.616UNKNOWN
normalized-frb50-23-3.opb1798.666UNKNOWN
normalized-frb35-17-3.opb1798.725UNKNOWN
normalized-frb35-17-2.opb1798.611UNKNOWN
normalized-frb35-17-5.opb1798.650UNKNOWN
normalized-frb35-17-1.opb1798.701UNKNOWN
normalized-frb35-17-4.opb1800.362UNKNOWN
normalized-frb59-26-3.opb1798.612UNKNOWN
normalized-frb59-26-1.opb1798.645UNKNOWN
normalized-frb59-26-4.opb1798.671UNKNOWN
normalized-frb59-26-2.opb1798.674UNKNOWN
normalized-frb59-26-5.opb1798.662UNKNOWN
normalized-frb40-19-3.opb1798.676UNKNOWN
normalized-frb40-19-4.opb1798.694UNKNOWN
normalized-frb40-19-5.opb1798.715UNKNOWN
normalized-frb40-19-2.opb1798.723UNKNOWN
normalized-frb40-19-1.opb1798.618UNKNOWN
normalized-frb56-25-1.opb1798.669UNKNOWN
normalized-frb56-25-4.opb1798.616UNKNOWN
normalized-frb56-25-2.opb1798.702UNKNOWN
normalized-frb56-25-5.opb1798.622UNKNOWN
normalized-frb56-25-3.opb1798.666UNKNOWN
normalized-frb53-24-3.opb1798.653UNKNOWN
normalized-frb53-24-1.opb1800.383UNKNOWN
normalized-frb53-24-5.opb1798.642UNKNOWN
normalized-frb53-24-4.opb1798.711UNKNOWN
normalized-frb53-24-2.opb1798.660UNKNOWN
normalized-frb30-15-2.opb511.73OPTIMUM
normalized-frb30-15-3.opb576.672OPTIMUM
normalized-frb30-15-4.opb758.381OPTIMUM
normalized-frb30-15-5.opb543.069OPTIMUM
normalized-frb30-15-1.opb1780.3OPTIMUM
normalized-ss97-4.opb1798.636UNKNOWN
normalized-ss97-6.opb946.832OPTIMUM
normalized-ss97-2.opb1798.636UNKNOWN
normalized-ws97-5.opb1800.374UNKNOWN
normalized-30:70:4.5:0.95:98.opb1798.356UNKNOWN
normalized-10:10:4.5:0.95:100.opb1798.653UNKNOWN
normalized-30:70:4.5:0.5:100.opb1798.383UNKNOWN
normalized-10:20:4.5:0.95:100.opb1798.643UNKNOWN
normalized-10:10:4.5:0.5:100.opb1798.642UNKNOWN
normalized-30:30:4.5:0.95:100.opb1798.402UNKNOWN
normalized-10:20:4.5:0.5:100.opb1798.647UNKNOWN
normalized-30:30:4.5:0.95:98.opb1798.442UNKNOWN
normalized-10:20:4.5:0.95:98.opb1798.703UNKNOWN
normalized-10:10:4.5:0.95:98.opb1798.704UNKNOWN
normalized-30:70:4.5:0.95:100.opb1798.400UNKNOWN
normalized-30:30:4.5:0.5:100.opb1798.524UNKNOWN
normalized-C432.opb1798.825UNKNOWN
normalized-my_adder.opb1798.798UNKNOWN
normalized-cm42a.opb1798.849UNKNOWN
normalized-cc.opb1798.851UNKNOWN
normalized-9symml.opb1798.800UNKNOWN
normalized-C17.opb0.003628OPTIMUM
normalized-b1.opb0.00202OPTIMUM
normalized-mux.opb1798.862UNKNOWN
normalized-c8.opb1798.811UNKNOWN
normalized-cmb.opb1798.845UNKNOWN
normalized-aim-50-2_0-yes1-2.opb0.502092OPTIMUM
normalized-aim-100-1_6-yes1-2.opb0.51118OPTIMUM
normalized-par8-1-c.opb0.128942OPTIMUM
normalized-ii8a2.opb1798.749UNKNOWN
normalized-jnh301.opb0.864767OPTIMUM
normalized-par8-4-c.opb0.149247OPTIMUM
normalized-aim-50-6_0-yes1-2.opb0.498357OPTIMUM
normalized-aim-50-1_6-yes1-1.opb0.454505OPTIMUM
normalized-ii32d2.opb1798.696UNKNOWN
normalized-g125.18.opb1798.694UNKNOWN
normalized-aim-200-6_0-yes1-1.opb0.609126OPTIMUM
normalized-par8-2-c.opb0.156814OPTIMUM
normalized-g250.15.opb1798.630UNKNOWN
normalized-aim-100-6_0-yes1-1.opb0.564608OPTIMUM
normalized-ii32b4.opb6.06802OPTIMUM
normalized-ii8a4.opb1798.726UNKNOWN
normalized-ii32d1.opb1798.743UNKNOWN
normalized-aim-200-6_0-yes1-3.opb0.635167OPTIMUM
normalized-aim-100-1_6-yes1-3.opb0.518323OPTIMUM
normalized-par16-3-c.opb5.85853OPTIMUM
normalized-aim-100-2_0-yes1-2.opb0.519069OPTIMUM
normalized-ii16b2.opb29.2154OPTIMUM
normalized-aim-100-3_4-yes1-4.opb0.527089OPTIMUM
normalized-jnh205.opb0.980167OPTIMUM
normalized-ii8b1.opb1798.722UNKNOWN
normalized-par8-5-c.opb0.210144OPTIMUM
normalized-jnh204.opb1.16172OPTIMUM
normalized-aim-200-6_0-yes1-2.opb0.636835OPTIMUM
normalized-aim-200-3_4-yes1-4.opb0.676902OPTIMUM
normalized-ssa2670-141.opb0.045545UNSATISFIABLE
normalized-ii8a1.opb1.15865OPTIMUM
normalized-aim-200-2_0-yes1-1.opb0.68172OPTIMUM
normalized-aim-200-3_4-yes1-2.opb0.619402OPTIMUM
normalized-aim-200-1_6-yes1-1.opb0.653304OPTIMUM
normalized-ii8c2.opb1798.586UNKNOWN
normalized-ssa7552-158.opb33.1507OPTIMUM
normalized-aim-50-1_6-yes1-4.opb0.498016OPTIMUM
normalized-ii32e4.opb44.4234OPTIMUM
normalized-aim-100-6_0-yes1-3.opb0.566216OPTIMUM
normalized-par16-4.opb8.18007OPTIMUM
normalized-f600.opb1798.741UNKNOWN
normalized-par32-5.opb1798.709UNKNOWN
normalized-aim-50-2_0-yes1-1.opb0.455305OPTIMUM
normalized-aim-200-3_4-yes1-1.opb0.739578OPTIMUM
normalized-ii8c1.opb1798.663UNKNOWN
normalized-par32-1-c.opb1798.729UNKNOWN
normalized-ii16d1.opb1798.629UNKNOWN
normalized-ii32c2.opb378.219OPTIMUM
normalized-jnh218.opb1.50122OPTIMUM
normalized-par32-4-c.opb1800.452UNKNOWN
normalized-ii32b1.opb62.1633OPTIMUM
normalized-aim-50-6_0-yes1-3.opb0.455053OPTIMUM
normalized-jnh212.opb0.712343OPTIMUM
normalized-aim-100-3_4-yes1-2.opb0.521163OPTIMUM
normalized-jnh209.opb0.983525OPTIMUM
normalized-ii8a3.opb1800.438UNKNOWN
normalized-par8-3.opb0.540735OPTIMUM
normalized-par8-1.opb0.533996OPTIMUM
normalized-ii32b2.opb17.7728OPTIMUM
normalized-aim-100-2_0-yes1-1.opb0.573856OPTIMUM
normalized-par16-2.opb25.6808OPTIMUM
normalized-aim-100-2_0-yes1-3.opb0.572531OPTIMUM
normalized-ii32e1.opb130.891OPTIMUM
normalized-bf1355-638.opb0.037376UNSATISFIABLE
normalized-aim-100-3_4-yes1-1.opb0.569476OPTIMUM
normalized-aim-100-3_4-yes1-3.opb0.575615OPTIMUM
normalized-ii32e2.opb383.657OPTIMUM
normalized-par8-3-c.opb0.214432OPTIMUM
normalized-aim-100-1_6-yes1-1.opb0.50984OPTIMUM
normalized-par16-2-c.opb7.34966OPTIMUM
normalized-aim-200-2_0-yes1-4.opb0.612083OPTIMUM
normalized-par8-4.opb0.523825OPTIMUM
normalized-g125.17.opb1798.689UNKNOWN
normalized-ii16a1.opb1798.559UNKNOWN
normalized-ii8e1.opb1798.716UNKNOWN
normalized-ii32a1.opb5.00691OPTIMUM
normalized-ii16d2.opb24.4603OPTIMUM
normalized-aim-200-1_6-yes1-4.opb0.591629OPTIMUM
normalized-aim-100-2_0-yes1-4.opb0.51196OPTIMUM
normalized-par16-3.opb17.8305OPTIMUM
normalized-ii16b1.opb1798.528UNKNOWN
normalized-ii32e3.opb41.2841OPTIMUM
normalized-ii8e2.opb1798.589UNKNOWN
normalized-aim-100-6_0-yes1-2.opb0.509633OPTIMUM
normalized-aim-100-6_0-yes1-4.opb0.508618OPTIMUM
normalized-aim-50-1_6-yes1-2.opb0.497545OPTIMUM
normalized-ii16e2.opb4.03196OPTIMUM
normalized-ii32d3.opb651.453OPTIMUM
normalized-bf2670-001.opb0.018339UNSATISFIABLE
normalized-aim-200-2_0-yes1-3.opb0.645255OPTIMUM
normalized-ii8d2.opb1798.598UNKNOWN
normalized-bf1355-075.opb0.047224UNSATISFIABLE
normalized-aim-200-1_6-yes1-3.opb0.640136OPTIMUM
normalized-ssa2670-130.opb0.039009UNSATISFIABLE
normalized-ssa7552-038.opb149.919OPTIMUM
normalized-par16-1-c.opb4.46275OPTIMUM
normalized-ssa0432-003.opb0.018129UNSATISFIABLE
normalized-jnh12.opb0.809198OPTIMUM
normalized-jnh220.opb1.15939OPTIMUM
normalized-ii8b2.opb1798.673UNKNOWN
normalized-jnh1.opb1.48071OPTIMUM
normalized-aim-100-1_6-yes1-4.opb0.508347OPTIMUM
normalized-ii8d1.opb1798.682UNKNOWN
normalized-f1000.opb1798.752UNKNOWN
normalized-aim-200-1_6-yes1-2.opb0.589482OPTIMUM
normalized-aim-200-3_4-yes1-3.opb0.602745OPTIMUM
normalized-jnh7.opb1.17052OPTIMUM
normalized-jnh207.opb0.936038OPTIMUM
normalized-par16-4-c.opb2.41291OPTIMUM
normalized-ii16e1.opb1798.600UNKNOWN
normalized-jnh210.opb3.03192OPTIMUM
normalized-par32-2-c.opb1798.748UNKNOWN
normalized-par16-5.opb13.8361OPTIMUM
normalized-par16-5-c.opb4.29558OPTIMUM
normalized-jnh213.opb1.19877OPTIMUM
normalized-g250.29.opb1798.697UNKNOWN
normalized-aim-50-6_0-yes1-4.opb0.498479OPTIMUM
normalized-par32-3-c.opb1798.740UNKNOWN
normalized-par8-2.opb0.531076OPTIMUM
normalized-bf0432-007.opb0.069193UNSATISFIABLE
normalized-ii16a2.opb1798.564UNKNOWN
normalized-jnh217.opb3.97856OPTIMUM
normalized-ii16c2.opb22.5263OPTIMUM
normalized-ii16c1.opb1798.574UNKNOWN
normalized-ii32e5.opb126.358OPTIMUM
normalized-f2000.opb1800.469UNKNOWN
normalized-par32-2.opb1798.760UNKNOWN
normalized-aim-200-6_0-yes1-4.opb0.691953OPTIMUM
normalized-ii32c3.opb154.102OPTIMUM
normalized-aim-50-3_4-yes1-2.opb0.499919OPTIMUM
normalized-hanoi4.opb3.94009OPTIMUM
normalized-par16-1.opb14.2961OPTIMUM
normalized-par32-1.opb1798.736UNKNOWN
normalized-ssa6288-047.opb0.112615UNSATISFIABLE
normalized-ssa7552-159.opb39.799OPTIMUM
normalized-ii32b3.opb50.2648OPTIMUM
normalized-ii32c1.opb41.2648OPTIMUM
normalized-aim-50-1_6-yes1-3.opb0.451975OPTIMUM
normalized-ii8b4.opb1798.635UNKNOWN
normalized-aim-50-2_0-yes1-3.opb0.451457OPTIMUM
normalized-aim-50-6_0-yes1-1.opb0.456315OPTIMUM
normalized-aim-50-2_0-yes1-4.opb0.502227OPTIMUM
normalized-par8-5.opb0.541031OPTIMUM
normalized-jnh201.opb148.7OPTIMUM
normalized-aim-50-3_4-yes1-3.opb0.453627OPTIMUM
normalized-par32-3.opb1798.757UNKNOWN
normalized-aim-50-3_4-yes1-4.opb0.500234OPTIMUM
normalized-ii8b3.opb1798.670UNKNOWN
normalized-par32-5-c.opb1798.724UNKNOWN
normalized-par32-4.opb1798.747UNKNOWN
normalized-ssa7552-160.opb46.9786OPTIMUM
normalized-aim-200-2_0-yes1-2.opb0.622262OPTIMUM
normalized-hanoi5.opb41.5036OPTIMUM
normalized-jnh17.opb0.855469OPTIMUM
normalized-ii32c4.opb9.25525OPTIMUM
normalized-aim-50-3_4-yes1-1.opb0.456601OPTIMUM
normalized-circ4_3.opb0.476909OPTIMUM
normalized-data8_3.opb1798.851UNKNOWN
normalized-circ8_3.opb1798.716UNKNOWN
normalized-circ10_3.opb1798.583UNKNOWN
normalized-data6_3.opb1798.799UNKNOWN
normalized-data4_3.opb69.2823OPTIMUM
normalized-circ6_3.opb1798.721UNKNOWN
normalized-data10_3.opb1798.825UNKNOWN
normalized-prom2.pi.opb1798.707UNKNOWN
normalized-rot.b.opb1798.736UNKNOWN
normalized-exam.pi.opb1798.683UNKNOWN
normalized-e64.b.opb1798.736UNKNOWN
normalized-5xp1.b.opb1612.36OPTIMUM
normalized-9sym.b.opb2.29464OPTIMUM
normalized-count.b.opb1798.763UNKNOWN
normalized-bench1.pi.opb1798.658UNKNOWN
normalized-alu4.b.opb1798.736UNKNOWN
normalized-test4.pi.opb1798.700UNKNOWN
normalized-jac3.opb1798.746UNKNOWN
normalized-f51m.b.opb1438.66OPTIMUM
normalized-max1024.pi.opb1798.738UNKNOWN
normalized-clip.b.opb10.5916OPTIMUM
normalized-sao2.b.opb1798.786UNKNOWN
normalized-ex5.pi.opb1798.714UNKNOWN
normalized-apex4.a.opb1798.653UNKNOWN
normalized-s4-4-3-1pb.opb36.6268OPTIMUM
normalized-s3-3-3-3pb.opb0.177681OPTIMUM
normalized-s4-4-3-9pb.opb26.0437OPTIMUM
normalized-s4-4-3-8pb.opb7.38587OPTIMUM
normalized-s4-4-3-3pb.opb30.4247OPTIMUM
normalized-s4-4-3-2pb.opb23.3834OPTIMUM
normalized-s4-4-3-5pb.opb36.8492OPTIMUM
normalized-s4-4-3-7pb.opb19.9685OPTIMUM
normalized-s3-3-3-5pb.opb0.276512OPTIMUM
normalized-s3-3-3-4pb.opb0.154837OPTIMUM
normalized-s3-3-3-2pb.opb0.20775OPTIMUM
normalized-s3-3-3-1pb.opb0.132156OPTIMUM
normalized-s4-4-3-4pb.opb24.5524OPTIMUM
normalized-s4-4-3-10pb.opb2.18039OPTIMUM
normalized-s4-4-3-6pb.opb12.0661OPTIMUM
normalized-g15x15.opb1798.723UNKNOWN
normalized-g100x100.opb1800.448UNKNOWN
normalized-g9x9.opb55.8405OPTIMUM
normalized-g2x2.opb0.0007OPTIMUM
normalized-g4x4.opb0.010029OPTIMUM
normalized-g7x7.opb0.45841OPTIMUM
normalized-g9x3.opb0.031812OPTIMUM
normalized-p6b.opb1798.735UNKNOWN
normalized-ns1696083.opb1798.476UNKNOWN
normalized-ex9.opb2.51389OPTIMUM
normalized-ash608gpia-3col.opb0.109518UNSATISFIABLE
normalized-neos-807456.opb1798.704UNKNOWN
normalized-go19.opb1800.401UNKNOWN
normalized-neos-777800.opb1798.667UNKNOWN
normalized-neos-547911.opb1798.402UNKNOWN
normalized-macrophage.opb1798.584UNKNOWN
normalized-neos18.opb0.554745OPTIMUM
normalized-queens-30.opb1798.594UNKNOWN
normalized-toll-like.opb1798.675UNKNOWN
normalized-222__neos-1330346.opb315.037OPTIMUM
normalized-neos-1616732.opb1798.672UNKNOWN
normalized-neos-631710.opb1798.705UNKNOWN
normalized-acc-tight6.opb2.15813OPTIMUM
normalized-ex1010-pi.opb1798.658UNKNOWN
normalized-neos-785912.opb133.316UNSATISFIABLE
normalized-methanosarcina.opb1798.609UNKNOWN
normalized-neos-859770.opb1798.707UNKNOWN
normalized-neos-544324.opb1798.260UNKNOWN
normalized-neos-1109824.opb1798.482UNKNOWN
normalized-bnatt400.opb6.02156OPTIMUM
normalized-protfold.opb1798.730UNKNOWN
normalized-datt256.opb1798.236UNKNOWN
normalized-tanglegram3.opb1798.563UNKNOWN
normalized-ns1853823.opb1798.633UNKNOWN
normalized-ns894244.opb1798.693UNKNOWN
normalized-acc-tight4.opb0.430061OPTIMUM
normalized-iis-bupa-cov.opb1798.657UNKNOWN
normalized-f2000.opb1798.625UNKNOWN
normalized-wnq-n100-mw99-14.opb1798.360UNKNOWN
normalized-ns894788.opb1800.439UNKNOWN
normalized-neos-1440225.opb1798.688UNKNOWN
normalized-mspp16.opb1800UNKNOWN
normalized-ns1745726.opb41.9206UNSATISFIABLE
normalized-neos-538867.opb776.762OPTIMUM
normalized-neos-506428.opb0.616015OPTIMUM
normalized-tanglegram1.opb1798.643UNKNOWN
normalized-neos788725.opb1798.713UNKNOWN
normalized-pb-simp-nonunif.opb116.2OPTIMUM
normalized-seymour.opb1798.717UNKNOWN
normalized-bnatt350.opb4.52388OPTIMUM
normalized-iis-pima-cov.opb1798.659UNKNOWN
normalized-hanoi5.opb32.5665OPTIMUM
normalized-j308_4.std.opb0.960659OPTIMUM
normalized-j3028_7.std.opb6.88211OPTIMUM
normalized-j3010_4.std.opb1.99328OPTIMUM
normalized-j3027_1.std.opb10.6407OPTIMUM
normalized-j3039_1.std.opb0.945815OPTIMUM
normalized-j3044_1.std.opb2.83441OPTIMUM
normalized-j3010_3.std.opb10.5839OPTIMUM
normalized-j3024_7.std.opb0.926925OPTIMUM
normalized-j304_5.std.opb0.319623OPTIMUM
normalized-j307_6.std.opb1.56153OPTIMUM
normalized-j3020_9.std.opb0.493537OPTIMUM
normalized-j3037_10.std.opb11.8721OPTIMUM
normalized-j305_3.std.opb86.8172OPTIMUM
normalized-j3045_1.std.opb227.124OPTIMUM
normalized-j309_3.std.opb182.8OPTIMUM
normalized-j3028_8.std.opb3.2775OPTIMUM
normalized-j3021_10.std.opb91.5882OPTIMUM
normalized-j3030_10.std.opb402.929OPTIMUM
normalized-j3047_1.std.opb276.302OPTIMUM
normalized-j3040_5.std.opb4.4321OPTIMUM
normalized-j3032_2.std.opb5.24931OPTIMUM
normalized-j301_8.std.opb0.307179OPTIMUM
normalized-j309_7.std.opb189.017OPTIMUM
normalized-j3046_5.std.opb143.191OPTIMUM
normalized-j3029_1.std.opb248.018OPTIMUM
normalized-j3039_5.std.opb1.30286OPTIMUM
normalized-j3010_10.std.opb157.085OPTIMUM
normalized-j3016_8.std.opb4.13796OPTIMUM
normalized-j3034_9.std.opb0.332224OPTIMUM
normalized-j12040_1.std.opb1798.509UNKNOWN
normalized-j12025_7.std.opb164.962OPTIMUM
normalized-j12016_10.std.opb1798.533UNKNOWN
normalized-j12030_10.std.opb1118.47OPTIMUM
normalized-j12020_7.std.opb350.646OPTIMUM
normalized-j12048_10.std.opb1125.12OPTIMUM
normalized-j1207_6.std.opb1798.515UNKNOWN
normalized-j12017_7.std.opb1798.554UNKNOWN
normalized-j12057_1.std.opb1798.600UNKNOWN
normalized-j12044_1.std.opb208.073OPTIMUM
normalized-j12058_7.std.opb1798.582UNKNOWN
normalized-j1207_10.std.opb1798.493UNKNOWN
normalized-j12019_5.std.opb1798.513UNKNOWN
normalized-j12019_2.std.opb1798.577UNKNOWN
normalized-j12037_6.std.opb1798.585UNKNOWN
normalized-j12052_10.std.opb1798.586UNKNOWN
normalized-j12060_5.std.opb1798.463UNKNOWN
normalized-j12039_5.std.opb1798.588UNKNOWN
normalized-j1205_7.std.opb56.1568OPTIMUM
normalized-j12015_5.std.opb1798.576UNKNOWN
normalized-j12046_3.std.opb1798.598UNKNOWN
normalized-j12053_3.std.opb1798.485UNKNOWN
normalized-j1209_3.std.opb863.87OPTIMUM
normalized-j12025_6.std.opb293.304OPTIMUM
normalized-j1209_1.std.opb1006.34OPTIMUM
normalized-j12051_6.std.opb1798.581UNKNOWN
normalized-j1204_1.std.opb363.558OPTIMUM
normalized-j12060_6.std.opb1798.441UNKNOWN
normalized-j12020_8.std.opb1798.528UNKNOWN
normalized-j12037_10.std.opb1798.600UNKNOWN
normalized-j12041_1.std.opb198.78OPTIMUM
normalized-j12025_2.std.opb31.5624OPTIMUM
normalized-j12044_8.std.opb142.987OPTIMUM
normalized-j1201_2.std.opb245.84OPTIMUM
normalized-j12024_7.std.opb4.82448OPTIMUM
normalized-j1202_7.std.opb294.753OPTIMUM
normalized-j12053_6.std.opb1798.454UNKNOWN
normalized-j1204_10.std.opb4.85072OPTIMUM
normalized-j12038_4.std.opb1798.514UNKNOWN
normalized-j12047_2.std.opb1798.554UNKNOWN
normalized-j12049_10.std.opb1798.548UNKNOWN
normalized-j12055_4.std.opb1800.325UNKNOWN
normalized-j12013_5.std.opb1798.557UNKNOWN
normalized-j12036_9.std.opb1800.388UNKNOWN
normalized-j1206_4.std.opb1798.681UNKNOWN
normalized-j12052_2.std.opb1798.573UNKNOWN
normalized-j12026_4.std.opb1798.586UNKNOWN
normalized-j12020_5.std.opb1798.522UNKNOWN
normalized-j12040_4.std.opb1798.551UNKNOWN
normalized-j12021_8.std.opb171.792OPTIMUM
normalized-j12048_7.std.opb1798.613UNKNOWN
normalized-j12026_6.std.opb1798.656UNKNOWN
normalized-j12018_6.std.opb1798.553UNKNOWN
normalized-j12016_2.std.opb1798.589UNKNOWN
normalized-j12036_6.std.opb1798.564UNKNOWN
normalized-j603_9.std.opb5.62348OPTIMUM
normalized-j6029_8.std.opb1798.498UNKNOWN
normalized-j6021_5.std.opb280.089OPTIMUM
normalized-j602_4.std.opb0.959477OPTIMUM
normalized-j6046_1.std.opb1085.87OPTIMUM
normalized-j6027_6.std.opb6.9621OPTIMUM
normalized-j6020_6.std.opb1.83406OPTIMUM
normalized-j603_6.std.opb31.8147OPTIMUM
normalized-j6031_6.std.opb1572.75OPTIMUM
normalized-j6019_2.std.opb7.81329OPTIMUM
normalized-j6026_2.std.opb20.7723OPTIMUM
normalized-j6013_4.std.opb1798.594UNKNOWN
normalized-j6012_9.std.opb14.2358OPTIMUM
normalized-j6030_8.std.opb1360.5OPTIMUM
normalized-j606_1.std.opb343.639OPTIMUM
normalized-j6044_1.std.opb6.64242OPTIMUM
normalized-j6035_5.std.opb2.23502OPTIMUM
normalized-j609_6.std.opb1798.599UNKNOWN
normalized-j605_7.std.opb310.207OPTIMUM
normalized-j6043_1.std.opb5.27844OPTIMUM
normalized-j6039_5.std.opb2.91341OPTIMUM
normalized-j607_3.std.opb5.0395OPTIMUM
normalized-j6012_3.std.opb12.0472OPTIMUM
normalized-j902_10.std.opb2.75713OPTIMUM
normalized-j9017_9.std.opb130.133OPTIMUM
normalized-j9019_6.std.opb1.95822OPTIMUM
normalized-j9038_2.std.opb535.043OPTIMUM
normalized-j9014_2.std.opb1800.340UNKNOWN
normalized-j9041_1.std.opb1798.598UNKNOWN
normalized-j902_3.std.opb1.95143OPTIMUM
normalized-j9025_7.std.opb1798.630UNKNOWN
normalized-j9027_5.std.opb22.405OPTIMUM
normalized-j9022_8.std.opb10.3867OPTIMUM
normalized-j9020_8.std.opb32.9502OPTIMUM
normalized-j907_10.std.opb43.7742OPTIMUM
normalized-j9021_5.std.opb1739.08OPTIMUM
normalized-j9013_1.std.opb1798.612UNKNOWN
normalized-j9036_4.std.opb2.30966OPTIMUM
normalized-j9025_10.std.opb1798.568UNKNOWN
normalized-j9045_2.std.opb1798.585UNKNOWN
normalized-j909_4.std.opb1798.562UNKNOWN
normalized-j9039_4.std.opb20.854OPTIMUM
normalized-j9010_6.std.opb1228.06OPTIMUM
normalized-j9027_6.std.opb1260.53OPTIMUM
normalized-j9013_9.std.opb1798.521UNKNOWN
normalized-j901_1.std.opb168.071OPTIMUM
normalized-j9038_7.std.opb10.6015OPTIMUM
normalized-j9024_9.std.opb12.1459OPTIMUM
normalized-j9043_5.std.opb20.3874OPTIMUM
normalized-j9023_3.std.opb9.84381OPTIMUM
normalized-j9043_10.std.opb991.234OPTIMUM
normalized-j9016_1.std.opb176.069OPTIMUM
normalized-j9044_5.std.opb17.032OPTIMUM
normalized-j9031_6.std.opb1798.610UNKNOWN
normalized-j9033_3.std.opb2.04567OPTIMUM
normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX180_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb1798.117UNKNOWN
normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX15_K192_cod2.opb1798.052UNKNOWN
normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_50null20mast_rapportOE2.0_TMAX120_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_20null0mast_rapportOE2.0_TMAX180_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb1798.101UNKNOWN
normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX60_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX300_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_20null20mast_rapportOE1.0_TMAX120_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_50null20mast_rapportOE1.0_TMAX15_K192_cod2.opb1798.125UNKNOWN
normalized-NG.dot_luby_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_fibo_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX60_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_50null0mast_rapportOE2.0_TMAX60_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb1798.053UNKNOWN
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX300_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX180_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_10null20mast_rapportOE2.0_TMAX60_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX60_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX15_K192_cod2.opb1798.140UNKNOWN
normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX120_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_20null0mast_rapportOE1.0_TMAX300_K192_cod2.opb1800UNKNOWN
normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX300_K192_cod2.opb1800UNKNOWN
normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX60_K67_cod3.opb1798.182UNKNOWN
normalized-BA_RDC4.dot_luby_0null10mast_rapportOE1.0_TMAX120_K67_cod3.opb1798.318UNKNOWN
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2.opb1800.443UNKNOWN
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX60_K67_cod1.opb1798.250UNKNOWN
normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE2.0_TMAX180_K67_cod2.opb1798.453UNKNOWN
normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX120_K67_cod1.opb1798.409UNKNOWN
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb1798.374UNKNOWN
normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX180_K67_cod1.opb1798.308UNKNOWN
normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb9.37803OPTIMUM
normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb1798.541UNKNOWN
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb1798.517UNKNOWN
normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod3.opb1798.220UNKNOWN
normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX300_K67_cod2.opb1800.391UNKNOWN
normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb1798.525UNKNOWN
normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb1798.552UNKNOWN
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2.opb1798.538UNKNOWN
normalized-BA_RDC4.dot_luby_0null0mast_rapportOE1.0_TMAX15_K67_cod1.opb1798.188UNKNOWN
normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX120_K67_cod1.opb1798.315UNKNOWN
normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX15_K67_cod2.opb1798.542UNKNOWN
normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX120_K67_cod2.opb1798.466UNKNOWN
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX120_K67_cod2.opb1798.526UNKNOWN
normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX15_K67_cod1.opb1798.432UNKNOWN
normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb1798.428UNKNOWN
normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX120_K67_cod2.opb1798.422UNKNOWN
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX120_K67_cod1.opb1798.376UNKNOWN
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX60_K67_cod1.opb1798.120UNKNOWN
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb1798.479UNKNOWN
normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_K67_cod2.opb2.36322OPTIMUM
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX60_K67_cod2.opb1798.531UNKNOWN
normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb1798.441UNKNOWN
normalized-mul_8_11_shg.opb1798.724UNKNOWN
normalized-mul_8_14_shg.opb1798.652UNKNOWN
normalized-sbox_4_shg.opb1798.744UNKNOWN
normalized-mul_8_3_shg.opb1798.588UNKNOWN
normalized-mul_8_9_shg.opb1798.637UNKNOWN
normalized-sbox_8_shg.opb1798.604UNKNOWN
normalized-mul_8_13_shg.opb1798.695UNKNOWN
normalized-ped3.D.recomb10-0.20-11.opb1800OPTIMUM
normalized-ped3.D.recomb10-0.20-14.opb5.65051OPTIMUM
normalized-ped2.B.recomb1-0.20-11.opb8.2812OPTIMUM
normalized-ped3.D.recomb10-0.20-15.opb459.999OPTIMUM
normalized-ped2.B.recomb1-0.01-3.opb3.2755OPTIMUM
normalized-ped2.B.recomb1-0.10-8.opb5.37152OPTIMUM
normalized-ped2.B.recomb1-0.01-4.opb5.04776OPTIMUM
normalized-ped2.B.recomb1-0.10-10.opb5.17357OPTIMUM
normalized-ped3.D.recomb10-0.20-13.opb12.4621OPTIMUM
normalized-ped2.B.recomb1-0.01-1.opb4.87777OPTIMUM
normalized-ped2.B.recomb1-0.10-9.opb4.54843OPTIMUM
normalized-ped2.B.recomb1-0.20-13.opb11.6972OPTIMUM
normalized-ped2.B.recomb1-0.20-12.opb14.8475OPTIMUM
normalized-ped2.B.recomb1-0.10-6.opb8.07351OPTIMUM
normalized-ped2.B.recomb1-0.10-7.opb7.61808OPTIMUM
normalized-ped2.B.recomb1-0.20-15.opb11.701OPTIMUM
normalized-ped2.B.recomb1-0.01-5.opb2.38145OPTIMUM
normalized-ped2.B.recomb1-0.20-14.opb5.14814OPTIMUM
normalized-ped2.B.recomb1-0.01-2.opb8.76996OPTIMUM
normalized-ped3.D.recomb10-0.20-12.opb3.31156OPTIMUM
normalized-randd1cab2.cudf.paranoid.opb1798.580UNKNOWN
normalized-rand35d0c8.cudf.paranoid.opb1798.628UNKNOWN
normalized-randa491d5.cudf.paranoid.opb0.085786UNSATISFIABLE
normalized-randaefc7c.cudf.paranoid.opb0.821032OPTIMUM
normalized-rand4bf850.cudf.paranoid.opb1798.611UNKNOWN
normalized-randbccf2d.cudf.paranoid.opb1798.618UNKNOWN
normalized-randfe95e3.cudf.paranoid.opb0.076542UNSATISFIABLE
normalized-rand65d021.cudf.paranoid.opb0.089437UNSATISFIABLE
normalized-rand902db1.cudf.paranoid.opb0.438629OPTIMUM
normalized-rand0c02bc.cudf.paranoid.opb1798.635UNKNOWN
normalized-rand2d8467.cudf.paranoid.opb1800.379UNKNOWN
normalized-randf7d077.cudf.paranoid.opb0.095129UNSATISFIABLE
normalized-randa09fe9.cudf.paranoid.opb1798.509UNKNOWN
normalized-randa6997e.cudf.paranoid.opb1798.530UNKNOWN
normalized-rand199fd6.cudf.paranoid.opb0.075723UNSATISFIABLE
normalized-randb87834.cudf.paranoid.opb1798.592UNKNOWN
normalized-randaef248.cudf.paranoid.opb0.069848UNSATISFIABLE
normalized-rand767898.cudf.paranoid.opb351.523OPTIMUM
normalized-rand3c03fd.cudf.paranoid.opb464.462OPTIMUM
normalized-rand0a62b6.cudf.paranoid.opb377.969OPTIMUM
normalized-randc18b26.cudf.paranoid.opb1798.641UNKNOWN
normalized-randc5b1f2.cudf.paranoid.opb0.062307UNSATISFIABLE
normalized-rand00ebc7.cudf.paranoid.opb0.062908UNSATISFIABLE
normalized-rand362510.cudf.paranoid.opb1636.84OPTIMUM
normalized-rand18b530.cudf.paranoid.opb123.967OPTIMUM
normalized-rand271a0d.cudf.paranoid.opb0.059387UNSATISFIABLE
normalized-randfd04d4.cudf.paranoid.opb507.273OPTIMUM
normalized-rand4a23d9.cudf.paranoid.opb149.578OPTIMUM
normalized-randc7f8e5.cudf.paranoid.opb402.549OPTIMUM
normalized-randf794d2.cudf.paranoid.opb413.96OPTIMUM
normalized-randa2004a.cudf.paranoid.opb250.426OPTIMUM
normalized-rand27da90.cudf.paranoid.opb370.16OPTIMUM
normalized-randd7b2b4.cudf.paranoid.opb448.577OPTIMUM
normalized-randd92c9f.cudf.paranoid.opb333.259OPTIMUM
normalized-randc5fe62.cudf.paranoid.opb866.908OPTIMUM
normalized-rand085d8a.cudf.paranoid.opb344.103OPTIMUM
normalized-rand5d20db.cudf.paranoid.opb900.277OPTIMUM
normalized-randcebca4.cudf.paranoid.opb831.345OPTIMUM
normalized-randb54299.cudf.paranoid.opb975.672OPTIMUM
normalized-rand71b131.cudf.paranoid.opb1798.630UNKNOWN
normalized-rand9ffe99.cudf.paranoid.opb521.391OPTIMUM
normalized-rand4b919e.cudf.paranoid.opb477.467OPTIMUM
normalized-randec6fe1.cudf.paranoid.opb416.719OPTIMUM
normalized-randf66c83.cudf.paranoid.opb200.864OPTIMUM
normalized-1034.cudf.paranoid.opb0.01911UNSATISFIABLE
normalized-121.cudf.paranoid.opb0.037091UNSATISFIABLE
normalized-787.cudf.paranoid.opb0.002292OPTIMUM
normalized-1094.cudf.paranoid.opb0.245015OPTIMUM
normalized-1037.cudf.paranoid.opb0.161724OPTIMUM
normalized-122.cudf.paranoid.opb0.037285UNSATISFIABLE
normalized-658.cudf.paranoid.opb0.010638UNSATISFIABLE
normalized-995.cudf.paranoid.opb0.005214UNSATISFIABLE
normalized-1078.cudf.paranoid.opb0.000499OPTIMUM
normalized-1077.cudf.paranoid.opb0.016785UNSATISFIABLE
normalized-1125.cudf.paranoid.opb0.003971UNSATISFIABLE
normalized-1098.cudf.paranoid.opb0.330623OPTIMUM
normalized-1097.cudf.paranoid.opb0.250604OPTIMUM
normalized-990.cudf.paranoid.opb1.09104OPTIMUM
normalized-1093.cudf.paranoid.opb0.014202UNSATISFIABLE
normalized-869.cudf.paranoid.opb0.010664UNSATISFIABLE
normalized-902.cudf.paranoid.opb1.45804OPTIMUM
normalized-787.cudf.trendy.opb0.005541OPTIMUM
normalized-995.cudf.trendy.opb0.005358UNSATISFIABLE
normalized-1021.cudf.trendy.opb0.004406UNSATISFIABLE
normalized-1078.cudf.trendy.opb0.000655OPTIMUM
normalized-50-750-false-45-90-4-1000opt.opb43.1001OPTIMUM
normalized-50-250-false-45-90-4-5000opt.opb606.051OPTIMUM
normalized-50-750-false-45-90-4-2000opt.opb32.8737OPTIMUM
normalized-50-750-false-45-90-4-3000opt.opb22.4147OPTIMUM
normalized-50-250-false-45-90-4-3000opt.opb304.122OPTIMUM
normalized-50-250-false-45-90-4-2000opt.opb457.181OPTIMUM
normalized-50-750-false-45-90-4-10000opt.opb34.7365OPTIMUM
normalized-50-250-false-45-90-4-4000opt.opb357.632OPTIMUM
normalized-50-750-false-45-90-4-4000opt.opb46.0922OPTIMUM
normalized-50-750-false-45-90-4-9000opt.opb30.128OPTIMUM
normalized-50-250-false-45-90-4-8000opt.opb543.278OPTIMUM
normalized-50-250-false-45-90-4-10000opt.opb232.025OPTIMUM
normalized-50-750-false-45-90-4-7000opt.opb37.8973OPTIMUM
normalized-50-250-false-45-90-4-6000opt.opb345.043OPTIMUM
normalized-50-250-false-45-90-4-7000opt.opb835.429OPTIMUM
normalized-50-250-false-45-90-4-9000opt.opb279.574OPTIMUM
normalized-50-250-false-45-90-4-1000opt.opb154.375OPTIMUM
normalized-50-750-false-45-90-4-5000opt.opb50.9466OPTIMUM
normalized-50-750-false-45-90-4-6000opt.opb30.5395OPTIMUM
normalized-50-750-false-45-90-4-8000opt.opb58.8275OPTIMUM
normalized-fx63.opb1798.595UNKNOWN
normalized-fx57.opb11.9114OPTIMUM
normalized-fx60.opb729.845OPTIMUM
normalized-fx49.opb1798.697UNKNOWN
normalized-fx30.opb1798.701UNKNOWN
normalized-fx75.opb1798.534UNKNOWN
normalized-fx92.opb55.1082OPTIMUM
normalized-fx97.opb1798.560UNKNOWN
normalized-fx84.opb23.5902OPTIMUM
normalized-reduced-fir07_trarea_ac.opb1798.776UNKNOWN
normalized-reduced-fir06_trarea_ac.opb1798.620UNKNOWN
normalized-reduced-fir05_trarea_ac.opb1798.708UNKNOWN
normalized-reduced-fir04_trarea_ac.opb1798.752UNKNOWN
normalized-reduced-fir09_trarea_ac.opb1798.722UNKNOWN
normalized-reduced-fir08_trarea_ac.opb1800.367UNKNOWN
normalized-reduced-fir10_trarea_ac.opb1798.488UNKNOWN
normalized-reduced-fir03_trarea_ac.opb1798.780UNKNOWN
normalized-f20c10b_014_area_delay.opb108.58OPTIMUM
normalized-f20c10b_019_area_delay.opb41.5362OPTIMUM
normalized-f20c10b_023_area_delay.opb235.672OPTIMUM
normalized-f20c10b_020_area_delay.opb13.5753OPTIMUM
normalized-f20c10b_030_area_delay.opb28.1912OPTIMUM
normalized-f20c10b_018_area_delay.opb21.1953OPTIMUM
normalized-f20c10b_006_area_delay.opb7.3376OPTIMUM
normalized-f20c10b_024_area_delay.opb32.3045OPTIMUM
normalized-f20c10b_021_area_delay.opb38.6252OPTIMUM
normalized-f20c10b_011_area_delay.opb122.614OPTIMUM
normalized-f20c10b_015_area_delay.opb25.1572OPTIMUM
normalized-f20c10b_013_area_delay.opb336.604OPTIMUM
normalized-f20c10b_009_area_delay.opb7.93741OPTIMUM
normalized-f20c10b_017_area_delay.opb188.939OPTIMUM
normalized-f20c10b_025_area_delay.opb251.247OPTIMUM
normalized-f20c10b_001_area_delay.opb161.021OPTIMUM
normalized-f20c10b_005_area_delay.opb193.216OPTIMUM
normalized-f20c10b_008_area_delay.opb27.7587OPTIMUM
normalized-f20c10b_026_area_delay.opb465.275OPTIMUM
normalized-f20c10b_003_area_delay.opb41.986OPTIMUM
normalized-f20c10b_010_area_delay.opb548.068OPTIMUM
normalized-f20c10b_022_area_delay.opb32.3044OPTIMUM
normalized-f20c10b_029_area_delay.opb96.4324OPTIMUM
normalized-f20c10b_012_area_delay.opb841.362OPTIMUM
normalized-f20c10b_027_area_delay.opb31.0658OPTIMUM
normalized-f20c10b_004_area_delay.opb28.4684OPTIMUM
normalized-f20c10b_028_area_delay.opb122.048OPTIMUM
normalized-f20c10b_002_area_delay.opb30.7177OPTIMUM
normalized-f20c10b_007_area_delay.opb135.055OPTIMUM
normalized-f20c10b_016_area_delay.opb34.9875OPTIMUM
normalized-fir05_area_delay.opb595.356OPTIMUM
normalized-fir09_area_delay.opb1798.646UNKNOWN
normalized-fir04_area_delay.opb4.99017OPTIMUM
normalized-fir07_area_delay.opb1798.695UNKNOWN
normalized-fir02_area_delay.opb0.52558OPTIMUM
normalized-fir03_area_delay.opb42.9986OPTIMUM
normalized-fir01_area_delay.opb0.033806OPTIMUM
normalized-fir10_area_delay.opb1798.420UNKNOWN
normalized-fir08_area_delay.opb1798.257UNKNOWN
normalized-fir06_area_delay.opb548.579OPTIMUM
normalized-fir02_trarea_ac.opb1798.774UNKNOWN
normalized-fir01_trarea_ac.opb1798.667UNKNOWN
normalized-fir09_area_opers.opb1798.613UNKNOWN
normalized-fir07_area_opers.opb41.7265OPTIMUM
normalized-fir08_area_opers.opb1798.094UNKNOWN
normalized-fir03_area_opers.opb2.56429OPTIMUM
normalized-fir04_area_opers.opb0.506375OPTIMUM
normalized-fir06_area_opers.opb23.5513OPTIMUM
normalized-fir10_area_opers.opb1798.353UNKNOWN
normalized-fir02_area_opers.opb0.485646OPTIMUM
normalized-fir05_area_opers.opb3.20115OPTIMUM
normalized-fir01_area_opers.opb0.062512OPTIMUM
normalized-matrix_5x3_1.opb1798.588UNKNOWN
normalized-matrix_5x3_4.opb1798.470UNKNOWN
normalized-matrix_5x3_10.opb1798.619UNKNOWN
normalized-matrix_5x3_3.opb1798.743UNKNOWN
normalized-matrix_5x3_8.opb1800.315UNKNOWN
normalized-matrix_5x3_2.opb1798.567UNKNOWN
normalized-matrix_5x3_6.opb1798.543UNKNOWN
normalized-matrix_5x3_5.opb1798.627UNKNOWN
normalized-matrix_5x3_7.opb1798.685UNKNOWN
normalized-matrix_5x3_9.opb1798.644UNKNOWN
normalized-fir03_area_partials.opb0.160299OPTIMUM
normalized-fir06_area_partials.opb0.707689OPTIMUM
normalized-fir07_area_partials.opb0.639539OPTIMUM
normalized-fir09_area_partials.opb3.24442OPTIMUM
normalized-fir10_area_partials.opb18.887OPTIMUM
normalized-fir04_area_partials.opb0.039873OPTIMUM
normalized-fir08_area_partials.opb72.7272OPTIMUM
normalized-fir05_area_partials.opb0.156552OPTIMUM
normalized-fir02_area_partials.opb0.079716OPTIMUM
normalized-8_16.opb1798.690UNKNOWN
normalized-11_22.opb1798.719UNKNOWN
normalized-6_12.opb6.61336OPTIMUM
normalized-7_14.opb40.0289OPTIMUM
normalized-10_20.opb176.435OPTIMUM
normalized-5_10.opb2.10909OPTIMUM