Instances solved by <a href='solver_detail.php?solver=248'>xb-bid-qsts</a> <br> QBFEVAL'16

Instances solved by xb-bid-qsts
QBFEVAL'16 - Prenex non-CNF Track.

Instance	Result	Time
Core1108_tbm_03.tex.module.000034	SAT	0.05
Umbrella_tbm_21.tex.module.000044	SAT	0.05
Core1108_tbm_02.tex.moduleQ3.2S.000077	SAT	0.05
Umbrella_tbm_05.tex.module.000088	SAT	0.05
Core1108_tbm_03.tex.module.000057	SAT	0.05
Core1108_tbm_03.tex.module.000065	SAT	0.05
Core1108_tbm_03.tex.module.000023	SAT	0.05
Umbrella_tbm_26.tex.module.000061	SAT	0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000041	SAT	0.05
Core1108_tbm_02.tex.moduleQ3.2S.000007	SAT	0.05
Core1108_tbm_03.tex.module.000019	SAT	0.05
Core1108_tbm_09.tex.module.000033	SAT	0.05
Umbrella_tbm_24.tex.moduleQ2.1S.000022	SAT	0.05
Core1108_tbm_21.tex.module.000091	SAT	0.05
Core1108_tbm_02.tex.moduleQ3.2S.000108	SAT	0.05
Umbrella_tbm_25.tex.module.000099	SAT	0.05
Core1108_tbm_03.tex.module.000021	SAT	0.05
Umbrella_tbm_14.tex.moduleQ2.2S.000002	SAT	0.05
Core1108_tbm_21.tex.module.000030	SAT	0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000787	SAT	0.05
Umbrella_tbm_21.tex.module.000139	SAT	0.05
Core1108_tbm_21.tex.module.000026	SAT	0.05
Core1108_tbm_28.tex.moduleQ2.2S.000003	SAT	0.05
Umbrella_tbm_21.tex.module.000149	SAT	0.05
Umbrella_tbm_21.tex.module.000056	SAT	0.05
Umbrella_tbm_25.tex.moduleQ3.2S.000052	SAT	0.05
Umbrella_tbm_24.tex.moduleQ2.1S.000188	SAT	0.05
Core1108_tbm_21.tex.module.000023	SAT	0.05
Core1108_tbm_21.tex.module.000010	SAT	0.05
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	SAT	0.05
Core1108_tbm_03.tex.module.000092	SAT	0.05
Core1108_tbm_03.tex.moduleQ3.2S.000009	SAT	0.05
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001	SAT	0.05
Core1108_tbm_03.tex.module.000038	SAT	0.05
Umbrella_tbm_25.tex.module.000106	SAT	0.05
Core1108_tbm_03.tex.moduleQ3.2S.000018	SAT	0.05
Umbrella_tbm_05.tex.module.000011	SAT	0.05
Core1108_tbm_21.tex.module.000009	SAT	0.05
Core1108_tbm_09.tex.moduleQ3.2S.000007	SAT	0.05
Core1108_tbm_21.tex.module.000017	SAT	0.05
Umbrella_tbm_05.tex.module.000064	SAT	0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000749	SAT	0.05
Core1108_tbm_03.tex.module.000037	SAT	0.05
Core1108_tbm_21.tex.module.000008	SAT	0.05
Core1108_tbm_09.tex.moduleQ3.2S.000005	SAT	0.05
assertion11_0_2	SAT	0.05
assertion1_0_5	SAT	0.05
assertion1_0_3	SAT	0.05
assertion1_0_10	SAT	0.05
assertion1_0_1	SAT	0.05
incrementer-enc05-uniform-depth-2	SAT	0.05
Core1108_tbm_09.tex.module.000010	SAT	0.05
Core1108_tbm_03.tex.module.000058	SAT	0.05
Umbrella_tbm_25.tex.module.000003	SAT	0.05
Umbrella_tbm_05.tex.module.000053	SAT	0.05
assertion1_0_6	SAT	0.05
assertion1_0_7	SAT	0.05
assertion11_0_10	SAT	0.05
assertion10_0_8	SAT	0.05
assertion10_0_7	SAT	0.05
assertion10_0_6	SAT	0.05
assertion10_0_5	SAT	0.05
assertion10_0_4	SAT	0.05
assertion10_0_3	SAT	0.05
assertion10_0_10	SAT	0.05
assertion10_0_1	SAT	0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000808	SAT	0.05
Umbrella_tbm_21.tex.module.000134	SAT	0.05
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	SAT	0.05
Umbrella_tbm_29.tex.module.000078	SAT	0.05
Umbrella_tbm_23.tex.moduleQ1.2S.000001	SAT	0.05
Core1108_tbm_09.tex.moduleQ3.2S.000010	SAT	0.05
Umbrella_tbm_14.tex.moduleQ2.2S.000003	SAT	0.05
Core1108_tbm_03.tex.moduleQ3.2S.000011	SAT	0.05
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	SAT	0.05
Core1108_tbm_09.tex.module.000009	SAT	0.05
Core1108_tbm_02.tex.moduleQ3.2S.000098	SAT	0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000773	SAT	0.05
Umbrella_tbm_21.tex.module.000049	SAT	0.05
Core1108_tbm_21.tex.moduleQ3.2S.000007	SAT	0.05
Umbrella_tbm_26.tex.module.000041	SAT	0.05
Core1108_tbm_09.tex.moduleQ3.9S.000001	SAT	0.05
Umbrella_tbm_25.tex.module.000031	SAT	0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000757	SAT	0.05
Core1108_tbm_03.tex.module.000056	SAT	0.05
Umbrella_tbm_24.tex.moduleQ2.1S.000136	SAT	0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000009	SAT	0.05
Core1108_tbm_03.tex.module.000048	SAT	0.05
Core1108_tbm_02.tex.moduleQ3.2S.000056	SAT	0.05
Umbrella_tbm_21.tex.module.000029	SAT	0.05
Core1108_tbm_03.tex.module.000031	SAT	0.05
counter5_4	SAT	0.05
counter5_8	SAT	0.05
counter5_16	SAT	0.05
counter5_2	SAT	0.05
counter6_32	SAT	0.05
counter6_4	SAT	0.05
counter6_64	SAT	0.05
counter6_65	SAT	0.05
counter6_8	SAT	0.05
counter5_33	SAT	0.05
counter5_32	SAT	0.05
Core1108_tbm_09.tex.moduleQ3.2S.000003	SAT	0.05
Core1108_tbm_03.tex.module.000039	SAT	0.05
Umbrella_tbm_05.tex.module.000065	SAT	0.05
Umbrella_tbm_25.tex.module.000084	SAT	0.05
Umbrella_tbm_24.tex.module.000103	SAT	0.05
Umbrella_tbm_24.tex.module.000066	SAT	0.05
Umbrella_tbm_25.tex.module.000121	SAT	0.05
Core1108_tbm_21.tex.moduleQ3.2S.000015	SAT	0.05
Core1108_tbm_21.tex.moduleQ3.2S.000024	SAT	0.05
counter6_16	SAT	0.05
counter6_2	SAT	0.05
counter7_16	SAT	0.05
semaphore6_2	SAT	0.05
semaphore6_3	SAT	0.05
semaphore5_4	SAT	0.05
semaphore5_2	SAT	0.05
semaphore5_3	SAT	0.05
counter8_256	SAT	0.05
counter8_2	SAT	0.05
counter8_32	SAT	0.05
counter8_4	SAT	0.05
semaphore6_4	SAT	0.05
dmeSmall_4	SAT	0.05
counter7_2	SAT	0.05
counter7_32	SAT	0.05
counter7_4	SAT	0.05
counter7_64	SAT	0.05
counter7_8	SAT	0.05
counter7_128	SAT	0.05
counter7_129	SAT	0.05
dmeSmall_8	SAT	0.05
dmeSmall_2	SAT	0.05
counter8_64	SAT	0.05
Core1108_tbm_02.tex.moduleQ3.2S.000095	SAT	0.05
Core1108_tbm_03.tex.moduleQ3.2S.000002	SAT	0.05
Umbrella_tbm_29.tex.module.000009	SAT	0.05
Core1108_tbm_03.tex.module.000064	SAT	0.05
Umbrella_tbm_21.tex.module.000079	SAT	0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000812	SAT	0.05
Core1108_tbm_21.tex.moduleQ3.2S.000011	SAT	0.05
Core1108_tbm_03.tex.module.000090	SAT	0.05
Umbrella_tbm_25.tex.moduleQ3.2S.000120	SAT	0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000720	SAT	0.05
Umbrella_tbm_25.tex.module.000087	SAT	0.05
Umbrella_tbm_05.tex.module.000043	SAT	0.05
Core1108_tbm_09.tex.moduleQ3.2S.000011	SAT	0.05
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	SAT	0.05
Core1108_tbm_09.tex.module.000028	SAT	0.05
Umbrella_tbm_29.tex.moduleQ2.2S.000001	SAT	0.05
Umbrella_tbm_26.tex.module.000021	SAT	0.05
Umbrella_tbm_21.tex.module.000129	SAT	0.05
Umbrella_tbm_26.tex.module.000004	SAT	0.05
Core1108_tbm_21.tex.moduleQ3.2S.000002	SAT	0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000020	SAT	0.05
Core1108_tbm_21.tex.moduleQ3.2S.000019	SAT	0.05
Umbrella_tbm_05.tex.module.000015	SAT	0.05
Umbrella_tbm_05.tex.module.000079	SAT	0.05
Umbrella_tbm_21.tex.module.000069	SAT	0.05
Core1108_tbm_03.tex.moduleQ3.2S.000048	SAT	0.05
Core1108_tbm_02.tex.moduleQ3.2S.000099	SAT	0.05
Umbrella_tbm_25.tex.module.000041	SAT	0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000037	SAT	0.05
Core1108_tbm_03.tex.module.000003	SAT	0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000792	SAT	0.05
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	SAT	0.05
Core1108_tbm_02.tex.moduleQ3.2S.000026	SAT	0.05
Core1108_tbm_09.tex.moduleQ3.10S.000001	SAT	0.05
Core1108_tbm_21.tex.module.000014	SAT	0.05
Core1108_tbm_03.tex.moduleQ3.2S.000003	SAT	0.05
Core1108_tbm_09.tex.module.000008	SAT	0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000014	SAT	0.05
Umbrella_tbm_14.tex.moduleQ2.2S.000001	SAT	0.05
Umbrella_tbm_05.tex.module.000030	SAT	0.05
Umbrella_tbm_21.tex.module.000024	SAT	0.05
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	SAT	0.05
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	SAT	0.05
Core1108_tbm_21.tex.moduleQ3.2S.000014	SAT	0.05
Umbrella_tbm_05.tex.module.000025	SAT	0.05
assertion11_0_3	SAT	0.05
possibility4_0_5	SAT	0.05
possibility3_0_1	SAT	0.05
possibility2_0_9	SAT	0.05
possibility2_0_8	SAT	0.05
possibility2_0_7	SAT	0.05
possibility2_0_6	SAT	0.05
possibility2_0_5	SAT	0.05
possibility2_0_4	SAT	0.05
possibility2_0_3	SAT	0.05
possibility2_0_2	SAT	0.05
possibility3_0_10	SAT	0.05
possibility3_0_2	SAT	0.05
possibility4_0_4	SAT	0.05
possibility4_0_3	SAT	0.05
possibility4_0_2	SAT	0.05
possibility4_0_10	SAT	0.05
possibility4_0_1	SAT	0.05
possibility3_0_9	SAT	0.05
possibility3_0_7	SAT	0.05
possibility3_0_5	SAT	0.05
possibility3_0_4	SAT	0.05
possibility2_0_10	SAT	0.05
possibility2_0_1	SAT	0.05
possibility12_0_9	SAT	0.05
possibility11_0_10	SAT	0.05
possibility11_0_1	SAT	0.05
possibility10_0_9	SAT	0.05
possibility10_0_8	SAT	0.05
possibility10_0_7	SAT	0.05
possibility10_0_6	SAT	0.05
possibility10_0_5	SAT	0.05
possibility10_0_4	SAT	0.05
possibility10_0_3	SAT	0.05
possibility11_0_2	SAT	0.05
possibility11_0_4	SAT	0.05
possibility12_0_8	SAT	0.05
possibility12_0_6	SAT	0.05
possibility12_0_5	SAT	0.05
possibility12_0_4	SAT	0.05
possibility12_0_3	SAT	0.05
possibility12_0_2	SAT	0.05
possibility12_0_1	SAT	0.05
possibility11_0_7	SAT	0.05
possibility11_0_6	SAT	0.05
possibility10_0_2	SAT	0.05
possibility9_0_9	SAT	0.05
possibility8_0_6	SAT	0.05
possibility8_0_5	SAT	0.05
possibility8_0_4	SAT	0.05
possibility8_0_3	SAT	0.05
possibility8_0_2	SAT	0.05
possibility8_0_10	SAT	0.05
possibility8_0_1	SAT	0.05
possibility7_0_9	SAT	0.05
possibility7_0_8	SAT	0.05
possibility8_0_7	SAT	0.05
possibility8_0_9	SAT	0.05
possibility9_0_8	SAT	0.05
possibility9_0_7	SAT	0.05
possibility9_0_6	SAT	0.05
possibility9_0_5	SAT	0.05
possibility9_0_4	SAT	0.05
possibility9_0_3	SAT	0.05
possibility9_0_2	SAT	0.05
possibility9_0_10	SAT	0.05
possibility9_0_1	SAT	0.05
possibility7_0_7	SAT	0.05
possibility7_0_6	SAT	0.05
possibility7_0_5	SAT	0.05
possibility5_0_9	SAT	0.05
possibility5_0_8	SAT	0.05
possibility5_0_3	SAT	0.05
possibility5_0_2	SAT	0.05
possibility5_0_10	SAT	0.05
possibility5_0_1	SAT	0.05
possibility4_0_9	SAT	0.05
possibility4_0_8	SAT	0.05
possibility4_0_7	SAT	0.05
possibility6_0_1	SAT	0.05
possibility6_0_2	SAT	0.05
possibility7_0_4	SAT	0.05
possibility7_0_3	SAT	0.05
possibility7_0_1	SAT	0.05
possibility6_0_9	SAT	0.05
possibility6_0_7	SAT	0.05
possibility6_0_6	SAT	0.05
possibility6_0_5	SAT	0.05
possibility6_0_4	SAT	0.05
possibility6_0_3	SAT	0.05
possibility4_0_6	SAT	0.05
assertion6_0_4	SAT	0.05
assertion4_0_8	SAT	0.05
assertion4_0_6	SAT	0.05
assertion4_0_5	SAT	0.05
assertion4_0_4	SAT	0.05
assertion4_0_3	SAT	0.05
assertion4_0_2	SAT	0.05
assertion4_0_10	SAT	0.05
assertion4_0_1	SAT	0.05
assertion3_0_8	SAT	0.05
assertion5_0_10	SAT	0.05
assertion5_0_2	SAT	0.05
assertion6_0_3	SAT	0.05
assertion6_0_2	SAT	0.05
assertion6_0_10	SAT	0.05
assertion6_0_1	SAT	0.05
assertion5_0_9	SAT	0.05
assertion5_0_8	SAT	0.05
assertion5_0_5	SAT	0.05
assertion5_0_4	SAT	0.05
assertion5_0_3	SAT	0.05
assertion3_0_7	SAT	0.05
assertion3_0_6	SAT	0.05
assertion3_0_5	SAT	0.05
assertion12_0_8	SAT	0.05
assertion12_0_7	SAT	0.05
assertion12_0_5	SAT	0.05
assertion12_0_2	SAT	0.05
assertion12_0_10	SAT	0.05
assertion12_0_1	SAT	0.05
assertion11_0_8	SAT	0.05
assertion11_0_7	SAT	0.05
assertion11_0_6	SAT	0.05
assertion12_0_9	SAT	0.05
assertion2_0_1	SAT	0.05
assertion3_0_4	SAT	0.05
assertion3_0_3	SAT	0.05
assertion3_0_2	SAT	0.05
assertion3_0_10	SAT	0.05
assertion2_0_9	SAT	0.05
assertion2_0_8	SAT	0.05
assertion2_0_7	SAT	0.05
assertion2_0_5	SAT	0.05
assertion2_0_3	SAT	0.05
assertion11_0_5	SAT	0.05
possibility10_0_10	SAT	0.05
consistency_0_6	SAT	0.05
consistency_0_5	SAT	0.05
consistency_0_4	SAT	0.05
consistency_0_3	SAT	0.05
consistency_0_2	SAT	0.05
consistency_0_10	SAT	0.05
consistency_0_1	SAT	0.05
assertion9_0_9	SAT	0.05
assertion9_0_8	SAT	0.05
consistency_0_7	SAT	0.05
consistency_0_8	SAT	0.05
possibility10_0_1	SAT	0.05
possibility1_0_9	SAT	0.05
possibility1_0_7	SAT	0.05
possibility1_0_6	SAT	0.05
possibility1_0_4	SAT	0.05
possibility1_0_2	SAT	0.05
possibility1_0_10	SAT	0.05
possibility1_0_1	SAT	0.05
consistency_0_9	SAT	0.05
assertion9_0_6	SAT	0.05
assertion9_0_5	SAT	0.05
assertion9_0_4	SAT	0.05
assertion7_0_8	SAT	0.05
assertion7_0_5	SAT	0.05
assertion7_0_3	SAT	0.05
assertion7_0_2	SAT	0.05
assertion7_0_10	SAT	0.05
assertion7_0_1	SAT	0.05
assertion6_0_9	SAT	0.05
assertion6_0_8	SAT	0.05
assertion6_0_7	SAT	0.05
assertion7_0_9	SAT	0.05
assertion8_0_1	SAT	0.05
assertion9_0_3	SAT	0.05
assertion9_0_2	SAT	0.05
assertion9_0_1	SAT	0.05
assertion8_0_8	SAT	0.05
assertion8_0_5	SAT	0.05
assertion8_0_4	SAT	0.05
assertion8_0_3	SAT	0.05
assertion8_0_2	SAT	0.05
assertion8_0_10	SAT	0.05
assertion6_0_5	SAT	0.05
counter4_3	SAT	0.05
dme1_3	SAT	0.05
counter4_5	SAT	0.05
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	SAT	0.05
possibility1_0_8	SAT	0.05
counter4_4	SAT	0.05
flipflop-3-c	SAT	0.05
counter4_13	SAT	0.05
counter4_12	SAT	0.05
ring4_3	SAT	0.05
ring4_2	SAT	0.05
ring4_8	SAT	0.05
ring4_7	SAT	0.05
dme1_2	SAT	0.05
dme1_8	SAT	0.05
counter4_7	SAT	0.05
counter4_16	SAT	0.05
counter4_15	SAT	0.05
counter4_14	SAT	0.05
counter4_8	SAT	0.05
counter4_9	SAT	0.05
counter4_10	SAT	0.05
counter4_11	SAT	0.05
dme1_4	SAT	0.05
dme1_5	SAT	0.05
dme1_6	SAT	0.05
dme1_7	SAT	0.05
ring4_6	SAT	0.05
ring4_5	SAT	0.05
counter8_8	SAT	0.05
semaphore4_4	SAT	0.05
ring5_33	SAT	0.05
ring6_2	SAT	0.05
ring6_16	SAT	0.05
ring6_65	SAT	0.05
ring6_8	SAT	0.05
ring6_64	SAT	0.05
ring6_4	SAT	0.05
ring6_32	SAT	0.05
ring5_2	SAT	0.05
ring5_16	SAT	0.05
ring5_8	SAT	0.05
ring5_4	SAT	0.05
ring5_32	SAT	0.05
counter8_16	SAT	0.05
semaphore4_2	SAT	0.05
semaphore3_4	SAT	0.05
semaphore3_2	SAT	0.05
semaphore3_3	SAT	0.05
semaphore_4	SAT	0.05
semaphore_5	SAT	0.05
semaphore4_3	SAT	0.05
ring4_4	SAT	0.05
semaphore_3	SAT	0.05
semaphore_2	SAT	0.05
assertion1_0_2	SAT	0.06
assertion12_0_6	SAT	0.06
tree-exa2-20	UNSAT	0.06
dmeSmall_9	SAT	0.06
toilet_g_08_01.2	SAT	0.06
toilet_g_04_01.2	SAT	0.06
Umbrella_tbm_25.tex.moduleQ3.2S.000063	SAT	0.06
assertion10_0_9	SAT	0.06
assertion5_0_7	SAT	0.06
assertion3_0_1	SAT	0.06
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.06
assertion7_0_6	SAT	0.06
Core1108_tbm_21.tex.moduleQ3.2S.000027	SAT	0.06
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.06
assertion4_0_7	SAT	0.06
tree-exa10-10	SAT	0.06
C5315.blif_0.10_1.00_0_0_inp_exact	SAT	0.06
assertion3_0_9	SAT	0.06
s27_d4_u	SAT	0.06
possibility11_0_5	SAT	0.06
possibility11_0_8	SAT	0.06
z4ml.blif_0.10_1.00_0_0_inp_exact	SAT	0.06
tree-exa2-35	UNSAT	0.06
tree-exa2-25	UNSAT	0.06
impl08	SAT	0.06
counter4_6	SAT	0.06
counter4_2	SAT	0.06
possibility5_0_7	SAT	0.06
s27_d5_u	SAT	0.06
possibility6_0_10	SAT	0.06
stmt44_107_108	SAT	0.06
counter8_257	SAT	0.06
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.06
counter8_128	SAT	0.06
possibility5_0_6	SAT	0.06
toilet_a_04_01.4	UNSAT	0.07
C432.blif_0.10_0.20_0_0_out_exact	SAT	0.07
C5315.blif_0.10_1.00_0_0_out_exact	SAT	0.07
impl10	SAT	0.07
assertion5_0_6	SAT	0.07
assertion8_0_6	SAT	0.07
mutex-2-s	SAT	0.07
assertion8_0_7	SAT	0.07
tree-exa2-45	UNSAT	0.07
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.07
assertion12_0_3	SAT	0.07
k_ph_p-3	UNSAT	0.07
term1.blif_0.10_1.00_0_0_out_exact	SAT	0.07
impl16	SAT	0.07
C880.blif_0.10_1.00_0_0_out_exact	SAT	0.07
qshifter_3	SAT	0.07
impl12	SAT	0.07
rewriting_k_10	UNSAT	0.07
C432.blif_0.10_1.00_0_0_out_exact	SAT	0.07
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.07
assertion8_0_9	SAT	0.08
assertion11_0_4	SAT	0.08
toilet_g_15_01.2	SAT	0.08
k_dum_n-1	SAT	0.08
k_d4_n-1	SAT	0.08
toilet_a_04_01.6	UNSAT	0.08
k_lin_p-2	UNSAT	0.08
counter_e_2	SAT	0.08
toilet_c_06_01.4	UNSAT	0.08
k_path_p-2	UNSAT	0.08
impl20	SAT	0.08
assertion9_0_10	SAT	0.08
C880.blif_0.10_0.20_0_1_out_exact	SAT	0.08
assertion6_0_6	SAT	0.09
k_dum_p-2	UNSAT	0.09
C499.blif_0.10_1.00_0_0_out_exact	SAT	0.09
k_dum_p-3	UNSAT	0.09
rewriting_k_21	UNSAT	0.09
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.09
rewriting_k_19	UNSAT	0.09
C499.blif_0.10_0.20_0_0_out_exact	SAT	0.09
k_poly_n-2	SAT	0.09
stmt17_18_19	SAT	0.09
term1.blif_0.10_0.20_0_0_out_exact	SAT	0.09
rewriting_k_17	UNSAT	0.09
C499.blif_0.10_0.20_0_1_out_exact	SAT	0.09
assertion11_0_1	SAT	0.09
toilet_g_20_01.2	SAT	0.1
k_branch_n-2	SAT	0.11
k3_1_1	SAT	0.11
assertion11_0_9	SAT	0.11
mutex-4-s	SAT	0.11
k_ph_p-5	UNSAT	0.11
k_grz_n-2	SAT	0.12
k_poly_p-4	UNSAT	0.12
s641_d2_s	SAT	0.12
k_d4_n-2	SAT	0.12
k_dum_n-5	SAT	0.12
uclid-pipe2	SAT	0.12
uclid-pipe3a	SAT	0.12
k_dum_p-6	UNSAT	0.12
k_lin_p-4	UNSAT	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	UNSAT	0.13
s713_d2_s	SAT	0.13
Adder2-2-c	UNSAT	0.13
toilet_a_06_01.6	UNSAT	0.14
k_ph_n-6	SAT	0.14
k_grz_n-5	SAT	0.15
k_path_p-5	UNSAT	0.15
k_lin_n-3	SAT	0.15
stmt27_16_97	UNSAT	0.15
s510_d3_s	SAT	0.16
cnt05	SAT	0.16
k_path_n-5	SAT	0.16
k_poly_p-7	UNSAT	0.17
k_t4p_n-2	SAT	0.17
k_lin_p-9	UNSAT	0.18
k_poly_n-7	SAT	0.18
s386_d3_s	SAT	0.18
k_branch_n-3	SAT	0.19
k_lin_p-10	UNSAT	0.19
k_dum_p-12	UNSAT	0.19
Umbrella_tbm_29.tex.module.000010	SAT	0.2
stmt19_90_266	UNSAT	0.2
possibility3_0_8	SAT	0.2
k_t4p_p-4	UNSAT	0.2
k_poly_p-8	UNSAT	0.2
stmt27_296_297	SAT	0.2
lut4_XOR_fOR	UNSAT	0.21
assertion1_0_9	SAT	0.22
s1196_d2_s	SAT	0.22
toilet_c_08_01.11	UNSAT	0.23
k_dum_p-16	UNSAT	0.24
k_d4_p-8	UNSAT	0.24
k_grz_p-10	UNSAT	0.25
k_path_n-9	SAT	0.26
k_grz_p-13	UNSAT	0.26
assertion2_0_10	SAT	0.26
k_grz_n-10	SAT	0.26
s386_d4_s	SAT	0.26
k_path_p-10	UNSAT	0.27
k_dum_n-12	SAT	0.27
k_grz_p-11	UNSAT	0.27
CHAIN14v.15	SAT	0.28
rewriting_k_100	UNSAT	0.28
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.29
assertion5_0_1	SAT	0.3
k_grz_p-17	UNSAT	0.31
k_dum_n-17	SAT	0.31
rankfunc17_unsigned_16	SAT	0.31
assertion2_0_4	SAT	0.31
possibility8_0_8	SAT	0.31
k_lin_n-5	SAT	0.32
stmt21_79_304	UNSAT	0.32
possibility3_0_6	SAT	0.32
s820_d3_s	SAT	0.33
k_d4_p-11	UNSAT	0.33
k_ph_n-9	SAT	0.33
stmt16_950_951	SAT	0.33
BLOCKS3iii.5	SAT	0.33
k_dum_n-18	SAT	0.33
assertion12_0_4	SAT	0.33
possibility12_0_10	SAT	0.33
k_lin_p-19	UNSAT	0.33
C5315.blif_0.10_0.20_0_0_out_exact	SAT	0.34
k_grz_p-18	UNSAT	0.34
assertion1_0_8	SAT	0.34
C6288.blif_0.10_1.00_0_0_out_exact	SAT	0.35
assertion7_0_4	SAT	0.36
k_path_n-12	SAT	0.36
assertion7_0_7	SAT	0.36
BLOCKS3ii.4.3	UNSAT	0.36
toilet_c_08_05.4	SAT	0.36
stmt41_160_235	UNSAT	0.37
possibility7_0_2	SAT	0.37
s641_d4_s	SAT	0.37
assertion2_0_2	SAT	0.37
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.37
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.38
k_path_n-13	SAT	0.38
CHAIN16v.17	SAT	0.38
query01_ntrivil_1344	UNSAT	0.39
assertion9_0_7	SAT	0.39
possibility1_0_5	SAT	0.39
k_d4_p-13	UNSAT	0.39
possibility3_0_3	SAT	0.39
s713_d4_s	SAT	0.4
s499_d7_s	SAT	0.4
toilet_c_10_01.12	UNSAT	0.4
k_lin_n-6	SAT	0.4
k_path_p-14	UNSAT	0.4
k_poly_p-16	UNSAT	0.41
C6288.blif_0.10_0.20_0_0_out_exact	SAT	0.41
possibility12_0_7	SAT	0.42
k_t4p_n-5	SAT	0.43
k_poly_n-17	SAT	0.44
C6288.blif_0.10_0.20_0_1_out_exact	SAT	0.44
possibility11_0_9	SAT	0.44
k_poly_n-18	SAT	0.45
s1196_d3_u	SAT	0.46
k_path_p-16	UNSAT	0.47
k_grz_n-20	SAT	0.47
assertion2_0_6	SAT	0.47
k_poly_p-19	UNSAT	0.48
vis.4-arbit^2.E-f2	SAT	0.49
possibility5_0_5	SAT	0.49
k_grz_n-21	SAT	0.49
k_branch_p-5	UNSAT	0.51
k_path_n-16	SAT	0.52
assertion1_0_4	SAT	0.52
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.53
possibility1_0_3	SAT	0.53
b12_PR_9_2	SAT	0.54
k_d4_p-17	UNSAT	0.54
toilet_a_08_05.2	UNSAT	0.54
possibility11_0_3	SAT	0.55
possibility7_0_10	SAT	0.55
k_poly_n-21	SAT	0.56
s1269_d3_s	SAT	0.56
stmt41_738_749	SAT	0.56
cnt10	SAT	0.57
szymanski-5-s	UNSAT	0.57
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.57
small-swap1-fixpoint-3	SAT	0.59
eijk.S382.S-d4	SAT	0.61
k_lin_n-8	SAT	0.62
k_t4p_p-12	UNSAT	0.62
assertion4_0_9	SAT	0.64
assertion10_0_2	SAT	0.64
possibility6_0_8	SAT	0.66
k_d4_p-20	UNSAT	0.67
s298_d12_s	SAT	0.68
rankfunc5_unsigned_64	SAT	0.69
s01238_PR_8_2	SAT	0.71
s386_d8_u	SAT	0.71
CHAIN20v.21	SAT	0.72
k_ph_n-11	SAT	0.73
lights3_035_0_051	UNSAT	0.73
s641_d6_s	SAT	0.74
k_branch_p-6	UNSAT	0.78
flipflop-5-c	UNSAT	0.78
rankfunc33_signed_32	SAT	0.79
possibility5_0_4	SAT	0.8
s713_d6_s	SAT	0.82
k_t4p_p-15	UNSAT	0.84
ring_r4_ser--opt-11_	UNSAT	0.87
s298_d14_s	SAT	0.88
rankfunc14_signed_64	SAT	0.9
k_t4p_p-16	UNSAT	0.94
CHAIN22v.23	SAT	0.96
par8-1-c-50	UNSAT	0.96
s641_d7_u	SAT	0.97
rankfunc13_unsigned_64	SAT	0.98
s386_d10_u	SAT	1.01
irst.dme6.B-d2	SAT	1.06
s713_d7_u	SAT	1.07
BLOCKS3ii.5.3	SAT	1.08
CHAIN23v.24	SAT	1.1
small-swap2-fixpoint-4	SAT	1.11
c4_BMC_p1_k32	SAT	1.14
k_t4p_p-18	UNSAT	1.14
s1196_d5_u	SAT	1.17
s641_d8_u	SAT	1.27
s386_d12_u	SAT	1.32
s713_d8_u	SAT	1.4
s510_d11_s	SAT	1.41
query48_query15_1344	UNSAT	1.42
k_d4_n-14	SAT	1.43
szymanski-6-s	UNSAT	1.45
s298_d19_u	SAT	1.48
cnt14	SAT	1.48
mutex-32-s	SAT	1.48
s499_d15_s	SAT	1.49
k_branch_n-8	SAT	1.5
k_d4_n-15	SAT	1.53
arbiter-06-comp-error02-qbf-hardness-depth-5	UNSAT	1.54
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	1.55
tlc03-nonuniform-depth-17	UNSAT	1.73
gttt_2_1_000111_3x3_torus_b	SAT	1.81
tlc03-uniform-depth-21	UNSAT	1.84
s820_d8_s	SAT	1.86
s298_d22_u	SAT	1.91
BLOCKS4iii.6	UNSAT	2
k_t4p_n-13	SAT	2.05
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	2.27
k_branch_p-10	UNSAT	2.3
k_branch_n-10	SAT	2.32
lights3_035_0_027	UNSAT	2.36
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	2.37
s3330_d2_s	SAT	2.48
c4_BMC_p2_k128	UNSAT	2.49
k_t4p_n-14	SAT	2.49
dungeon_i10-m5-u10-v0.pddl_planlen=23	UNSAT	2.67
driverlog03_7	SAT	2.69
k_d4_n-20	SAT	2.76
k_t4p_n-15	SAT	2.87
lut4_AND_fXOR	UNSAT	2.88
s499_d17_s	SAT	2.93
k_branch_p-11	UNSAT	3.01
flipflop-6-c	UNSAT	3.05
k_lin_n-17	SAT	3.11
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	3.13
k_ph_n-16	SAT	3.14
s298_d25_u	SAT	3.25
small-synabs-fixpoint-9	UNSAT	3.35
sdlx-fixpoint-3	UNSAT	3.38
k_branch_n-12	SAT	3.94
s820_d11_u	SAT	3.98
mutex-64-s	SAT	4.3
s499_d22_u	SAT	4.45
query51_query50_1344	UNSAT	4.53
s820_d12_u	SAT	4.67
s499_d24_u	SAT	5.22
connect_6x5_5_D	UNSAT	5.24
stmt52_244_394	UNSAT	5.39
C880.blif_0.10_1.00_0_0_inp_exact	UNSAT	5.43
s1269_d8_s	SAT	5.51
ev-pr-4x4-9-3-0-0-1-lg	SAT	5.55
arbiter-07-comp-error01-qbf-hardness-depth-4	UNSAT	5.88
k_ph_p-10	UNSAT	6.15
toilet_a_10_05.3	UNSAT	6.32
cube_c7_ser--opt-24_	SAT	6.56
s820_d15_u	SAT	6.85
szymanski-8-s	UNSAT	7.36
s09234_PR_8_2	SAT	7.44
s510_d24_s	SAT	7.5
ii32b1-00	SAT	7.79
test3_quant_squaring2	UNSAT	8.13
stmt17_63_82	SAT	8.32
ken.flash^10.C-f3	UNSAT	8.52
tlc03-uniform-depth-52	UNSAT	8.75
k_branch_p-16	UNSAT	9.89
s1269_d12_u	SAT	10.05
s510_d31_s	SAT	10.53
toilet_c_10_01.17	UNSAT	10.9
s1269_d13_u	SAT	11.62
s510_d36_s	SAT	13.6
tlc04-nonuniform-depth-56	UNSAT	15.15
s1269_d15_u	SAT	15.71
ev-pr-4x4-11-3-0-0-1-lg	SAT	16.25
p20-1.pddl_planlen=24	UNSAT	18.81
fpu-10Xe-correct01-nonuniform-depth-6	UNSAT	22.11
connect_7x6_4_W	UNSAT	22.51
lut4_2_fXOR	SAT	25.08
C432.blif_0.10_0.20_0_1_inp_exact	SAT	25.7
par8-4-50	UNSAT	25.79
ev-pr-6x6-9-5-0-1-2-lg	UNSAT	25.95
adder-10-sat	UNSAT	27.02
ring_r3_ser--opt-8_	SAT	27.07
qshifter_7	SAT	28.01
BLOCKS3i.5.3	SAT	28.18
lut4_2_f2	SAT	28.32
vonNeumann-ripple-carry-5-c	UNSAT	29.3
gttt_1_1_001020_3x3_w	SAT	29.61
gttt_1_1_000111_3x3_torus_w	SAT	30.88
sortnetsort9.v.stepl.007	SAT	31.1
sortnetsort10.v.stepl.005	SAT	31.22
par16-1-50	UNSAT	35.55
lut4_3_fAND	SAT	38.29
k8_2_3	SAT	38.61
ev-pr-4x4-13-3-0-0-1-lg	SAT	38.94
Core1108_tbm_21.tex.module.000027	UNSAT	39.45
ev-pr-4x4-7-3-0-0-1-lg	SAT	42.23
tlc01-uniform-depth-73	SAT	43.78
fpu-10Xh-error01-uniform-depth-5	SAT	44.9
k_ph_n-21	SAT	48.54
stmt19_64_99	SAT	49.29
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	52.03
cache-coherence-2-fixpoint-6	UNSAT	52.24
k_ph_p-12	UNSAT	52.82
s15850_PR_8_50	SAT	56.36
connect_8x7_7_W	UNSAT	57.58
Core1108_tbm_02.tex.moduleQ3.2S.000015	UNSAT	60.92
Umbrella_tbm_24.tex.module.000131	SAT	69.12
ev-pr-6x6-11-5-0-1-2-lg	UNSAT	71.53
adder-14-sat	UNSAT	75.28
emptyroom_e3_ser--opt-20_	SAT	95.83
Umbrella_tbm_25.tex.moduleQ3.2S.000075	UNSAT	114.58
sortnetsort9.AE.stepl.012	UNSAT	119.19
p10-10.pddl_planlen=6	UNSAT	120.27
vonNeumann-ripple-carry-6-c	UNSAT	133.75
Umbrella_tbm_05.tex.module.000039	SAT	148.43
lognBWLARGEA1	UNSAT	157.57
dungeon_i10-m10-u10-v0.pddl_planlen=187	UNSAT	191.65
ken.flash^08.C-d4	UNSAT	202.01
b21_C_3_206	FAIL	218.25
Adder2-16-s	UNSAT	285.7
connect_8x7_6_R	SAT	344.06
C880.blif_0.10_0.20_0_1_inp_exact	UNSAT	404.97
k14_2_3	SAT	413.12
szymanski-14-s	UNSAT	496.01
ev-pr-8x8-13-7-0-1-2-lg	UNSAT	520.71
p10-10.pddl_planlen=10	SAT	571.34
ring_r6_ser--opt-17_	FAIL	598.61
vonNeumann-ripple-carry-7-c	UNSAT	598.65
qshifter_8	FAIL	598.82
ev-pr-8x8-19-7-0-1-2-lg	FAIL	599.11
c5_BMC_p2_k128	FAIL	599.12
ev-pr-4x4-17-3-0-0-1-s	FAIL	599.21
c5_BMC_p2_k64	FAIL	599.31
filesys_smbmrx_cvsndrcv.c	FAIL	599.31
ev-pr-4x4-15-3-0-0-1-s	FAIL	599.31
connect_9x8_6_R	FAIL	599.32
b20_C_3_2	FAIL	599.32
ev-pr-8x8-15-7-0-1-2-lg	FAIL	599.32
query42_query06_1344n	FAIL	599.41
network_irda_miniport_nscirda_comm.c	FAIL	599.42
input_pnpi8042_moudep.c	FAIL	599.42
dungeon_i15-m7-u4-v0.pddl_planlen=81	FAIL	599.42
ev-pr-4x4-13-3-0-0-1-s	FAIL	599.42
b22_PR_8_20	FAIL	599.43
szymanski-16-s	FAIL	599.43
s3330_d12_u	FAIL	599.43
ev-pr-6x6-19-5-0-1-2-lg	FAIL	599.43
ev-pr-6x6-17-5-0-1-2-lg	FAIL	599.43
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	599.52
k12_4_2	FAIL	599.52
emptyroom_e4_ser--opt-44_	FAIL	599.53
s3330_d9_s	FAIL	599.53
ev-pr-4x4-7-3-0-0-1-s	FAIL	599.53
b20_PR_7_20	FAIL	599.61
audio_ddksynth_csynth2.cpp	FAIL	599.61
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	599.61
stmt17_86_98	FAIL	599.61
stmt17_70_90	FAIL	599.61
texas.PI_main^05.E-f3	FAIL	599.61
s3330_d4_s	FAIL	599.61
incrementer-enc02-uniform-depth-58	FAIL	599.61
k_ph_p-19	FAIL	599.61
s3330_d3_s	FAIL	599.62
gttt_2_2_001020_4x4_w	FAIL	599.62
query44_query26_1344n	FAIL	599.62
gttt_2_1_00102030_4x4_torus_b	FAIL	599.62
texas.PI_main^08.E-f3	FAIL	599.63
stmt28_68_81	FAIL	599.71
p20-5.pddl_planlen=32	FAIL	599.71
arbiter-10-comp-error01-qbf-hardness-depth-10	FAIL	599.71
dungeon_i25-m12-u3-v0.pddl_planlen=190	FAIL	599.71
dungeon_i25-m12-u3-v0.pddl_planlen=165	FAIL	599.71
k5_2_3	FAIL	599.71
sortnetsort8.v.stepl.009	FAIL	599.71
test2_quant_squaring3	FAIL	599.71
cnt16r	FAIL	599.71
adder-12-unsat	FAIL	599.71
ken.oop^2.C-d4	FAIL	599.71
nusmv.tcas^3.B-f2	FAIL	599.71
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	599.71
test3_quant_squaring4	FAIL	599.71
f600-50	FAIL	599.71
test1_quant_squaring3	FAIL	599.71
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	599.71
test2_quant_squaring2	FAIL	599.71
incrementer-enc07-uniform-depth-25	FAIL	599.71
incrementer-enc08-uniform-depth-33	FAIL	599.71
ev-pr-6x6-9-5-0-1-2-s	FAIL	599.72
c4_Debug_s5_f2_e2_v1	FAIL	599.72
ev-pr-6x6-17-5-0-1-2-s	FAIL	599.72
sortnetsort9.v.stepl.005	FAIL	599.72
c2_BMC_p1_k2048	FAIL	599.72
ev-pr-6x6-13-5-0-1-2-s	FAIL	599.72
vonNeumann-ripple-carry-11-c	FAIL	599.72
c3_Debug_s3_f2_e2_v2	FAIL	599.72
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	599.72
lognBWLARGEB1	FAIL	599.72
fpu-10Xh-correct04-nonuniform-depth-27	FAIL	599.72
c2_Debug_s3_f1_e1_v2	FAIL	599.72
pipesnotankage18_8	FAIL	599.72
ev-pr-6x6-11-5-0-1-2-s	FAIL	599.72
flipflop-10-c	FAIL	599.72
nusmv.tcas-t^1.B-d2	FAIL	599.72
vonNeumann-ripple-carry-12-c	FAIL	599.72
fpu-10Xe-correct01-nonuniform-depth-24	FAIL	599.72
incrementer-enc03-nonuniform-depth-24	FAIL	599.72
pipesnotankage14_10	FAIL	599.72
fpu-10Xe-correct01-uniform-depth-22	FAIL	599.81
c4_Debug_s3_f2_e2_v2	FAIL	599.82
flipflop-11-c	FAIL	599.82
p20-20.pddl_planlen=23	FAIL	599.82
c1_Debug_s5_f1_e1_v2	FAIL	599.91

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by xb-bid-qsts
QBFEVAL'16 - Prenex non-CNF Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by xb-bid-qsts QBFEVAL'16 - Prenex non-CNF Track.

Instances solved by xb-bid-qsts
QBFEVAL'16 - Prenex non-CNF Track.