Instances solved by <a href='solver_detail.php?solver=243'>quabs-picosat</a> <br> QBFEVAL'16

Instances solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

Instance	Result	Time
ring5_4	SAT	0
counter6_2	SAT	0
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0
qshifter_3	SAT	0
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0
s27_d5_u	UNSAT	0
counter4_3	SAT	0
counter4_2	SAT	0
counter5_2	SAT	0
k_ph_p-3	UNSAT	0
counter7_2	SAT	0
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0
ring5_2	SAT	0
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
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
s27_d4_u	UNSAT	0
ring6_2	SAT	0
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0
counter8_2	SAT	0
tree-exa10-10	SAT	0
incrementer-enc05-uniform-depth-2	UNSAT	0
ring4_3	SAT	0
counter4_4	SAT	0
rewriting_k_17	UNSAT	0
rewriting_k_19	UNSAT	0
rewriting_k_21	UNSAT	0
stmt44_107_108	SAT	0
flipflop-3-c	UNSAT	0
ring4_4	SAT	0
toilet_g_08_01.2	SAT	0
ring4_2	SAT	0
toilet_g_04_01.2	SAT	0
rewriting_k_10	UNSAT	0
semaphore_5	SAT	0.01
semaphore3_2	SAT	0.01
counter7_4	SAT	0.01
semaphore5_2	SAT	0.01
impl08	SAT	0.01
dmeSmall_2	SAT	0.01
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.01
semaphore_4	SAT	0.01
toilet_c_06_01.4	UNSAT	0.01
semaphore_2	SAT	0.01
semaphore_3	SAT	0.01
ring5_8	SAT	0.01
irst.dme6.B-d2	SAT	0.01
eijk.S382.S-d4	SAT	0.01
toilet_g_15_01.2	SAT	0.01
counter8_4	SAT	0.01
mutex-2-s	SAT	0.01
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.01
tree-exa2-20	UNSAT	0.01
ring6_4	SAT	0.01
ring6_8	SAT	0.01
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.01
semaphore4_2	SAT	0.01
k_path_p-2	UNSAT	0.01
par8-1-c-50	UNSAT	0.01
counter4_9	SAT	0.01
counter4_8	SAT	0.01
counter4_7	SAT	0.01
counter5_4	SAT	0.01
counter4_6	SAT	0.01
counter4_5	SAT	0.01
counter5_8	SAT	0.01
counter6_4	SAT	0.01
s713_d2_s	SAT	0.01
ring4_7	SAT	0.01
ring4_8	SAT	0.01
k_d4_n-1	SAT	0.01
s641_d2_s	SAT	0.01
ring4_6	SAT	0.01
counter4_10	SAT	0.01
ring4_5	SAT	0.01
toilet_a_04_01.4	UNSAT	0.01
k_lin_p-2	UNSAT	0.01
k_lin_p-4	UNSAT	0.01
toilet_g_20_01.2	SAT	0.02
counter5_16	SAT	0.02
counter7_8	SAT	0.02
k_dum_n-1	SAT	0.02
vis.4-arbit^2.E-f2	SAT	0.02
stmt27_16_97	UNSAT	0.02
toilet_a_04_01.6	UNSAT	0.02
s510_d3_s	SAT	0.02
semaphore6_2	SAT	0.02
counter6_8	SAT	0.02
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
k_ph_n-6	SAT	0.02
k_lin_p-10	UNSAT	0.02
k_lin_p-9	UNSAT	0.02
counter4_12	SAT	0.02
semaphore5_3	SAT	0.02
semaphore3_4	SAT	0.02
impl10	SAT	0.02
C5315.blif_0.10_1.00_0_0_out_exact	UNSAT	0.02
counter4_13	SAT	0.02
semaphore4_3	SAT	0.02
counter4_14	SAT	0.02
counter4_15	SAT	0.02
semaphore3_3	SAT	0.02
tree-exa2-25	UNSAT	0.02
rewriting_k_100	UNSAT	0.02
s386_d3_s	SAT	0.02
counter4_11	SAT	0.02
ring5_16	SAT	0.02
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	0.02
counter_e_2	SAT	0.02
Core1108_tbm_21.tex.module.000017	UNSAT	0.02
dme1_2	SAT	0.02
Umbrella_tbm_05.tex.module.000065	UNSAT	0.03
k_ph_p-5	UNSAT	0.03
counter4_16	SAT	0.03
dme1_3	SAT	0.03
dmeSmall_4	SAT	0.03
impl12	SAT	0.03
mutex-4-s	SAT	0.03
k_poly_n-2	SAT	0.03
semaphore6_3	SAT	0.03
ring6_16	SAT	0.03
k_branch_n-2	SAT	0.03
b12_PR_9_2	SAT	0.03
counter8_8	SAT	0.03
s01238_PR_8_2	SAT	0.04
counter6_16	SAT	0.04
k_dum_p-2	UNSAT	0.04
tree-exa2-35	UNSAT	0.04
dme1_4	SAT	0.04
par8-4-50	UNSAT	0.04
k_dum_p-3	UNSAT	0.04
k_lin_p-19	UNSAT	0.04
semaphore4_4	SAT	0.04
s1196_d2_s	SAT	0.04
counter5_32	SAT	0.05
Umbrella_tbm_24.tex.module.000103	UNSAT	0.05
impl16	SAT	0.05
dme1_5	SAT	0.05
k_path_p-5	UNSAT	0.05
ring5_32	SAT	0.05
s820_d3_s	SAT	0.05
semaphore5_4	SAT	0.05
s386_d4_s	SAT	0.05
dmeSmall_8	SAT	0.05
counter7_16	SAT	0.05
ring5_33	SAT	0.05
Core1108_tbm_21.tex.module.000027	UNSAT	0.06
Umbrella_tbm_05.tex.module.000079	UNSAT	0.06
dmeSmall_9	SAT	0.06
counter5_33	SAT	0.06
toilet_a_06_01.6	UNSAT	0.06
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.06
k_d4_n-2	SAT	0.06
s641_d4_s	SAT	0.06
tree-exa2-45	UNSAT	0.06
Umbrella_tbm_24.tex.module.000066	UNSAT	0.06
nusmv.tcas-t^1.B-d2	SAT	0.06
ring6_32	SAT	0.06
dme1_6	SAT	0.07
s499_d7_s	SAT	0.07
semaphore6_4	SAT	0.07
impl20	SAT	0.07
k_grz_n-5	SAT	0.07
counter8_16	SAT	0.07
Umbrella_tbm_05.tex.module.000088	UNSAT	0.08
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.08
s713_d4_s	SAT	0.08
k_dum_p-6	UNSAT	0.08
Umbrella_tbm_29.tex.module.000009	UNSAT	0.08
Umbrella_tbm_29.tex.module.000078	UNSAT	0.08
dme1_7	SAT	0.08
Umbrella_tbm_29.tex.module.000010	UNSAT	0.08
k_path_n-5	SAT	0.08
Core1108_tbm_21.tex.module.000091	UNSAT	0.08
k_grz_n-2	SAT	0.09
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.09
dme1_8	SAT	0.09
Core1108_tbm_03.tex.module.000037	UNSAT	0.09
Core1108_tbm_21.tex.module.000026	UNSAT	0.09
Core1108_tbm_09.tex.module.000028	UNSAT	0.09
Umbrella_tbm_05.tex.module.000053	UNSAT	0.09
Umbrella_tbm_05.tex.module.000064	UNSAT	0.09
toilet_a_08_05.2	UNSAT	0.09
k_ph_n-9	SAT	0.09
k_dum_n-5	SAT	0.1
Umbrella_tbm_05.tex.module.000030	UNSAT	0.1
s3330_d2_s	SAT	0.1
Umbrella_tbm_05.tex.module.000043	UNSAT	0.1
Core1108_tbm_03.tex.module.000023	UNSAT	0.1
Core1108_tbm_21.tex.module.000030	UNSAT	0.1
Core1108_tbm_21.tex.module.000008	UNSAT	0.1
Core1108_tbm_09.tex.module.000009	UNSAT	0.1
Core1108_tbm_09.tex.module.000008	UNSAT	0.1
Core1108_tbm_09.tex.module.000010	UNSAT	0.1
tlc03-uniform-depth-21	UNSAT	0.1
Core1108_tbm_21.tex.module.000009	UNSAT	0.1
Core1108_tbm_21.tex.module.000010	UNSAT	0.1
Core1108_tbm_03.tex.module.000034	UNSAT	0.11
k_lin_n-3	SAT	0.11
Core1108_tbm_03.tex.module.000019	UNSAT	0.11
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	SAT	0.11
Umbrella_tbm_05.tex.module.000025	UNSAT	0.11
Core1108_tbm_03.tex.module.000021	UNSAT	0.11
lut4_XOR_fOR	UNSAT	0.11
Umbrella_tbm_05.tex.module.000015	UNSAT	0.11
Core1108_tbm_03.tex.module.000031	UNSAT	0.11
C432.blif_0.10_0.20_0_1_inp_exact	SAT	0.11
toilet_c_08_05.4	SAT	0.12
counter6_32	SAT	0.12
k_poly_p-4	UNSAT	0.12
Core1108_tbm_21.tex.module.000023	UNSAT	0.12
Core1108_tbm_03.tex.module.000048	UNSAT	0.12
flipflop-5-c	UNSAT	0.12
Umbrella_tbm_05.tex.module.000011	UNSAT	0.12
Umbrella_tbm_21.tex.module.000139	UNSAT	0.13
ring6_65	SAT	0.13
Umbrella_tbm_21.tex.module.000129	UNSAT	0.13
Core1108_tbm_03.tex.module.000003	UNSAT	0.13
Core1108_tbm_03.tex.module.000038	UNSAT	0.13
Umbrella_tbm_21.tex.module.000069	UNSAT	0.13
Core1108_tbm_21.tex.module.000014	UNSAT	0.13
Umbrella_tbm_21.tex.module.000149	UNSAT	0.13
Core1108_tbm_03.tex.module.000039	UNSAT	0.13
k_branch_n-3	SAT	0.13
Umbrella_tbm_21.tex.module.000134	UNSAT	0.13
arbiter-07-comp-error01-qbf-hardness-depth-4	UNSAT	0.13
k_grz_n-10	SAT	0.13
Core1108_tbm_03.tex.module.000056	UNSAT	0.14
Core1108_tbm_03.tex.module.000057	UNSAT	0.14
Umbrella_tbm_21.tex.module.000024	UNSAT	0.14
Umbrella_tbm_21.tex.module.000056	UNSAT	0.14
Umbrella_tbm_21.tex.module.000079	UNSAT	0.14
Core1108_tbm_03.tex.module.000064	UNSAT	0.14
Core1108_tbm_03.tex.module.000065	UNSAT	0.14
ring6_64	SAT	0.14
Core1108_tbm_03.tex.module.000092	UNSAT	0.14
s298_d12_s	SAT	0.14
Umbrella_tbm_21.tex.module.000049	UNSAT	0.14
Core1108_tbm_03.tex.module.000058	UNSAT	0.14
Umbrella_tbm_21.tex.module.000029	UNSAT	0.14
Core1108_tbm_03.tex.module.000090	UNSAT	0.14
Umbrella_tbm_21.tex.module.000044	UNSAT	0.14
Umbrella_tbm_26.tex.module.000021	UNSAT	0.15
Umbrella_tbm_26.tex.module.000061	UNSAT	0.15
Umbrella_tbm_26.tex.module.000041	UNSAT	0.15
Umbrella_tbm_26.tex.module.000004	UNSAT	0.15
s1269_d3_s	SAT	0.15
k_t4p_n-2	SAT	0.15
tlc01-uniform-depth-73	UNSAT	0.16
Core1108_tbm_02.tex.moduleQ3.2S.000015	UNSAT	0.16
Adder2-2-c	UNSAT	0.16
counter7_32	SAT	0.16
ring_r4_ser--opt-11_	UNSAT	0.16
Umbrella_tbm_25.tex.module.000099	UNSAT	0.16
BLOCKS3ii.4.3	UNSAT	0.17
nusmv.tcas^3.B-f2	SAT	0.18
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.18
Umbrella_tbm_25.tex.module.000003	UNSAT	0.19
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.19
stmt21_79_304	UNSAT	0.19
Umbrella_tbm_25.tex.module.000121	UNSAT	0.19
s298_d14_s	SAT	0.19
Umbrella_tbm_25.tex.module.000106	UNSAT	0.19
Umbrella_tbm_25.tex.module.000084	UNSAT	0.19
counter8_32	SAT	0.2
k3_1_1	SAT	0.2
stmt17_18_19	SAT	0.2
ken.flash^10.C-f3	UNSAT	0.2
Umbrella_tbm_25.tex.module.000087	UNSAT	0.2
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001	UNSAT	0.2
Core1108_tbm_09.tex.module.000033	UNSAT	0.2
Umbrella_tbm_25.tex.module.000041	UNSAT	0.21
k_grz_p-10	UNSAT	0.21
Umbrella_tbm_25.tex.module.000031	UNSAT	0.22
k_grz_n-21	SAT	0.24
k_ph_n-11	SAT	0.24
szymanski-5-s	UNSAT	0.24
k_grz_n-20	SAT	0.24
k_grz_p-13	UNSAT	0.24
k_grz_p-11	UNSAT	0.25
k_dum_p-12	UNSAT	0.25
k_t4p_p-4	UNSAT	0.25
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.26
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	UNSAT	0.27
k_d4_p-8	UNSAT	0.27
lut4_2_fXOR	SAT	0.27
k_path_n-9	SAT	0.28
arbiter-06-comp-error02-qbf-hardness-depth-5	UNSAT	0.29
k_path_p-10	UNSAT	0.3
s386_d8_u	UNSAT	0.31
texas.PI_main^08.E-f3	SAT	0.31
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.32
k_poly_p-7	UNSAT	0.33
query01_ntrivil_1344	UNSAT	0.34
tlc03-uniform-depth-52	UNSAT	0.35
k_poly_n-7	SAT	0.36
c4_BMC_p1_k32	SAT	0.36
cnt05	SAT	0.36
counter6_64	SAT	0.37
query48_query15_1344	UNSAT	0.37
k_dum_n-12	SAT	0.37
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSAT	0.38
counter6_65	SAT	0.39
s3330_d3_s	SAT	0.4
s510_d11_s	SAT	0.41
s713_d6_s	SAT	0.41
k_dum_p-16	UNSAT	0.41
s386_d10_u	UNSAT	0.43
flipflop-6-c	UNSAT	0.44
k_lin_n-5	SAT	0.45
k_d4_p-11	UNSAT	0.46
k_grz_p-17	UNSAT	0.47
k_poly_p-8	UNSAT	0.47
s820_d8_s	SAT	0.48
toilet_c_08_01.11	UNSAT	0.48
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSAT	0.49
counter7_64	SAT	0.5
s499_d15_s	SAT	0.53
k_path_n-12	SAT	0.53
k_grz_p-18	UNSAT	0.55
ring_r3_ser--opt-8_	SAT	0.56
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSAT	0.57
gttt_1_1_000111_3x3_torus_w	UNSAT	0.57
s386_d12_u	UNSAT	0.58
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	UNSAT	0.58
k_branch_p-5	UNSAT	0.59
k_path_n-13	SAT	0.62
texas.PI_main^05.E-f3	SAT	0.62
s499_d17_s	SAT	0.63
k_d4_p-13	UNSAT	0.63
tlc03-nonuniform-depth-17	UNSAT	0.64
stmt19_90_266	UNSAT	0.65
counter8_64	SAT	0.65
k_path_p-14	UNSAT	0.65
k_lin_n-6	SAT	0.66
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSAT	0.67
s641_d6_s	SAT	0.69
k_dum_n-17	SAT	0.69
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	UNSAT	0.73
k_t4p_n-5	SAT	0.75
k_dum_n-18	SAT	0.76
par16-1-50	UNSAT	0.79
ii32b1-00	SAT	0.79
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	0.81
Core1108_tbm_21.tex.moduleQ3.2S.000024	UNSAT	0.82
Core1108_tbm_03.tex.moduleQ3.2S.000011	UNSAT	0.83
Umbrella_tbm_24.tex.moduleQ2.1S.000136	UNSAT	0.84
Umbrella_tbm_24.tex.moduleQ2.1S.000022	UNSAT	0.84
Umbrella_tbm_24.tex.moduleQ2.1S.000188	UNSAT	0.84
Core1108_tbm_21.tex.moduleQ3.2S.000002	UNSAT	0.86
s3330_d4_s	SAT	0.86
Core1108_tbm_21.tex.moduleQ3.2S.000014	UNSAT	0.86
k_path_p-16	UNSAT	0.87
Core1108_tbm_21.tex.moduleQ3.2S.000015	UNSAT	0.87
Core1108_tbm_21.tex.moduleQ3.2S.000011	UNSAT	0.87
Core1108_tbm_21.tex.moduleQ3.2S.000019	UNSAT	0.88
Core1108_tbm_21.tex.moduleQ3.2S.000027	UNSAT	0.88
Core1108_tbm_21.tex.moduleQ3.2S.000007	UNSAT	0.88
fpu-10Xh-error01-uniform-depth-5	UNSAT	0.9
szymanski-6-s	UNSAT	0.93
s09234_PR_8_2	SAT	0.94
Core1108_tbm_28.tex.moduleQ2.2S.000003	UNSAT	0.94
k_path_n-16	SAT	0.98
mutex-32-s	SAT	0.98
k_branch_p-6	UNSAT	0.99
Umbrella_tbm_23.tex.moduleQ1.2S.000001	UNSAT	1.05
k_d4_p-17	UNSAT	1.05
s820_d11_u	UNSAT	1.1
Core1108_tbm_02.tex.moduleQ3.2S.000077	UNSAT	1.11
gttt_2_1_000111_3x3_torus_b	SAT	1.12
gttt_1_1_001020_3x3_w	UNSAT	1.13
BLOCKS3ii.5.3	SAT	1.15
Core1108_tbm_02.tex.moduleQ3.2S.000007	UNSAT	1.22
toilet_c_10_01.12	UNSAT	1.22
Core1108_tbm_02.tex.moduleQ3.2S.000095	UNSAT	1.23
Core1108_tbm_03.tex.moduleQ3.2S.000002	UNSAT	1.23
Core1108_tbm_03.tex.moduleQ3.2S.000018	UNSAT	1.24
Core1108_tbm_03.tex.moduleQ3.2S.000003	UNSAT	1.24
Core1108_tbm_02.tex.moduleQ3.2S.000098	UNSAT	1.25
Core1108_tbm_03.tex.moduleQ3.2S.000009	UNSAT	1.25
Core1108_tbm_03.tex.moduleQ3.2S.000048	UNSAT	1.25
Umbrella_tbm_29.tex.moduleQ2.2S.000001	UNSAT	1.3
s820_d12_u	UNSAT	1.31
k_t4p_p-12	UNSAT	1.31
connect_6x5_5_D	UNSAT	1.36
k_d4_p-20	UNSAT	1.45
Umbrella_tbm_25.tex.moduleQ3.2S.000075	UNSAT	1.48
Core1108_tbm_02.tex.moduleQ3.2S.000056	UNSAT	1.49
Core1108_tbm_02.tex.moduleQ3.2S.000099	UNSAT	1.5
Core1108_tbm_02.tex.moduleQ3.2S.000026	UNSAT	1.53
k_lin_n-8	SAT	1.55
k_ph_n-16	SAT	1.62
lights3_035_0_027	UNSAT	1.73
fpu-10Xe-correct01-nonuniform-depth-6	UNSAT	1.73
s499_d24_u	UNSAT	1.75
Core1108_tbm_02.tex.moduleQ3.2S.000108	UNSAT	1.82
k_poly_p-16	UNSAT	1.88
lights3_035_0_051	UNSAT	1.91
counter7_128	SAT	1.94
k_t4p_p-15	UNSAT	1.95
Umbrella_tbm_26.tex.moduleQ3.2S.000041	UNSAT	1.95
Umbrella_tbm_26.tex.moduleQ3.2S.000009	UNSAT	1.96
Umbrella_tbm_26.tex.moduleQ3.2S.000014	UNSAT	1.96
Umbrella_tbm_26.tex.moduleQ3.2S.000020	UNSAT	1.96
Umbrella_tbm_26.tex.moduleQ3.2S.000037	UNSAT	1.97
s820_d15_u	UNSAT	2.01
counter7_129	SAT	2.14
k_poly_n-17	SAT	2.18
k_t4p_p-16	UNSAT	2.2
s510_d24_s	SAT	2.31
k_poly_n-18	SAT	2.35
s499_d22_u	UNSAT	2.44
k_poly_p-19	UNSAT	2.58
Umbrella_tbm_14.tex.moduleQ2.1S.000808	UNSAT	2.6
Umbrella_tbm_14.tex.moduleQ2.2S.000003	UNSAT	2.61
Umbrella_tbm_14.tex.moduleQ2.1S.000749	UNSAT	2.61
Umbrella_tbm_14.tex.moduleQ2.2S.000001	UNSAT	2.61
Umbrella_tbm_14.tex.moduleQ2.2S.000002	UNSAT	2.61
Umbrella_tbm_14.tex.moduleQ2.1S.000757	UNSAT	2.62
Umbrella_tbm_14.tex.moduleQ2.1S.000812	UNSAT	2.62
Umbrella_tbm_14.tex.moduleQ2.1S.000720	UNSAT	2.63
Umbrella_tbm_14.tex.moduleQ2.1S.000773	UNSAT	2.63
counter8_128	SAT	2.66
dungeon_i10-m5-u10-v0.pddl_planlen=23	UNSAT	2.71
k_t4p_p-18	UNSAT	2.73
mutex-64-s	SAT	2.95
Umbrella_tbm_14.tex.moduleQ2.1S.000787	UNSAT	3.06
Umbrella_tbm_14.tex.moduleQ2.1S.000792	UNSAT	3.07
s298_d19_u	UNSAT	3.1
k_poly_n-21	SAT	3.39
k_d4_n-14	SAT	3.61
k_branch_p-10	UNSAT	3.84
s298_d22_u	UNSAT	3.87
toilet_a_10_05.3	UNSAT	3.93
k_d4_n-15	SAT	4.18
s510_d31_s	SAT	4.24
Umbrella_tbm_25.tex.moduleQ3.2S.000063	UNSAT	4.37
lut4_3_fAND	SAT	4.56
BLOCKS3i.5.3	UNSAT	4.8
vonNeumann-ripple-carry-5-c	UNSAT	4.85
k_t4p_n-13	SAT	4.86
s298_d25_u	UNSAT	5
k_t4p_n-14	SAT	5.66
s510_d36_s	SAT	6.09
szymanski-8-s	UNSAT	6.53
k_t4p_n-15	SAT	6.53
c4_BMC_p2_k128	UNSAT	6.88
k_lin_n-17	SAT	6.94
k_ph_n-21	SAT	6.97
BLOCKS3iii.5	SAT	7.47
Umbrella_tbm_25.tex.moduleQ3.2S.000120	UNSAT	7.52
k_d4_n-20	SAT	7.56
Umbrella_tbm_25.tex.moduleQ3.2S.000052	UNSAT	7.63
s1269_d8_s	SAT	7.75
Core1108_tbm_09.tex.moduleQ3.2S.000010	UNSAT	8.41
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	9.17
incrementer-enc03-nonuniform-depth-24	UNSAT	9.67
Core1108_tbm_09.tex.moduleQ3.2S.000003	UNSAT	9.79
Core1108_tbm_09.tex.moduleQ3.2S.000007	UNSAT	9.8
Core1108_tbm_09.tex.moduleQ3.10S.000001	UNSAT	9.86
Core1108_tbm_09.tex.moduleQ3.2S.000005	UNSAT	9.86
Core1108_tbm_09.tex.moduleQ3.2S.000011	UNSAT	9.9
Core1108_tbm_09.tex.moduleQ3.9S.000001	UNSAT	9.91
arbiter-10-comp-error01-qbf-hardness-depth-10	UNSAT	11.34
assertion11_0_1	UNSAT	11.55
C880.blif_0.10_1.00_0_0_out_exact	UNSAT	11.89
assertion12_0_1	UNSAT	12.42
counter8_257	SAT	12.83
connect_8x7_7_W	UNSAT	12.95
s1196_d3_u	UNSAT	13.69
s641_d7_u	UNSAT	13.94
lognBWLARGEA1	UNSAT	13.95
assertion5_0_1	UNSAT	14.09
s713_d7_u	UNSAT	16.22
vonNeumann-ripple-carry-6-c	UNSAT	16.56
dungeon_i10-m10-u10-v0.pddl_planlen=187	UNSAT	16.91
p10-10.pddl_planlen=6	UNSAT	17.47
s641_d8_u	UNSAT	17.7
counter8_256	SAT	17.98
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	18.13
arbiter-08-comp-error02-qbf-hardness-depth-9	SAT	18.38
driverlog03_7	SAT	18.45
fpu-10Xe-correct01-uniform-depth-22	UNSAT	18.48
gttt_2_2_001020_4x4_w	UNSAT	18.6
C432.blif_0.10_0.20_0_0_out_exact	UNSAT	18.71
s713_d8_u	UNSAT	22.05
s1196_d5_u	UNSAT	26.81
k_branch_p-16	UNSAT	26.87
fpu-10Xe-correct01-nonuniform-depth-24	FAIL	32.53
connect_9x8_6_R	FAIL	32.63
ev-pr-4x4-7-3-0-0-1-lg	SAT	32.66
fpu-10Xh-correct04-nonuniform-depth-27	FAIL	33.94
consistency_0_3	FAIL	37.93
possibility1_0_3	FAIL	38.03
possibility7_0_3	FAIL	38.12
possibility11_0_3	FAIL	38.13
possibility4_0_3	FAIL	38.13
possibility6_0_3	FAIL	38.13
assertion11_0_3	FAIL	38.13
assertion3_0_3	FAIL	38.23
possibility9_0_3	FAIL	38.24
assertion6_0_3	FAIL	38.34
assertion7_0_3	FAIL	38.34
possibility3_0_3	FAIL	38.34
possibility8_0_3	FAIL	38.53
assertion10_0_3	FAIL	38.63
possibility12_0_3	FAIL	38.82
possibility10_0_3	FAIL	38.83
assertion8_0_3	FAIL	38.83
assertion1_0_3	FAIL	38.92
assertion9_0_3	FAIL	39.22
possibility2_0_3	FAIL	39.22
assertion12_0_3	FAIL	39.23
assertion2_0_3	FAIL	39.34
assertion4_0_3	FAIL	39.44
possibility5_0_3	FAIL	39.44
assertion5_0_3	FAIL	39.71
k_branch_n-8	SAT	40.49
cnt10	SAT	40.55
vonNeumann-ripple-carry-7-c	UNSAT	46.63
Umbrella_tbm_24.tex.module.000131	SAT	47.73
assertion3_0_4	FAIL	52.22
assertion7_0_4	FAIL	52.23
assertion6_0_4	FAIL	52.23
possibility9_0_4	FAIL	52.23
possibility8_0_4	FAIL	52.33
assertion8_0_4	FAIL	52.93
assertion1_0_4	FAIL	53.23
assertion10_0_4	FAIL	53.31
possibility12_0_4	FAIL	53.33
assertion2_0_4	FAIL	53.73
assertion4_0_4	FAIL	53.74
possibility5_0_4	FAIL	53.74
assertion12_0_4	FAIL	53.83
k_branch_p-11	UNSAT	55.17
flipflop-10-c	UNSAT	57.37
possibility11_0_4	FAIL	66.53
possibility4_0_4	FAIL	66.63
possibility7_0_4	FAIL	66.63
possibility3_0_4	FAIL	66.63
possibility6_0_4	FAIL	66.63
possibility1_0_4	FAIL	66.63
consistency_0_4	FAIL	66.73
assertion11_0_4	FAIL	66.84
possibility10_0_4	FAIL	67.52
possibility2_0_4	FAIL	67.83
assertion9_0_4	FAIL	68.53
assertion5_0_4	FAIL	68.53
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	70.35
CHAIN14v.15	SAT	82.36
possibility11_0_5	FAIL	84.32
consistency_0_5	FAIL	84.33
possibility7_0_5	FAIL	84.44
possibility6_0_5	FAIL	84.44
possibility1_0_5	FAIL	84.44
assertion6_0_5	FAIL	84.54
assertion3_0_5	FAIL	84.63
possibility3_0_5	FAIL	84.63
assertion11_0_5	FAIL	84.73
assertion7_0_5	FAIL	84.73
possibility4_0_5	FAIL	84.73
possibility9_0_5	FAIL	85.03
possibility8_0_5	FAIL	85.43
possibility10_0_5	FAIL	85.64
assertion10_0_5	FAIL	85.83
assertion1_0_5	FAIL	85.83
possibility2_0_5	FAIL	85.83
possibility12_0_5	FAIL	85.92
assertion8_0_5	FAIL	86.03
assertion9_0_5	FAIL	87.03
assertion4_0_5	FAIL	87.13
possibility5_0_5	FAIL	87.13
assertion12_0_5	FAIL	87.22
assertion5_0_5	FAIL	87.23
assertion2_0_5	FAIL	87.33
possibility7_0_6	FAIL	92.83
assertion3_0_6	FAIL	92.93
assertion6_0_6	FAIL	92.93
possibility1_0_6	FAIL	93.03
possibility4_0_6	FAIL	93.03
possibility6_0_6	FAIL	93.03
possibility9_0_6	FAIL	93.03
consistency_0_6	FAIL	93.03
assertion11_0_6	FAIL	93.13
possibility3_0_6	FAIL	93.13
assertion7_0_6	FAIL	93.13
possibility11_0_6	FAIL	93.24
possibility8_0_6	FAIL	94.06
possibility2_0_6	FAIL	94.13
possibility12_0_6	FAIL	94.13
possibility10_0_6	FAIL	94.23
assertion1_0_6	FAIL	94.34
assertion10_0_6	FAIL	94.34
assertion8_0_6	FAIL	94.63
assertion5_0_6	FAIL	95.54
possibility5_0_6	FAIL	95.63
assertion12_0_6	FAIL	95.63
assertion4_0_6	FAIL	95.73
assertion9_0_6	FAIL	95.73
assertion2_0_6	FAIL	95.73
gttt_2_1_00102030_4x4_torus_b	UNSAT	96.25
possibility8_0_7	FAIL	102.53
possibility12_0_7	FAIL	104.34
tlc04-nonuniform-depth-56	UNSAT	109.61
lognBWLARGEB1	UNSAT	120
assertion3_0_7	FAIL	133.03
assertion7_0_7	FAIL	133.03
possibility9_0_7	FAIL	133.33
consistency_0_7	FAIL	133.43
assertion11_0_7	FAIL	133.43
possibility1_0_7	FAIL	133.43
possibility7_0_7	FAIL	133.52
possibility6_0_7	FAIL	133.52
assertion6_0_7	FAIL	133.53
possibility4_0_7	FAIL	133.63
possibility11_0_7	FAIL	133.63
possibility3_0_7	FAIL	133.63
assertion8_0_7	FAIL	135.24
possibility10_0_7	FAIL	135.33
assertion10_0_7	FAIL	135.33
possibility2_0_7	FAIL	135.33
assertion1_0_7	FAIL	135.33
possibility8_0_8	FAIL	135.43
possibility1_0_9	FAIL	135.92
possibility4_0_9	FAIL	135.93
assertion6_0_9	FAIL	136.03
possibility3_0_9	FAIL	136.13
possibility7_0_9	FAIL	136.14
possibility11_0_9	FAIL	136.42
assertion3_0_9	FAIL	136.42
possibility6_0_9	FAIL	136.43
assertion11_0_9	FAIL	136.53
possibility9_0_9	FAIL	136.53
consistency_0_9	FAIL	136.53
assertion7_0_9	FAIL	136.53
possibility5_0_7	FAIL	136.63
assertion2_0_7	FAIL	136.73
assertion12_0_7	FAIL	136.82
assertion9_0_7	FAIL	136.93
assertion4_0_7	FAIL	136.93
assertion5_0_7	FAIL	137.03
possibility8_0_9	FAIL	137.23
assertion10_0_9	FAIL	137.83
assertion1_0_9	FAIL	137.93
possibility10_0_9	FAIL	138.12
possibility2_0_9	FAIL	138.23
possibility12_0_9	FAIL	138.53
assertion8_0_9	FAIL	138.53
assertion9_0_9	FAIL	139.54
possibility5_0_9	FAIL	139.54
assertion12_0_9	FAIL	139.63
assertion2_0_9	FAIL	139.63
assertion5_0_9	FAIL	139.73
assertion4_0_9	FAIL	139.82
possibility9_0_8	FAIL	141.23
possibility1_0_8	FAIL	141.43
consistency_0_8	FAIL	141.43
assertion11_0_8	FAIL	141.43
possibility4_0_8	FAIL	141.74
possibility11_0_8	FAIL	141.74
assertion6_0_8	FAIL	142.03
assertion3_0_8	FAIL	142.03
possibility6_0_8	FAIL	142.22
possibility7_0_8	FAIL	142.23
assertion7_0_8	FAIL	142.33
possibility3_0_8	FAIL	142.53
assertion8_0_8	FAIL	143.22
possibility10_0_8	FAIL	143.43
assertion1_0_8	FAIL	143.53
possibility12_0_8	FAIL	143.63
possibility2_0_8	FAIL	143.73
assertion10_0_8	FAIL	143.83
possibility5_0_8	FAIL	145.43
assertion5_0_8	FAIL	145.53
assertion12_0_8	FAIL	145.73
assertion2_0_8	FAIL	145.73
assertion9_0_8	FAIL	145.93
assertion4_0_8	FAIL	146.13
consistency_0_10	FAIL	176.84
possibility1_0_10	FAIL	176.94
assertion11_0_10	FAIL	177.03
possibility11_0_10	FAIL	177.03
assertion6_0_10	FAIL	177.13
possibility6_0_10	FAIL	177.23
possibility3_0_10	FAIL	177.23
possibility7_0_10	FAIL	177.23
assertion3_0_10	FAIL	177.33
assertion7_0_10	FAIL	177.43
possibility4_0_10	FAIL	177.53
possibility9_0_10	FAIL	177.73
possibility8_0_10	FAIL	177.83
assertion8_0_10	FAIL	179.04
possibility10_0_10	FAIL	179.23
possibility2_0_10	FAIL	179.33
assertion1_0_10	FAIL	179.53
possibility12_0_10	FAIL	179.53
assertion10_0_10	FAIL	179.73
assertion9_0_10	FAIL	181.43
assertion2_0_10	FAIL	181.52
assertion12_0_10	FAIL	181.63
possibility5_0_10	FAIL	181.63
assertion5_0_10	FAIL	181.72
assertion4_0_10	FAIL	181.73
query51_query50_1344	UNSAT	184.35
flipflop-11-c	UNSAT	189.08
toilet_c_10_01.17	UNSAT	199.77
szymanski-14-s	UNSAT	220.41
ev-pr-4x4-9-3-0-0-1-lg	SAT	244.53
k_ph_p-10	UNSAT	249.3
k_branch_n-10	SAT	429.69
C5315.blif_0.10_0.20_0_1_inp_exact	SAT	434.46
p10-10.pddl_planlen=10	SAT	499.56
szymanski-16-s	UNSAT	500.27
ev-pr-8x8-15-7-0-1-2-lg	FAIL	599.71
ev-pr-6x6-11-5-0-1-2-s	FAIL	599.71
adder-12-unsat	FAIL	599.71
C499.blif_0.10_0.20_0_0_out_exact	FAIL	599.71
CHAIN16v.17	FAIL	599.71
possibility4_0_2	FAIL	599.71
rankfunc13_unsigned_64	FAIL	599.71
possibility4_0_1	FAIL	599.71
rankfunc17_unsigned_16	FAIL	599.71
rankfunc5_unsigned_64	FAIL	599.71
rankfunc14_signed_64	FAIL	599.71
k14_2_3	FAIL	599.71
test3_quant_squaring4	FAIL	599.71
lut4_AND_fXOR	FAIL	599.71
CHAIN22v.23	FAIL	599.71
connect_7x6_4_W	FAIL	599.71
C499.blif_0.10_1.00_0_0_out_exact	FAIL	599.71
ev-pr-4x4-13-3-0-0-1-s	FAIL	599.71
ev-pr-4x4-17-3-0-0-1-s	FAIL	599.71
uclid-pipe3a	FAIL	599.71
uclid-pipe2	FAIL	599.71
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	599.71
CHAIN20v.21	FAIL	599.71
C499.blif_0.10_0.20_0_1_out_exact	FAIL	599.71
possibility12_0_1	FAIL	599.71
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	599.71
CHAIN23v.24	FAIL	599.71
possibility2_0_2	FAIL	599.71
possibility2_0_1	FAIL	599.71
s3330_d9_s	FAIL	599.71
test1_quant_squaring3	FAIL	599.71
possibility12_0_2	FAIL	599.71
vonNeumann-ripple-carry-11-c	FAIL	599.71
ev-pr-6x6-9-5-0-1-2-lg	FAIL	599.71
k8_2_3	FAIL	599.71
possibility5_0_1	FAIL	599.71
sortnetsort9.v.stepl.005	FAIL	599.71
possibility8_0_2	FAIL	599.71
sortnetsort9.v.stepl.007	FAIL	599.71
c1_Debug_s5_f1_e1_v2	FAIL	599.71
c2_Debug_s3_f1_e1_v2	FAIL	599.71
c3_Debug_s3_f2_e2_v2	FAIL	599.71
c4_Debug_s3_f2_e2_v2	FAIL	599.71
c4_Debug_s5_f2_e2_v1	FAIL	599.71
cube_c7_ser--opt-24_	FAIL	599.71
possibility9_0_1	FAIL	599.71
emptyroom_e3_ser--opt-20_	FAIL	599.71
possibility9_0_2	FAIL	599.71
emptyroom_e4_ser--opt-44_	FAIL	599.71
ring_r6_ser--opt-17_	FAIL	599.71
c5_BMC_p2_k128	FAIL	599.71
c5_BMC_p2_k64	FAIL	599.71
f600-50	FAIL	599.71
possibility8_0_1	FAIL	599.71
sortnetsort9.AE.stepl.012	FAIL	599.71
possibility5_0_2	FAIL	599.71
stmt52_244_394	FAIL	599.71
stmt41_160_235	FAIL	599.71
stmt27_296_297	FAIL	599.71
stmt16_950_951	FAIL	599.71
stmt17_86_98	FAIL	599.71
stmt17_63_82	FAIL	599.71
possibility6_0_1	FAIL	599.71
stmt17_70_90	FAIL	599.71
stmt28_68_81	FAIL	599.71
ev-pr-6x6-17-5-0-1-2-lg	FAIL	599.71
s1269_d15_u	FAIL	599.71
s3330_d12_u	FAIL	599.71
ken.flash^08.C-d4	FAIL	599.71
ken.oop^2.C-d4	FAIL	599.71
sortnetsort10.v.stepl.005	FAIL	599.71
sortnetsort8.v.stepl.009	FAIL	599.71
possibility3_0_1	FAIL	599.71
assertion3_0_1	FAIL	599.71
assertion7_0_2	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
b22_PR_8_20	FAIL	599.71
assertion8_0_1	FAIL	599.71
b21_C_3_206	FAIL	599.71
assertion8_0_2	FAIL	599.71
b20_PR_7_20	FAIL	599.71
b20_C_3_2	FAIL	599.71
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	599.71
p20-1.pddl_planlen=24	FAIL	599.71
incrementer-enc08-uniform-depth-33	FAIL	599.71
incrementer-enc07-uniform-depth-25	FAIL	599.71
assertion9_0_1	FAIL	599.71
assertion9_0_2	FAIL	599.71
incrementer-enc02-uniform-depth-58	FAIL	599.71
audio_ddksynth_csynth2.cpp	FAIL	599.71
assertion7_0_1	FAIL	599.71
pipesnotankage14_10	FAIL	599.71
assertion3_0_2	FAIL	599.71
assertion2_0_2	FAIL	599.71
assertion4_0_1	FAIL	599.71
assertion4_0_2	FAIL	599.71
assertion12_0_2	FAIL	599.71
assertion11_0_2	FAIL	599.71
assertion10_0_1	FAIL	599.71
assertion1_0_1	FAIL	599.71
assertion5_0_2	FAIL	599.71
s15850_PR_8_50	FAIL	599.71
qshifter_8	FAIL	599.71
ev-pr-6x6-11-5-0-1-2-lg	FAIL	599.71
connect_8x7_6_R	FAIL	599.71
assertion6_0_1	FAIL	599.71
assertion6_0_2	FAIL	599.71
adder-10-sat	FAIL	599.71
query44_query26_1344n	FAIL	599.71
ev-pr-4x4-15-3-0-0-1-s	FAIL	599.71
network_irda_miniport_nscirda_comm.c	FAIL	599.71
input_pnpi8042_moudep.c	FAIL	599.71
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	599.71
ev-pr-6x6-19-5-0-1-2-lg	FAIL	599.71
BLOCKS4iii.6	FAIL	599.71
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	599.71
sdlx-fixpoint-3	FAIL	599.71
cache-coherence-2-fixpoint-6	FAIL	599.71
possibility1_0_2	FAIL	599.71
ev-pr-6x6-13-5-0-1-2-s	FAIL	599.71
ev-pr-8x8-13-7-0-1-2-lg	FAIL	599.71
possibility1_0_1	FAIL	599.71
stmt41_738_749	FAIL	599.71
consistency_0_2	FAIL	599.71
test2_quant_squaring2	FAIL	599.71
filesys_smbmrx_cvsndrcv.c	FAIL	599.71
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	599.71
small-swap2-fixpoint-4	FAIL	599.71
possibility10_0_2	FAIL	599.71
consistency_0_1	FAIL	599.71
small-swap1-fixpoint-3	FAIL	599.71
test2_quant_squaring3	FAIL	599.71
possibility10_0_1	FAIL	599.71
possibility7_0_1	FAIL	599.72
pipesnotankage18_8	FAIL	599.72
ev-pr-8x8-19-7-0-1-2-lg	FAIL	599.72
assertion10_0_2	FAIL	599.72
query42_query06_1344n	FAIL	599.72
small-synabs-fixpoint-9	FAIL	599.72
vonNeumann-ripple-carry-12-c	FAIL	599.72
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	599.81
possibility11_0_2	FAIL	599.81
s1269_d13_u	FAIL	599.81
ev-pr-6x6-9-5-0-1-2-s	FAIL	599.81
Umbrella_tbm_05.tex.module.000039	FAIL	599.81
k5_2_3	FAIL	599.81
adder-14-sat	FAIL	599.81
assertion1_0_2	FAIL	599.81
ev-pr-4x4-7-3-0-0-1-s	FAIL	599.81
qshifter_7	FAIL	599.81
possibility11_0_1	FAIL	599.81
test3_quant_squaring2	FAIL	599.81
assertion2_0_1	FAIL	599.81
c2_BMC_p1_k2048	FAIL	599.81
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	599.81
possibility3_0_2	FAIL	599.81
k12_4_2	FAIL	599.81
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	599.81
stmt19_64_99	FAIL	599.81
k_ph_p-12	FAIL	599.81
p20-5.pddl_planlen=32	FAIL	599.81
C880.blif_0.10_0.20_0_1_out_exact	FAIL	599.81
k_ph_p-19	FAIL	599.81
cnt14	FAIL	599.81
ev-pr-6x6-17-5-0-1-2-s	FAIL	599.81
cnt16r	FAIL	599.81
possibility7_0_2	FAIL	599.81
s1269_d12_u	FAIL	599.81
ev-pr-4x4-13-3-0-0-1-lg	FAIL	599.81
k_branch_n-12	FAIL	599.81
ev-pr-4x4-11-3-0-0-1-lg	FAIL	599.81
Adder2-16-s	FAIL	599.81
dungeon_i15-m7-u4-v0.pddl_planlen=81	FAIL	599.81
lut4_2_f2	FAIL	600.07
p20-20.pddl_planlen=23	FAIL	600.08
possibility6_0_2	FAIL	600.2
rankfunc33_signed_32	FAIL	602.4

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by quabs-picosat QBFEVAL'16 - Prenex non-CNF Track.

Instances solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.