Unique instances for QuBE6.1
QBFEVAL'08


InstanceTimeResult
s386_d7_s90.12SAT
s3330_d4_s106.44SAT
k_branch_n-20305.5SAT
s386_d8_u127.38UNSAT
k_ph_p-11126.44UNSAT
s386_d9_u275.42UNSAT
s386_d12_u220.83SAT
s386_d10_u342.41UNSAT
s510_d31_s225.27SAT
eijk.bs4863.S-f288.21SAT
eijk.S832.S-f2209.21SAT
ken.flash^12.C-f2132.72SAT
nusmv.guidance^2.C-f3171.45SAT
nusmv.guidance^4.C-f3528.63SAT
nusmv.guidance^5.C-f3123.75SAT
nusmv.guidance^8.C-f3120.25SAT
nusmv.tcas^1.B-f297.47SAT
nusmv.tcas^2.B-f2539.52SAT
nusmv.tcas-t^1.B-f298.6SAT
texas.two_proc^1.E-f3102.29SAT
texas.two_proc^2.E-f3161.14SAT
texas.two_proc^3.E-f3103.97SAT
texas.two_proc^4.E-f3213.6SAT
texas.two_proc^5.E-f3185.44SAT
vis.arbiter.E-f4340.75SAT
vis.prodcell^02.E-f2101.87SAT
vis.prodcell^04.E-f2130.21SAT
vis.prodcell^05.E-f3317.88SAT
vis.prodcell^06.E-f2164.76SAT
vis.prodcell^07.E-f2100.52SAT
vis.prodcell^12.E-f3189.49SAT
vis.prodcell^13.E-f3281.93SAT
vis.prodcell^14.E-f3338.79SAT
vis.prodcell^15.E-f3280.28SAT
vis.prodcell^16.E-f3282.38SAT
vis.prodcell^17.E-f3371.8SAT
vis.prodcell^18.E-f3290.15SAT
vis.prodcell^19.E-f3242.57SAT
vis.prodcell^20.E-f3174.7SAT
vis.prodcell^22.E-f3206.87SAT
vis.prodcell^23.E-f3410.66SAT
vis.prodcell^24.E-f3199.44SAT
sortnetsort7.AE.stepl.006136.41UNSAT
sortnetsort8.AE.stepl.008400.43UNSAT
sortnetsort8.AE.stepl.009151.95UNSAT
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003221.59UNSAT
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005113.87UNSAT
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010297.17UNSAT
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-00988.64UNSAT
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-010130.9UNSAT
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006116.07UNSAT
ii8d1-00151.83SAT
s510_d11_s193.35SAT
s820_d6_s191.4SAT
s386_d11_u443.1UNSAT
s510_d9_s127.32SAT