Instances solved by <a href='solver_detail.php?solver=257'>caqe-portfolio</a> <br> QBFEVAL'16

Instances solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

Instance	Result	Time
BLOCKS3iii.4	UNSAT	0.12
k_dum_n-9	SAT	0.12
k_dum_n-1	SAT	0.12
s27_d2_s	SAT	0.12
flipflop-4-c	UNSAT	0.12
qshifter_5	SAT	0.12
k_dum_p-2	UNSAT	0.12
stmt1_30_31	SAT	0.12
k_dum_p-3	UNSAT	0.12
k_dum_p-6	UNSAT	0.12
k_dum_n-5	SAT	0.12
stmt44_107_108	SAT	0.12
k_dum_n-3	SAT	0.12
k_d4_n-3	SAT	0.12
ring_r4_ser--opt-11_	UNSAT	0.12
k_d4_p-1	UNSAT	0.12
k_dum_p-4	UNSAT	0.12
aim-100-1_6-yes1-2-00	SAT	0.12
CHAIN14v.15	SAT	0.12
CHAIN17v.18	SAT	0.12
k_dum_n-2	SAT	0.12
k_ph_n-8	SAT	0.12
stmt44_107_113	SAT	0.12
stmt17_18_19	SAT	0.12
tree-exa2-40	UNSAT	0.12
tree-exa2-20	UNSAT	0.12
CHAIN12v.13	SAT	0.12
tree-exa2-10	UNSAT	0.12
incrementer-enc05-uniform-depth-2	UNSAT	0.12
k_lin_p-2	UNSAT	0.12
k_lin_p-3	UNSAT	0.12
k_path_n-5	SAT	0.12
impl04	SAT	0.12
toilet_a_08_05.2	UNSAT	0.12
CHAIN18v.19	SAT	0.12
k_t4p_p-4	UNSAT	0.12
k_grz_p-5	UNSAT	0.12
k_d4_p-4	UNSAT	0.12
tree-exa2-50	UNSAT	0.12
CHAIN19v.20	SAT	0.12
k_grz_n-2	SAT	0.12
k3_1_1	SAT	0.12
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.12
k_grz_n-5	SAT	0.12
tree-exa10-10	SAT	0.12
mutex-2-s	SAT	0.12
impl18	SAT	0.12
k_d4_n-1	SAT	0.12
toilet_a_04_05.2	SAT	0.12
toilet_c_06_01.4	UNSAT	0.12
k_path_n-4	SAT	0.12
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.12
tree-exa2-35	UNSAT	0.12
toilet_c_08_01.6	UNSAT	0.12
s298_d2_s	SAT	0.12
CHAIN16v.17	SAT	0.12
qshifter_4	SAT	0.12
mutex-8-s	SAT	0.12
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.12
toilet_a_04_01.4	UNSAT	0.12
toilet_c_08_01.2	UNSAT	0.12
k_poly_p-4	UNSAT	0.12
toilet_a_04_01.6	UNSAT	0.12
toilet_a_06_01.10	UNSAT	0.12
k_path_n-3	SAT	0.12
k_dum_n-12	SAT	0.12
impl14	SAT	0.12
toilet_a_06_01.6	UNSAT	0.12
lognBWLARGEA0	UNSAT	0.12
lognBWLARGEB0	UNSAT	0.12
toilet_c_08_01.7	UNSAT	0.12
cnt05	SAT	0.12
toilet_c_04_01.4	UNSAT	0.12
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.12
s27_d3_u	UNSAT	0.12
k_d4_n-2	SAT	0.12
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.12
impl02	SAT	0.12
toilet_a_02_10.2	SAT	0.12
k_grz_p-4	UNSAT	0.12
k_lin_p-4	UNSAT	0.12
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.12
Adder2-2-c	UNSAT	0.12
cnt02e	SAT	0.12
k_branch_n-2	SAT	0.12
toilet_c_06_01.8	UNSAT	0.12
toilet_g_15_01.2	SAT	0.12
impl06	SAT	0.12
toilet_g_20_01.2	SAT	0.12
toilet_g_08_01.2	SAT	0.12
toilet_g_10_01.2	SAT	0.12
toilet_g_02_01.2	SAT	0.12
toilet_g_06_01.2	SAT	0.12
cnt01	SAT	0.12
k_dum_p-12	UNSAT	0.12
k_ph_p-1	UNSAT	0.12
rewriting_k_50	UNSAT	0.12
k_poly_p-11	UNSAT	0.12
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.12
k_ph_p-3	UNSAT	0.12
k_path_p-5	UNSAT	0.12
tree-exa2-45	UNSAT	0.12
impl08	SAT	0.12
k_t4p_n-2	SAT	0.12
impl10	SAT	0.12
flipflop-3-c	UNSAT	0.12
impl20	SAT	0.12
qshifter_3	SAT	0.12
k_ph_n-4	SAT	0.12
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.12
k_ph_n-1	SAT	0.12
tree-exa2-25	UNSAT	0.12
rewriting_k_25	UNSAT	0.12
k_grz_n-4	SAT	0.12
rewriting_k_75	UNSAT	0.12
mutex-4-s	SAT	0.12
k_ph_p-5	UNSAT	0.12
adder-2-unsat	UNSAT	0.12
rewriting_k_23	UNSAT	0.12
k_ph_n-6	SAT	0.12
k_path_p-2	UNSAT	0.12
k_poly_n-14	SAT	0.12
rewriting_k_30	UNSAT	0.12
rewriting_k_19	UNSAT	0.12
k_poly_p-2	UNSAT	0.12
rewriting_k_17	UNSAT	0.12
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.12
impl12	SAT	0.12
k_poly_p-7	UNSAT	0.12
k_poly_p-9	UNSAT	0.12
k_ph_n-3	SAT	0.12
k_poly_n-6	SAT	0.12
rewriting_k_21	UNSAT	0.12
rewriting_k_10	UNSAT	0.12
rewriting_k_100	UNSAT	0.12
tree-exa10-30	SAT	0.12
counter_e_2	SAT	0.12
k_poly_n-7	SAT	0.12
impl16	SAT	0.12
k_path_n-6	SAT	0.13
k_poly_n-2	SAT	0.13
tree-exa2-30	UNSAT	0.13
k_poly_p-8	UNSAT	0.13
k_dum_n-11	SAT	0.13
k_poly_n-5	SAT	0.14
toilet_g_04_01.2	SAT	0.19
stmt27_296_297	SAT	0.22
k_grz_n-8	SAT	0.22
k_dum_n-17	SAT	0.22
k_t4p_n-4	SAT	0.22
stmt24_765_766	SAT	0.22
k_t4p_p-6	UNSAT	0.22
k_dum_n-21	SAT	0.22
stmt44_916_917	SAT	0.22
k_poly_p-14	UNSAT	0.22
texas.parsesys^1.E-d4	SAT	0.22
k_dum_p-20	UNSAT	0.22
k_poly_p-16	UNSAT	0.22
BLOCKS3ii.4.3	UNSAT	0.22
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.22
k_dum_p-16	UNSAT	0.22
toilet_c_08_05.4	SAT	0.22
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	0.22
k_branch_n-3	SAT	0.22
k_poly_n-17	SAT	0.22
lut4_XOR_fOR	UNSAT	0.22
qshifter_6	SAT	0.22
k_poly_n-18	SAT	0.22
k_poly_n-20	SAT	0.22
k_dum_n-18	SAT	0.22
vonNeumann-ripple-carry-5-c	UNSAT	0.22
k_d4_p-11	UNSAT	0.22
k_grz_p-12	UNSAT	0.22
k_d4_p-7	UNSAT	0.22
ken.flash^10.C-f2	UNSAT	0.22
k_d4_p-10	UNSAT	0.22
CHAIN21v.22	SAT	0.22
k_poly_p-19	UNSAT	0.22
k_path_n-14	SAT	0.22
connect_5x4_3_D	UNSAT	0.22
k_grz_p-13	UNSAT	0.22
CHAIN23v.24	SAT	0.22
k_grz_p-11	UNSAT	0.22
k_lin_p-8	UNSAT	0.22
k_grz_p-10	UNSAT	0.22
k_path_p-10	UNSAT	0.22
k_d4_p-8	UNSAT	0.22
k_poly_p-15	UNSAT	0.22
rankfunc17_unsigned_16	SAT	0.22
k_lin_n-3	SAT	0.22
k_lin_p-12	UNSAT	0.22
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.22
k_path_n-9	SAT	0.22
k_path_n-13	SAT	0.22
CHAIN20v.21	SAT	0.22
k_lin_p-11	UNSAT	0.22
k_lin_p-9	UNSAT	0.22
s27_d4_u	UNSAT	0.22
lut4_XOR_f1	SAT	0.22
BLOCKS3iii.5	SAT	0.22
k_grz_n-6	SAT	0.22
k_poly_n-21	SAT	0.22
k_poly_n-16	SAT	0.22
k_dum_p-21	UNSAT	0.22
CHAIN22v.23	SAT	0.22
k_dum_p-17	UNSAT	0.22
k_path_p-13	UNSAT	0.22
k_ph_n-9	SAT	0.22
k_path_p-15	UNSAT	0.22
gttt_2_2_0010_3x3_torus_w	UNSAT	0.22
toilet_c_08_01.11	UNSAT	0.22
k_grz_n-7	SAT	0.22
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.22
k_path_p-14	UNSAT	0.22
rankfunc5_signed_32	SAT	0.22
k_path_n-12	SAT	0.23
rankfunc13_signed_32	SAT	0.24
k_dum_p-14	UNSAT	0.24
k_lin_p-10	UNSAT	0.32
cnt11	SAT	0.32
toilet_c_10_01.12	UNSAT	0.32
vis.4-arbit^2.E-f2	SAT	0.32
k_lin_n-6	SAT	0.32
sortnetsort5.v.stepl.004	UNSAT	0.32
mutex-16-s	SAT	0.32
k_path_n-19	SAT	0.32
k_t4p_p-12	UNSAT	0.32
cnt10	SAT	0.32
k_lin_p-14	UNSAT	0.32
k_t4p_n-6	SAT	0.32
k_path_p-18	UNSAT	0.32
k_d4_p-16	UNSAT	0.32
connect_6x5_5_D	UNSAT	0.32
k_d4_n-7	SAT	0.32
k_grz_n-10	SAT	0.32
vis.prodcell^01.E-d2	SAT	0.32
stmt16_950_951	SAT	0.32
k_grz_p-16	UNSAT	0.32
k_path_p-19	UNSAT	0.32
rankfunc51_signed_32	SAT	0.32
p5-5.pddl_planlen=5	SAT	0.32
k_path_n-16	SAT	0.32
k_t4p_p-9	UNSAT	0.32
k_t4p_p-10	UNSAT	0.32
k_t4p_n-5	SAT	0.32
k_grz_p-17	UNSAT	0.32
k_path_p-21	UNSAT	0.32
k_path_p-16	UNSAT	0.32
k_d4_p-13	UNSAT	0.32
query01_ntrivil_1344	UNSAT	0.32
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.32
flipflop-5-c	UNSAT	0.32
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.32
k_branch_n-4	SAT	0.32
p5-5.pddl_planlen=6	SAT	0.33
k_lin_p-19	UNSAT	0.33
lut4_2_fXOR	SAT	0.33
cube_c3_ser--opt-6_	SAT	0.33
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.42
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	0.42
ken.flash^10.C-f3	UNSAT	0.42
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.42
toilet_a_08_01.13	UNSAT	0.42
C880.blif_0.10_1.00_0_1_out_exact	SAT	0.42
small-swap1-fixpoint-3	SAT	0.42
k_d4_n-8	SAT	0.42
vonNeumann-ripple-carry-6-c	UNSAT	0.42
k_grz_p-18	UNSAT	0.42
szymanski-5-s	UNSAT	0.42
BLOCKS4iii.6	UNSAT	0.42
k_grz_p-19	UNSAT	0.42
driverlog01_7	SAT	0.42
k_ph_n-11	SAT	0.42
k_d4_p-17	UNSAT	0.42
k_t4p_n-8	SAT	0.42
k_d4_p-20	UNSAT	0.42
k_branch_p-5	UNSAT	0.42
k_t4p_p-16	UNSAT	0.42
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.42
rankfunc33_signed_32	SAT	0.42
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.42
rankfunc5_unsigned_64	SAT	0.42
k_lin_n-5	SAT	0.42
s27_d5_u	UNSAT	0.42
C880.blif_0.10_1.00_0_1_inp_exact	SAT	0.42
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.43
stmt41_738_749	SAT	0.43
k_t4p_p-15	UNSAT	0.44
connect_7x6_4_W	UNSAT	0.52
rankfunc14_signed_64	SAT	0.52
cnt14	SAT	0.52
k_t4p_p-17	UNSAT	0.52
k_lin_n-7	SAT	0.52
b12_PR_9_2	SAT	0.52
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.52
rankfunc13_unsigned_64	SAT	0.52
k_t4p_n-9	SAT	0.52
k_grz_n-18	SAT	0.52
eijk.S382.S-d4	SAT	0.52
k_t4p_p-20	UNSAT	0.52
query48_query15_1344	UNSAT	0.52
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.53
k_d4_n-10	SAT	0.53
k_t4p_p-18	UNSAT	0.53
connect_8x7_7_W	UNSAT	0.62
k_grz_n-20	SAT	0.62
toilet_a_08_05.9	SAT	0.62
vonNeumann-ripple-carry-7-c	UNSAT	0.62
tlc03-uniform-depth-9	UNSAT	0.62
k_grz_n-21	SAT	0.62
stmt25_52_53	SAT	0.62
par8-1-c-50	UNSAT	0.62
k_t4p_n-12	SAT	0.62
arbiter-07-comp-error01-qbf-hardness-depth-4	UNSAT	0.62
aim-50-6_0-yes1-3-50	UNSAT	0.62
BLOCKS3ii.5.2	UNSAT	0.62
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.62
c4_BMC_p1_k32	SAT	0.62
BLOCKS3ii.5.3	SAT	0.63
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	0.63
k_branch_p-6	UNSAT	0.72
k_t4p_n-13	SAT	0.72
rankfunc22_signed_64	SAT	0.72
ring_r3_ser--opt-8_	SAT	0.72
k_lin_n-8	SAT	0.72
ev-pr-4x4-5-3-0-0-1-lg	SAT	0.72
irst.dme6.B-d2	SAT	0.72
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.72
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.72
flipflop-6-c	UNSAT	0.72
gttt_2_2_00101121_3x3_b	UNSAT	0.72
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.72
mutex-32-s	SAT	0.82
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.82
arbiter-06-comp-error02-qbf-hardness-depth-5	UNSAT	0.82
k_lin_n-9	SAT	0.82
ev-pr-4x4-7-3-0-0-1-lg	SAT	0.82
small-synabs-fixpoint-9	UNSAT	0.82
k_t4p_n-15	SAT	0.82
stmt27_16_97	UNSAT	0.82
k_t4p_n-14	SAT	0.82
BLOCKS3i.5.4	SAT	0.82
arbiter-07-comp-error02-qbf-hardness-depth-6	UNSAT	0.92
vonNeumann-ripple-carry-8-c	UNSAT	0.92
s01238_PR_8_2	SAT	0.92
szymanski-6-s	UNSAT	0.92
driverlog03_7	SAT	0.92
k_d4_n-14	SAT	0.93
gttt_2_1_000111_3x3_torus_b	SAT	1.02
k_d4_n-15	SAT	1.02
texas.PI_main^16.E-f2	SAT	1.02
lights3_021_0_027	UNSAT	1.02
k_d4_n-16	SAT	1.12
cache-coherence-2-fixpoint-1	UNSAT	1.12
s386_d2_s	SAT	1.12
query21_ntrivil_1344	UNSAT	1.12
ev-pr-4x4-9-3-0-0-1-lg	SAT	1.13
qshifter_7	SAT	1.22
gttt_1_1_001020_3x3_w	UNSAT	1.22
aim-100-6_0-yes1-3-50	SAT	1.32
k_ph_n-14	SAT	1.32
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	1.33
Core1108_tbm_21.tex.module.000026	UNSAT	1.33
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	1.42
lights3_021_0_009	SAT	1.42
vonNeumann-ripple-carry-9-c	UNSAT	1.42
k_lin_n-11	SAT	1.43
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	1.43
k_d4_n-20	SAT	1.52
k_branch_p-8	UNSAT	1.52
ev-pr-4x4-11-3-0-0-1-lg	SAT	1.52
lut4_2_f1	SAT	1.52
k_branch_n-8	SAT	1.52
query26_query34_1344	SAT	1.53
s510_d3_s	SAT	1.53
lut4_AND_f1	SAT	1.63
query51_query50_1344	UNSAT	1.82
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	1.82
ev-pr-4x4-13-3-0-0-1-lg	SAT	1.83
gttt_1_1_000111_3x3_torus_w	UNSAT	1.83
dungeon_i10-m5-u10-v0.pddl_planlen=23	UNSAT	1.92
k_branch_n-9	SAT	1.92
vonNeumann-ripple-carry-10-c	UNSAT	2.02
flipflop-7-c	UNSAT	2.02
C499.blif_0.10_0.20_0_1_inp_exact	SAT	2.02
mutex-64-s	SAT	2.12
fpu-10Xh-error01-uniform-depth-5	UNSAT	2.13
tlc03-nonuniform-depth-17	UNSAT	2.23
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	2.23
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	2.32
ev-pr-4x4-15-3-0-0-1-lg	SAT	2.33
lut4_3_fAND	SAT	2.33
k_branch_p-10	UNSAT	2.52
k_branch_n-10	SAT	2.53
C5315.blif_0.10_1.00_0_1_out_exact	SAT	2.62
BLOCKS4i.6.4	UNSAT	2.63
fpu-10Xe-correct01-nonuniform-depth-6	UNSAT	2.63
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	2.63
rankfunc3_signed_64	SAT	2.73
s1196_d2_s	SAT	2.73
s05378_PR_1_75	UNSAT	2.82
toilet_a_10_05.3	UNSAT	2.82
ev-pr-4x4-17-3-0-0-1-lg	SAT	2.83
tlc03-uniform-depth-21	UNSAT	2.92
vonNeumann-ripple-carry-11-c	UNSAT	2.92
szymanski-8-s	UNSAT	3.03
sortnetsort7.v.stepl.007	SAT	3.23
k_lin_n-14	SAT	3.33
k_branch_n-11	SAT	3.42
k_branch_p-11	UNSAT	3.43
k_ph_n-16	SAT	3.43
stmt21_79_304	UNSAT	3.53
lognBWLARGEA1	UNSAT	3.53
fpu-10Xh-correct04-uniform-depth-8	UNSAT	3.63
p10-10.pddl_planlen=10	SAT	3.63
small-swap2-fixpoint-4	SAT	3.73
query11_query21_1344	UNSAT	3.83
arbiter-10-comp-error01-qbf-hardness-depth-10	UNSAT	3.93
s386_d4_s	SAT	4.13
vonNeumann-ripple-carry-12-c	UNSAT	4.13
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	4.13
adder-10-sat	FAIL	4.14
c4_BMC_p2_k128	UNSAT	4.23
k_lin_n-15	SAT	4.33
k_branch_n-12	SAT	4.53
k_branch_p-12	UNSAT	4.53
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	4.63
s641_d3_s	SAT	4.63
s09234_PR_8_2	SAT	4.63
texas.PI_main^08.E-f3	SAT	4.73
jnh212-50	UNSAT	4.83
lights3_035_0_002	UNSAT	5.13
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	5.13
lights3_035_0_027	UNSAT	5.33
s09234_PR_8_5	SAT	5.33
vonNeumann-ripple-carry-13-c	UNSAT	5.33
s298_d4_s	SAT	5.53
s820_d3_s	SAT	5.53
stmt19_217_309	UNSAT	5.53
flipflop-8-c	UNSAT	5.63
k_branch_p-14	UNSAT	5.73
incrementer-enc03-nonuniform-depth-13	UNSAT	5.73
fpu-10Xh-correct04-uniform-depth-14	UNSAT	5.83
aim-200-1_6-yes1-4-90	SAT	5.93
s713_d3_s	SAT	5.93
mutex-128-s	SAT	6.03
ev-pr-4x4-11-3-0-0-1-s	SAT	6.13
adder-12-sat	FAIL	6.16
fpu-10Xh-correct04-uniform-depth-15	UNSAT	6.23
s05378_PR_9_2	SAT	6.33
k_branch_p-16	UNSAT	6.33
arbiter-07-comp-error01-qbf-hardness-depth-11	UNSAT	6.43
cnt07e	SAT	6.43
k_branch_n-16	SAT	6.53
fpu-10Xh-correct04-uniform-depth-16	UNSAT	6.53
Umbrella_tbm_24.tex.module.000131	FAIL	6.83
arbiter-06-comp-error01-qbf-hardness-depth-12	UNSAT	6.93
lights3_035_0_051	UNSAT	7.03
fpu-10Xh-correct04-nonuniform-depth-18	UNSAT	7.14
Core1108_tbm_21.tex.module.000027	UNSAT	7.23
gttt_2_1_0010_4x4_torus_b	UNSAT	7.43
k_lin_n-17	SAT	7.44
s3330_d2_s	SAT	7.83
sortnetsort8.v.stepl.009	SAT	8.03
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	8.03
szymanski-10-s	UNSAT	8.23
adder-14-sat	FAIL	8.29
query31_reachqu_1344n	SAT	8.34
ev-pr-4x4-13-3-0-0-1-s	SAT	8.34
fpu-10Xe-correct01-uniform-depth-22	UNSAT	8.43
vonNeumann-ripple-carry-15-c	UNSAT	8.94
toilet_c_10_01.17	UNSAT	9.03
arbiter-08-comp-error02-qbf-hardness-depth-9	SAT	9.04
fpu-10Xe-correct01-nonuniform-depth-24	UNSAT	9.14
b20_PR_7_90	UNSAT	9.33
cache-coherence-3-fixpoint-3	UNSAT	9.44
k_branch_p-18	UNSAT	9.84
s820_d2_s	SAT	10.14
fpu-10Xh-correct04-nonuniform-depth-27	UNSAT	10.14
BLOCKS3i.5.3	UNSAT	10.24
Core1108_tbm_03.tex.moduleQ3.2S.000002	UNSAT	10.34
lut4_AND_fXOR	UNSAT	10.54
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	10.54
Adder2-8-s	FAIL	10.88
tlc03-uniform-depth-52	UNSAT	11.04
qshifter_8	SAT	11.64
tlc01-uniform-depth-73	UNSAT	11.74
Core1108_tbm_02.tex.moduleQ3.2S.000015	UNSAT	11.84
incrementer-enc07-nonuniform-depth-17	UNSAT	12.14
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	12.24
test5_quant_squaring5	SAT	12.34
sortnetsort8.AE.stepl.003	SAT	12.74
ev-pr-4x4-17-3-0-0-1-s	SAT	13.54
incrementer-enc03-nonuniform-depth-24	UNSAT	13.74
s386_d6_s	SAT	13.94
s713_d2_s	SAT	14.54
c1_BMC_p1_k4	SAT	15.35
stmt19_90_266	UNSAT	15.35
C432.blif_0.10_0.20_0_1_inp_exact	SAT	15.45
s641_d4_s	SAT	15.85
s641_d2_s	SAT	16.05
incrementer-enc07-nonuniform-depth-21	UNSAT	16.14
k_branch_n-20	FAIL	17.25
Adder2-10-s	FAIL	18.44
s510_d6_s	SAT	18.55
lut4_2_f2	UNSAT	18.56
gttt_2_2_001020_4x4_w	UNSAT	18.65
lognBWLARGEB1	UNSAT	18.85
k_branch_p-21	FAIL	20.22
incrementer-enc02-nonuniform-depth-31	UNSAT	20.85
s298_d10_s	SAT	20.95
s1269_d3_s	SAT	21.06
s386_d7_s	SAT	21.46
dungeon_i10-m5-u10-v0.pddl_planlen=134	UNSAT	21.85
s15850_PR_8_50	SAT	21.86
s499_d9_s	SAT	21.96
s15850_PR_2_2	SAT	25.76
szymanski-12-s	UNSAT	26.76
s713_d4_s	SAT	27.27
s386_d8_u	UNSAT	27.37
C6288.blif_0.10_1.00_0_1_inp_exact	SAT	28.17
par8-4-50	UNSAT	28.26
s641_d5_s	SAT	28.97
Umbrella_tbm_25.tex.moduleQ3.2S.000075	UNSAT	29.17
s298_d12_s	SAT	30.58
s499_d7_s	SAT	33.48
tlc02-uniform-depth-114	UNSAT	33.87
tlc04-nonuniform-depth-56	UNSAT	34.68
stmt19_3_214	UNSAT	36.28
sortnetsort8.v.stepl.007	SAT	37.18
arbiter-06-comp-error01-qbf-hardness-depth-15	UNSAT	37.79
s713_d5_s	SAT	38.8
term1.blif_0.10_0.20_0_0_inp_exact	UNSAT	41.8
flipflop-9-c	UNSAT	44.51
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	45.81
gttt_2_1_00102030_4x4_torus_b	UNSAT	48.41
s641_d6_s	SAT	51.81
ev-pr-4x4-15-3-0-0-1-s	FAIL	53.04
BLOCKS4ii.7.2	UNSAT	55.01
Adder2-16-s	FAIL	56.94
test5_quant_squaring4	SAT	57.22
connect_5x4_4_R	UNSAT	59.14
dungeon_i10-m10-u10-v0.pddl_planlen=187	UNSAT	61.02
connect_5x4_3_R	UNSAT	61.15
tlc04-nonuniform-depth-98	FAIL	62.21
driverlog10_6	UNSAT	62.94
s1269_d4_s	SAT	66.14
s499_d12_s	SAT	67.44
s386_d3_s	SAT	69.32
s386_d9_u	UNSAT	70.04
s713_d6_s	SAT	71.54
s298_d14_s	SAT	73.35
C6288.blif_0.10_1.00_0_1_out_exact	SAT	80.77
test3_quant_squaring2	UNSAT	84.26
k_ph_n-21	SAT	84.56
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	85.98
s641_d7_u	UNSAT	89.5
s510_d11_s	SAT	92.99
s386_d12_u	UNSAT	105.02
s386_d11_u	UNSAT	105.91
s298_d17_s	SAT	109.12
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	115.21
s499_d15_s	SAT	121.54
s1269_d5_s	SAT	124.95
par16-1-50	UNSAT	125.05
s1196_d4_u	UNSAT	128.15
ev-pr-6x6-7-5-0-1-2-s	FAIL	128.83
s820_d8_s	SAT	131.35
s3330_d3_s	SAT	131.56
flipflop-10-c	UNSAT	136.5
ii32b1-00	SAT	139.06
szymanski-14-s	UNSAT	140.8
s713_d7_u	UNSAT	141.16
s641_d8_u	UNSAT	147.67
ev-pr-6x6-9-5-0-1-2-s	FAIL	152.27
s1196_d3_u	UNSAT	152.77
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	154.39
Umbrella_tbm_24.tex.module.000066	SAT	168.15
gttt_2_1_00011020_4x4_b	UNSAT	172.71
k_ph_p-10	UNSAT	173.08
s1196_d5_u	UNSAT	180.32
stmt52_244_394	UNSAT	184.25
s820_d7_s	SAT	188.79
s386_d10_u	UNSAT	189.65
s499_d18_s	SAT	202.59
s499_d17_s	SAT	203.4
s713_d8_u	UNSAT	218.89
s641_d10_u	UNSAT	221.14
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	222.12
ev-pr-6x6-11-5-0-1-2-s	FAIL	222.93
ev-pr-8x8-9-7-0-1-2-lg	FAIL	225.82
ev-pr-8x8-13-7-0-1-2-lg	FAIL	237.24
ev-pr-8x8-11-7-0-1-2-lg	FAIL	242.21
s820_d10_s	SAT	266.07
s713_d10_u	UNSAT	270.9
ev-pr-4x4-9-3-0-0-1-s	FAIL	275.65
sortnetsort9.AE.stepl.012	UNSAT	288.92
ev-pr-8x8-19-7-0-1-2-lg	FAIL	296.1
ev-pr-6x6-17-5-0-1-2-lg	FAIL	296.61
s1196_d7_u	UNSAT	298.33
ev-pr-8x8-17-7-0-1-2-lg	FAIL	299.73
s1269_d10_s	FAIL	299.73
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	299.73
s499_d25_u	FAIL	299.73
Umbrella_tbm_05.tex.module.000039	FAIL	299.73
c4_Debug_s3_f2_e2_v2	FAIL	299.73
s820_d14_u	FAIL	299.73
ring_r6_ser--opt-17_	FAIL	299.73
s820_d9_s	FAIL	299.73
c5_BMC_p1_k32	FAIL	299.73
s3330_d4_s	FAIL	299.74
tlc02-uniform-depth-241	FAIL	299.74
s3330_d12_u	FAIL	299.74
query42_query06_1344n	FAIL	299.74
connect_8x7_6_R	FAIL	299.74
cube_c11_ser--opt-42_	FAIL	299.74
s510_d36_s	FAIL	299.75
k12_4_2	FAIL	299.75
s510_d31_s	FAIL	299.75
s1269_d9_s	FAIL	299.75
szymanski-24-s	FAIL	299.76
c4_Debug_s5_f2_e2_v1	FAIL	299.76
c2_Debug_s3_f2_e1_v3	FAIL	299.76
s3330_d10_u	FAIL	299.76
c5_BMC_p2_k64	FAIL	299.76
s820_d15_u	FAIL	299.76
s1269_d12_u	FAIL	299.76
s298_d22_u	FAIL	299.77
k_ph_p-20	FAIL	299.77
k14_2_3	FAIL	299.77
flipflop-12-c	FAIL	299.77
c1_Debug_s5_f1_e1_v2	FAIL	299.77
c2_Debug_s3_f1_e1_v2	FAIL	299.77
flipflop-11-c	FAIL	299.77
s1269_d15_u	FAIL	299.77
cube_c11_par---13_	FAIL	299.78
s510_d23_s	FAIL	299.78
dungeon_i25-m12-u5-v0.pddl_planlen=170	FAIL	299.78
s1269_d14_u	FAIL	299.78
dungeon_i25-m12-u3-v0.pddl_planlen=130	FAIL	299.78
s499_d24_u	FAIL	299.78
input_pnpi8042_moudep.c	FAIL	299.78
incrementer-enc08-uniform-depth-33	FAIL	299.78
input_mouser_cseries.c	FAIL	299.78
kernel_agplib_intrface.c	FAIL	299.79
small-seq-fixpoint-3	FAIL	299.79
k8_4_3	FAIL	299.79
test2_quant_squaring3	FAIL	299.79
dungeon_i25-m12-u3-v0.pddl_planlen=72	FAIL	299.79
s499_d19_s	FAIL	299.79
test4_quant_squaring2	FAIL	299.79
k_ph_p-19	FAIL	299.79
AR-fixpoint-5	FAIL	299.79
c3_BMC_p1_k256	FAIL	299.79
s641_d11_u	FAIL	299.8
network_trans_sys_notify.c	FAIL	299.8
b20_C_3_2	FAIL	299.8
texas.two_proc^4.E-f2	FAIL	299.8
depots03_9	FAIL	299.8
s3330_d9_s	FAIL	299.8
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	299.8
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	299.8
network_irda_miniport_nscirda_settings.c	FAIL	299.8
s820_d11_u	FAIL	299.8
b22_PR_8_20	FAIL	299.8
s1269_d8_s	FAIL	299.8
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	299.8
dungeon_i25-m12-u3-v0.pddl_planlen=190	FAIL	299.8
C499.blif_0.10_0.20_0_1_out_exact	FAIL	299.8
s298_d18_s	FAIL	299.8
s298_d25_u	FAIL	299.8
s1269_d13_u	FAIL	299.8
stmt41_160_235	FAIL	299.8
emptyroom_e4_par---21_	FAIL	299.81
ev-pr-6x6-19-5-0-1-2-s	FAIL	299.81
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	299.81
ev-pr-6x6-5-5-0-1-2-s	FAIL	299.81
k5_2_3	FAIL	299.81
s3330_d14_u	FAIL	299.81
c1_Debug_s3_f1_e1_v1	FAIL	299.81
C432.blif_0.10_0.20_0_0_out_exact	FAIL	299.81
connect_8x7_4_R	FAIL	299.81
hid_hclient_ecdisp.c	FAIL	299.81
Core1108_tbm_21.tex.module.000008	FAIL	299.81
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	299.81
s510_d28_s	FAIL	299.81
szymanski-18-s	FAIL	299.81
c4_Debug_s3_f1_e2_v2	FAIL	299.81
s3330_d8_s	FAIL	299.82
connect_8x7_5_R	FAIL	299.82
s713_d9_u	FAIL	299.82
c2_BMC_p1_k2048	FAIL	299.82
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	299.82
dungeon_i15-m7-u4-v0.pddl_planlen=81	FAIL	299.82
incrementer-enc02-uniform-depth-58	FAIL	299.82
ev-pr-6x6-15-5-0-1-2-lg	FAIL	299.82
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	299.82
ev-pr-6x6-13-5-0-1-2-lg	FAIL	299.82
b21_C_3_206	FAIL	299.82
test4_quant_squaring4	FAIL	299.82
connect_9x8_6_R	FAIL	299.82
dungeon_i25-m12-u5-v0.pddl_planlen=65	FAIL	299.82
p20-20.pddl_planlen=23	FAIL	299.82
test2_quant_squaring2	FAIL	299.82
C432.blif_0.10_0.20_0_1_out_exact	FAIL	299.82
k_ph_p-18	FAIL	299.82
ev-pr-6x6-17-5-0-1-2-s	FAIL	299.82
pipesnotankage18_7	FAIL	299.82
stmt17_82_98	FAIL	299.82
c3_Debug_s3_f2_e2_v2	FAIL	299.82
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	299.82
p20-1.pddl_planlen=32	FAIL	299.82
s1196_1_5	FAIL	299.82
szymanski-16-s	FAIL	299.82
nusmv.tcas^3.B-f2	FAIL	299.83
b20_PR_7_20	FAIL	299.83
stmt29_226_376	FAIL	299.83
uclid-pipe2	FAIL	299.83
stmt23_66_96	FAIL	299.83
uclid-pipe3a	FAIL	299.83
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	299.83
s3330_d7_s	FAIL	299.83
C880.blif_0.10_0.20_0_1_out_exact	FAIL	299.83
nusmv.tcas-t^1.B-d2	FAIL	299.83
p10-10.pddl_planlen=6	FAIL	299.83
p20-1.pddl_planlen=24	FAIL	299.83
test3_quant_squaring4	FAIL	299.83
p20-1.pddl_planlen=26	FAIL	299.83
ev-pr-4x4-7-3-0-0-1-s	FAIL	299.83
p20-5.pddl_planlen=17	FAIL	299.83
p20-5.pddl_planlen=32	FAIL	299.83
query03_query25_1344	FAIL	299.83
query44_query26_1344n	FAIL	299.83
s510_d32_s	FAIL	299.83
ken.oop^2.C-d3	FAIL	299.83
s298_d19_u	FAIL	299.83
c5_BMC_p2_k128	FAIL	299.83
tlc04-uniform-depth-36	FAIL	299.83
k8_3_2	FAIL	299.83
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	299.83
adder-12-unsat	FAIL	299.83
incrementer-enc06-uniform-depth-24	FAIL	299.83
s510_d35_s	FAIL	299.83
k6_2_3	FAIL	299.83
emptyroom_e3_ser---19_	FAIL	299.83
ev-pr-4x4-5-3-0-0-1-s	FAIL	299.83
test1_quant_squaring3	FAIL	299.83
k_ph_p-12	FAIL	299.83
network_irda_miniport_nscirda_comm.c	FAIL	299.83
s510_d24_s	FAIL	299.83
gttt_1_1_00101121_4x4_torus_w	FAIL	299.83
Core1108_tbm_21.tex.module.000030	FAIL	299.83
c4_Debug_s3_f1_e2_v3	FAIL	299.83
c1_BMC_p2_k1024	FAIL	299.83
filesys_smbmrx_cvsndrcv.c	FAIL	299.83
sortnetsort9.AE.stepl.009	FAIL	299.83
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	299.83
f600-50	FAIL	299.84
s820_d12_u	FAIL	299.84
cnt16r	FAIL	299.84
s499_d22_u	FAIL	299.84
audio_ddksynth_csynth2.cpp	FAIL	299.84
c1_BMC_p2_k512	FAIL	299.84
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	299.84
emptyroom_e4_ser--opt-44_	FAIL	299.84
s713_d11_u	FAIL	299.84
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	299.84
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	299.84
k5_3_2	FAIL	299.84
sortnetsort9.v.stepl.007	FAIL	299.84
szymanski-20-s	FAIL	299.84
ev-pr-8x8-15-7-0-1-2-lg	FAIL	299.84
ken.flash^08.C-d4	FAIL	299.84
ev-pr-6x6-15-5-0-1-2-s	FAIL	299.84
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	299.84
incrementer-enc07-uniform-depth-25	FAIL	299.84
cube_c9_par--opt-11_	FAIL	299.84
b22_C_2_12	FAIL	299.84
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	299.85
k_ph_p-13	FAIL	299.85
nusmv.tcas^6.B-f4	FAIL	299.85
k8_3_4	FAIL	299.85
pipesnotankage14_10	FAIL	299.85
stmt17_63_82	FAIL	299.85
sortnetsort10.v.stepl.005	FAIL	299.85
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	299.85
s3330_d5_s	FAIL	299.85
stmt21_319_418	FAIL	299.85
eijk.bs4863.S-d4	FAIL	299.85
stmt19_64_99	FAIL	299.85
stmt17_62_98	FAIL	299.85
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	299.85
ev-pr-6x6-11-5-0-1-2-lg	FAIL	299.85
stmt19_83_412	FAIL	299.85
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	299.85
s1196_d6_u	FAIL	299.85
C880.blif_0.10_1.00_0_0_out_exact	FAIL	299.85
ev-pr-6x6-13-5-0-1-2-s	FAIL	299.86
stmt23_72_76	FAIL	299.86
emptyroom_e3_ser--opt-20_	FAIL	299.86
small-seq-fixpoint-5	FAIL	299.86
dungeon_i25-m12-u3-v0.pddl_planlen=165	FAIL	299.86
sortnetsort9.v.stepl.005	FAIL	299.86
Adder2-8-c	FAIL	299.86
ev-pr-6x6-19-5-0-1-2-lg	FAIL	299.87
k8_2_3	FAIL	299.87
sdlx-fixpoint-3	FAIL	299.87
ken.oop^2.C-d4	FAIL	299.87
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	299.88
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	299.89
pipesnotankage18_8	FAIL	299.89
cnt08e	FAIL	299.89
test1_quant_squaring2	FAIL	299.89
uclid-pipe3b	FAIL	299.89
texas.PI_main^05.E-f3	FAIL	299.9
stmt28_68_81	FAIL	299.9
C499.blif_0.10_0.20_0_0_out_exact	FAIL	299.91
stmt17_70_90	FAIL	299.91
C880.blif_0.10_0.20_0_0_out_exact	FAIL	299.91
cube_c7_ser--opt-24_	FAIL	299.92
stmt17_70_98	FAIL	299.92
ken.flash^03.C-f3	FAIL	299.92
cache-coherence-2-fixpoint-6	FAIL	299.93
stmt17_86_98	FAIL	299.93
nusmv.reactor^3.C-d4	FAIL	299.94
k_ph_p-15	FAIL	299.95
c4_Debug_s3_f1_e1_v2	FAIL	307.17

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by caqe-portfolio QBFEVAL'16 - Solver Portfolio Track.

Instances solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.