Instances solved by <a href='solver_detail.php?solver=19'>QUBE-BJ</a> <br> QBFEVAL'04

Instances solved by QUBE-BJ
QBFEVAL'04

Instance	Result	Time
tree-exa2-30	UNSAT	0.96
toilet_g_08_01.2	SAT	0.96
mutex-2-s	SAT	0.96
impl02	SAT	0.96
toilet_g_10_01.2	SAT	0.96
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.96
Adder2-2-c	UNSAT	0.96
tree-exa2-35	UNSAT	0.96
MB4qbf-5cnf-50var-600cl.2	UNSAT	0.96
cnt02e	SAT	0.97
MB4qbf-5cnf-100var-800cl.1	UNSAT	0.97
toilet_g_20_01.2	SAT	0.97
MB4qbf-5cnf-100var-800cl.2	UNSAT	0.97
MB4qbf-5cnf-150var-1200cl.2	UNSAT	0.97
toilet_g_04_01.2	SAT	0.97
MB4qbf-5cnf-100var-1000cl.1	UNSAT	0.97
MB4qbf-5cnf-100var-600cl.2	UNSAT	0.97
cnt02	SAT	0.97
2qbf-5cnf-50var-900cl.2	UNSAT	0.97
toilet_g_15_01.2	SAT	0.97
toilet_c_04_01.6	UNSAT	0.97
MB4qbf-5cnf-100var-200cl.2	SAT	0.97
3qbf-5cnf-100var-200cl.1	SAT	0.97
MB4qbf-5cnf-100var-200cl.1	SAT	0.97
MB4qbf-5cnf-100var-400cl.2	UNSAT	0.97
toilet_g_02_01.2	SAT	0.97
MB4qbf-5cnf-50var-400cl.1	UNSAT	0.97
MB4qbf-5cnf-50var-300cl.2	UNSAT	0.97
MB4qbf-5cnf-50var-100cl.1	SAT	0.97
MB4qbf-5cnf-150var-900cl.2	UNSAT	0.97
MB4qbf-5cnf-150var-600cl.2	UNSAT	0.97
4qbf-5cnf-100var-200cl.2	SAT	0.97
MB4qbf-5cnf-150var-600cl.1	UNSAT	0.97
MB4qbf-5cnf-150var-300cl.2	SAT	0.97
MB4qbf-5cnf-150var-300cl.1	SAT	0.97
MB4qbf-5cnf-100var-400cl.1	UNSAT	0.97
MB2qbf-5cnf-150var-600cl.1	UNSAT	0.97
MB4qbf-5cnf-150var-2400cl.2	UNSAT	0.97
k_branch_n-1	SAT	0.97
MB2qbf-5cnf-150var-900cl.1	UNSAT	0.97
MB2qbf-5cnf-150var-300cl.2	UNSAT	0.97
toilet_g_06_01.2	SAT	0.97
MB4qbf-5cnf-50var-400cl.2	UNSAT	0.97
MB2qbf-5cnf-50var-200cl.1	UNSAT	0.97
MB4qbf-5cnf-100var-1000cl.2	UNSAT	0.97
MB2qbf-5cnf-50var-700cl.2	UNSAT	0.97
MB3qbf-5cnf-100var-400cl.2	UNSAT	0.97
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.97
MB2qbf-5cnf-50var-800cl.1	UNSAT	0.97
MB2qbf-5cnf-50var-800cl.2	UNSAT	0.97
MB3qbf-5cnf-150var-300cl.1	SAT	0.97
MB2qbf-5cnf-50var-900cl.2	UNSAT	0.97
MB3qbf-5cnf-100var-1000cl.2	UNSAT	0.97
MB3qbf-5cnf-100var-1400cl.2	UNSAT	0.97
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.97
MB3qbf-5cnf-150var-1800cl.2	UNSAT	0.97
3qbf-5cnf-50var-100cl.1	SAT	0.97
MB3qbf-5cnf-150var-1200cl.1	UNSAT	0.97
MB3qbf-5cnf-150var-1200cl.2	UNSAT	0.97
MB3qbf-5cnf-100var-1800cl.1	UNSAT	0.97
MB3qbf-5cnf-100var-600cl.2	UNSAT	0.97
3qbf-5cnf-50var-200cl.1	SAT	0.97
MB3qbf-5cnf-150var-900cl.1	UNSAT	0.97
MB3qbf-5cnf-150var-900cl.2	UNSAT	0.97
3qbf-5cnf-100var-400cl.1	SAT	0.97
toilet_a_08_01.3	UNSAT	0.97
MB3qbf-5cnf-50var-900cl.1	UNSAT	0.97
3qbf-5cnf-100var-400cl.2	SAT	0.97
lognBWLARGEA0	UNSAT	0.97
lognBWLARGEB0	UNSAT	0.97
MB3qbf-5cnf-50var-700cl.2	UNSAT	0.97
MB3qbf-5cnf-50var-700cl.1	UNSAT	0.97
MB3qbf-5cnf-50var-600cl.2	UNSAT	0.97
3qbf-5cnf-100var-600cl.1	SAT	0.97
MB2qbf-5cnf-50var-600cl.1	UNSAT	0.97
MB3qbf-5cnf-50var-400cl.2	UNSAT	0.97
MB3qbf-5cnf-50var-300cl.2	UNSAT	0.97
MB3qbf-5cnf-50var-200cl.2	UNSAT	0.97
MB3qbf-5cnf-50var-200cl.1	UNSAT	0.97
MB3qbf-5cnf-50var-100cl.2	SAT	0.97
MB3qbf-5cnf-50var-100cl.1	SAT	0.97
MB3qbf-5cnf-100var-400cl.1	UNSAT	0.97
MB2qbf-5cnf-150var-1200cl.2	UNSAT	0.97
MB4qbf-5cnf-50var-300cl.1	UNSAT	0.97
MB5qbf-5cnf-150var-900cl.1	UNSAT	0.97
MB5qbf-5cnf-150var-600cl.1	UNSAT	0.97
MB5qbf-5cnf-150var-300cl.2	SAT	0.97
5qbf-5cnf-150var-900cl.2	SAT	0.97
k_path_n-1	SAT	0.97
k_lin_p-1	UNSAT	0.97
5qbf-5cnf-50var-300cl.1	SAT	0.97
k_poly_p-2	UNSAT	0.97
flipflop-5-c	UNSAT	0.97
MB5qbf-5cnf-150var-1800cl.2	UNSAT	0.97
k_lin_n-1	SAT	0.97
2qbf-5cnf-100var-1400cl.1	UNSAT	0.97
MB5qbf-5cnf-100var-800cl.1	UNSAT	0.97
MB2qbf-5cnf-100var-1200cl.1	UNSAT	0.97
2qbf-5cnf-50var-100cl.2	SAT	0.97
MB2qbf-5cnf-100var-1400cl.1	UNSAT	0.97
5qbf-5cnf-150var-600cl.2	SAT	0.97
MB5qbf-5cnf-50var-100cl.1	SAT	0.97
flipflop-3-c	UNSAT	0.97
5qbf-5cnf-100var-400cl.2	SAT	0.97
k_ph_p-3	UNSAT	0.97
MB5qbf-5cnf-50var-800cl.1	UNSAT	0.97
5qbf-5cnf-100var-200cl.1	SAT	0.97
MB5qbf-5cnf-50var-700cl.2	UNSAT	0.97
MB5qbf-5cnf-50var-600cl.2	UNSAT	0.97
MB5qbf-5cnf-50var-600cl.1	UNSAT	0.97
k_ph_n-3	SAT	0.97
tree-exa2-45	UNSAT	0.97
k_poly_p-10	UNSAT	0.97
k_ph_n-1	SAT	0.97
MB3qbf-5cnf-50var-400cl.1	UNSAT	0.97
MB5qbf-5cnf-50var-300cl.1	UNSAT	0.97
MB5qbf-5cnf-50var-200cl.2	SAT	0.97
MB5qbf-5cnf-50var-100cl.2	SAT	0.97
4qbf-5cnf-50var-100cl.2	SAT	0.97
2qbf-5cnf-50var-500cl.1	UNSAT	0.97
MB4qbf-5cnf-50var-900cl.2	UNSAT	0.97
MB4qbf-5cnf-50var-800cl.1	UNSAT	0.97
MB5qbf-5cnf-100var-1200cl.1	UNSAT	0.97
MB5qbf-5cnf-100var-1600cl.1	UNSAT	0.97
MB5qbf-5cnf-100var-1800cl.2	UNSAT	0.97
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.97
MB4qbf-5cnf-50var-800cl.2	UNSAT	0.97
MB2qbf-5cnf-100var-1800cl.1	UNSAT	0.97
MB5qbf-5cnf-100var-1000cl.1	UNSAT	0.97
MB4qbf-5cnf-50var-500cl.2	UNSAT	0.97
MB4qbf-5cnf-50var-700cl.1	UNSAT	0.97
MB4qbf-5cnf-50var-600cl.1	UNSAT	0.97
MB5qbf-5cnf-100var-1200cl.2	UNSAT	0.97
4qbf-5cnf-50var-100cl.1	SAT	0.97
MB3qbf-5cnf-100var-1000cl.1	UNSAT	0.98
5qbf-5cnf-150var-300cl.1	SAT	0.98
MB2qbf-5cnf-150var-2100cl.2	UNSAT	0.98
MB2qbf-5cnf-150var-2100cl.1	UNSAT	0.98
MB2qbf-5cnf-50var-900cl.1	UNSAT	0.98
MB2qbf-5cnf-150var-2400cl.2	UNSAT	0.98
MB2qbf-5cnf-100var-800cl.1	UNSAT	0.98
5qbf-5cnf-50var-100cl.2	SAT	0.98
MB2qbf-5cnf-100var-600cl.2	UNSAT	0.98
5qbf-5cnf-150var-600cl.1	SAT	0.98
MB2qbf-5cnf-50var-700cl.1	UNSAT	0.98
MB2qbf-5cnf-150var-1800cl.1	UNSAT	0.98
MB3qbf-5cnf-100var-1200cl.2	UNSAT	0.98
5qbf-5cnf-100var-400cl.1	SAT	0.98
MB3qbf-5cnf-100var-200cl.2	SAT	0.98
MB3qbf-5cnf-100var-200cl.1	SAT	0.98
5qbf-5cnf-100var-600cl.1	SAT	0.98
robots_1_5_4_78.1	SAT	0.98
5qbf-5cnf-100var-600cl.2	SAT	0.98
MB2qbf-5cnf-100var-800cl.2	UNSAT	0.98
MB3qbf-5cnf-100var-1800cl.2	UNSAT	0.98
MB3qbf-5cnf-100var-1600cl.1	UNSAT	0.98
MB2qbf-5cnf-150var-1500cl.1	UNSAT	0.98
MB2qbf-5cnf-150var-1800cl.2	UNSAT	0.98
5qbf-5cnf-50var-400cl.2	SAT	0.98
3qbf-5cnf-50var-300cl.1	SAT	0.98
MB3qbf-5cnf-100var-1400cl.1	UNSAT	0.98
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.98
3qbf-5cnf-50var-300cl.2	SAT	0.98
MB2qbf-5cnf-50var-600cl.2	UNSAT	0.98
MB2qbf-5cnf-150var-2700cl.2	UNSAT	0.98
MB2qbf-5cnf-150var-900cl.2	UNSAT	0.98
MB2qbf-5cnf-50var-100cl.2	UNSAT	0.98
k_dum_n-1	SAT	0.98
toilet_a_06_01.5	UNSAT	0.98
toilet_c_06_05.4	SAT	0.98
5qbf-5cnf-100var-200cl.2	SAT	0.98
robots_1_5_2_64.1	SAT	0.98
toilet_c_06_01.9	UNSAT	0.98
MB2qbf-5cnf-100var-1000cl.2	UNSAT	0.98
toilet_c_10_01.3	UNSAT	0.98
toilet_c_10_01.9	UNSAT	0.98
MB2qbf-5cnf-100var-400cl.1	UNSAT	0.98
MB2qbf-5cnf-100var-1000cl.1	UNSAT	0.98
MB2qbf-5cnf-150var-2400cl.1	UNSAT	0.98
MB2qbf-5cnf-100var-1200cl.2	UNSAT	0.98
MB2qbf-5cnf-100var-1400cl.2	UNSAT	0.98
MB2qbf-5cnf-100var-400cl.2	UNSAT	0.98
4qbf-5cnf-50var-800cl.1	UNSAT	0.98
MB2qbf-5cnf-150var-2700cl.1	UNSAT	0.98
5qbf-5cnf-150var-900cl.1	SAT	0.98
k_path_p-2	UNSAT	0.98
3qbf-5cnf-50var-400cl.2	SAT	0.98
MB2qbf-5cnf-150var-300cl.1	UNSAT	0.98
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.98
MB2qbf-5cnf-50var-500cl.1	UNSAT	0.98
MB2qbf-5cnf-50var-400cl.1	UNSAT	0.98
MB2qbf-5cnf-50var-300cl.2	UNSAT	0.98
MB2qbf-5cnf-100var-600cl.1	UNSAT	0.98
5qbf-5cnf-50var-200cl.1	SAT	0.98
MB2qbf-5cnf-150var-600cl.2	UNSAT	0.98
4qbf-5cnf-50var-900cl.1	UNSAT	0.98
k_lin_p-5	UNSAT	0.98
5qbf-5cnf-50var-200cl.2	SAT	0.98
4qbf-5cnf-150var-300cl.1	SAT	0.98
MB2qbf-5cnf-100var-1600cl.1	UNSAT	0.98
MB4qbf-5cnf-150var-1500cl.2	UNSAT	0.98
MB4qbf-5cnf-50var-100cl.2	SAT	0.98
MB4qbf-5cnf-50var-200cl.1	UNSAT	0.98
MB5qbf-5cnf-100var-1800cl.1	UNSAT	0.98
MB4qbf-5cnf-50var-900cl.1	UNSAT	0.98
MB5qbf-5cnf-100var-1000cl.2	UNSAT	0.98
MB5qbf-5cnf-100var-1400cl.2	UNSAT	0.98
2qbf-5cnf-50var-600cl.2	UNSAT	0.98
MB5qbf-5cnf-100var-1600cl.2	UNSAT	0.98
MB5qbf-5cnf-100var-200cl.1	SAT	0.98
MB5qbf-5cnf-100var-200cl.2	SAT	0.98
MB5qbf-5cnf-100var-400cl.2	UNSAT	0.98
2qbf-5cnf-50var-700cl.2	UNSAT	0.98
MB4qbf-5cnf-150var-900cl.1	UNSAT	0.98
MB5qbf-5cnf-100var-400cl.1	UNSAT	0.98
MB4qbf-5cnf-150var-1500cl.1	UNSAT	0.98
MB4qbf-5cnf-150var-1800cl.2	UNSAT	0.98
MB4qbf-5cnf-150var-1800cl.1	UNSAT	0.98
2qbf-5cnf-50var-800cl.2	UNSAT	0.98
MB4qbf-5cnf-150var-2100cl.1	UNSAT	0.98
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.98
MB4qbf-5cnf-150var-2700cl.2	UNSAT	0.98
MB4qbf-5cnf-150var-2700cl.1	UNSAT	0.98
tree-exa2-15	UNSAT	0.98
2qbf-5cnf-50var-800cl.1	UNSAT	0.98
MB5qbf-5cnf-100var-600cl.1	UNSAT	0.98
2qbf-5cnf-50var-100cl.1	SAT	0.98
2qbf-5cnf-150var-600cl.2	UNSAT	0.98
MB5qbf-5cnf-50var-200cl.1	SAT	0.98
MB5qbf-5cnf-50var-300cl.2	UNSAT	0.98
MB5qbf-5cnf-50var-400cl.1	UNSAT	0.98
MB5qbf-5cnf-50var-400cl.2	UNSAT	0.98
MB5qbf-5cnf-50var-500cl.1	UNSAT	0.98
MB5qbf-5cnf-50var-500cl.2	UNSAT	0.98
MB5qbf-5cnf-50var-700cl.1	UNSAT	0.98
2qbf-5cnf-100var-400cl.1	UNSAT	0.98
MB5qbf-5cnf-50var-800cl.2	UNSAT	0.98
MB5qbf-5cnf-50var-900cl.1	UNSAT	0.98
2qbf-5cnf-100var-1600cl.2	UNSAT	0.98
MB5qbf-5cnf-150var-600cl.2	UNSAT	0.98
MB5qbf-5cnf-150var-300cl.1	SAT	0.98
MB5qbf-5cnf-100var-800cl.2	UNSAT	0.98
MB5qbf-5cnf-150var-1200cl.2	UNSAT	0.98
MB5qbf-5cnf-150var-1200cl.1	UNSAT	0.98
MB5qbf-5cnf-150var-1500cl.1	UNSAT	0.98
k_ph_n-4	SAT	0.98
MB5qbf-5cnf-150var-1800cl.1	UNSAT	0.98
MB5qbf-5cnf-150var-2100cl.2	UNSAT	0.98
MB5qbf-5cnf-150var-2400cl.2	UNSAT	0.98
MB5qbf-5cnf-150var-2400cl.1	UNSAT	0.98
MB5qbf-5cnf-150var-2700cl.2	UNSAT	0.98
MB5qbf-5cnf-150var-2700cl.1	UNSAT	0.98
MB5qbf-5cnf-50var-900cl.2	UNSAT	0.98
3qbf-5cnf-150var-600cl.1	SAT	0.98
MB3qbf-5cnf-150var-2100cl.2	UNSAT	0.98
MB3qbf-5cnf-150var-2100cl.1	UNSAT	0.98
MB3qbf-5cnf-150var-1500cl.1	UNSAT	0.98
MB3qbf-5cnf-50var-800cl.2	UNSAT	0.98
MB3qbf-5cnf-50var-800cl.1	UNSAT	0.98
3qbf-5cnf-100var-600cl.2	SAT	0.98
MB3qbf-5cnf-150var-2400cl.1	UNSAT	0.98
MB3qbf-5cnf-150var-2700cl.2	UNSAT	0.98
MB3qbf-5cnf-150var-300cl.2	SAT	0.98
MB3qbf-5cnf-150var-2700cl.1	UNSAT	0.98
3qbf-5cnf-150var-300cl.1	SAT	0.98
MB3qbf-5cnf-150var-600cl.1	UNSAT	0.98
MB3qbf-5cnf-150var-600cl.2	UNSAT	0.98
MB3qbf-5cnf-50var-500cl.1	UNSAT	0.98
3qbf-5cnf-150var-300cl.2	SAT	0.98
MB3qbf-5cnf-50var-300cl.1	UNSAT	0.98
MB3qbf-5cnf-50var-900cl.2	UNSAT	0.98
3qbf-5cnf-100var-200cl.2	SAT	0.98
MB3qbf-5cnf-150var-1800cl.1	UNSAT	0.98
MB4qbf-5cnf-100var-1600cl.1	UNSAT	0.98
MB4qbf-5cnf-100var-1800cl.2	UNSAT	0.98
MB4qbf-5cnf-100var-1800cl.1	UNSAT	0.98
MB4qbf-5cnf-100var-1400cl.1	UNSAT	0.98
MB4qbf-5cnf-100var-1400cl.2	UNSAT	0.98
3qbf-5cnf-50var-200cl.2	SAT	0.98
MB3qbf-5cnf-100var-800cl.2	UNSAT	0.98
5qbf-5cnf-150var-300cl.2	SAT	0.98
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.98
impl06	SAT	0.98
MB3qbf-5cnf-150var-1500cl.2	UNSAT	0.98
MB4qbf-5cnf-100var-1200cl.1	UNSAT	0.98
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.98
MB4qbf-5cnf-100var-1600cl.2	UNSAT	0.98
4qbf-5cnf-50var-700cl.2	UNSAT	0.99
2qbf-5cnf-150var-2700cl.2	UNSAT	0.99
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.99
2qbf-5cnf-50var-500cl.2	UNSAT	0.99
k_poly_n-1	SAT	0.99
k_ph_n-6	SAT	0.99
k_path_p-3	UNSAT	0.99
k_poly_p-7	UNSAT	0.99
3qbf-5cnf-150var-900cl.1	SAT	0.99
4qbf-5cnf-50var-500cl.2	UNSAT	0.99
2qbf-5cnf-150var-2400cl.1	UNSAT	0.99
MB5qbf-5cnf-150var-900cl.2	UNSAT	0.99
TOILET2.1.iv.4	SAT	0.99
k_poly_p-14	UNSAT	0.99
k_lin_n-2	SAT	0.99
MB5qbf-5cnf-150var-1500cl.2	UNSAT	0.99
MB4qbf-5cnf-100var-1200cl.2	UNSAT	0.99
MB2qbf-5cnf-100var-200cl.2	UNSAT	0.99
MB3qbf-5cnf-50var-600cl.1	UNSAT	0.99
5qbf-5cnf-50var-400cl.1	SAT	0.99
impl08	SAT	0.99
flipflop-4-c	UNSAT	0.99
MB2qbf-5cnf-50var-200cl.2	UNSAT	0.99
MB4qbf-5cnf-50var-200cl.2	UNSAT	0.99
robots_1_5_5_29.1	SAT	0.99
toilet_a_06_05.2	UNSAT	0.99
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.99
2qbf-5cnf-50var-900cl.1	UNSAT	0.99
mutex-4-s	SAT	0.99
MB4qbf-5cnf-150var-2400cl.1	UNSAT	0.99
robots_1_5_2_38.1	SAT	0.99
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.99
2qbf-5cnf-100var-1800cl.1	UNSAT	1
MB4qbf-5cnf-100var-600cl.1	UNSAT	1
k_ph_p-4	UNSAT	1
k_lin_p-8	UNSAT	1
MB5qbf-5cnf-150var-2100cl.1	UNSAT	1
k_poly_p-8	UNSAT	1
4qbf-5cnf-100var-1600cl.1	UNSAT	1
5qbf-5cnf-150var-1200cl.1	SAT	1
MB4qbf-5cnf-150var-1200cl.1	UNSAT	1
4qbf-5cnf-50var-600cl.1	UNSAT	1
cf_2_2x3_w_	UNSAT	1
3qbf-5cnf-50var-900cl.2	UNSAT	1
4qbf-5cnf-50var-700cl.1	UNSAT	1
k_poly_p-17	UNSAT	1
MB2qbf-5cnf-50var-400cl.2	UNSAT	1
5qbf-5cnf-50var-100cl.1	SAT	1
k_poly_p-11	UNSAT	1
k_poly_p-12	UNSAT	1
MB4qbf-5cnf-50var-700cl.2	UNSAT	1
2qbf-5cnf-50var-700cl.1	UNSAT	1
szymanski-4-s	UNSAT	1
3qbf-5cnf-50var-100cl.2	SAT	1.01
4qbf-5cnf-50var-200cl.1	SAT	1.01
4qbf-5cnf-100var-200cl.1	SAT	1.01
4qbf-5cnf-50var-900cl.2	UNSAT	1.01
4qbf-5cnf-150var-300cl.2	SAT	1.01
MB3qbf-5cnf-150var-2400cl.2	UNSAT	1.01
tree-exa2-25	UNSAT	1.01
MB3qbf-5cnf-100var-1600cl.2	UNSAT	1.01
MB2qbf-5cnf-50var-100cl.1	SAT	1.01
5qbf-5cnf-50var-300cl.2	SAT	1.01
tree-exa2-40	UNSAT	1.01
MB2qbf-5cnf-150var-1500cl.2	UNSAT	1.01
MB2qbf-5cnf-50var-300cl.1	UNSAT	1.01
MB5qbf-5cnf-100var-600cl.2	UNSAT	1.01
s27_d2_s	SAT	1.01
comp.blif_0.10_0.20_0_1_inp_exact	SAT	1.01
TOILET2.1.iv.3	UNSAT	1.01
MB5qbf-5cnf-100var-1400cl.1	UNSAT	1.01
5qbf-5cnf-50var-900cl.1	UNSAT	1.02
flipflop-7-c	UNSAT	1.02
toilet_a_10_01.7	UNSAT	1.02
k_dum_p-1	UNSAT	1.02
2qbf-5cnf-50var-600cl.1	UNSAT	1.02
2qbf-5cnf-100var-1600cl.1	UNSAT	1.02
s3271_d2_s	UNSAT	1.02
2qbf-5cnf-50var-200cl.2	UNSAT	1.02
MB3qbf-5cnf-50var-500cl.2	UNSAT	1.02
k_lin_p-10	UNSAT	1.02
tree-exa10-25	SAT	1.02
MB2qbf-5cnf-50var-500cl.2	UNSAT	1.03
3qbf-5cnf-150var-600cl.2	SAT	1.03
MB3qbf-5cnf-100var-800cl.1	UNSAT	1.03
robots_1_5_5_5.2	SAT	1.03
MB2qbf-5cnf-100var-1600cl.2	UNSAT	1.03
MB4qbf-5cnf-50var-500cl.1	UNSAT	1.03
k_lin_p-6	UNSAT	1.03
MB4qbf-5cnf-150var-2100cl.2	UNSAT	1.03
MB3qbf-5cnf-100var-1200cl.1	UNSAT	1.04
cf_3_6x4_w_	UNSAT	1.04
4qbf-5cnf-50var-200cl.2	SAT	1.04
MB3qbf-5cnf-100var-600cl.1	UNSAT	1.04
3qbf-5cnf-100var-800cl.1	UNSAT	1.04
k_lin_p-11	UNSAT	1.04
2qbf-5cnf-150var-2700cl.1	UNSAT	1.04
3qbf-5cnf-150var-900cl.2	SAT	1.05
vonNeumann-ripple-carry-5-c	UNSAT	1.05
szymanski-6-s	UNSAT	1.05
2qbf-5cnf-100var-1800cl.2	UNSAT	1.05
comp.blif_0.10_1.00_0_1_inp_exact	SAT	1.05
3qbf-5cnf-50var-800cl.1	UNSAT	1.05
cf_4_5x4_d_	UNSAT	1.05
term1.blif_0.10_1.00_0_1_inp_exact	SAT	1.06
2qbf-5cnf-150var-600cl.1	UNSAT	1.06
cf_4_5x5_d_	UNSAT	1.06
toilet_a_08_01.16	SAT	1.06
robots_1_5_4_73.2	SAT	1.06
4qbf-5cnf-100var-1800cl.1	UNSAT	1.06
MB2qbf-5cnf-150var-1200cl.1	UNSAT	1.06
robots_1_5_2_93.1	SAT	1.06
5qbf-5cnf-50var-900cl.2	UNSAT	1.06
cf_5_6x5_w_	UNSAT	1.07
cf_4_6x5_d_	UNSAT	1.07
4qbf-5cnf-50var-400cl.1	UNSAT	1.07
cf_5_5x7_d_	UNSAT	1.07
4qbf-5cnf-100var-1800cl.2	UNSAT	1.07
cf_4_5x6_w_	UNSAT	1.08
cf_5_5x6_w_	UNSAT	1.08
cf_6_6x6_d_	UNSAT	1.08
robots_1_5_4_21.2	SAT	1.08
k_ph_n-7	SAT	1.08
2qbf-5cnf-150var-300cl.1	UNSAT	1.09
cf_2_4x8_d_	UNSAT	1.09
4qbf-5cnf-100var-400cl.2	UNSAT	1.09
toilet_c_10_05.10	SAT	1.09
robots_1_5_3_17.2	SAT	1.1
cf_5_7x5_d_	UNSAT	1.1
robots_1_5_2_3.5	SAT	1.11
4qbf-5cnf-50var-600cl.2	UNSAT	1.11
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	1.11
k_lin_n-3	SAT	1.11
2qbf-5cnf-150var-300cl.2	UNSAT	1.12
4qbf-5cnf-100var-1400cl.2	UNSAT	1.12
term1.blif_0.10_0.20_0_1_inp_exact	SAT	1.12
robots_1_5_5_55.6	SAT	1.12
cf_5_7x6_d_	UNSAT	1.12
4qbf-5cnf-100var-1000cl.1	UNSAT	1.12
k_lin_p-15	UNSAT	1.13
4qbf-5cnf-150var-600cl.1	UNSAT	1.13
cf_2_3x2_r_	SAT	1.13
MB2qbf-5cnf-100var-1800cl.2	UNSAT	1.14
cf_7_7x7_d_	UNSAT	1.14
cf_2_5x4_r_	SAT	1.14
flipflop-8-c	UNSAT	1.14
cf_4_6x7_d_	UNSAT	1.15
3qbf-5cnf-50var-800cl.2	UNSAT	1.15
4qbf-5cnf-100var-1600cl.2	UNSAT	1.15
4qbf-5cnf-50var-800cl.2	UNSAT	1.16
5qbf-5cnf-150var-2700cl.1	UNSAT	1.17
2qbf-5cnf-100var-400cl.2	UNSAT	1.18
cf_6_6x8_w_	UNSAT	1.18
k_t4p_p-1	UNSAT	1.2
4qbf-5cnf-100var-800cl.1	UNSAT	1.21
robots_1_5_4_85.5	SAT	1.21
robots_1_5_2_72.7	SAT	1.22
5qbf-5cnf-100var-1000cl.1	UNSAT	1.22
flipflop-9-c	UNSAT	1.22
cf_7_8x7_d_	UNSAT	1.23
cf_8_8x8_w_	UNSAT	1.25
vonNeumann-ripple-carry-7-c	UNSAT	1.25
cf_7_9x7_w_	UNSAT	1.25
4qbf-5cnf-50var-300cl.1	UNSAT	1.25
cf_2_4x8_r_	SAT	1.26
cf_6_8x7_d_	UNSAT	1.26
4qbf-5cnf-100var-1400cl.1	UNSAT	1.26
s3271_d5_s	UNSAT	1.27
4qbf-5cnf-150var-2100cl.1	UNSAT	1.27
4qbf-5cnf-50var-400cl.2	UNSAT	1.27
3qbf-5cnf-100var-1000cl.1	UNSAT	1.28
tree-exa10-30	SAT	1.28
k_ph_n-8	SAT	1.29
cf_7_8x8_w_	UNSAT	1.3
5qbf-5cnf-50var-600cl.2	UNSAT	1.33
s3330_d13_u	FAIL	1.33
3qbf-5cnf-100var-1000cl.2	UNSAT	1.34
robots_1_5_5_75.3	SAT	1.35
3qbf-5cnf-50var-900cl.1	UNSAT	1.35
5qbf-5cnf-150var-1500cl.2	UNSAT	1.35
2qbf-5cnf-50var-200cl.1	UNSAT	1.38
5qbf-5cnf-50var-800cl.2	UNSAT	1.39
cf_7_9x8_w_	UNSAT	1.41
impl12	SAT	1.41
5qbf-5cnf-50var-600cl.1	UNSAT	1.44
4qbf-5cnf-100var-800cl.2	UNSAT	1.44
flipflop-10-c	UNSAT	1.45
5qbf-5cnf-150var-1200cl.2	SAT	1.46
BLOCKS3ii.4.3	UNSAT	1.47
3qbf-5cnf-50var-600cl.2	UNSAT	1.48
3qbf-5cnf-100var-1800cl.2	UNSAT	1.5
3qbf-5cnf-50var-400cl.1	UNSAT	1.51
4qbf-5cnf-150var-1800cl.1	UNSAT	1.52
vonNeumann-ripple-carry-11-c	FAIL	1.53
k_path_n-3	SAT	1.54
k_branch_p-3	UNSAT	1.55
5qbf-5cnf-50var-500cl.2	UNSAT	1.55
2qbf-5cnf-100var-200cl.1	SAT	1.56
term1.blif_0.10_1.00_0_1_out_exact	SAT	1.59
3qbf-5cnf-50var-500cl.1	UNSAT	1.62
4qbf-5cnf-150var-2400cl.1	UNSAT	1.65
CHAIN12v.13	SAT	1.66
2qbf-5cnf-100var-200cl.2	UNSAT	1.67
k_dum_n-3	SAT	1.68
k_d4_p-19	UNSAT	1.69
vonNeumann-ripple-carry-9-c	UNSAT	1.69
flipflop-11-c	UNSAT	1.71
4qbf-5cnf-150var-600cl.2	UNSAT	1.75
cf_2_8x3_r_	SAT	1.77
toilet_c_08_01.13	UNSAT	1.83
szymanski-10-s	UNSAT	1.86
3qbf-5cnf-50var-700cl.2	UNSAT	1.94
5qbf-5cnf-50var-500cl.1	UNSAT	1.97
3qbf-5cnf-50var-600cl.1	FAIL	1.99
4qbf-5cnf-150var-2700cl.2	UNSAT	2.07
2qbf-5cnf-50var-300cl.2	UNSAT	2.11
2qbf-5cnf-100var-600cl.2	UNSAT	2.12
k_grz_n-2	SAT	2.16
2qbf-5cnf-150var-2100cl.2	UNSAT	2.17
C880.blif_0.10_1.00_0_1_inp_exact	SAT	2.19
k_d4_p-3	UNSAT	2.2
BLOCKS3iii.5	SAT	2.21
k_lin_p-18	UNSAT	2.21
3qbf-5cnf-100var-1200cl.2	UNSAT	2.23
s3271_d15_s	FAIL	2.27
4qbf-5cnf-50var-300cl.2	UNSAT	2.28
s510_d42_s	FAIL	2.28
4qbf-5cnf-150var-2400cl.2	UNSAT	2.33
3qbf-5cnf-50var-700cl.1	UNSAT	2.42
3qbf-5cnf-50var-500cl.2	UNSAT	2.45
3qbf-5cnf-100var-1600cl.2	UNSAT	2.47
k_d4_p-14	UNSAT	2.6
4qbf-5cnf-150var-2700cl.1	UNSAT	2.6
mutex-8-s	SAT	2.69
s3271_d19_u	FAIL	2.69
4qbf-5cnf-50var-500cl.1	UNSAT	2.69
4qbf-5cnf-100var-400cl.1	UNSAT	2.74
5qbf-5cnf-100var-1000cl.2	UNSAT	2.79
CHAIN13v.14	SAT	2.84
cf_8_9x9_w_	FAIL	2.87
k_grz_n-3	SAT	2.88
3qbf-5cnf-150var-1500cl.2	UNSAT	2.91
cf_9_9x9_w_	FAIL	2.94
szymanski-12-s	UNSAT	2.98
robots_1_5_4_87.8	UNSAT	3
C499.blif_0.10_1.00_0_1_inp_exact	SAT	3
3qbf-5cnf-100var-800cl.2	SAT	3.01
s3271_d20_u	FAIL	3.02
impl14	SAT	3.06
cf_3_7x9_w_	FAIL	3.14
2qbf-5cnf-100var-1400cl.2	UNSAT	3.18
5qbf-5cnf-100var-800cl.2	UNSAT	3.23
cf_3_8x8_w_	FAIL	3.24
s510_d51_u	FAIL	3.3
5qbf-5cnf-50var-700cl.2	UNSAT	3.32
vonNeumann-ripple-carry-12-c	FAIL	3.38
3qbf-5cnf-150var-1200cl.1	UNSAT	3.43
cf_4_5x9_r_	FAIL	3.5
3qbf-5cnf-150var-2100cl.2	UNSAT	3.5
cf_7_9x9_d_	FAIL	3.53
cf_3_9x5_r_	FAIL	3.54
cf_9_9x9_d_	FAIL	3.56
vonNeumann-ripple-carry-13-c	FAIL	3.57
cf_4_8x8_w_	FAIL	3.6
3qbf-5cnf-100var-1200cl.1	UNSAT	3.61
cf_8_8x9_d_	FAIL	3.61
cf_8_9x9_d_	FAIL	3.63
4qbf-5cnf-150var-2100cl.2	UNSAT	3.64
cf_8_8x9_w_	FAIL	3.64
4qbf-5cnf-100var-1200cl.1	UNSAT	3.67
5qbf-5cnf-50var-700cl.1	UNSAT	3.7
robots_1_5_5_4.9	UNSAT	3.71
cf_5_6x9_r_	FAIL	3.75
cf_6_8x9_d_	FAIL	3.79
cf_3_8x9_d_	FAIL	3.94
cf_4_5x9_d_	FAIL	4
s510_d46_s	FAIL	4.04
cf_3_9x9_w_	FAIL	4.05
5qbf-5cnf-150var-1500cl.1	UNSAT	4.06
s3271_d18_u	FAIL	4.11
s3271_d12_s	UNSAT	4.13
4qbf-5cnf-100var-1200cl.2	UNSAT	4.14
toilet_a_10_05.3	UNSAT	4.25
5qbf-5cnf-50var-800cl.1	UNSAT	4.28
cf_8_8x9_r_	FAIL	4.32
cf_2_8x5_r_	FAIL	4.35
s510_d48_u	FAIL	4.35
comp.blif_0.10_0.20_0_1_out_exact	SAT	4.36
5qbf-5cnf-100var-1200cl.1	UNSAT	4.37
cf_5_8x9_w_	FAIL	4.37
cf_7_7x9_d_	FAIL	4.41
cf_8_9x9_r_	FAIL	4.44
2qbf-5cnf-50var-400cl.2	UNSAT	4.44
cf_9_9x9_r_	FAIL	4.5
vonNeumann-ripple-carry-14-c	FAIL	4.54
cf_6_6x9_r_	FAIL	4.55
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	4.64
5qbf-5cnf-100var-800cl.1	SAT	4.66
s510_d49_u	FAIL	4.85
5qbf-5cnf-100var-1800cl.1	UNSAT	4.89
cf_3_9x5_d_	FAIL	4.91
szymanski-14-s	UNSAT	4.95
s3271_d22_u	FAIL	5.15
k_grz_p-3	UNSAT	5.15
4qbf-5cnf-150var-1800cl.2	UNSAT	5.41
vonNeumann-ripple-carry-10-c	UNSAT	5.57
2qbf-5cnf-100var-1200cl.1	UNSAT	5.59
k_dum_n-4	SAT	5.6
cf_2_9x5_w_	FAIL	5.66
3qbf-5cnf-150var-2400cl.1	UNSAT	5.86
CHAIN14v.15	SAT	5.88
2qbf-5cnf-100var-1200cl.2	UNSAT	5.94
k_dum_p-6	UNSAT	6.09
k_dum_p-8	UNSAT	6.32
cnt06	SAT	6.48
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	6.54
MB2qbf-5cnf-100var-200cl.1	SAT	6.7
3qbf-5cnf-150var-1200cl.2	UNSAT	6.81
k_path_n-4	SAT	7.32
5qbf-5cnf-100var-1400cl.2	UNSAT	7.33
2qbf-5cnf-150var-2400cl.2	UNSAT	7.41
5qbf-5cnf-100var-1800cl.2	UNSAT	7.53
5qbf-5cnf-100var-1200cl.2	UNSAT	7.82
szymanski-16-s	UNSAT	8.41
4qbf-5cnf-100var-600cl.1	UNSAT	9.17
3qbf-5cnf-150var-1500cl.1	UNSAT	9.23
BLOCKS3ii.5.3	SAT	9.35
k_lin_n-6	SAT	9.51
robots_1_5_5_59.5	UNSAT	9.93
robots_1_5_5_18.5	UNSAT	9.94
2qbf-5cnf-150var-2100cl.1	UNSAT	10.34
k_grz_p-4	UNSAT	11.24
3qbf-5cnf-100var-1400cl.2	UNSAT	11.36
2qbf-5cnf-100var-1000cl.2	UNSAT	12.49
4qbf-5cnf-100var-1000cl.2	UNSAT	12.55
5qbf-5cnf-100var-1600cl.1	UNSAT	13.28
szymanski-18-s	UNSAT	13.89
3qbf-5cnf-100var-1600cl.1	UNSAT	14.03
2qbf-5cnf-50var-400cl.1	UNSAT	14.31
k_d4_p-13	UNSAT	18.12
2qbf-5cnf-150var-1800cl.1	UNSAT	18.3
3qbf-5cnf-100var-1400cl.1	UNSAT	19.14
impl16	SAT	19.35
3qbf-5cnf-150var-1800cl.1	UNSAT	19.84
3qbf-5cnf-100var-1800cl.1	UNSAT	21.7
k_grz_n-9	SAT	22.97
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	27.36
3qbf-5cnf-150var-2700cl.2	UNSAT	28.79
5qbf-5cnf-150var-1800cl.1	UNSAT	29.03
2qbf-5cnf-50var-300cl.1	UNSAT	29.5
k_grz_p-9	UNSAT	32.3
k_dum_n-5	SAT	34.19
CHAIN16v.17	SAT	34.61
C432.blif_0.10_0.20_0_1_inp_exact	SAT	36.44
k_d4_p-17	UNSAT	38.09
4qbf-5cnf-150var-1200cl.2	UNSAT	38.48
4qbf-5cnf-150var-1500cl.2	UNSAT	41.5
szymanski-22-s	UNSAT	41.56
k_path_p-6	UNSAT	42.5
cnt04e	SAT	43.55
5qbf-5cnf-150var-2100cl.1	UNSAT	45.83
2qbf-5cnf-100var-600cl.1	UNSAT	47.41
k_d4_p-16	UNSAT	48.62
robots_1_5_5_34.6	UNSAT	48.68
4qbf-5cnf-150var-900cl.1	UNSAT	48.86
5qbf-5cnf-150var-1800cl.2	UNSAT	51.22
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	53.24
k_path_n-5	SAT	54.84
3qbf-5cnf-150var-1800cl.2	UNSAT	56.29
4qbf-5cnf-150var-1200cl.1	FAIL	59.7
k_t4p_n-2	SAT	61.43
TOILET6.1.iv.12	SAT	63.4
cf_3_5x4_r_	UNSAT	67.52
toilet_a_10_01.15	UNSAT	73.08
CHAIN17v.18	SAT	80.94
robots_1_5_4_91.4	SAT	82.23
k_d4_p-6	UNSAT	83.41
k_grz_p-10	UNSAT	85.44
toilet_c_10_05.4	SAT	92.52
robots_1_5_4_31.8	UNSAT	100.18
TOILET6.1.iv.11	UNSAT	104.55
4qbf-5cnf-150var-900cl.2	UNSAT	105.51
impl18	SAT	108.18
5qbf-5cnf-100var-1400cl.1	UNSAT	133.76
k_dum_n-6	SAT	135.12
3qbf-5cnf-150var-2700cl.1	UNSAT	144.3
2qbf-5cnf-100var-800cl.2	UNSAT	146.86
k_grz_n-12	SAT	149.38
robots_1_5_3_80.4	SAT	164.13
k_grz_n-13	SAT	171.44
4qbf-5cnf-100var-600cl.2	UNSAT	172.9
robots_1_5_2_69.4	SAT	181.98
robots_1_5_3_62.4	SAT	185.68
robots_1_5_3_27.9	UNSAT	192.42
robots_1_5_3_18.7	UNSAT	194.49
k_poly_n-3	SAT	214.23
5qbf-5cnf-150var-2400cl.2	UNSAT	245.62
k_t4p_p-4	UNSAT	294.26
k_path_n-6	SAT	341.37
3qbf-5cnf-150var-2100cl.1	UNSAT	345.05
lognBWLARGEA1	UNSAT	351.62
robots_1_5_2_61.6	UNSAT	381.56
CHAIN19v.20	SAT	472.15
5qbf-5cnf-150var-2700cl.2	UNSAT	484.69
cf_5_5x5_r_	UNSAT	488.15
k_grz_n-16	SAT	497.91
k_grz_n-17	SAT	567
k_grz_p-16	UNSAT	576.51
impl20	SAT	577.79
k_dum_p-11	UNSAT	637.51
5qbf-5cnf-100var-1600cl.2	UNSAT	681.31
k_grz_p-14	UNSAT	694.78
3qbf-5cnf-150var-2400cl.2	UNSAT	760.46
k_poly_n-4	FAIL	901.03
BLOCKS3i.4.4	FAIL	901.03
Adder2-12-s	FAIL	901.03
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	901.03
k_dum_p-16	FAIL	901.03
s27_d3_u	FAIL	901.03
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	901.03
k_branch_n-16	FAIL	901.03
mutex-64-s	FAIL	901.03
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	901.03
s713_d7_u	FAIL	901.03
k_poly_n-8	FAIL	901.03
s27_d5_u	FAIL	901.03
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	901.03
k_d4_n-12	FAIL	901.03
k_t4p_p-16	FAIL	901.03
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	901.03
s3330_d10_u	FAIL	901.03
C432.blif_0.10_0.20_0_0_out_exact	FAIL	901.03
adder-8-unsat	FAIL	901.03
k_path_n-8	FAIL	901.03
C880.blif_0.10_0.20_0_0_out_exact	FAIL	901.03
test4_quant_squaring4	FAIL	901.03
s820_d8_s	FAIL	901.03
test1_quant_squaring2	FAIL	901.03
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	901.03
term1.blif_0.10_0.20_0_0_out_exact	FAIL	901.03
s641_d2_s	FAIL	901.03
test2_quant2	FAIL	901.03
s820_d11_u	FAIL	901.03
CHAIN23v.24	FAIL	901.03
comp.blif_0.10_0.20_0_0_out_exact	FAIL	901.03
s3330_d8_s	FAIL	901.03
test5_quant5	FAIL	901.03
test2_quant3	FAIL	901.03
BLOCKS3i.5.3	FAIL	901.03
k_branch_p-8	FAIL	901.03
TOILET7.1.iv.14	FAIL	901.03
TOILET10.1.iv.20	FAIL	901.03
s298_d19_u	FAIL	901.03
k_branch_p-16	FAIL	901.03
C499.blif_0.10_0.20_0_1_out_exact	FAIL	901.03
s386_d8_u	FAIL	901.03
TOILET7.1.iv.13	FAIL	901.03
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	901.03
mutex-128-s	FAIL	901.03
toilet_a_10_01.4	FAIL	901.03
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	901.03
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	901.03
uclid-pipe2	FAIL	901.03
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	901.03
s1269_d4_s	FAIL	901.03
test3_quant2	FAIL	901.03
term1.blif_0.10_1.00_0_0_out_exact	FAIL	901.03
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	901.03
k_dum_n-8	FAIL	901.03
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	901.03
C432.blif_0.10_1.00_0_1_out_exact	FAIL	901.03
test3_quant_squaring2	FAIL	901.03
k_d4_n-16	FAIL	901.03
CHAIN20v.21	FAIL	901.03
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	901.03
k_t4p_p-12	FAIL	901.03
s499_d4_s	FAIL	901.03
test3_quant_squaring4	FAIL	901.03
adder-6-unsat	FAIL	901.03
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	901.03
k_ph_n-21	FAIL	901.03
k_dum_n-16	FAIL	901.03
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	901.03
s1196_d3_u	FAIL	901.03
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	901.03
s298_d16_s	FAIL	901.03
C880.blif_0.10_1.00_0_0_out_exact	FAIL	901.03
s27_d4_u	FAIL	901.03
test4_quant4	FAIL	901.03
s298_d8_s	FAIL	901.03
test2_quant_squaring2	FAIL	901.03
k_dum_p-20	FAIL	901.03
C880.blif_0.10_1.00_0_1_out_exact	FAIL	901.03
s386_d7_s	FAIL	901.03
s3330_d4_s	FAIL	901.03
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	901.03
s298_d5_s	FAIL	901.03
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	901.03
k_branch_n-20	FAIL	901.03
mutex-32-s	FAIL	901.03
test5_quant_squaring5	FAIL	901.03
s713_d4_s	FAIL	901.03
k_path_p-20	FAIL	901.03
s499_d2_s	FAIL	901.03
BLOCKS4ii.7.2	FAIL	901.03
s1196_d2_s	FAIL	901.03
k_t4p_n-18	FAIL	901.03
cf_6_8x6_r_	FAIL	901.03
cf_7_9x7_r_	FAIL	901.03
cf_8_8x8_r_	FAIL	901.03
s1196_d5_u	FAIL	901.03
s1196_d6_u	FAIL	901.03
s1196_d7_u	FAIL	901.03
s1196_d4_u	FAIL	901.03
s1269_d5_s	FAIL	901.03
s1269_d6_s	FAIL	901.03
s1269_d9_s	FAIL	901.03
s1269_d15_u	FAIL	901.03
s298_d14_s	FAIL	901.03
2qbf-5cnf-150var-900cl.2	FAIL	901.03
cf_6_6x6_r_	FAIL	901.03
cnt16re	FAIL	901.03
k_t4p_n-19	FAIL	901.03
k_t4p_n-14	FAIL	901.03
k_t4p_n-15	FAIL	901.03
k_t4p_p-18	FAIL	901.03
k_t4p_p-10	FAIL	901.03
k_t4p_p-19	FAIL	901.03
k_t4p_p-15	FAIL	901.03
robots_1_5_2_42.7	FAIL	901.03
robots_1_5_3_15.6	FAIL	901.03
robots_1_5_3_16.7	FAIL	901.03
robots_1_5_4_34.8	FAIL	901.03
cnt09e	FAIL	901.03
cnt09re	FAIL	901.03
s298_d17_s	FAIL	901.03
s298_d10_s	FAIL	901.03
s713_d10_u	FAIL	901.03
s713_d9_u	FAIL	901.03
s713_d8_u	FAIL	901.03
s641_d5_s	FAIL	901.03
s641_d3_s	FAIL	901.03
s641_d10_u	FAIL	901.03
s641_d8_u	FAIL	901.03
s510_d12_s	FAIL	901.03
s510_d13_s	FAIL	901.03
s499_d3_s	FAIL	901.03
s499_d19_s	FAIL	901.03
s499_d14_s	FAIL	901.03
s499_d7_s	FAIL	901.03
s713_d3_s	FAIL	901.03
s820_d9_s	FAIL	901.03
2qbf-5cnf-150var-1800cl.2	FAIL	901.03
2qbf-5cnf-150var-1500cl.2	FAIL	901.03
2qbf-5cnf-150var-1200cl.1	FAIL	901.03
2qbf-5cnf-150var-1200cl.2	FAIL	901.03
2qbf-5cnf-100var-800cl.1	FAIL	901.03
s3330_d6_s	FAIL	901.03
s386_d5_s	FAIL	901.03
s386_d9_u	FAIL	901.03
s386_d12_u	FAIL	901.03
2qbf-5cnf-100var-1000cl.1	FAIL	901.03
s820_d3_s	FAIL	901.03
s820_d14_u	FAIL	901.03
s820_d12_u	FAIL	901.03
s386_d3_s	FAIL	901.03
k_poly_n-15	FAIL	901.03
k_branch_p-15	FAIL	901.03
k_dum_p-17	FAIL	901.03
k_grz_n-18	FAIL	901.03
k_branch_n-9	FAIL	901.03
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	901.03
k_d4_n-14	FAIL	901.03
k_grz_p-17	FAIL	901.03
s1269_d2_s	FAIL	901.03
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	901.03
k_lin_n-14	FAIL	901.03
k_lin_n-15	FAIL	901.03
s386_d10_u	FAIL	901.03
k_branch_n-14	FAIL	901.03
k_branch_n-15	FAIL	901.03
k_branch_p-5	FAIL	901.03
k_branch_p-19	FAIL	901.03
k_branch_p-14	FAIL	901.03
k_branch_p-13	FAIL	901.03
k_d4_n-6	FAIL	901.03
k_d4_n-9	FAIL	901.03
k_branch_n-6	FAIL	901.03
k_d4_n-13	FAIL	901.03
k_d4_n-15	FAIL	901.03
k_branch_n-7	FAIL	901.03
k_dum_n-18	FAIL	901.03
k_path_n-7	FAIL	901.03
TOILET16.1.iv.32	FAIL	901.03
s820_d4_s	FAIL	901.03
k_ph_n-15	FAIL	901.03
adder-4-unsat	FAIL	901.03
k_ph_p-17	FAIL	901.03
5qbf-5cnf-150var-2400cl.1	FAIL	901.03
s3330_d2_s	FAIL	901.03
k_ph_p-14	FAIL	901.03
s641_d7_u	FAIL	901.03
k_ph_p-7	FAIL	901.03
k_path_p-17	FAIL	901.03
k_path_p-14	FAIL	901.03
k_ph_p-15	FAIL	901.03
5qbf-5cnf-150var-2100cl.2	FAIL	901.03
C432.blif_0.10_0.20_0_1_out_exact	FAIL	901.03
k_poly_n-11	FAIL	901.03
k_path_n-13	FAIL	901.03
k_poly_n-7	FAIL	901.03
k_poly_n-18	FAIL	901.03
uclid-pipe3b	FAIL	901.03
uclid-pipe3a	FAIL	901.04
s820_d5_s	FAIL	901.04
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	901.04
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	901.04
BLOCKS4ii.6.3	FAIL	901.04
BLOCKS4i.6.4	FAIL	901.04
C880.blif_0.10_0.20_0_1_out_exact	FAIL	901.04
s641_d11_u	FAIL	901.04
comp.blif_0.10_1.00_0_0_out_exact	FAIL	901.04
C432.blif_0.10_1.00_0_0_out_exact	FAIL	901.04
s713_d2_s	FAIL	901.04
k_path_p-16	FAIL	901.04
s499_d10_s	FAIL	901.04
adder-10-sat	FAIL	901.04
Adder2-16-c	FAIL	901.04
test5_quant7	FAIL	901.04
test2_quant_squaring3	FAIL	901.04
k_d4_n-8	FAIL	901.04
k_lin_n-19	FAIL	901.04
cf_6_8x8_r_	FAIL	901.04
k_ph_p-20	FAIL	901.04
s713_d6_s	FAIL	901.04
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	901.04
k_path_p-11	FAIL	901.04
cnt12e	FAIL	901.04
4qbf-5cnf-150var-1500cl.1	FAIL	901.04
robots_1_5_3_84.7	FAIL	901.04
mutex-16-s	FAIL	901.04
k_ph_p-19	FAIL	901.04
lognBWLARGEB1	FAIL	901.04
k_t4p_n-13	FAIL	901.04
s641_d6_s	FAIL	901.04
test1_quant3	FAIL	901.04
k_lin_n-7	FAIL	901.04
test1_quant2	FAIL	901.04
s3330_d3_s	FAIL	901.04
s1269_d10_s	FAIL	901.04
s386_d4_s	FAIL	901.04
k_grz_p-19	FAIL	901.04
2qbf-5cnf-150var-1500cl.1	FAIL	901.04
k_d4_p-7	FAIL	901.04
s298_d21_u	FAIL	901.04
k_t4p_n-5	FAIL	901.04
test5_quant_squaring4	FAIL	901.04
C499.blif_0.10_1.00_0_0_out_exact	FAIL	901.04
s1269_d3_s	FAIL	901.04
2qbf-5cnf-150var-900cl.1	FAIL	901.04
k_dum_p-15	FAIL	901.04
C499.blif_0.10_0.20_0_0_out_exact	FAIL	901.05
k_t4p_n-17	FAIL	901.07
s3330_d12_u	FAIL	901.07
s510_d31_s	FAIL	901.07
s499_d18_s	FAIL	901.09
adder-6-sat	FAIL	901.16

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QUBE-BJ
QBFEVAL'04

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QUBE-BJ QBFEVAL'04

Instances solved by QUBE-BJ
QBFEVAL'04