# QBF Gallery 2013 - Showcase Certificates
# ========================================
#
# Second column:
#   Unsatisfiable: instance was verified by ResQu. 
#   Signal: the workflow in ResQu aborted unsuccessfully.
#   Failed QRP Converion: trace files from DepQBF had to be converted from binary to ASCII format 
#   for to be used in ResQu. This conversion failed on some instances due to
#   resource limits.
# Third column: wall clock time spent on verification.
#
b11_PR_7_20	UNSATISFIABLE	0.01
b17_C_1_163	(SIGTERM)
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	UNSATISFIABLE	0.00
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.01
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.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSATISFIABLE	0.03
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	UNSATISFIABLE	0.01
BLOCKS4ii.7.2	(SIGTERM)
c1_BMC_p1_k8	UNSATISFIABLE	0.00
c3_BMC_p1_k2	UNSATISFIABLE	0.00
C432.blif_0.10_1.00_0_0_out_exact	FAILED-QRP-CONVERSION
C5315.blif_0.10_1.00_0_0_inp_exact	(SIGTERM)
c5_BMC_p1_k4	UNSATISFIABLE	0.00
c6_BMC_p1_k1024	UNSATISFIABLE	0.00
c6_BMC_p2_k64	UNSATISFIABLE	0.02
connect_5x4_3_R	UNSATISFIABLE	0.06
Core1108_tbm_02.tex.moduleQ3.2S.000098	UNSATISFIABLE	0.00
Core1108_tbm_02.tex.moduleQ3.2S.000099	UNSATISFIABLE	0.00
Core1108_tbm_03.tex.module.000034	(SIGTERM)
Core1108_tbm_09.tex.moduleQ3.2S.000010	UNSATISFIABLE	0.01
Core1108_tbm_21.tex.moduleQ3.2S.000024	UNSATISFIABLE	0.01
Core1108_tbm_21.tex.moduleQ3.2S.000027	(SIGTERM)
counter_8	UNSATISFIABLE	0.07
counter_r_8	UNSATISFIABLE	0.25
cube_c5_ser--opt-15_	UNSATISFIABLE	0.15
cube_c7_ser--opt-24_	FAILED-QRP-CONVERSION
cube_c9_par---10_	UNSATISFIABLE	468.12
emptyroom_e3_par--opt-10_	UNSATISFIABLE	0.02
ev-pr-4x4-9-3-0-0-1-lg	UNSATISFIABLE	3.39
ev-pr-6x6-11-5-0-1-2-lg	UNSATISFIABLE	0.41
ev-pr-6x6-13-5-0-1-2-lg	FAILED-QRP-CONVERSION
ev-pr-6x6-5-5-0-1-2-lg	UNSATISFIABLE	0.02
ev-pr-8x8-11-7-0-1-2-lg	UNSATISFIABLE	0.41
ev-pr-8x8-5-7-0-1-2-lg	UNSATISFIABLE	0.06
ev-pr-8x8-7-7-0-1-2-lg	UNSATISFIABLE	0.10
ev-pr-8x8-9-7-0-1-2-lg	UNSATISFIABLE	0.14
fpu-01Xh-error02-nonuniform-depth-10	(SIGSEGV)
fpu-01Xh-error02-nonuniform-depth-23	(SIGSEGV)
fpu-10Xe-correct02-nonuniform-depth-10	(SIGSEGV)
fpu-10Xe-correct02-nonuniform-depth-27	(SIGSEGV)
fpu-10Xh-correct03-nonuniform-depth-11	(SIGSEGV)
fpu-10Xh-correct04-uniform-depth-17	(SIGSEGV)
ii32c1-50	UNSATISFIABLE	0.00
ii32c2-90	UNSATISFIABLE	0.00
ii8a3-90	FAILED-QRP-CONVERSION
ii8a4-00	FAILED-QRP-CONVERSION
incrementer-enc02-nonuniform-depth-3	UNSATISFIABLE	0.01
incrementer-enc06-uniform-depth-7	UNSATISFIABLE	0.02
incrementer-enc08-uniform-depth-9	UNSATISFIABLE	0.02
incrementer-enc09-nonuniform-depth-10	UNSATISFIABLE	0.03
jnh205-90	UNSATISFIABLE	0.00
jnh213-00	UNSATISFIABLE	0.00
k_dum_p-11	UNSATISFIABLE	0.00
k_dum_p-8	UNSATISFIABLE	0.00
k_ph_n-16	UNSATISFIABLE	66.07
k_ph_n-17	UNSATISFIABLE	75.79
k_ph_n-18	UNSATISFIABLE	216.57
k_ph_n-19	(SIGSEGV)
lights3_021_0_009	(SIGTERM)
lights3_021_0_013	UNSATISFIABLE	0.01
lights3_021_0_027	UNSATISFIABLE	0.00
lights3_021_0_040	UNSATISFIABLE	0.00
lights3_035_0_002	UNSATISFIABLE	0.01
lights3_035_0_027	UNSATISFIABLE	0.00
lights3_035_0_051	UNSATISFIABLE	0.01
lights3_035_1_021	UNSATISFIABLE	0.01
lights3_035_1_032	FAILED-QRP-CONVERSION
lut4_2_f2	(SIGABRT)
lut4_AND_f1	UNSATISFIABLE	0.07
s13207_1_107	(SIGTERM)
s3330_1_70	UNSATISFIABLE	25.58
sortnetsort10.v.stepl.012	FAILED-QRP-CONVERSION
sortnetsort7.v.stepl.004	(SIGTERM)
sortnetsort8.v.stepl.008	UNSATISFIABLE	0.35
sortnetsort9.v.stepl.012	UNSATISFIABLE	3.01
tlc02-nonuniform-depth-216	FAILED-QRP-CONVERSION
tlc03-nonuniform-depth-82	UNSATISFIABLE	0.06
TOILET10.1.iv.20	UNSATISFIABLE	0.00
TOILET7.1.iv.13	(SIGTERM)
TOILET7.1.iv.14	UNSATISFIABLE	0.00
Umbrella_tbm_05.tex.module.000011	(SIGTERM)
Umbrella_tbm_05.tex.module.000025	(SIGTERM)
Umbrella_tbm_14.tex.moduleQ2.1S.000792	UNSATISFIABLE	0.02
Umbrella_tbm_25.tex.module.000099	UNSATISFIABLE	0.01
Umbrella_tbm_26.tex.moduleQ3.2S.000020	UNSATISFIABLE	0.00
Umbrella_tbm_26.tex.moduleQ3.2S.000037	UNSATISFIABLE	0.01
vis.prodcell^09.E-f2	UNSATISFIABLE	0.01
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001	UNSATISFIABLE	0.01
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSATISFIABLE	0.03
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSATISFIABLE	0.01
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	(SIGTERM)