Unique instances for caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.


InstanceTimeResult
arbiter-06-comp-error01-qbf-hardness-depth-1537.79UNSAT
arbiter-08-comp-error02-qbf-hardness-depth-99.04SAT
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-0030.72SAT
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-0041.33SAT
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-0041.42SAT
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-0030.62SAT
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-0030.82SAT
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-0030.72SAT
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-0042.23SAT
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-0054.63SAT
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-0042.32SAT
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-0030.72SAT
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009115.21UNSAT
C880.blif_0.10_1.00_0_1_out_exact0.42SAT
cache-coherence-2-fixpoint-11.12UNSAT
cache-coherence-3-fixpoint-39.44UNSAT
ev-pr-4x4-11-3-0-0-1-s6.13SAT
ev-pr-4x4-13-3-0-0-1-s8.34SAT
ev-pr-4x4-17-3-0-0-1-lg2.83SAT
ev-pr-4x4-17-3-0-0-1-s13.54SAT
k_branch_n-102.53SAT
k_branch_n-113.42SAT
k_branch_n-124.53SAT
k_branch_n-166.53SAT
k_branch_n-81.52SAT
k_branch_n-91.92SAT
k_d4_n-151.02SAT
k_d4_n-161.12SAT
k_d4_n-201.52SAT
k_ph_n-110.42SAT
k_ph_n-141.32SAT
k_ph_n-163.43SAT
k_ph_n-2184.56SAT
k_ph_p-10173.08UNSAT
query11_query21_13443.83UNSAT
query31_reachqu_1344n8.34SAT
rankfunc13_signed_320.24SAT
rankfunc13_unsigned_640.52SAT
rankfunc17_unsigned_160.22SAT
rankfunc22_signed_640.72SAT
s05378_PR_1_752.82UNSAT
s1196_d2_s2.73SAT
s1196_d3_u152.77UNSAT
s1196_d4_u128.15UNSAT
s1196_d5_u180.32UNSAT
s1196_d7_u298.33UNSAT
s1269_d3_s21.06SAT
s1269_d4_s66.14SAT
s1269_d5_s124.95SAT
s298_d10_s20.95SAT
s298_d12_s30.58SAT
s298_d14_s73.35SAT
s298_d17_s109.12SAT
s3330_d2_s7.83SAT
s3330_d3_s131.56SAT
s386_d10_u189.65UNSAT
s386_d11_u105.91UNSAT
s386_d12_u105.02UNSAT
s386_d3_s69.32SAT
s386_d4_s4.13SAT
s386_d6_s13.94SAT
s386_d7_s21.46SAT
s386_d8_u27.37UNSAT
s386_d9_u70.04UNSAT
s499_d12_s67.44SAT
s499_d15_s121.54SAT
s499_d17_s203.4SAT
s499_d18_s202.59SAT
s499_d7_s33.48SAT
s499_d9_s21.96SAT
s510_d11_s92.99SAT
s510_d3_s1.53SAT
s510_d6_s18.55SAT
s641_d10_u221.14UNSAT
s641_d3_s4.63SAT
s641_d4_s15.85SAT
s641_d5_s28.97SAT
s641_d6_s51.81SAT
s641_d7_u89.5UNSAT
s641_d8_u147.67UNSAT
s713_d10_u270.9UNSAT
s713_d3_s5.93SAT
s713_d4_s27.27SAT
s713_d5_s38.8SAT
s713_d6_s71.54SAT
s713_d7_u141.16UNSAT
s713_d8_u218.89UNSAT
s820_d10_s266.07SAT
s820_d3_s5.53SAT
s820_d7_s188.79SAT
s820_d8_s131.35SAT
small-swap1-fixpoint-30.42SAT
small-swap2-fixpoint-43.73SAT
small-synabs-fixpoint-90.82UNSAT
sortnetsort9.AE.stepl.012288.92UNSAT
stmt16_950_9510.32SAT
stmt19_3_21436.28UNSAT
stmt24_765_7660.22SAT
stmt25_52_530.62SAT
stmt27_16_970.82UNSAT
stmt41_738_7490.43SAT
stmt44_916_9170.22SAT
term1.blif_0.10_0.20_0_0_inp_exact41.8UNSAT
term1.blif_0.10_0.20_0_0_out_exact154.39UNSAT
test3_quant_squaring284.26UNSAT
test5_quant_squaring457.22SAT
test5_quant_squaring512.34SAT
texas.PI_main^08.E-f34.73SAT
texas.PI_main^16.E-f21.02SAT
Umbrella_tbm_25.tex.moduleQ3.2S.00007529.17UNSAT