Instances solved by <a href='solver_detail.php?solver=240'>iprover-QBF-bloqqer</a> <br> QBFEVAL'16

Instances solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

Instance	Result	Time
toilet_a_04_05.2	SAT	0.04
toilet_g_06_01.2	SAT	0.04
stmt44_107_108	SAT	0.04
tree-exa2-10	FAIL	0.04
tree-exa2-35	FAIL	0.04
k_ph_n-4	SAT	0.04
ring_r4_ser--opt-11_	FAIL	0.04
k_d4_n-1	SAT	0.04
qshifter_4	SAT	0.04
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	FAIL	0.04
k_d4_p-1	FAIL	0.04
mutex-2-s	SAT	0.04
tree-exa10-10	SAT	0.04
impl06	SAT	0.04
impl04	SAT	0.04
tree-exa2-50	FAIL	0.04
toilet_g_02_01.2	SAT	0.04
toilet_g_10_01.2	SAT	0.04
toilet_g_08_01.2	SAT	0.04
tree-exa2-25	FAIL	0.04
impl12	SAT	0.04
impl18	SAT	0.04
impl14	SAT	0.04
toilet_a_02_10.2	SAT	0.04
qshifter_3	SAT	0.04
stmt44_107_113	SAT	0.04
toilet_a_04_01.4	FAIL	0.04
toilet_c_06_01.4	UNSAT	0.04
stmt1_30_31	SAT	0.04
toilet_c_08_01.2	FAIL	0.04
toilet_c_04_01.4	FAIL	0.04
toilet_g_15_01.2	SAT	0.04
toilet_g_20_01.2	SAT	0.04
impl08	SAT	0.04
tree-exa2-40	FAIL	0.04
rewriting_k_10	FAIL	0.04
impl10	SAT	0.04
tree-exa2-45	FAIL	0.04
s27_d2_s	SAT	0.04
tree-exa2-30	FAIL	0.04
rewriting_k_17	FAIL	0.04
rewriting_k_19	FAIL	0.04
tree-exa10-30	SAT	0.04
rewriting_k_21	FAIL	0.04
rewriting_k_23	FAIL	0.04
k_poly_n-2	SAT	0.04
rewriting_k_25	FAIL	0.04
adder-2-unsat	UNSAT	0.04
impl20	SAT	0.04
rewriting_k_30	FAIL	0.04
rewriting_k_50	FAIL	0.04
counter_e_2	SAT	0.04
k_ph_p-3	FAIL	0.04
k_ph_n-3	SAT	0.04
lognBWLARGEA0	FAIL	0.04
cnt02e	SAT	0.04
lognBWLARGEB0	FAIL	0.04
tree-exa2-20	FAIL	0.04
cnt01	SAT	0.04
flipflop-3-c	FAIL	0.04
k_ph_p-1	FAIL	0.04
impl02	SAT	0.04
z4ml.blif_0.10_1.00_0_0_inp_exact	FAIL	0.05
k_dum_n-2	SAT	0.05
k_dum_n-1	SAT	0.05
k_lin_p-2	FAIL	0.05
k_ph_n-1	SAT	0.05
k_dum_n-3	SAT	0.05
impl16	SAT	0.05
rewriting_k_75	FAIL	0.05
toilet_g_04_01.2	SAT	0.05
k_dum_p-2	FAIL	0.05
aim-100-1_6-yes1-2-00	SAT	0.05
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.05
k_poly_p-2	FAIL	0.05
k_dum_p-3	FAIL	0.05
k_path_p-2	FAIL	0.05
qshifter_5	SAT	0.06
k_dum_p-4	FAIL	0.06
z4ml.blif_0.10_1.00_0_0_out_exact	FAIL	0.06
z4ml.blif_0.10_0.20_0_0_out_exact	FAIL	0.06
k_poly_n-5	SAT	0.06
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.06
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.06
CHAIN12v.13	SAT	0.06
k_poly_p-4	FAIL	0.06
mutex-4-s	SAT	0.06
incrementer-enc05-uniform-depth-2	FAIL	0.06
k_lin_p-3	FAIL	0.07
stmt17_18_19	SAT	0.07
toilet_a_06_01.6	UNSAT	0.07
s27_d3_u	FAIL	0.07
k_poly_n-6	SAT	0.07
rewriting_k_100	FAIL	0.07
z4ml.blif_0.10_0.20_0_0_inp_exact	FAIL	0.07
k_dum_p-6	FAIL	0.07
k_dum_n-5	SAT	0.07
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.07
k_branch_n-2	SAT	0.07
Adder2-2-c	FAIL	0.07
k_grz_n-2	SAT	0.07
k_poly_p-7	FAIL	0.08
CHAIN14v.15	SAT	0.08
s298_d2_s	SAT	0.08
k_d4_n-2	SAT	0.08
k_path_p-5	FAIL	0.08
k_d4_p-4	FAIL	0.08
k_path_n-3	SAT	0.08
flipflop-4-c	FAIL	0.09
k_lin_p-4	FAIL	0.09
k_path_n-4	SAT	0.09
cnt05	SAT	0.09
k_path_n-5	SAT	0.09
CHAIN16v.17	SAT	0.09
k_poly_p-8	FAIL	0.09
k_poly_n-7	SAT	0.09
toilet_c_08_01.6	UNSAT	0.09
k_t4p_n-2	SAT	0.1
k_dum_n-9	SAT	0.1
BLOCKS3iii.4	FAIL	0.1
CHAIN17v.18	SAT	0.1
k_ph_p-5	UNSAT	0.1
k_grz_p-4	FAIL	0.1
k_grz_n-4	SAT	0.1
k_poly_p-9	FAIL	0.1
CHAIN18v.19	SAT	0.11
k_d4_n-3	SAT	0.11
mutex-8-s	SAT	0.11
k_path_n-6	SAT	0.11
k_poly_p-11	FAIL	0.11
k_grz_n-5	SAT	0.11
k_grz_p-5	FAIL	0.11
k_dum_p-12	FAIL	0.12
k_dum_n-11	SAT	0.12
CHAIN19v.20	SAT	0.12
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	FAIL	0.13
k_poly_p-14	FAIL	0.13
k_dum_n-12	SAT	0.13
k_poly_n-14	SAT	0.13
k_t4p_p-4	FAIL	0.13
toilet_c_08_01.7	UNSAT	0.14
k_d4_p-7	FAIL	0.14
k_poly_p-15	FAIL	0.14
CHAIN20v.21	SAT	0.14
k_lin_n-3	SAT	0.14
stmt27_296_297	SAT	0.14
k_grz_n-6	SAT	0.14
k_poly_p-16	FAIL	0.15
CHAIN21v.22	SAT	0.15
k_dum_p-16	FAIL	0.15
k_poly_n-16	SAT	0.15
k_poly_n-17	SAT	0.15
k_path_n-9	SAT	0.15
k_grz_n-7	SAT	0.15
k_dum_p-17	FAIL	0.15
texas.parsesys^1.E-d4	SAT	0.16
k_poly_n-18	SAT	0.16
k_d4_p-8	FAIL	0.16
rankfunc17_unsigned_16	SAT	0.16
k_branch_n-3	SAT	0.16
toilet_c_06_01.8	UNSAT	0.16
k_path_p-10	FAIL	0.16
k_lin_p-8	FAIL	0.17
k_dum_p-20	FAIL	0.17
CHAIN22v.23	SAT	0.17
rankfunc5_signed_32	SAT	0.17
gttt_2_2_0010_3x3_torus_w	FAIL	0.17
k_t4p_p-6	FAIL	0.17
k_grz_n-8	SAT	0.17
k_poly_p-19	FAIL	0.17
k_poly_n-20	SAT	0.18
k_dum_p-21	FAIL	0.18
qshifter_6	SAT	0.18
k_dum_n-17	SAT	0.18
k_dum_n-18	SAT	0.18
BLOCKS3ii.4.3	FAIL	0.18
stmt44_916_917	SAT	0.18
CHAIN23v.24	SAT	0.18
vonNeumann-ripple-carry-5-c	FAIL	0.19
k_t4p_n-4	SAT	0.19
stmt24_765_766	SAT	0.19
toilet_a_04_01.6	UNSAT	0.19
k_poly_n-21	SAT	0.19
k_grz_p-10	FAIL	0.2
k_path_n-12	SAT	0.2
BLOCKS3iii.5	SAT	0.2
k_lin_p-11	FAIL	0.2
k_d4_p-10	FAIL	0.2
connect_5x4_3_D	FAIL	0.2
lut4_XOR_fOR	UNSAT	0.2
k_path_p-13	FAIL	0.2
rankfunc13_signed_32	SAT	0.2
k_grz_p-12	FAIL	0.21
k_dum_n-21	SAT	0.21
k_path_p-14	FAIL	0.21
k_d4_p-11	FAIL	0.22
k_grz_p-11	FAIL	0.22
k_grz_p-13	FAIL	0.22
k_lin_p-9	FAIL	0.22
k_path_p-15	FAIL	0.22
k_path_n-13	SAT	0.22
k_lin_p-12	FAIL	0.23
k_path_n-14	SAT	0.23
s27_d4_u	FAIL	0.23
stmt16_950_951	SAT	0.24
k_lin_p-10	FAIL	0.24
rankfunc51_signed_32	SAT	0.24
k_t4p_p-9	FAIL	0.24
k_path_p-16	FAIL	0.24
k_ph_n-6	SAT	0.24
ken.flash^10.C-f2	FAIL	0.24
k_t4p_n-5	SAT	0.24
k_grz_n-10	SAT	0.24
k_branch_n-4	SAT	0.25
k_d4_p-13	FAIL	0.25
mutex-16-s	SAT	0.25
flipflop-5-c	FAIL	0.25
k_path_n-16	SAT	0.26
k_lin_p-19	FAIL	0.26
k_t4p_p-10	FAIL	0.26
vis.4-arbit^2.E-f2	SAT	0.26
k_grz_p-16	FAIL	0.27
k_grz_p-17	FAIL	0.27
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.27
k_path_p-18	FAIL	0.27
k_lin_p-14	FAIL	0.28
k_t4p_n-6	SAT	0.29
connect_6x5_5_D	FAIL	0.29
k_dum_p-14	FAIL	0.29
k_path_p-19	FAIL	0.3
vis.prodcell^01.E-d2	SAT	0.31
toilet_a_08_05.2	UNSAT	0.31
k_path_n-19	SAT	0.31
k_lin_n-6	SAT	0.31
k_path_p-21	FAIL	0.32
k_t4p_p-12	FAIL	0.32
cnt11	SAT	0.32
k_d4_p-16	FAIL	0.33
cnt10	SAT	0.33
vonNeumann-ripple-carry-6-c	FAIL	0.33
k_d4_n-7	SAT	0.33
k_d4_p-17	FAIL	0.34
rankfunc5_unsigned_64	SAT	0.34
query01_ntrivil_1344	UNSAT	0.34
k_grz_p-19	FAIL	0.34
k_grz_p-18	FAIL	0.35
k_lin_n-5	SAT	0.35
rankfunc33_signed_32	SAT	0.35
ken.flash^10.C-f3	FAIL	0.36
stmt41_738_749	SAT	0.36
szymanski-5-s	FAIL	0.36
k_d4_n-8	SAT	0.39
small-swap1-fixpoint-3	SAT	0.39
k_t4p_p-15	FAIL	0.39
k_t4p_p-16	FAIL	0.41
k_t4p_n-8	SAT	0.41
k_d4_p-20	FAIL	0.42
connect_7x6_4_W	FAIL	0.42
s27_d5_u	FAIL	0.42
k_branch_p-5	FAIL	0.43
k_t4p_n-9	SAT	0.44
k_t4p_p-17	FAIL	0.44
rankfunc14_signed_64	SAT	0.45
k_t4p_p-18	FAIL	0.47
eijk.S382.S-d4	SAT	0.47
k_lin_n-7	SAT	0.48
rankfunc13_unsigned_64	SAT	0.49
connect_8x7_7_W	FAIL	0.51
k_grz_n-18	SAT	0.52
k_t4p_p-20	FAIL	0.52
BLOCKS3ii.5.2	FAIL	0.53
cnt14	SAT	0.53
toilet_a_06_01.10	UNSAT	0.53
BLOCKS3ii.5.3	SAT	0.53
k_d4_n-10	SAT	0.54
aim-50-6_0-yes1-3-50	FAIL	0.54
vonNeumann-ripple-carry-7-c	FAIL	0.54
k_grz_n-20	SAT	0.57
stmt25_52_53	SAT	0.58
c4_BMC_p1_k32	SAT	0.58
lut4_XOR_f1	SAT	0.59
par8-1-c-50	FAIL	0.6
k_t4p_n-12	SAT	0.61
tlc03-uniform-depth-9	FAIL	0.64
k_ph_n-11	SAT	0.65
k_lin_n-8	SAT	0.65
k_grz_n-21	SAT	0.65
query48_query15_1344	UNSAT	0.66
k_t4p_n-13	SAT	0.67
k_branch_p-6	FAIL	0.68
k3_1_1	SAT	0.71
rankfunc22_signed_64	SAT	0.72
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.72
flipflop-6-c	FAIL	0.73
k_t4p_n-14	SAT	0.73
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.74
gttt_2_2_00101121_3x3_b	UNSAT	0.75
k_lin_n-9	SAT	0.77
small-synabs-fixpoint-9	FAIL	0.77
stmt27_16_97	FAIL	0.77
sortnetsort5.v.stepl.004	UNSAT	0.78
k_t4p_n-15	SAT	0.8
mutex-32-s	SAT	0.83
szymanski-6-s	FAIL	0.84
k_d4_n-14	SAT	0.85
vonNeumann-ripple-carry-8-c	FAIL	0.86
qshifter_7	SAT	0.9
k_d4_n-15	SAT	0.93
gttt_2_1_000111_3x3_torus_b	SAT	0.98
texas.PI_main^16.E-f2	SAT	1.01
lights3_021_0_027	UNSAT	1.01
k_d4_n-16	SAT	1.03
s386_d2_s	SAT	1.06
cache-coherence-2-fixpoint-1	FAIL	1.11
aim-100-6_0-yes1-3-50	SAT	1.28
vonNeumann-ripple-carry-9-c	FAIL	1.31
toilet_c_08_01.11	UNSAT	1.37
k_lin_n-11	SAT	1.41
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	FAIL	1.41
lights3_021_0_009	SAT	1.45
k_branch_p-8	FAIL	1.48
k_d4_n-20	SAT	1.52
lut4_AND_fXOR	UNSAT	1.53
k_branch_n-8	SAT	1.59
lut4_2_fXOR	SAT	1.66
driverlog01_7	SAT	1.85
k_branch_n-9	SAT	1.87
b12_PR_9_2	SAT	1.89
vonNeumann-ripple-carry-10-c	FAIL	1.91
flipflop-7-c	FAIL	1.93
dungeon_i10-m5-u10-v0.pddl_planlen=23	UNSAT	1.94
mutex-64-s	SAT	2.04
fpu-10Xh-error01-uniform-depth-5	FAIL	2.05
cube_c3_ser--opt-6_	SAT	2.17
toilet_c_08_05.4	SAT	2.3
ev-pr-4x4-5-3-0-0-1-lg	SAT	2.36
k_ph_n-8	SAT	2.38
k_ph_n-14	SAT	2.43
tlc03-nonuniform-depth-17	UNSAT	2.44
k_branch_n-10	SAT	2.46
k_branch_p-10	FAIL	2.47
fpu-10Xe-correct01-nonuniform-depth-6	FAIL	2.48
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	2.49
vonNeumann-ripple-carry-11-c	FAIL	2.57
toilet_a_08_01.13	UNSAT	2.57
rankfunc3_signed_64	SAT	2.7
term1.blif_0.10_1.00_0_1_inp_exact	SAT	2.76
tlc03-uniform-depth-21	FAIL	2.89
szymanski-8-s	FAIL	2.97
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	3.01
term1.blif_0.10_1.00_0_1_out_exact	SAT	3.11
k_lin_n-14	SAT	3.12
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	3.19
k_branch_n-11	SAT	3.38
k_branch_p-11	FAIL	3.39
C499.blif_0.10_1.00_0_1_inp_exact	SAT	3.39
fpu-10Xh-correct04-uniform-depth-8	FAIL	3.42
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	3.55
toilet_a_10_05.3	UNSAT	3.59
small-swap2-fixpoint-4	SAT	3.66
toilet_c_10_01.12	UNSAT	3.75
vonNeumann-ripple-carry-12-c	FAIL	3.79
C499.blif_0.10_1.00_0_1_out_exact	SAT	3.83
lut4_2_f1	SAT	3.91
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	4.02
k_lin_n-15	SAT	4.29
lut4_AND_f1	SAT	4.4
k_branch_p-12	FAIL	4.46
k_branch_n-12	SAT	4.58
C432.blif_0.10_1.00_0_1_inp_exact	SAT	4.75
texas.PI_main^08.E-f3	SAT	4.97
vonNeumann-ripple-carry-13-c	FAIL	5.08
lights3_035_0_002	UNSAT	5.22
flipflop-8-c	FAIL	5.22
lut4_2_f2	UNSAT	5.24
mutex-128-s	SAT	5.25
lights3_035_0_027	FAIL	5.26
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	5.36
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	5.38
s298_d4_s	SAT	5.53
k_ph_n-9	SAT	5.54
stmt19_217_309	UNSAT	5.63
k_branch_p-14	FAIL	5.66
fpu-10Xh-correct04-uniform-depth-14	FAIL	5.75
query21_ntrivil_1344	UNSAT	5.8
Core1108_tbm_21.tex.module.000026	UNSAT	5.85
fpu-10Xh-correct04-uniform-depth-15	FAIL	5.98
k_branch_p-16	FAIL	6.1
fpu-10Xh-correct04-uniform-depth-16	FAIL	6.26
k_branch_n-16	SAT	6.43
BLOCKS4iii.6	UNSAT	6.59
fpu-10Xh-correct04-nonuniform-depth-18	FAIL	6.98
lights3_035_0_051	UNSAT	7.08
C432.blif_0.10_1.00_0_1_out_exact	SAT	7.53
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	7.83
s3330_d2_s	SAT	7.85
BLOCKS3i.5.4	SAT	7.88
p5-5.pddl_planlen=5	SAT	7.93
szymanski-10-s	FAIL	8.18
fpu-10Xe-correct01-uniform-depth-22	FAIL	8.22
lognBWLARGEA1	UNSAT	8.34
vonNeumann-ripple-carry-15-c	FAIL	8.76
fpu-10Xe-correct01-nonuniform-depth-24	FAIL	8.83
cache-coherence-3-fixpoint-3	FAIL	9.58
k_branch_p-18	FAIL	9.75
fpu-10Xh-correct04-nonuniform-depth-27	FAIL	9.81
s820_d2_s	SAT	10.14
b20_PR_7_90	UNSAT	10.82
qshifter_8	SAT	11.04
p5-5.pddl_planlen=6	SAT	11.58
k_lin_n-17	SAT	11.8
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	12.46
BLOCKS3i.5.3	UNSAT	12.97
tlc03-uniform-depth-52	UNSAT	13.29
flipflop-9-c	FAIL	13.87
s713_d2_s	SAT	14.52
driverlog03_7	SAT	14.68
ring_r3_ser--opt-8_	SAT	16.09
tlc01-uniform-depth-73	UNSAT	16.22
ken.flash^03.C-f3	UNSAT	16.3
s641_d2_s	SAT	16.32
c4_BMC_p2_k128	UNSAT	17.16
incrementer-enc03-nonuniform-depth-13	UNSAT	17.8
cnt08e	SAT	18.69
c1_BMC_p1_k4	SAT	18.94
dungeon_i10-m5-u10-v0.pddl_planlen=134	UNSAT	19.84
szymanski-12-s	FAIL	20.76
C5315.blif_0.10_1.00_0_1_out_exact	SAT	21.31
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	21.56
cnt07e	SAT	22.79
emptyroom_e3_ser--opt-20_	SAT	23.08
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	23.71
sortnetsort7.v.stepl.007	SAT	23.87
BLOCKS4i.6.4	UNSAT	27.83
par8-4-50	FAIL	28.06
s05378_PR_1_75	UNSAT	28.2
tlc04-uniform-depth-36	UNSAT	28.91
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	29
p10-10.pddl_planlen=10	SAT	31.87
query11_query21_1344	UNSAT	32.72
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	33.43
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	34.15
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	35.57
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	38.12
term1.blif_0.10_0.20_0_1_inp_exact	SAT	39.69
k_ph_p-10	UNSAT	40.02
s1196_d6_u	FAIL	40.03
s01238_PR_8_2	SAT	40.18
toilet_a_08_05.9	SAT	42.11
lognBWLARGEB1	UNSAT	43.1
BLOCKS4ii.7.2	UNSAT	43.51
s641_d8_u	FAIL	44.04
irst.dme6.B-d2	SAT	46.49
szymanski-14-s	FAIL	47.23
s3330_d4_s	FAIL	51.93
s820_d8_s	FAIL	54.33
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	57.26
s641_d10_u	FAIL	57.83
s3330_d3_s	FAIL	58.63
incrementer-enc07-nonuniform-depth-17	UNSAT	58.93
gttt_1_1_000111_3x3_torus_w	UNSAT	59.15
s499_d17_s	FAIL	59.33
s3330_d5_s	FAIL	60.84
toilet_c_10_01.17	UNSAT	62.79
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	63.95
s713_d10_u	FAIL	64.33
s713_d11_u	FAIL	67.83
s1196_d5_u	FAIL	68.93
s820_d12_u	FAIL	69.45
s820_d10_s	FAIL	70.03
s1196_d7_u	FAIL	73.75
sortnetsort9.AE.stepl.012	FAIL	76.93
s820_d7_s	FAIL	81.03
s09234_PR_8_5	SAT	81.57
s05378_PR_9_2	SAT	83.07
query03_query25_1344	UNSAT	84.3
incrementer-enc07-nonuniform-depth-21	UNSAT	85.98
s499_d19_s	FAIL	86.13
s820_d11_u	FAIL	87.33
c5_BMC_p1_k32	SAT	88.4
s1269_d5_s	FAIL	88.73
s1269_d8_s	FAIL	90.73
s713_d8_u	FAIL	93.73
flipflop-10-c	FAIL	93.75
lut4_3_fAND	SAT	93.99
s298_d18_s	FAIL	95.93
s713_d9_u	FAIL	96.23
s1269_d9_s	FAIL	98.13
small-seq-fixpoint-5	FAIL	98.73
k5_2_3	SAT	99.92
incrementer-enc03-nonuniform-depth-24	UNSAT	100.26
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	UNSAT	100.77
s298_d19_u	FAIL	101.13
s499_d18_s	FAIL	101.63
driverlog10_6	UNSAT	106.61
s641_d11_u	FAIL	108.33
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	110.47
nusmv.reactor^3.C-d4	FAIL	112.54
gttt_2_1_0010_4x4_torus_b	UNSAT	114.16
s1269_d10_s	FAIL	118.73
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	119.69
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	120.91
query26_query34_1344	SAT	122.85
s820_d9_s	FAIL	123.53
stmt17_70_98	FAIL	126.43
s499_d15_s	FAIL	129.13
s386_d11_u	FAIL	129.63
s386_d12_u	FAIL	131.05
tlc02-uniform-depth-114	UNSAT	131.66
arbiter-07-comp-error01-qbf-hardness-depth-4	UNSAT	132.88
adder-14-sat	FAIL	133.54
s499_d22_u	FAIL	133.63
stmt17_62_98	FAIL	139.23
small-seq-fixpoint-3	FAIL	144.25
k5_3_2	SAT	146.01
s298_d25_u	FAIL	146.73
incrementer-enc02-nonuniform-depth-31	UNSAT	147.8
s09234_PR_8_2	SAT	158.42
Adder2-16-s	FAIL	162.63
ev-pr-4x4-5-3-0-0-1-s	SAT	162.87
s713_d6_s	FAIL	167.24
stmt17_82_98	FAIL	170.04
stmt17_86_98	FAIL	171.75
incrementer-enc07-uniform-depth-25	UNSAT	171.93
s298_d22_u	FAIL	171.93
s298_d17_s	FAIL	173.03
stmt19_83_412	FAIL	173.23
s499_d24_u	FAIL	175.05
szymanski-16-s	FAIL	175.88
nusmv.tcas^3.B-f2	FAIL	181.44
sdlx-fixpoint-3	FAIL	187.15
stmt17_70_90	FAIL	193.93
s641_d7_u	FAIL	207.33
k_ph_n-21	FAIL	210.27
s1196_d4_u	FAIL	210.93
s1196_d2_s	FAIL	213.73
incrementer-enc06-uniform-depth-24	UNSAT	217.15
depots03_9	UNSAT	218.05
s820_d14_u	FAIL	218.13
k6_2_3	SAT	220.79
stmt41_160_235	FAIL	223.46
s1269_d12_u	FAIL	224.73
gttt_2_2_001020_4x4_w	FAIL	224.74
s820_d15_u	FAIL	226.34
s386_d9_u	FAIL	234.23
p10-10.pddl_planlen=6	UNSAT	234.93
ev-pr-6x6-7-5-0-1-2-s	FAIL	235.34
sortnetsort8.v.stepl.007	SAT	235.83
ev-pr-6x6-13-5-0-1-2-s	FAIL	237.43
dungeon_i10-m10-u10-v0.pddl_planlen=187	UNSAT	238.04
test4_quant_squaring4	FAIL	239.25
cnt16r	FAIL	242.85
s3330_d7_s	FAIL	247.04
ev-pr-6x6-15-5-0-1-2-s	FAIL	250.33
s386_d10_u	FAIL	253.63
ev-pr-6x6-11-5-0-1-2-s	FAIL	256.53
s820_d3_s	FAIL	257.94
gttt_2_1_00011020_4x4_b	FAIL	260.75
flipflop-11-c	FAIL	262.34
ev-pr-6x6-9-5-0-1-2-s	FAIL	264.15
uclid-pipe2	FAIL	265.84
connect_5x4_4_R	UNSAT	266.93
ev-pr-4x4-7-3-0-0-1-s	FAIL	269.24
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	273.94
Adder2-8-c	FAIL	275.15
c4_Debug_s5_f2_e2_v1	FAIL	275.18
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	281.55
ken.oop^2.C-d3	FAIL	286.05
test1_quant_squaring3	FAIL	292.94
arbiter-06-comp-error01-qbf-hardness-depth-15	FAIL	293.93
k8_3_4	FAIL	295.98
uclid-pipe3a	FAIL	298.84
test5_quant_squaring5	FAIL	299.05
s1196_d3_u	FAIL	299.94
k8_2_3	FAIL	300.46
test3_quant_squaring4	FAIL	302.95
adder-12-unsat	FAIL	303.64
s1269_d14_u	FAIL	305.13
s1269_d13_u	FAIL	305.99
stmt52_244_394	FAIL	306.13
ev-pr-6x6-17-5-0-1-2-s	FAIL	308.03
emptyroom_e4_par---21_	UNSAT	308.43
gttt_2_1_00102030_4x4_torus_b	FAIL	311.35
k8_3_2	FAIL	312.35
s510_d24_s	FAIL	315.33
tlc04-nonuniform-depth-56	UNSAT	315.49
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	315.63
ken.oop^2.C-d4	FAIL	334.74
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	341.35
k8_4_3	FAIL	342.34
emptyroom_e4_ser--opt-44_	FAIL	345.25
s499_d25_u	FAIL	346.04
cube_c9_par--opt-11_	SAT	347.5
nusmv.tcas-t^1.B-d2	FAIL	349.95
ken.flash^08.C-d4	FAIL	355.14
cube_c11_par---13_	FAIL	358.57
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	359.14
C880.blif_0.10_1.00_0_0_out_exact	FAIL	366.05
gttt_1_1_001020_3x3_w	FAIL	368.45
adder-10-sat	FAIL	374.34
pipesnotankage14_10	FAIL	379.68
cube_c7_ser--opt-24_	FAIL	380.87
C880.blif_0.10_0.20_0_0_out_exact	FAIL	382.45
ev-pr-4x4-7-3-0-0-1-lg	FAIL	385.34
ev-pr-4x4-9-3-0-0-1-lg	FAIL	385.56
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	386.54
test5_quant_squaring4	FAIL	387.98
c4_Debug_s3_f1_e2_v3	FAIL	388.45
s386_d4_s	FAIL	388.73
uclid-pipe3b	FAIL	389.24
s3330_d8_s	FAIL	389.94
s386_d6_s	FAIL	393.24
s510_d23_s	FAIL	402.24
sortnetsort9.AE.stepl.009	FAIL	410.83
sortnetsort10.v.stepl.005	FAIL	412.44
texas.two_proc^4.E-f2	FAIL	412.55
ev-pr-4x4-11-3-0-0-1-lg	FAIL	415.65
s1269_d4_s	FAIL	417.13
s510_d3_s	FAIL	418.73
adder-12-sat	FAIL	418.84
C880.blif_0.10_0.20_0_1_out_exact	FAIL	420.25
gttt_1_1_00101121_4x4_torus_w	FAIL	420.84
cache-coherence-2-fixpoint-6	FAIL	423.33
nusmv.tcas^6.B-f4	FAIL	427.13
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	428.25
arbiter-06-comp-error01-qbf-hardness-depth-12	FAIL	433.24
stmt23_66_96	FAIL	445.14
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	446.16
ev-pr-4x4-9-3-0-0-1-s	FAIL	447.54
s1196_1_5	FAIL	452.84
Umbrella_tbm_24.tex.module.000131	FAIL	453.14
s499_d12_s	FAIL	453.43
test2_quant_squaring2	FAIL	464.25
texas.PI_main^05.E-f3	FAIL	464.35
ev-pr-6x6-7-5-0-1-2-lg	FAIL	464.36
arbiter-07-comp-error01-qbf-hardness-depth-11	FAIL	466.54
s15850_PR_8_50	SAT	470.08
s641_d6_s	FAIL	472.43
sortnetsort8.v.stepl.009	FAIL	475.48
b22_C_2_12	FAIL	477.65
ev-pr-6x6-19-5-0-1-2-s	FAIL	480.23
query51_query50_1344	UNSAT	480.39
stmt28_68_81	FAIL	482.65
C499.blif_0.10_0.20_0_0_out_exact	FAIL	487.74
s713_d7_u	FAIL	492.23
s3330_d9_s	FAIL	492.85
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	493.73
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	496.64
ev-pr-4x4-13-3-0-0-1-lg	FAIL	501.96
query44_query26_1344n	FAIL	502.44
sortnetsort9.v.stepl.007	FAIL	505.34
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	506.44
C880.blif_0.10_1.00_0_1_out_exact	FAIL	506.95
szymanski-18-s	FAIL	513.82
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	525.96
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	529.95
arbiter-06-comp-error02-qbf-hardness-depth-5	UNSAT	533.34
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	544.36
C499.blif_0.10_0.20_0_1_out_exact	FAIL	544.76
stmt17_63_82	FAIL	547.95
c3_BMC_p1_k256	SAT	554.55
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	555.65
aim-200-1_6-yes1-4-90	FAIL	558.33
ev-pr-4x4-15-3-0-0-1-lg	FAIL	571.14
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	571.74
connect_5x4_3_R	FAIL	572.95
test4_quant_squaring2	FAIL	578.15
c4_Debug_s3_f1_e2_v2	FAIL	581.55
tlc04-nonuniform-depth-98	FAIL	584.43
audio_ddksynth_csynth2.cpp	FAIL	585.64
stmt21_319_418	FAIL	593.14
s1269_d15_u	FAIL	593.33
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	594.88
c4_Debug_s3_f1_e1_v2	FAIL	598.33
p20-20.pddl_planlen=23	FAIL	598.53
c3_Debug_s3_f2_e2_v2	FAIL	598.62
pipesnotankage18_8	FAIL	599.02
dungeon_i25-m12-u5-v0.pddl_planlen=65	FAIL	599.02
c2_Debug_s3_f2_e1_v3	FAIL	599.02
c1_Debug_s3_f1_e1_v1	FAIL	599.02
pipesnotankage18_7	FAIL	599.03
b21_C_3_206	FAIL	599.12
k_branch_n-20	FAIL	599.12
dungeon_i25-m12-u3-v0.pddl_planlen=72	FAIL	599.12
connect_8x7_4_R	FAIL	599.12
c1_Debug_s5_f1_e1_v2	FAIL	599.12
ev-pr-8x8-9-7-0-1-2-lg	FAIL	599.12
eijk.bs4863.S-d4	FAIL	599.12
Umbrella_tbm_25.tex.moduleQ3.2S.000075	FAIL	599.12
Adder2-10-s	FAIL	599.12
query42_query06_1344n	FAIL	599.12
s3330_d12_u	FAIL	599.12
tlc02-uniform-depth-241	FAIL	599.12
c2_Debug_s3_f1_e1_v2	FAIL	599.12
c1_BMC_p2_k1024	FAIL	599.12
b20_C_3_2	FAIL	599.12
dungeon_i25-m12-u3-v0.pddl_planlen=130	FAIL	599.12
dungeon_i25-m12-u3-v0.pddl_planlen=165	FAIL	599.12
dungeon_i25-m12-u3-v0.pddl_planlen=190	FAIL	599.12
dungeon_i25-m12-u5-v0.pddl_planlen=170	FAIL	599.12
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	599.12
c4_Debug_s3_f2_e2_v2	FAIL	599.12
szymanski-24-s	FAIL	599.12
c5_BMC_p2_k128	FAIL	599.12
c5_BMC_p2_k64	FAIL	599.12
ev-pr-4x4-15-3-0-0-1-s	FAIL	599.12
network_irda_miniport_nscirda_settings.c	FAIL	599.12
stmt19_64_99	FAIL	599.12
s15850_PR_2_2	FAIL	599.12
ev-pr-6x6-9-5-0-1-2-lg	FAIL	599.12
Core1108_tbm_21.tex.module.000027	FAIL	599.12
k_branch_p-21	FAIL	599.12
Umbrella_tbm_24.tex.module.000066	FAIL	599.12
AR-fixpoint-5	FAIL	599.12
Adder2-8-s	FAIL	599.12
Umbrella_tbm_05.tex.module.000039	FAIL	599.12
network_trans_sys_notify.c	FAIL	599.12
Core1108_tbm_21.tex.module.000008	FAIL	599.12
test2_quant_squaring3	FAIL	599.12
connect_8x7_6_R	FAIL	599.12
s298_d14_s	FAIL	599.13
s510_d36_s	FAIL	599.13
connect_9x8_6_R	FAIL	599.13
c1_BMC_p2_k512	FAIL	599.13
k12_4_2	FAIL	599.13
s510_d35_s	FAIL	599.13
ev-pr-8x8-19-7-0-1-2-lg	FAIL	599.13
ev-pr-6x6-17-5-0-1-2-lg	FAIL	599.13
szymanski-20-s	FAIL	599.13
ev-pr-8x8-17-7-0-1-2-lg	FAIL	599.13
Core1108_tbm_21.tex.module.000030	FAIL	599.13
incrementer-enc08-uniform-depth-33	FAIL	599.13
s1269_d3_s	FAIL	599.13
c2_BMC_p1_k2048	FAIL	599.14
ev-pr-8x8-7-7-0-1-2-lg	FAIL	599.22
p20-1.pddl_planlen=32	FAIL	599.22
ev-pr-6x6-15-5-0-1-2-lg	FAIL	599.22
k_ph_p-15	FAIL	599.22
s641_d4_s	FAIL	599.22
stmt23_72_76	FAIL	599.22
k_ph_p-20	FAIL	599.22
query31_reachqu_1344n	FAIL	599.22
ev-pr-6x6-5-5-0-1-2-s	FAIL	599.22
connect_8x7_5_R	FAIL	599.22
k_ph_p-18	FAIL	599.22
C432.blif_0.10_0.20_0_1_out_exact	FAIL	599.22
p20-1.pddl_planlen=26	FAIL	599.22
stmt19_90_266	FAIL	599.22
stmt29_226_376	FAIL	599.22
par16-1-50	FAIL	599.22
ev-pr-8x8-15-7-0-1-2-lg	FAIL	599.22
ev-pr-8x8-11-7-0-1-2-lg	FAIL	599.22
f600-50	FAIL	599.22
k_ph_n-16	FAIL	599.22
s510_d28_s	FAIL	599.22
s298_d12_s	FAIL	599.22
s713_d5_s	FAIL	599.22
s510_d31_s	FAIL	599.22
ev-pr-8x8-13-7-0-1-2-lg	FAIL	599.22
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	599.22
hid_hclient_ecdisp.c	FAIL	599.22
network_irda_miniport_nscirda_comm.c	FAIL	599.22
ev-pr-6x6-19-5-0-1-2-lg	FAIL	599.22
s3330_d14_u	FAIL	599.22
s510_d6_s	FAIL	599.22
s499_d7_s	FAIL	599.22
s641_d3_s	FAIL	599.22
k_ph_p-12	FAIL	599.22
sortnetsort9.v.stepl.005	FAIL	599.22
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	599.22
incrementer-enc02-uniform-depth-58	FAIL	599.22
s641_d5_s	FAIL	599.22
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	599.22
arbiter-10-comp-error01-qbf-hardness-depth-10	FAIL	599.22
ev-pr-4x4-11-3-0-0-1-s	FAIL	599.22
b20_PR_7_20	FAIL	599.22
Core1108_tbm_02.tex.moduleQ3.2S.000015	FAIL	599.22
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	599.22
emptyroom_e3_ser---19_	FAIL	599.22
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	599.22
k14_2_3	FAIL	599.22
b22_PR_8_20	FAIL	599.22
s713_d4_s	FAIL	599.22
Core1108_tbm_03.tex.moduleQ3.2S.000002	FAIL	599.23
test1_quant_squaring2	FAIL	599.23
kernel_agplib_intrface.c	FAIL	599.23
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	599.23
jnh212-50	FAIL	599.23
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	599.23
s386_d7_s	FAIL	599.23
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	599.23
ev-pr-6x6-13-5-0-1-2-lg	FAIL	599.23
C432.blif_0.10_0.20_0_0_out_exact	FAIL	599.23
input_pnpi8042_moudep.c	FAIL	599.23
ev-pr-6x6-11-5-0-1-2-lg	FAIL	599.23
ii32b1-00	FAIL	599.23
sortnetsort8.AE.stepl.003	FAIL	599.23
input_mouser_cseries.c	FAIL	599.23
s386_d8_u	FAIL	599.23
s3330_d10_u	FAIL	599.23
ev-pr-4x4-17-3-0-0-1-lg	FAIL	599.23
s298_d10_s	FAIL	599.23
s499_d9_s	FAIL	599.23
stmt21_79_304	FAIL	599.23
stmt19_3_214	FAIL	599.23
arbiter-07-comp-error02-qbf-hardness-depth-6	FAIL	599.23
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	599.23
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	599.23
k_ph_p-19	FAIL	599.23
s510_d32_s	FAIL	599.23
ev-pr-4x4-17-3-0-0-1-s	FAIL	599.23
flipflop-12-c	FAIL	599.23
s713_d3_s	FAIL	599.23
filesys_smbmrx_cvsndrcv.c	FAIL	599.23
test3_quant_squaring2	FAIL	599.23
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	599.23
s386_d3_s	FAIL	599.23
p20-1.pddl_planlen=24	FAIL	599.23
ev-pr-4x4-13-3-0-0-1-s	FAIL	599.23
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	599.23
dungeon_i15-m7-u4-v0.pddl_planlen=81	FAIL	599.32
k_ph_p-13	FAIL	599.32
p20-5.pddl_planlen=32	FAIL	599.32
p20-5.pddl_planlen=17	FAIL	599.32

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by iprover-QBF-bloqqer QBFEVAL'16 - Prenex CNF Track.

Instances solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.