Instances solved by <a href='solver_detail.php?solver=254'>depqbf-cert-v2</a> <br> QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instances solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instance	Result	Time
cnt01	SAT	0.02
tree-exa2-45	UNSAT	0.02
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
tree-exa2-35	UNSAT	0.02
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.02
impl06	SAT	0.02
stmt44_107_108	SAT	0.02
tree-exa2-20	UNSAT	0.02
impl02	SAT	0.02
k_ph_n-1	SAT	0.02
mutex-2-s	SAT	0.02
tree-exa2-30	UNSAT	0.02
cnt02e	SAT	0.02
k_ph_p-1	UNSAT	0.02
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.02
tree-exa2-50	UNSAT	0.02
tree-exa2-40	UNSAT	0.02
toilet_c_08_01.2	UNSAT	0.02
toilet_g_06_01.2	SAT	0.02
stmt1_30_31	SAT	0.02
toilet_a_02_10.2	SAT	0.02
flipflop-3-c	UNSAT	0.02
counter_e_2	SAT	0.02
tree-exa2-25	UNSAT	0.02
impl04	SAT	0.02
impl12	SAT	0.02
impl10	SAT	0.02
toilet_g_04_01.2	SAT	0.02
toilet_g_08_01.2	SAT	0.02
tree-exa2-10	UNSAT	0.02
toilet_c_04_01.4	UNSAT	0.02
toilet_g_02_01.2	SAT	0.02
toilet_a_04_01.4	UNSAT	0.02
impl14	SAT	0.03
impl08	SAT	0.03
impl18	SAT	0.04
stmt44_107_113	SAT	0.04
k_lin_p-2	UNSAT	0.04
toilet_a_04_05.2	SAT	0.04
toilet_c_06_01.4	UNSAT	0.04
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.04
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.04
tree-exa10-10	SAT	0.04
lognBWLARGEA0	FAIL	0.05
BLOCKS3iii.4	UNSAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003	UNSAT	0.07
k_poly_p-15	UNSAT	0.07
toilet_g_20_01.2	SAT	0.07
k_dum_p-2	UNSAT	0.07
k_ph_n-3	SAT	0.07
k_poly_p-2	UNSAT	0.07
k_poly_p-9	UNSAT	0.07
Adder2-2-c	UNSAT	0.08
adder-2-unsat	UNSAT	0.08
toilet_g_10_01.2	SAT	0.08
toilet_g_15_01.2	SAT	0.08
k_poly_p-14	UNSAT	0.08
impl16	SAT	0.08
toilet_c_08_01.6	UNSAT	0.09
toilet_c_08_01.7	UNSAT	0.09
incrementer-enc05-uniform-depth-2	UNSAT	0.09
k_poly_p-4	UNSAT	0.09
toilet_a_04_01.6	UNSAT	0.09
k_d4_p-10	UNSAT	0.09
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.09
toilet_c_08_05.4	SAT	0.09
k_d4_p-4	UNSAT	0.09
impl20	SAT	0.09
k_dum_p-3	UNSAT	0.1
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001	UNSAT	0.1
k_poly_p-16	UNSAT	0.1
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.1
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.1
b12_PR_9_2	SAT	0.1
BLOCKS3ii.4.3	UNSAT	0.11
Core1108_tbm_21.tex.module.000027	UNSAT	0.11
k_d4_p-13	UNSAT	0.11
k_lin_p-4	UNSAT	0.11
k_d4_p-7	UNSAT	0.11
aim-50-6_0-yes1-3-50	UNSAT	0.11
flipflop-5-c	UNSAT	0.11
k_lin_p-3	UNSAT	0.11
aim-100-6_0-yes1-3-50	SAT	0.11
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.11
k_d4_p-11	UNSAT	0.11
query48_query15_1344	UNSAT	0.11
k3_1_1	SAT	0.11
cube_c3_ser--opt-6_	SAT	0.11
k_poly_p-8	UNSAT	0.11
k_dum_p-6	UNSAT	0.11
par8-1-c-50	UNSAT	0.11
lut4_2_fXOR	SAT	0.11
lut4_XOR_fOR	UNSAT	0.11
k_dum_n-1	SAT	0.11
Core1108_tbm_21.tex.module.000026	UNSAT	0.11
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.11
tlc03-uniform-depth-9	UNSAT	0.11
k_poly_p-19	UNSAT	0.11
k_dum_p-4	UNSAT	0.11
s01238_PR_8_2	SAT	0.11
rewriting_k_10	UNSAT	0.11
BLOCKS3iii.5	SAT	0.11
flipflop-4-c	UNSAT	0.11
texas.parsesys^1.E-d4	SAT	0.11
aim-100-1_6-yes1-2-00	SAT	0.11
toilet_a_06_01.6	UNSAT	0.11
toilet_c_06_01.8	UNSAT	0.11
lights3_021_0_027	UNSAT	0.11
cnt05	SAT	0.11
gttt_2_2_0010_3x3_torus_w	UNSAT	0.11
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.11
k_poly_p-7	UNSAT	0.11
k_ph_n-4	SAT	0.12
lut4_XOR_f1	SAT	0.12
lognBWLARGEB0	FAIL	0.12
k_path_p-2	UNSAT	0.12
k_d4_n-1	SAT	0.12
k_d4_p-8	UNSAT	0.12
p5-5.pddl_planlen=6	SAT	0.12
k_ph_p-3	UNSAT	0.12
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.12
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.12
k_d4_p-1	UNSAT	0.12
p5-5.pddl_planlen=5	SAT	0.12
k_poly_p-11	UNSAT	0.12
k_ph_n-6	SAT	0.21
ring_r4_ser--opt-11_	UNSAT	0.21
c4_BMC_p1_k32	SAT	0.21
k_d4_p-20	UNSAT	0.21
BLOCKS3ii.5.2	UNSAT	0.21
toilet_a_06_01.10	UNSAT	0.21
tlc03-nonuniform-depth-17	UNSAT	0.21
lights3_035_0_002	UNSAT	0.21
k_d4_p-17	UNSAT	0.21
driverlog01_7	SAT	0.21
lights3_035_0_027	UNSAT	0.21
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003	UNSAT	0.21
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.21
toilet_a_08_05.2	UNSAT	0.21
query26_query34_1344	SAT	0.21
k_d4_p-16	UNSAT	0.21
Core1108_tbm_02.tex.moduleQ3.2S.000015	UNSAT	0.24
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.31
flipflop-6-c	UNSAT	0.31
lights3_035_0_051	UNSAT	0.31
lut4_AND_f1	SAT	0.31
tlc03-uniform-depth-21	UNSAT	0.31
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.31
k_lin_p-9	UNSAT	0.31
k_lin_p-10	UNSAT	0.31
connect_5x4_3_D	UNSAT	0.31
k_lin_p-8	UNSAT	0.31
flipflop-7-c	UNSAT	0.31
jnh212-50	UNSAT	0.31
ev-pr-4x4-5-3-0-0-1-lg	SAT	0.41
C880.blif_0.10_1.00_0_1_inp_exact	SAT	0.41
BLOCKS3ii.5.3	SAT	0.41
gttt_1_1_000111_3x3_torus_w	UNSAT	0.41
vonNeumann-ripple-carry-5-c	UNSAT	0.41
s09234_PR_8_2	SAT	0.41
query01_ntrivil_1344	UNSAT	0.41
connect_6x5_5_D	UNSAT	0.41
s05378_PR_9_2	SAT	0.41
k_lin_p-11	UNSAT	0.41
k_ph_p-5	UNSAT	0.51
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	UNSAT	0.51
driverlog03_7	SAT	0.51
flipflop-8-c	UNSAT	0.51
ken.flash^10.C-f2	UNSAT	0.51
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	0.51
incrementer-enc03-nonuniform-depth-13	UNSAT	0.61
ev-pr-4x4-7-3-0-0-1-lg	SAT	0.61
k_lin_p-12	UNSAT	0.61
b20_PR_7_90	UNSAT	0.61
tlc03-uniform-depth-52	UNSAT	0.61
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	0.71
ev-pr-4x4-9-3-0-0-1-lg	SAT	0.71
k_lin_p-14	UNSAT	0.71
par8-4-50	UNSAT	0.72
toilet_a_10_05.3	UNSAT	0.81
tlc01-uniform-depth-73	UNSAT	0.81
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.81
C880.blif_0.10_1.00_0_1_out_exact	SAT	0.81
ken.flash^10.C-f3	UNSAT	0.81
vonNeumann-ripple-carry-6-c	UNSAT	0.81
Umbrella_tbm_25.tex.moduleQ3.2S.000075	UNSAT	0.81
ev-pr-4x4-11-3-0-0-1-lg	SAT	0.91
k_dum_p-12	UNSAT	1.01
k_branch_n-2	SAT	1.02
ring_r3_ser--opt-8_	SAT	1.02
s05378_PR_1_75	UNSAT	1.02
gttt_2_2_00101121_3x3_b	UNSAT	1.02
connect_7x6_4_W	UNSAT	1.03
flipflop-9-c	UNSAT	1.03
ken.flash^03.C-f3	UNSAT	1.12
k_ph_n-8	SAT	1.12
ev-pr-4x4-13-3-0-0-1-lg	SAT	1.12
toilet_a_08_05.9	SAT	1.21
k_path_p-5	UNSAT	1.22
term1.blif_0.10_0.20_0_1_inp_exact	SAT	1.31
ev-pr-4x4-15-3-0-0-1-lg	SAT	1.31
ev-pr-4x4-17-3-0-0-1-lg	SAT	1.31
eijk.S382.S-d4	SAT	1.31
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	1.41
lognBWLARGEA1	UNSAT	1.41
c4_BMC_p2_k128	UNSAT	1.51
aim-200-1_6-yes1-4-90	SAT	1.51
vonNeumann-ripple-carry-7-c	UNSAT	1.61
s27_d2_s	SAT	1.61
szymanski-5-s	UNSAT	1.61
toilet_c_08_01.11	UNSAT	1.81
k_lin_p-19	UNSAT	1.91
BLOCKS3i.5.4	SAT	2.01
flipflop-10-c	UNSAT	2.13
connect_8x7_7_W	UNSAT	2.28
incrementer-enc07-nonuniform-depth-17	UNSAT	2.41
mutex-4-s	SAT	2.41
s09234_PR_8_5	SAT	2.41
irst.dme6.B-d2	SAT	2.51
emptyroom_e3_ser--opt-20_	SAT	2.81
k_ph_n-9	SAT	2.81
vonNeumann-ripple-carry-8-c	UNSAT	3.01
rewriting_k_17	UNSAT	3.11
k_dum_p-14	UNSAT	3.23
qshifter_3	SAT	3.32
lut4_3_fAND	SAT	3.41
lognBWLARGEB1	UNSAT	3.51
incrementer-enc03-nonuniform-depth-24	UNSAT	3.51
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	3.71
sortnetsort7.v.stepl.007	SAT	4.01
flipflop-11-c	UNSAT	4.01
c1_BMC_p1_k4	SAT	4.11
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	4.32
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-005	UNSAT	4.32
incrementer-enc02-nonuniform-depth-31	UNSAT	4.51
k_grz_p-4	UNSAT	4.51
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	4.61
k_grz_p-5	UNSAT	4.81
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	4.91
incrementer-enc07-nonuniform-depth-21	UNSAT	5.01
vonNeumann-ripple-carry-9-c	UNSAT	5.43
p10-10.pddl_planlen=10	SAT	7.01
fpu-10Xh-error01-uniform-depth-5	UNSAT	7.12
gttt_2_1_0010_4x4_torus_b	UNSAT	7.72
flipflop-12-c	UNSAT	7.82
gttt_1_1_001020_3x3_w	UNSAT	8.11
toilet_a_08_01.13	UNSAT	8.21
query21_ntrivil_1344	UNSAT	8.82
fpu-10Xe-correct01-nonuniform-depth-6	UNSAT	8.84
Core1108_tbm_03.tex.moduleQ3.2S.000002	UNSAT	9.11
vonNeumann-ripple-carry-10-c	UNSAT	10.22
k_dum_p-16	UNSAT	13.22
fpu-10Xh-correct04-uniform-depth-8	UNSAT	13.24
gttt_2_1_000111_3x3_torus_b	SAT	13.41
k_dum_n-2	SAT	13.51
lut4_2_f1	SAT	13.81
par16-1-50	UNSAT	15.01
k_lin_n-3	SAT	15.21
rewriting_k_19	UNSAT	15.61
k_ph_n-11	SAT	18.81
cnt10	SAT	20.11
vonNeumann-ripple-carry-11-c	UNSAT	20.13
toilet_c_10_01.12	UNSAT	20.31
rewriting_k_21	UNSAT	20.41
sortnetsort5.v.stepl.004	UNSAT	20.51
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	21.51
k_poly_n-2	SAT	23.81
connect_5x4_4_R	UNSAT	24.22
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	24.71
sortnetsort8.v.stepl.009	SAT	24.91
s15850_PR_2_2	SAT	25.61
tlc04-nonuniform-depth-56	UNSAT	28.31
sortnetsort8.v.stepl.007	SAT	29.31
BLOCKS4iii.6	UNSAT	30.01
connect_5x4_3_R	UNSAT	30.31
C432.blif_0.10_0.20_0_1_inp_exact	SAT	31.41
k_dum_p-17	UNSAT	33.02
fpu-10Xh-correct04-uniform-depth-14	UNSAT	33.84
szymanski-6-s	UNSAT	36.71
vonNeumann-ripple-carry-12-c	UNSAT	36.84
k_grz_p-10	UNSAT	37.81
fpu-10Xh-correct04-uniform-depth-15	UNSAT	38.75
k_grz_p-12	UNSAT	40.91
s3330_d10_u	FAIL	41.57
k_grz_p-11	UNSAT	41.72
fpu-10Xh-correct04-uniform-depth-16	UNSAT	42.25
k_grz_p-13	UNSAT	42.51
s3330_d12_u	FAIL	50.25
fpu-10Xh-correct04-nonuniform-depth-18	UNSAT	51.06
sortnetsort9.AE.stepl.012	UNSAT	52.51
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	52.51
rewriting_k_23	FAIL	53.77
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008	UNSAT	54.51
s3330_d14_u	FAIL	58.65
vonNeumann-ripple-carry-13-c	UNSAT	62.66
c1_BMC_p2_k512	UNSAT	63.26
k_dum_n-3	SAT	66.71
cube_c7_ser--opt-24_	FAIL	68.25
k_t4p_p-4	UNSAT	70.71
fpu-10Xe-correct01-uniform-depth-22	UNSAT	72.58
fpu-10Xe-correct01-nonuniform-depth-24	UNSAT	82.76
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007	FAIL	89.16
mutex-8-s	FAIL	96.15
Umbrella_tbm_05.tex.module.000039	FAIL	99.55
fpu-10Xh-correct04-nonuniform-depth-27	UNSAT	102.39
ev-pr-8x8-11-7-0-1-2-lg	UNSAT	103.11
cube_c9_par--opt-11_	SAT	104.42
k_d4_n-2	SAT	106.63
qshifter_4	FAIL	113.24
ev-pr-6x6-11-5-0-1-2-lg	UNSAT	113.81
CHAIN12v.13	SAT	122.71
stmt17_18_19	FAIL	125.45
k_grz_p-17	FAIL	130.15
k_grz_p-16	FAIL	131.24
CHAIN17v.18	FAIL	140.75
tlc04-nonuniform-depth-98	FAIL	141.75
k_dum_p-20	FAIL	142.87
cube_c11_par---13_	FAIL	143.15
cnt11	SAT	160.21
k_lin_n-17	FAIL	165.86
vonNeumann-ripple-carry-15-c	UNSAT	173.96
CHAIN19v.20	FAIL	194.85
BLOCKS4ii.7.2	FAIL	197.15
driverlog10_6	FAIL	198.09
rewriting_k_25	FAIL	209.11
c1_BMC_p2_k1024	UNSAT	215.67
k_path_n-3	SAT	222.41
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	222.75
Core1108_tbm_21.tex.module.000030	FAIL	232.12
k_grz_n-10	FAIL	265.15
lights3_021_0_009	SAT	270.02
BLOCKS3i.5.3	UNSAT	277.71
Core1108_tbm_21.tex.module.000008	FAIL	305.89
s27_d3_u	FAIL	309.75
k_ph_n-14	SAT	311.23
C499.blif_0.10_0.20_0_1_inp_exact	SAT	324.72
term1.blif_0.10_0.20_0_0_inp_exact	UNSAT	327.61
C432.blif_0.10_1.00_0_0_out_exact	FAIL	351.14
CHAIN18v.19	FAIL	358.36
k_t4p_n-2	FAIL	366.85
k_path_n-6	FAIL	366.91
k_branch_n-4	FAIL	367.55
ii32b1-00	FAIL	373.55
ev-pr-8x8-13-7-0-1-2-lg	FAIL	373.76
k_dum_p-21	FAIL	419.37
CHAIN20v.21	FAIL	419.96
term1.blif_0.10_0.20_0_0_out_exact	FAIL	423.78
ev-pr-6x6-13-5-0-1-2-lg	FAIL	445.36
k_grz_p-18	FAIL	517.77
k_lin_n-15	FAIL	518.05
dungeon_i25-m12-u5-v0.pddl_planlen=65	FAIL	521.02
k_grz_p-19	FAIL	523.29
k_lin_n-14	FAIL	535.85
tlc02-uniform-depth-114	FAIL	555.18
dungeon_i25-m12-u3-v0.pddl_planlen=72	FAIL	574.87
dungeon_i15-m7-u4-v0.pddl_planlen=81	FAIL	584.02
c3_Debug_s3_f2_e2_v2	FAIL	591.62
k_grz_n-4	FAIL	592.02
k_lin_n-6	FAIL	592.22
k_branch_n-3	FAIL	592.22
Umbrella_tbm_24.tex.module.000131	FAIL	592.32
query11_query21_1344	FAIL	592.33
query51_query50_1344	FAIL	592.42
c1_Debug_s3_f1_e1_v1	FAIL	592.52
c1_Debug_s5_f1_e1_v2	FAIL	592.62
Umbrella_tbm_24.tex.module.000066	FAIL	592.62
k_lin_n-9	FAIL	592.62
k_lin_n-5	FAIL	592.62
c4_Debug_s3_f1_e2_v3	FAIL	592.72
c2_Debug_s3_f1_e1_v2	FAIL	592.73
k_grz_n-8	FAIL	592.83
tree-exa10-30	FAIL	592.84
c4_Debug_s3_f1_e1_v2	FAIL	592.85
k_grz_n-5	FAIL	592.94
k_lin_n-7	FAIL	593.02
sortnetsort8.AE.stepl.003	FAIL	593.02
k_grz_n-2	FAIL	593.12
k_lin_n-8	FAIL	593.12
lut4_AND_fXOR	FAIL	593.22
k_d4_n-3	FAIL	593.32
qshifter_8	FAIL	593.32
k_path_n-4	FAIL	593.38
c5_BMC_p1_k32	FAIL	593.42
CHAIN16v.17	FAIL	593.42
k_grz_n-6	FAIL	593.42
CHAIN14v.15	FAIL	593.52
k_grz_n-7	FAIL	593.52
k_path_n-5	FAIL	593.72
k_ph_n-21	FAIL	593.72
k_ph_n-16	FAIL	593.74
k_dum_n-5	FAIL	593.77
c2_BMC_p1_k2048	FAIL	594.03
c2_Debug_s3_f2_e1_v3	FAIL	594.04
k_lin_n-11	FAIL	594.04
lut4_2_f2	FAIL	594.05
vis.prodcell^01.E-d2	FAIL	594.82
c4_Debug_s3_f1_e2_v2	FAIL	595.34
c5_BMC_p2_k64	FAIL	596.33
tlc04-uniform-depth-36	FAIL	596.51
ev-pr-6x6-19-5-0-1-2-s	FAIL	596.92
k_ph_p-18	FAIL	597.02
p20-20.pddl_planlen=23	FAIL	597.34
AR-fixpoint-5	FAIL	597.72
ev-pr-4x4-17-3-0-0-1-s	FAIL	599.02
stmt23_72_76	FAIL	599.32
stmt27_296_297	FAIL	599.43
b20_C_3_2	FAIL	600.12
ev-pr-4x4-15-3-0-0-1-s	FAIL	600.12
query44_query26_1344n	FAIL	600.23
rankfunc3_signed_64	FAIL	600.32
ev-pr-4x4-5-3-0-0-1-s	FAIL	600.42
query31_reachqu_1344n	FAIL	600.42
k_grz_n-20	FAIL	600.64
rankfunc33_signed_32	FAIL	600.64
C432.blif_0.10_0.20_0_1_out_exact	FAIL	600.92
k_ph_p-19	FAIL	600.92
stmt52_244_394	FAIL	601.26
dungeon_i25-m12-u3-v0.pddl_planlen=165	FAIL	601.56
ev-pr-6x6-7-5-0-1-2-s	FAIL	601.83
c4_Debug_s5_f2_e2_v1	FAIL	602.02
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	602.06
network_irda_miniport_nscirda_settings.c	FAIL	602.2
rankfunc5_unsigned_64	FAIL	602.32
ev-pr-6x6-17-5-0-1-2-s	FAIL	602.43
ev-pr-6x6-11-5-0-1-2-s	FAIL	602.52
test3_quant_squaring2	FAIL	602.73
stmt24_765_766	FAIL	602.8
arbiter-07-comp-error01-qbf-hardness-depth-11	FAIL	602.84
stmt23_66_96	FAIL	602.85
C432.blif_0.10_0.20_0_0_out_exact	FAIL	603.22
CHAIN21v.22	FAIL	603.22
qshifter_7	FAIL	603.32
rankfunc14_signed_64	FAIL	603.52
rankfunc51_signed_32	FAIL	603.83
ev-pr-4x4-9-3-0-0-1-s	FAIL	604.12
k_path_p-18	FAIL	604.32
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	604.73
k_d4_n-8	FAIL	604.93
stmt41_160_235	FAIL	605.32
stmt19_3_214	FAIL	605.43
audio_ddksynth_csynth2.cpp	FAIL	605.52
stmt41_738_749	FAIL	605.52
small-seq-fixpoint-5	FAIL	605.72
ev-pr-4x4-13-3-0-0-1-s	FAIL	605.72
rankfunc13_signed_32	FAIL	605.82
small-seq-fixpoint-3	FAIL	605.92
stmt17_62_98	FAIL	606.34
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	606.42
k_dum_n-11	FAIL	606.42
ev-pr-4x4-11-3-0-0-1-s	FAIL	606.52
filesys_smbmrx_cvsndrcv.c	FAIL	606.62
ev-pr-4x4-7-3-0-0-1-s	FAIL	606.72
stmt16_950_951	FAIL	606.82
cache-coherence-3-fixpoint-3	FAIL	606.82
k_ph_p-15	FAIL	606.98
stmt17_63_82	FAIL	607.02
k_ph_p-12	FAIL	607.03
stmt17_70_98	FAIL	607.15
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	607.22
stmt19_83_412	FAIL	607.23
ev-pr-6x6-15-5-0-1-2-lg	FAIL	607.34
k_dum_n-18	FAIL	607.52
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	607.52
k_ph_p-20	FAIL	607.52
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	607.62
b21_C_3_206	FAIL	607.72
k_branch_n-20	FAIL	607.82
stmt21_319_418	FAIL	607.92
ev-pr-8x8-17-7-0-1-2-lg	FAIL	607.93
f600-50	FAIL	608.02
stmt17_82_98	FAIL	608.12
stmt25_52_53	FAIL	608.24
k_path_p-16	FAIL	608.34
ev-pr-8x8-15-7-0-1-2-lg	FAIL	608.39
ring_r6_ser--opt-17_	FAIL	608.52
pipesnotankage18_7	FAIL	608.87
rankfunc13_unsigned_64	FAIL	608.92
CHAIN22v.23	FAIL	609.13
k_dum_n-21	FAIL	609.32
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	609.48
hid_hclient_ecdisp.c	FAIL	609.52
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	609.52
small-swap1-fixpoint-3	FAIL	609.62
k_path_n-14	FAIL	609.73
k_path_n-13	FAIL	609.82
k_branch_n-12	FAIL	610.37
k_branch_p-11	FAIL	610.4
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	610.44
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	610.45
stmt29_226_376	FAIL	610.53
k_path_n-12	FAIL	610.54
query42_query06_1344n	FAIL	610.55
ev-pr-6x6-13-5-0-1-2-s	FAIL	610.62
stmt19_64_99	FAIL	610.92
cnt16r	FAIL	611.02
k_d4_n-14	FAIL	611.03
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	611.22
ev-pr-6x6-9-5-0-1-2-s	FAIL	611.33
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	611.54
small-swap2-fixpoint-4	FAIL	611.63
stmt17_86_98	FAIL	611.63
qshifter_6	FAIL	611.72
k_path_p-21	FAIL	612.02
test4_quant_squaring4	FAIL	612.06
k14_2_3	FAIL	612.34
cache-coherence-2-fixpoint-6	FAIL	612.52
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	612.52
k_poly_n-6	FAIL	612.64
s641_d7_u	FAIL	612.65
ev-pr-6x6-19-5-0-1-2-lg	FAIL	613.02
ev-pr-6x6-5-5-0-1-2-s	FAIL	613.02
s3330_d9_s	FAIL	613.22
k_dum_n-12	FAIL	613.32
test5_quant_squaring5	FAIL	613.42
stmt27_16_97	FAIL	613.52
ev-pr-6x6-15-5-0-1-2-s	FAIL	613.93
small-synabs-fixpoint-9	FAIL	614.02
stmt19_90_266	FAIL	614.03
C499.blif_0.10_0.20_0_0_out_exact	FAIL	614.12
k_t4p_n-9	FAIL	614.42
texas.PI_main^05.E-f3	FAIL	614.42
szymanski-18-s	FAIL	614.55
C880.blif_0.10_0.20_0_1_out_exact	FAIL	614.72
k_branch_p-18	FAIL	615.14
k_poly_n-21	FAIL	615.23
s713_d11_u	FAIL	615.42
network_trans_sys_notify.c	FAIL	615.63
s1196_d6_u	FAIL	615.72
stmt19_217_309	FAIL	615.94
s386_d10_u	FAIL	616.05
nusmv.tcas^6.B-f4	FAIL	616.22
CHAIN23v.24	FAIL	616.32
s1196_1_5	FAIL	616.32
s1196_d3_u	FAIL	616.42
mutex-16-s	FAIL	616.51
arbiter-10-comp-error01-qbf-hardness-depth-10	FAIL	616.52
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	616.62
p20-1.pddl_planlen=26	FAIL	616.62
dungeon_i10-m5-u10-v0.pddl_planlen=23	FAIL	616.62
s641_d2_s	FAIL	616.72
ev-pr-6x6-17-5-0-1-2-lg	FAIL	616.72
k_path_p-10	FAIL	616.82
s27_d5_u	FAIL	616.82
k_dum_n-17	FAIL	616.89
s820_d12_u	FAIL	617.22
depots03_9	FAIL	617.22
Adder2-8-s	FAIL	617.33
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	617.49
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	617.62
connect_8x7_4_R	FAIL	617.81
k_d4_n-7	FAIL	617.82
k_grz_n-21	FAIL	617.92
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	617.92
s510_d31_s	FAIL	617.99
rankfunc17_unsigned_16	FAIL	618.13
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	618.15
k_branch_n-10	FAIL	618.15
k_ph_p-13	FAIL	618.18
stmt17_70_90	FAIL	618.22
s820_d3_s	FAIL	618.33
k_t4p_n-14	FAIL	618.33
dungeon_i25-m12-u5-v0.pddl_planlen=170	FAIL	618.5
tlc02-uniform-depth-241	FAIL	618.57
k_grz_n-18	FAIL	618.72
s510_d6_s	FAIL	618.82
test4_quant_squaring2	FAIL	618.93
k_branch_p-21	FAIL	618.93
emptyroom_e4_par---21_	FAIL	619.24
k_poly_n-17	FAIL	619.25
k_ph_p-10	FAIL	619.42
rankfunc22_signed_64	FAIL	619.43
k8_3_2	FAIL	619.62
dungeon_i10-m10-u10-v0.pddl_planlen=187	FAIL	619.63
C499.blif_0.10_0.20_0_1_out_exact	FAIL	619.66
k_branch_p-12	FAIL	619.73
k_path_p-14	FAIL	619.82
s820_d10_s	FAIL	619.87
k_t4p_n-15	FAIL	620.02
s1269_d10_s	FAIL	620.02
s510_d35_s	FAIL	620.12
s1196_d2_s	FAIL	620.13
k_t4p_p-9	FAIL	620.34
k_t4p_p-18	FAIL	620.44
cnt08e	FAIL	620.44
adder-12-unsat	FAIL	620.52
test2_quant_squaring3	FAIL	620.62
test3_quant_squaring4	FAIL	620.63
s713_d2_s	FAIL	620.74
stmt28_68_81	FAIL	620.92
k_branch_p-5	FAIL	620.92
s499_d15_s	FAIL	620.99
k5_3_2	FAIL	621.52
k_branch_n-11	FAIL	621.54
k_branch_n-9	FAIL	621.62
k_d4_n-10	FAIL	621.65
gttt_2_1_00011020_4x4_b	FAIL	621.72
k_t4p_p-16	FAIL	621.82
test5_quant_squaring4	FAIL	622.03
C499.blif_0.10_1.00_0_0_out_exact	FAIL	622.22
texas.PI_main^16.E-f2	FAIL	622.22
k_dum_n-9	FAIL	622.23
sdlx-fixpoint-3	FAIL	622.32
k_branch_p-16	FAIL	622.45
s1269_d14_u	FAIL	622.53
gttt_1_1_00101121_4x4_torus_w	FAIL	622.53
k_branch_p-10	FAIL	622.56
s386_d7_s	FAIL	623.12
k_poly_n-5	FAIL	623.43
k_d4_n-16	FAIL	623.52
s1269_d3_s	FAIL	623.63
adder-14-sat	FAIL	623.63
s499_d7_s	FAIL	623.64
s713_d10_u	FAIL	623.65
uclid-pipe3b	FAIL	623.66
incrementer-enc08-uniform-depth-33	FAIL	623.72
uclid-pipe3a	FAIL	624.02
s1269_d15_u	FAIL	624.12
nusmv.reactor^3.C-d4	FAIL	624.24
emptyroom_e3_ser---19_	FAIL	624.38
s1269_d13_u	FAIL	624.44
k_t4p_n-13	FAIL	625.12
sortnetsort9.AE.stepl.009	FAIL	625.14
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	625.52
c3_BMC_p1_k256	FAIL	625.52
k_t4p_n-12	FAIL	625.61
k_poly_n-16	FAIL	625.84
c4_Debug_s3_f2_e2_v2	FAIL	625.85
dungeon_i10-m5-u10-v0.pddl_planlen=134	FAIL	625.94
s499_d24_u	FAIL	625.94
szymanski-16-s	FAIL	625.95
s713_d6_s	FAIL	626.02
mutex-128-s	FAIL	626.12
s386_d6_s	FAIL	626.13
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	626.42
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	626.42
arbiter-07-comp-error02-qbf-hardness-depth-6	FAIL	626.42
s510_d28_s	FAIL	626.6
k_t4p_p-17	FAIL	626.73
s1196_d7_u	FAIL	626.73
k_branch_p-14	FAIL	626.93
s298_d14_s	FAIL	626.97
s298_d25_u	FAIL	627.03
s820_d15_u	FAIL	627.03
cnt07e	FAIL	627.22
cache-coherence-2-fixpoint-1	FAIL	627.32
connect_8x7_6_R	FAIL	627.38
input_pnpi8042_moudep.c	FAIL	627.42
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	627.53
szymanski-14-s	FAIL	627.56
s298_d19_u	FAIL	627.62
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	627.62
k_t4p_p-20	FAIL	627.63
s641_d4_s	FAIL	627.82
k_poly_n-14	FAIL	628.04
k_path_p-13	FAIL	628.22
arbiter-06-comp-error01-qbf-hardness-depth-15	FAIL	628.23
s386_d2_s	FAIL	628.42
s820_d14_u	FAIL	628.53
s3330_d8_s	FAIL	628.68
arbiter-06-comp-error02-qbf-hardness-depth-5	FAIL	628.72
network_irda_miniport_nscirda_comm.c	FAIL	628.77
gttt_2_1_00102030_4x4_torus_b	FAIL	628.92
s820_d9_s	FAIL	629.02
k_path_n-9	FAIL	629.02
k_t4p_p-15	FAIL	629.14
k_branch_p-8	FAIL	629.62
k_path_n-16	FAIL	630.02
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	630.16
s27_d4_u	FAIL	630.43
s15850_PR_8_50	FAIL	630.47
k_t4p_n-8	FAIL	630.52
p20-1.pddl_planlen=32	FAIL	630.52
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	630.52
s713_d4_s	FAIL	630.72
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	630.72
C880.blif_0.10_1.00_0_0_out_exact	FAIL	630.81
test2_quant_squaring2	FAIL	630.82
query03_query25_1344	FAIL	630.92
stmt44_916_917	FAIL	631.62
k_path_p-19	FAIL	631.62
incrementer-enc07-uniform-depth-25	FAIL	631.82
s386_d11_u	FAIL	631.82
k_poly_n-20	FAIL	631.83
k_t4p_n-6	FAIL	631.92
cnt14	FAIL	631.97
s510_d32_s	FAIL	632.02
k_t4p_p-12	FAIL	632.12
k_d4_n-15	FAIL	632.34
stmt21_79_304	FAIL	632.43
s713_d3_s	FAIL	632.44
szymanski-20-s	FAIL	632.49
kernel_agplib_intrface.c	FAIL	632.55
s713_d7_u	FAIL	632.62
s820_d2_s	FAIL	633.33
ken.oop^2.C-d3	FAIL	633.82
texas.two_proc^4.E-f2	FAIL	633.82
s1269_d9_s	FAIL	634.22
s499_d9_s	FAIL	634.32
k8_3_4	FAIL	634.53
k_t4p_p-10	FAIL	634.82
mutex-32-s	FAIL	634.92
s641_d10_u	FAIL	635.02
s641_d5_s	FAIL	635.25
s510_d24_s	FAIL	635.82
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	636.02
k_branch_n-16	FAIL	636.28
k_d4_n-20	FAIL	636.63
ev-pr-8x8-19-7-0-1-2-lg	FAIL	636.64
s3330_d7_s	FAIL	636.84
rewriting_k_100	FAIL	637.34
s3330_d2_s	FAIL	637.44
ken.oop^2.C-d4	FAIL	637.72
nusmv.tcas^3.B-f2	FAIL	637.95
k_path_n-19	FAIL	638.23
vis.4-arbit^2.E-f2	FAIL	638.52
s3330_d4_s	FAIL	638.82
k_branch_p-6	FAIL	638.94
Adder2-8-c	FAIL	639.15
adder-10-sat	FAIL	639.62
emptyroom_e4_ser--opt-44_	FAIL	640.03
k_t4p_n-5	FAIL	640.15
test1_quant_squaring2	FAIL	640.32
k_poly_n-7	FAIL	640.52
k_branch_n-8	FAIL	640.92
b22_C_2_12	FAIL	641.42
sortnetsort9.v.stepl.007	FAIL	641.52
szymanski-10-s	FAIL	641.72
s641_d6_s	FAIL	642.44
pipesnotankage18_8	FAIL	642.95
toilet_c_10_01.17	FAIL	643.22
k6_2_3	FAIL	643.32
k_t4p_n-4	FAIL	643.42
s3330_d5_s	FAIL	643.44
p20-1.pddl_planlen=24	FAIL	643.63
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	643.91
p20-5.pddl_planlen=17	FAIL	644.12
s499_d22_u	FAIL	644.56
s298_d22_u	FAIL	644.64
k_t4p_p-6	FAIL	644.72
s713_d5_s	FAIL	645.83
szymanski-12-s	FAIL	646.62
adder-12-sat	FAIL	646.62
k_path_p-15	FAIL	648.12
s510_d3_s	FAIL	648.78
cube_c11_ser--opt-42_	FAIL	648.94
nusmv.tcas-t^1.B-d2	FAIL	649.02
qshifter_5	FAIL	649.42
dungeon_i25-m12-u3-v0.pddl_planlen=130	FAIL	649.53
dungeon_i25-m12-u3-v0.pddl_planlen=190	FAIL	649.58
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	649.7
uclid-pipe2	FAIL	651.25
p20-5.pddl_planlen=32	FAIL	651.67
Adder2-16-s	FAIL	651.93
k_poly_n-18	FAIL	652.12
k8_2_3	FAIL	652.42
C880.blif_0.10_0.20_0_0_out_exact	FAIL	652.55
texas.PI_main^08.E-f3	FAIL	652.57
s1269_d8_s	FAIL	653.33
szymanski-24-s	FAIL	653.62
s499_d25_u	FAIL	653.64
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	654.12
s510_d23_s	FAIL	654.22
s386_d12_u	FAIL	654.92
arbiter-06-comp-error01-qbf-hardness-depth-12	FAIL	655.12
sortnetsort9.v.stepl.005	FAIL	655.22
s820_d8_s	FAIL	656.37
s386_d4_s	FAIL	656.42
s1269_d5_s	FAIL	656.92
connect_8x7_5_R	FAIL	657.75
s499_d18_s	FAIL	658.02
s3330_d3_s	FAIL	658.24
s1269_d4_s	FAIL	658.31
b22_PR_8_20	FAIL	658.62
k5_2_3	FAIL	658.72
s386_d3_s	FAIL	659.02
p10-10.pddl_planlen=6	FAIL	659.23
ken.flash^08.C-d4	FAIL	659.72
s713_d9_u	FAIL	659.82
c5_BMC_p2_k128	FAIL	661.14
s499_d12_s	FAIL	661.15
s298_d18_s	FAIL	661.43
sortnetsort10.v.stepl.005	FAIL	661.72
connect_9x8_6_R	FAIL	661.84
s499_d19_s	FAIL	662.48
s641_d11_u	FAIL	663.25
s641_d3_s	FAIL	663.52
gttt_2_2_001020_4x4_w	FAIL	663.62
s820_d11_u	FAIL	663.74
s298_d4_s	FAIL	664.25
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	664.43
arbiter-07-comp-error01-qbf-hardness-depth-4	FAIL	664.52
s820_d7_s	FAIL	664.82
s510_d11_s	FAIL	664.82
s298_d2_s	FAIL	666.07
s1196_d5_u	FAIL	666.5
s713_d8_u	FAIL	666.7
b20_PR_7_20	FAIL	666.82
s499_d17_s	FAIL	667.22
input_mouser_cseries.c	FAIL	667.22
incrementer-enc02-uniform-depth-58	FAIL	667.68
s298_d17_s	FAIL	668.32
s1196_d4_u	FAIL	669.42
eijk.bs4863.S-d4	FAIL	671.73
s386_d9_u	FAIL	672.17
s386_d8_u	FAIL	673.01
s510_d36_s	FAIL	673.59
s641_d8_u	FAIL	673.93
k12_4_2	FAIL	674.17
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	674.51
rewriting_k_50	FAIL	674.91
incrementer-enc06-uniform-depth-24	FAIL	677.63
s298_d12_s	FAIL	679.3
rankfunc5_signed_32	FAIL	680.02
test1_quant_squaring3	FAIL	680.62
s1269_d12_u	FAIL	681.12
pipesnotankage14_10	FAIL	681.17
mutex-64-s	FAIL	687.44
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	688.42
BLOCKS4i.6.4	FAIL	691.02
Adder2-10-s	FAIL	692.53
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	694.43
k8_4_3	FAIL	698.62
szymanski-8-s	FAIL	699.53
rewriting_k_75	FAIL	700.02
rewriting_k_30	FAIL	700.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010	FAIL	700.02
s298_d10_s	FAIL	700.02

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by depqbf-cert-v2 QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instances solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.