# QBF Gallery 2013 - Showcase Certificates
# ========================================
#
# Second column:
#   UNSATISFIABLE: instance was verified using the QBFCert framework.
#   FAILED: workflow aborted unsuccessfully due to resource limits.
# Third column: wall clock time spent in verification
#
b11_PR_7_20	UNSATISFIABLE	0.921777
b17_C_1_163	FAILED
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	UNSATISFIABLE	0.380757
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004	UNSATISFIABLE	0.300046
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSATISFIABLE	0.0797361
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSATISFIABLE	8.06341
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSATISFIABLE	0.194803
BLOCKS4ii.7.2	FAILED
c1_BMC_p1_k8	UNSATISFIABLE	13.7198
c3_BMC_p1_k2	UNSATISFIABLE	0.205602
C432.blif_0.10_1.00_0_0_out_exact	FAILED
C5315.blif_0.10_1.00_0_0_inp_exact	UNSATISFIABLE	46.3897
c5_BMC_p1_k4	UNSATISFIABLE	1.8302
c6_BMC_p1_k1024	UNSATISFIABLE	45.3573
c6_BMC_p2_k64	UNSATISFIABLE	0.355457
connect_5x4_3_R	UNSATISFIABLE	8.55134
Core1108_tbm_02.tex.moduleQ3.2S.000098	UNSATISFIABLE	4.05802
Core1108_tbm_02.tex.moduleQ3.2S.000099	UNSATISFIABLE	3.56516
Core1108_tbm_03.tex.module.000034	FAILED
Core1108_tbm_09.tex.moduleQ3.2S.000010	UNSATISFIABLE	1.65541
Core1108_tbm_21.tex.moduleQ3.2S.000024	UNSATISFIABLE	3.27531
Core1108_tbm_21.tex.moduleQ3.2S.000027	FAILED
counter_8	UNSATISFIABLE	3.2648
counter_r_8	UNSATISFIABLE	16.9611
cube_c5_ser--opt-15_	UNSATISFIABLE	7.50061
cube_c7_ser--opt-24_	FAILED
cube_c9_par---10_	FAILED
emptyroom_e3_par--opt-10_	UNSATISFIABLE	20.2035
ev-pr-4x4-9-3-0-0-1-lg	UNSATISFIABLE	98.2219
ev-pr-6x6-11-5-0-1-2-lg	UNSATISFIABLE	13.8722
ev-pr-6x6-13-5-0-1-2-lg	FAILED
ev-pr-6x6-5-5-0-1-2-lg	UNSATISFIABLE	0.305635
ev-pr-8x8-11-7-0-1-2-lg	UNSATISFIABLE	33.599
ev-pr-8x8-5-7-0-1-2-lg	UNSATISFIABLE	0.52848
ev-pr-8x8-7-7-0-1-2-lg	UNSATISFIABLE	0.951512
ev-pr-8x8-9-7-0-1-2-lg	UNSATISFIABLE	2.42876
fpu-01Xh-error02-nonuniform-depth-10	UNSATISFIABLE	6.53964
fpu-01Xh-error02-nonuniform-depth-23	UNSATISFIABLE	15.1471
fpu-10Xe-correct02-nonuniform-depth-10	UNSATISFIABLE	6.56902
fpu-10Xe-correct02-nonuniform-depth-27	UNSATISFIABLE	17.9374
fpu-10Xh-correct03-nonuniform-depth-11	UNSATISFIABLE	7.41181
fpu-10Xh-correct04-uniform-depth-17	UNSATISFIABLE	12.3145
ii32c1-50	UNSATISFIABLE	0.175188
ii32c2-90	UNSATISFIABLE	0.382296
ii8a3-90	FAILED
ii8a4-00	FAILED
incrementer-enc02-nonuniform-depth-3	UNSATISFIABLE	0.109692
incrementer-enc06-uniform-depth-7	UNSATISFIABLE	0.210077
incrementer-enc08-uniform-depth-9	UNSATISFIABLE	1.61026
incrementer-enc09-nonuniform-depth-10	UNSATISFIABLE	0.776375
jnh205-90	UNSATISFIABLE	0.193719
jnh213-00	UNSATISFIABLE	0.141177
k_dum_p-11	UNSATISFIABLE	23.6254
k_dum_p-8	UNSATISFIABLE	0.819184
k_ph_n-16	FAILED
k_ph_n-17	FAILED
k_ph_n-18	FAILED
k_ph_n-19	FAILED
lights3_021_0_009	UNSATISFIABLE	155.674
lights3_021_0_013	UNSATISFIABLE	0.11475
lights3_021_0_027	UNSATISFIABLE	0.105218
lights3_021_0_040	UNSATISFIABLE	0.112509
lights3_035_0_002	UNSATISFIABLE	0.32854
lights3_035_0_027	UNSATISFIABLE	0.249702
lights3_035_0_051	UNSATISFIABLE	0.349067
lights3_035_1_021	UNSATISFIABLE	0.102272
lights3_035_1_032	FAILED
lut4_2_f2	FAILED
lut4_AND_f1	UNSATISFIABLE	1.82432
s13207_1_107	FAILED
s3330_1_70	UNSATISFIABLE	66.4389
sortnetsort10.v.stepl.012	FAILED
sortnetsort7.v.stepl.004	FAILED
sortnetsort8.v.stepl.008	UNSATISFIABLE	15.416
sortnetsort9.v.stepl.012	UNSATISFIABLE	94.9267
tlc02-nonuniform-depth-216	FAILED
tlc03-nonuniform-depth-82	UNSATISFIABLE	0.773958
TOILET10.1.iv.20	UNSATISFIABLE	2.07879
TOILET7.1.iv.13	FAILED
TOILET7.1.iv.14	UNSATISFIABLE	0.093738
Umbrella_tbm_05.tex.module.000011	FAILED
Umbrella_tbm_05.tex.module.000025	FAILED
Umbrella_tbm_14.tex.moduleQ2.1S.000792	UNSATISFIABLE	0.268206
Umbrella_tbm_25.tex.module.000099	UNSATISFIABLE	0.358381
Umbrella_tbm_26.tex.moduleQ3.2S.000020	UNSATISFIABLE	0.242793
Umbrella_tbm_26.tex.moduleQ3.2S.000037	UNSATISFIABLE	0.233687
vis.prodcell^09.E-f2	UNSATISFIABLE	0.243114
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001	UNSATISFIABLE	0.499042
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSATISFIABLE	0.629137
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSATISFIABLE	1.21069
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAILED