# QBF Gallery 2013 - Showcase Certificates
# ========================================
#
# Instances of 'eval2012r2' solved by DepQBF.
# Second column: 10 (satisfiable), 20 (unsatisfiable)
# Third column: wall clock time spent on solving
#
b11_PR_7_20	10	0.33
b17_C_1_163	10	71.84
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	20	0.51
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	20	0.95
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	20	0.47
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	20	9.38
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-004	20	0.48
BLOCKS4ii.7.2	20	150.04
c1_BMC_p1_k8	10	265.51
c3_BMC_p1_k2	10	0.92
C432.blif_0.10_1.00_0_0_out_exact	20	312.93
C5315.blif_0.10_1.00_0_0_inp_exact	20	67.60
c5_BMC_p1_k4	10	57.66
c6_BMC_p1_k1024	10	2.74
c6_BMC_p2_k64	20	0.89
connect_5x4_3_R	20	28.62
Core1108_tbm_02.tex.moduleQ3.2S.000098	20	62.09
Core1108_tbm_02.tex.moduleQ3.2S.000099	20	52.88
Core1108_tbm_03.tex.module.000034	10	51.85
Core1108_tbm_09.tex.moduleQ3.2S.000010	20	16.36
Core1108_tbm_21.tex.moduleQ3.2S.000024	20	49.55
Core1108_tbm_21.tex.moduleQ3.2S.000027	10	460.99
counter_8	10	2.31
counter_r_8	10	104.68
cube_c5_ser--opt-15_	10	0.40
cube_c7_ser--opt-24_	10	56.03
cube_c9_par---10_	20	1.97
emptyroom_e3_par--opt-10_	10	1.00
ev-pr-4x4-9-3-0-0-1-lg	10	8.05
ev-pr-6x6-11-5-0-1-2-lg	20	32.10
ev-pr-6x6-13-5-0-1-2-lg	20	393.34
ev-pr-6x6-5-5-0-1-2-lg	20	0.32
ev-pr-8x8-11-7-0-1-2-lg	20	125.11
ev-pr-8x8-5-7-0-1-2-lg	20	0.58
ev-pr-8x8-7-7-0-1-2-lg	20	3.23
ev-pr-8x8-9-7-0-1-2-lg	20	19.40
fpu-01Xh-error02-nonuniform-depth-10	20	2.48
fpu-01Xh-error02-nonuniform-depth-23	20	5.61
fpu-10Xe-correct02-nonuniform-depth-10	20	3.02
fpu-10Xe-correct02-nonuniform-depth-27	20	6.47
fpu-10Xh-correct03-nonuniform-depth-11	20	3.12
fpu-10Xh-correct04-uniform-depth-17	20	3.89
ii32c1-50	10	1.04
ii32c2-90	10	0.94
ii8a3-90	20	150.67
ii8a4-00	10	128.07
incrementer-enc02-nonuniform-depth-3	20	0.11
incrementer-enc06-uniform-depth-7	20	0.17
incrementer-enc08-uniform-depth-9	20	1.55
incrementer-enc09-nonuniform-depth-10	20	0.74
jnh205-90	20	0.90
jnh213-00	10	1.00
k_dum_p-11	20	302.14
k_dum_p-8	20	7.50
k_ph_n-16	10	119.61
k_ph_n-17	10	485.48
k_ph_n-18	10	186.16
k_ph_n-19	10	280.86
lights3_021_0_009	10	15.75
lights3_021_0_013	20	0.79
lights3_021_0_027	20	0.84
lights3_021_0_040	20	0.87
lights3_035_0_002	20	0.97
lights3_035_0_027	20	1.05
lights3_035_0_051	20	0.15
lights3_035_1_021	20	0.20
lights3_035_1_032	20	257.22
lut4_2_f2	20	72.54
lut4_AND_f1	10	0.62
s13207_1_107	10	37.11
s3330_1_70	10	12.02
sortnetsort10.v.stepl.012	10	153.53
sortnetsort7.v.stepl.004	20	38.66
sortnetsort8.v.stepl.008	10	21.83
sortnetsort9.v.stepl.012	10	45.30
tlc02-nonuniform-depth-216	20	220.43
tlc03-nonuniform-depth-82	20	0.44
TOILET10.1.iv.20	10	8.31
TOILET7.1.iv.13	20	11.64
TOILET7.1.iv.14	10	0.73
Umbrella_tbm_05.tex.module.000011	10	114.16
Umbrella_tbm_05.tex.module.000025	10	117.54
Umbrella_tbm_14.tex.moduleQ2.1S.000792	20	0.71
Umbrella_tbm_25.tex.module.000099	20	2.05
Umbrella_tbm_26.tex.moduleQ3.2S.000020	20	0.22
Umbrella_tbm_26.tex.moduleQ3.2S.000037	20	0.40
vis.prodcell^09.E-f2	20	0.48
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001	20	3.10
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	20	0.80
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	20	13.30
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	10	594.59