Instances solved by <a href='solver_detail.php?solver=16'>QBFL-BS</a> <br> QBFEVAL'04

Instances solved by QBFL-BS
QBFEVAL'04

Instance	Result	Time
MB4qbf-5cnf-50var-100cl.1	SAT	0
2qbf-5cnf-150var-300cl.1	SAT	0
mutex-2-s	SAT	0
TOILET2.1.iv.3	UNSAT	0
MB2qbf-5cnf-100var-800cl.1	UNSAT	0
5qbf-5cnf-100var-400cl.2	SAT	0
impl16	SAT	0
5qbf-5cnf-100var-600cl.1	SAT	0
MB2qbf-5cnf-50var-900cl.2	UNSAT	0
MB5qbf-5cnf-100var-200cl.2	SAT	0
3qbf-5cnf-100var-400cl.2	SAT	0
2qbf-5cnf-150var-300cl.2	SAT	0
impl12	SAT	0
toilet_g_02_01.2	SAT	0
toilet_g_08_01.2	SAT	0
4qbf-5cnf-150var-300cl.2	SAT	0
impl08	SAT	0
toilet_c_04_01.6	UNSAT	0
MB2qbf-5cnf-50var-700cl.2	UNSAT	0
2qbf-5cnf-50var-100cl.2	SAT	0
MB4qbf-5cnf-150var-300cl.1	SAT	0
impl18	SAT	0
MB4qbf-5cnf-100var-400cl.1	UNSAT	0
4qbf-5cnf-100var-400cl.1	SAT	0
3qbf-5cnf-150var-1200cl.2	SAT	0
5qbf-5cnf-100var-800cl.1	SAT	0
3qbf-5cnf-150var-600cl.2	SAT	0
3qbf-5cnf-150var-900cl.1	SAT	0
3qbf-5cnf-50var-500cl.2	SAT	0
impl20	SAT	0
5qbf-5cnf-150var-300cl.1	SAT	0
3qbf-5cnf-50var-200cl.2	SAT	0
mutex-4-s	SAT	0
4qbf-5cnf-100var-200cl.1	SAT	0
3qbf-5cnf-150var-300cl.2	SAT	0
MB2qbf-5cnf-50var-900cl.1	UNSAT	0
MB3qbf-5cnf-100var-200cl.2	SAT	0
4qbf-5cnf-100var-200cl.2	SAT	0
MB4qbf-5cnf-100var-200cl.1	SAT	0
impl06	SAT	0
MB3qbf-5cnf-150var-300cl.1	SAT	0
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.01
MB2qbf-5cnf-50var-500cl.2	UNSAT	0.01
MB2qbf-5cnf-50var-600cl.1	UNSAT	0.01
MB2qbf-5cnf-50var-600cl.2	UNSAT	0.01
3qbf-5cnf-50var-300cl.2	SAT	0.01
4qbf-5cnf-150var-600cl.1	SAT	0.01
MB2qbf-5cnf-50var-700cl.1	UNSAT	0.01
3qbf-5cnf-50var-400cl.2	SAT	0.01
3qbf-5cnf-150var-300cl.1	SAT	0.01
MB3qbf-5cnf-50var-100cl.1	SAT	0.01
MB2qbf-5cnf-50var-800cl.1	UNSAT	0.01
MB2qbf-5cnf-50var-800cl.2	UNSAT	0.01
5qbf-5cnf-50var-100cl.1	SAT	0.01
MB2qbf-5cnf-50var-500cl.1	UNSAT	0.01
MB2qbf-5cnf-50var-300cl.2	UNSAT	0.01
MB2qbf-5cnf-100var-1200cl.2	UNSAT	0.01
5qbf-5cnf-100var-600cl.2	SAT	0.01
MB2qbf-5cnf-100var-1000cl.1	UNSAT	0.01
5qbf-5cnf-150var-1500cl.2	SAT	0.01
impl14	SAT	0.01
5qbf-5cnf-50var-300cl.2	SAT	0.01
5qbf-5cnf-50var-300cl.1	SAT	0.01
5qbf-5cnf-50var-200cl.2	SAT	0.01
5qbf-5cnf-50var-200cl.1	SAT	0.01
5qbf-5cnf-50var-100cl.2	SAT	0.01
5qbf-5cnf-100var-800cl.2	SAT	0.01
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
5qbf-5cnf-150var-600cl.1	SAT	0.01
5qbf-5cnf-150var-300cl.2	SAT	0.01
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.01
5qbf-5cnf-150var-1500cl.1	SAT	0.01
MB2qbf-5cnf-100var-1400cl.1	UNSAT	0.01
impl02	SAT	0.01
mutex-16-s	SAT	0.01
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.01
MB2qbf-5cnf-50var-100cl.2	UNSAT	0.01
4qbf-5cnf-50var-100cl.2	SAT	0.01
toilet_g_06_01.2	SAT	0.01
toilet_g_04_01.2	SAT	0.01
toilet_g_20_01.2	SAT	0.01
toilet_c_10_01.3	UNSAT	0.01
4qbf-5cnf-50var-200cl.2	SAT	0.01
4qbf-5cnf-50var-200cl.1	SAT	0.01
5qbf-5cnf-100var-1000cl.1	SAT	0.01
5qbf-5cnf-100var-200cl.2	SAT	0.01
5qbf-5cnf-100var-400cl.1	SAT	0.01
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.01
MB2qbf-5cnf-100var-400cl.1	UNSAT	0.01
TOILET2.1.iv.4	SAT	0.01
5qbf-5cnf-150var-1200cl.1	SAT	0.01
3qbf-5cnf-50var-300cl.1	SAT	0.01
k_ph_n-15	FAIL	0.01
MB4qbf-5cnf-150var-300cl.2	SAT	0.01
3qbf-5cnf-100var-400cl.1	SAT	0.01
2qbf-5cnf-100var-200cl.1	SAT	0.01
3qbf-5cnf-100var-200cl.2	SAT	0.01
cf_8_8x8_w_	FAIL	0.01
5qbf-5cnf-150var-900cl.1	SAT	0.01
3qbf-5cnf-100var-200cl.1	SAT	0.01
MB4qbf-5cnf-50var-400cl.2	UNSAT	0.01
MB4qbf-5cnf-50var-400cl.1	UNSAT	0.01
MB3qbf-5cnf-100var-200cl.1	SAT	0.01
MB5qbf-5cnf-150var-300cl.1	SAT	0.01
MB4qbf-5cnf-50var-300cl.1	UNSAT	0.01
MB5qbf-5cnf-100var-400cl.1	UNSAT	0.01
k_ph_n-3	SAT	0.01
2qbf-5cnf-50var-800cl.2	UNSAT	0.01
MB5qbf-5cnf-100var-200cl.1	SAT	0.01
MB4qbf-5cnf-100var-600cl.2	UNSAT	0.01
MB5qbf-5cnf-50var-100cl.1	SAT	0.01
3qbf-5cnf-100var-600cl.2	SAT	0.01
flipflop-3-c	UNSAT	0.01
2qbf-5cnf-50var-100cl.1	SAT	0.01
3qbf-5cnf-100var-800cl.1	SAT	0.01
3qbf-5cnf-150var-600cl.1	SAT	0.01
3qbf-5cnf-150var-1200cl.1	SAT	0.01
flipflop-5-c	UNSAT	0.01
MB4qbf-5cnf-100var-400cl.2	UNSAT	0.01
MB5qbf-5cnf-50var-100cl.2	SAT	0.01
MB5qbf-5cnf-50var-200cl.2	SAT	0.01
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
k_lin_n-1	SAT	0.02
MB2qbf-5cnf-100var-1800cl.2	UNSAT	0.02
2qbf-5cnf-100var-200cl.2	SAT	0.02
5qbf-5cnf-100var-200cl.1	SAT	0.02
toilet_c_10_05.4	SAT	0.02
k_ph_n-1	SAT	0.02
MB2qbf-5cnf-100var-1800cl.1	UNSAT	0.02
MB2qbf-5cnf-150var-1200cl.1	UNSAT	0.02
MB2qbf-5cnf-100var-600cl.1	UNSAT	0.02
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.02
MB2qbf-5cnf-100var-1600cl.1	UNSAT	0.02
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.02
MB2qbf-5cnf-100var-1600cl.2	UNSAT	0.02
TOILET10.1.iv.20	SAT	0.02
mutex-8-s	SAT	0.02
MB5qbf-5cnf-50var-200cl.1	SAT	0.02
5qbf-5cnf-150var-900cl.2	SAT	0.02
5qbf-5cnf-150var-1200cl.2	SAT	0.02
5qbf-5cnf-150var-600cl.2	SAT	0.02
lognBWLARGEA0	UNSAT	0.02
lognBWLARGEB0	UNSAT	0.02
TOILET7.1.iv.14	SAT	0.02
k_poly_n-1	SAT	0.02
5qbf-5cnf-50var-400cl.1	SAT	0.02
MB2qbf-5cnf-100var-1200cl.1	UNSAT	0.02
5qbf-5cnf-50var-500cl.2	SAT	0.02
k_ph_p-3	UNSAT	0.02
MB2qbf-5cnf-100var-1000cl.2	UNSAT	0.02
MB5qbf-5cnf-150var-300cl.2	SAT	0.02
5qbf-5cnf-50var-500cl.1	SAT	0.02
5qbf-5cnf-50var-400cl.2	SAT	0.02
cf_2_2x3_w_	UNSAT	0.02
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.02
4qbf-5cnf-150var-300cl.1	SAT	0.02
TOILET6.1.iv.12	SAT	0.02
4qbf-5cnf-50var-100cl.1	SAT	0.02
4qbf-5cnf-100var-400cl.2	SAT	0.02
MB4qbf-5cnf-50var-100cl.2	SAT	0.02
MB4qbf-5cnf-50var-200cl.1	UNSAT	0.02
4qbf-5cnf-150var-600cl.2	SAT	0.02
MB4qbf-5cnf-50var-200cl.2	UNSAT	0.02
MB2qbf-5cnf-50var-300cl.1	UNSAT	0.02
s3271_d2_s	UNSAT	0.02
MB2qbf-5cnf-50var-400cl.1	UNSAT	0.02
MB4qbf-5cnf-150var-600cl.1	UNSAT	0.02
3qbf-5cnf-100var-600cl.1	SAT	0.02
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.02
MB4qbf-5cnf-150var-600cl.2	UNSAT	0.02
3qbf-5cnf-50var-200cl.1	SAT	0.02
2qbf-5cnf-50var-900cl.2	UNSAT	0.02
2qbf-5cnf-50var-900cl.1	UNSAT	0.02
MB2qbf-5cnf-50var-400cl.2	UNSAT	0.02
MB2qbf-5cnf-150var-900cl.1	UNSAT	0.02
flipflop-4-c	UNSAT	0.02
toilet_g_10_01.2	SAT	0.02
2qbf-5cnf-50var-800cl.1	UNSAT	0.02
3qbf-5cnf-50var-100cl.1	SAT	0.02
MB2qbf-5cnf-50var-200cl.2	UNSAT	0.02
MB3qbf-5cnf-50var-100cl.2	SAT	0.02
toilet_c_06_05.4	SAT	0.02
toilet_a_06_01.5	UNSAT	0.02
3qbf-5cnf-50var-100cl.2	SAT	0.02
4qbf-5cnf-50var-300cl.2	SAT	0.02
3qbf-5cnf-150var-900cl.2	SAT	0.02
toilet_g_15_01.2	SAT	0.02
toilet_a_08_01.3	UNSAT	0.02
MB2qbf-5cnf-150var-600cl.1	UNSAT	0.02
3qbf-5cnf-100var-800cl.2	SAT	0.02
MB4qbf-5cnf-100var-200cl.2	SAT	0.02
MB4qbf-5cnf-50var-300cl.2	UNSAT	0.02
tree-exa2-15	UNSAT	0.02
MB3qbf-5cnf-150var-600cl.1	FAIL	0.02
cf_5_5x5_r_	UNSAT	0.03
cf_4_5x4_d_	UNSAT	0.03
cf_2_3x2_r_	UNSAT	0.03
Adder2-2-c	UNSAT	0.03
mutex-32-s	SAT	0.03
MB2qbf-5cnf-150var-1800cl.2	UNSAT	0.03
MB2qbf-5cnf-150var-2400cl.1	UNSAT	0.03
MB2qbf-5cnf-100var-600cl.2	UNSAT	0.03
2qbf-5cnf-100var-1600cl.2	UNSAT	0.03
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.03
k_branch_n-1	SAT	0.03
MB2qbf-5cnf-100var-1400cl.2	UNSAT	0.03
MB2qbf-5cnf-150var-1200cl.2	UNSAT	0.03
2qbf-5cnf-100var-1400cl.1	UNSAT	0.04
MB2qbf-5cnf-150var-1800cl.1	UNSAT	0.04
2qbf-5cnf-50var-600cl.2	UNSAT	0.04
toilet_c_06_01.9	UNSAT	0.04
2qbf-5cnf-150var-2700cl.2	UNSAT	0.04
cf_3_5x4_r_	UNSAT	0.04
k_path_n-1	SAT	0.04
cf_6_6x6_r_	UNSAT	0.04
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.04
cf_3_6x4_w_	UNSAT	0.04
vonNeumann-ripple-carry-5-c	UNSAT	0.04
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.04
MB4qbf-5cnf-150var-900cl.2	UNSAT	0.04
MB2qbf-5cnf-150var-1500cl.1	UNSAT	0.04
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.04
MB2qbf-5cnf-150var-2400cl.2	UNSAT	0.04
cf_2_8x3_r_	UNSAT	0.04
MB2qbf-5cnf-150var-2100cl.1	UNSAT	0.04
MB2qbf-5cnf-150var-2100cl.2	UNSAT	0.04
MB2qbf-5cnf-150var-2700cl.2	UNSAT	0.05
s3271_d5_s	UNSAT	0.05
MB2qbf-5cnf-150var-2700cl.1	UNSAT	0.05
cf_5_5x6_w_	UNSAT	0.05
mutex-64-s	SAT	0.05
MB2qbf-5cnf-150var-1500cl.2	UNSAT	0.05
toilet_c_10_05.10	SAT	0.05
cf_2_5x4_r_	UNSAT	0.05
k_lin_p-1	UNSAT	0.05
cf_2_4x8_d_	UNSAT	0.05
cf_5_6x5_w_	UNSAT	0.05
MB2qbf-5cnf-100var-400cl.2	UNSAT	0.05
cf_4_5x5_d_	UNSAT	0.05
cf_6_6x6_d_	UNSAT	0.06
robots_1_5_5_29.1	SAT	0.06
toilet_a_10_01.4	UNSAT	0.06
cf_5_7x5_d_	UNSAT	0.06
MB2qbf-5cnf-150var-900cl.2	UNSAT	0.06
MB5qbf-5cnf-150var-600cl.1	UNSAT	0.06
cf_2_4x8_r_	UNSAT	0.06
k_ph_n-4	SAT	0.06
2qbf-5cnf-100var-1800cl.2	UNSAT	0.06
cf_5_5x7_d_	UNSAT	0.07
2qbf-5cnf-50var-700cl.2	UNSAT	0.07
robots_1_5_2_64.1	SAT	0.07
cf_4_6x5_d_	UNSAT	0.07
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.07
cf_4_5x6_w_	UNSAT	0.07
TOILET16.1.iv.32	SAT	0.08
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.08
cf_6_6x8_w_	UNSAT	0.08
robots_1_5_2_38.1	SAT	0.08
robots_1_5_2_93.1	SAT	0.08
toilet_c_10_01.9	UNSAT	0.08
cf_7_7x7_d_	UNSAT	0.08
MB3qbf-5cnf-50var-700cl.2	UNSAT	0.08
cf_5_7x6_d_	UNSAT	0.08
cf_6_8x6_r_	UNSAT	0.09
2qbf-5cnf-100var-1800cl.1	UNSAT	0.09
toilet_a_08_01.16	SAT	0.09
cf_4_6x7_d_	UNSAT	0.09
mutex-128-s	SAT	0.1
cf_8_8x8_r_	UNSAT	0.1
robots_1_5_4_78.1	SAT	0.1
cf_7_8x7_d_	UNSAT	0.1
cf_7_9x7_r_	UNSAT	0.11
vonNeumann-ripple-carry-7-c	UNSAT	0.11
cf_6_8x7_d_	UNSAT	0.12
s27_d2_s	SAT	0.12
cf_7_9x7_w_	UNSAT	0.12
k_path_p-2	UNSAT	0.13
cf_7_8x8_w_	UNSAT	0.13
MB2qbf-5cnf-50var-200cl.1	UNSAT	0.14
MB2qbf-5cnf-50var-100cl.1	SAT	0.14
cf_6_8x8_r_	UNSAT	0.15
flipflop-7-c	UNSAT	0.16
toilet_a_06_05.2	UNSAT	0.17
cf_7_9x8_w_	UNSAT	0.17
s3271_d12_s	UNSAT	0.18
MB3qbf-5cnf-50var-900cl.1	UNSAT	0.19
szymanski-6-s	UNSAT	0.2
s3271_d15_s	UNSAT	0.22
vonNeumann-ripple-carry-9-c	UNSAT	0.27
cf_2_8x5_r_	UNSAT	0.28
MB3qbf-5cnf-50var-700cl.1	UNSAT	0.28
MB2qbf-5cnf-100var-800cl.2	UNSAT	0.3
cf_2_9x5_w_	UNSAT	0.31
cf_3_9x5_d_	UNSAT	0.31
MB5qbf-5cnf-100var-400cl.2	UNSAT	0.31
s3271_d18_u	UNSAT	0.31
s3271_d19_u	UNSAT	0.32
tree-exa2-25	UNSAT	0.33
cf_3_9x5_r_	UNSAT	0.34
cf_4_5x9_r_	UNSAT	0.36
cf_4_5x9_d_	UNSAT	0.36
s3271_d20_u	UNSAT	0.36
MB3qbf-5cnf-50var-800cl.2	UNSAT	0.36
toilet_a_10_01.7	UNSAT	0.37
vonNeumann-ripple-carry-10-c	UNSAT	0.38
cf_6_6x9_r_	UNSAT	0.39
cf_5_6x9_r_	UNSAT	0.39
2qbf-5cnf-150var-2400cl.1	UNSAT	0.4
MB2qbf-5cnf-150var-300cl.2	UNSAT	0.41
cf_4_8x8_w_	UNSAT	0.41
cf_3_8x8_w_	UNSAT	0.41
MB3qbf-5cnf-50var-600cl.1	UNSAT	0.42
cf_7_7x9_d_	UNSAT	0.42
s3271_d22_u	UNSAT	0.44
flipflop-8-c	UNSAT	0.45
cf_8_8x9_r_	UNSAT	0.46
cf_8_8x9_w_	UNSAT	0.46
cf_8_8x9_d_	UNSAT	0.46
CHAIN12v.13	SAT	0.47
MB4qbf-5cnf-150var-900cl.1	UNSAT	0.47
cf_3_7x9_w_	UNSAT	0.48
vonNeumann-ripple-carry-11-c	UNSAT	0.48
cf_9_9x9_w_	UNSAT	0.49
cf_9_9x9_d_	UNSAT	0.49
MB3qbf-5cnf-50var-900cl.2	UNSAT	0.49
cf_6_8x9_d_	UNSAT	0.49
cf_5_8x9_w_	UNSAT	0.5
cf_8_9x9_r_	UNSAT	0.51
cf_9_9x9_r_	UNSAT	0.52
cf_8_9x9_w_	UNSAT	0.52
cf_7_9x9_d_	UNSAT	0.52
cf_8_9x9_d_	UNSAT	0.53
cf_3_8x9_d_	UNSAT	0.54
2qbf-5cnf-100var-1600cl.1	UNSAT	0.55
cnt02	SAT	0.56
cf_3_9x9_w_	UNSAT	0.57
vonNeumann-ripple-carry-12-c	UNSAT	0.67
MB4qbf-5cnf-100var-600cl.1	UNSAT	0.74
MB2qbf-5cnf-100var-200cl.2	UNSAT	0.76
MB3qbf-5cnf-50var-600cl.2	UNSAT	0.86
szymanski-4-s	UNSAT	0.88
2qbf-5cnf-150var-2700cl.1	UNSAT	0.9
vonNeumann-ripple-carry-13-c	UNSAT	0.9
MB4qbf-5cnf-100var-800cl.2	UNSAT	0.94
CHAIN13v.14	SAT	1.15
vonNeumann-ripple-carry-14-c	UNSAT	1.19
flipflop-9-c	UNSAT	1.2
MB3qbf-5cnf-50var-800cl.1	UNSAT	1.34
2qbf-5cnf-50var-700cl.1	UNSAT	1.49
MB2qbf-5cnf-150var-300cl.1	UNSAT	1.5
MB2qbf-5cnf-150var-600cl.2	UNSAT	1.54
MB3qbf-5cnf-50var-300cl.1	UNSAT	1.69
MB3qbf-5cnf-50var-200cl.2	UNSAT	1.75
MB4qbf-5cnf-50var-500cl.1	UNSAT	1.9
MB4qbf-5cnf-50var-700cl.2	UNSAT	2.02
k_dum_n-1	SAT	2.12
2qbf-5cnf-50var-500cl.2	UNSAT	2.37
flipflop-10-c	UNSAT	2.43
CHAIN14v.15	SAT	2.61
k_ph_p-4	UNSAT	2.83
toilet_c_08_01.13	UNSAT	2.91
MB3qbf-5cnf-50var-200cl.1	UNSAT	2.96
MB4qbf-5cnf-50var-800cl.1	UNSAT	3.1
MB3qbf-5cnf-150var-300cl.2	UNSAT	3.41
MB4qbf-5cnf-50var-900cl.2	UNSAT	3.84
tree-exa2-30	UNSAT	3.86
MB3qbf-5cnf-50var-500cl.2	UNSAT	3.92
MB4qbf-5cnf-50var-600cl.2	UNSAT	4.03
MB4qbf-5cnf-50var-500cl.2	UNSAT	4.36
flipflop-11-c	UNSAT	6.38
k_path_p-3	UNSAT	7.18
k_dum_p-1	UNSAT	9.32
cnt02e	SAT	10.1
comp.blif_0.10_1.00_0_1_inp_exact	SAT	12.71
CHAIN16v.17	SAT	13.32
MB3qbf-5cnf-50var-500cl.1	UNSAT	13.75
MB5qbf-5cnf-50var-300cl.1	UNSAT	17.51
MB4qbf-5cnf-50var-900cl.1	UNSAT	17.69
k_lin_n-2	SAT	22.17
TOILET6.1.iv.11	UNSAT	22.6
MB5qbf-5cnf-50var-900cl.2	UNSAT	22.69
MB4qbf-5cnf-50var-800cl.2	UNSAT	24.96
MB4qbf-5cnf-50var-600cl.1	UNSAT	25.33
tree-exa10-25	SAT	26.33
CHAIN17v.18	SAT	30.83
MB4qbf-5cnf-50var-700cl.1	UNSAT	40.83
MB3qbf-5cnf-50var-400cl.1	UNSAT	41.51
k_poly_n-3	SAT	45.43
tree-exa2-35	UNSAT	46.26
2qbf-5cnf-50var-500cl.1	UNSAT	57.07
MB3qbf-5cnf-50var-400cl.2	UNSAT	60.07
2qbf-5cnf-100var-1400cl.2	UNSAT	66.45
tree-exa10-30	SAT	92.2
MB5qbf-5cnf-50var-900cl.1	UNSAT	93.64
term1.blif_0.10_0.20_0_1_inp_exact	SAT	100.45
comp.blif_0.10_0.20_0_1_inp_exact	SAT	120.3
MB5qbf-5cnf-50var-800cl.1	UNSAT	120.39
MB3qbf-5cnf-100var-1800cl.1	UNSAT	123.9
CHAIN19v.20	SAT	171.11
k_dum_n-3	SAT	171.88
MB5qbf-5cnf-50var-300cl.2	UNSAT	225.85
2qbf-5cnf-50var-600cl.1	UNSAT	247.82
k_path_n-3	SAT	258.19
MB3qbf-5cnf-100var-1600cl.1	UNSAT	264.55
MB3qbf-5cnf-50var-300cl.2	UNSAT	322.35
MB3qbf-5cnf-100var-1800cl.2	UNSAT	332.24
CHAIN20v.21	SAT	382.47
k_poly_p-2	UNSAT	402.26
MB5qbf-5cnf-50var-800cl.2	UNSAT	424.08
TOILET7.1.iv.13	UNSAT	529.65
tree-exa2-40	UNSAT	550.64
MB5qbf-5cnf-50var-500cl.1	UNSAT	670.65
MB3qbf-5cnf-100var-1000cl.1	FAIL	901
3qbf-5cnf-100var-1200cl.1	FAIL	901
3qbf-5cnf-100var-1000cl.1	FAIL	901
k_grz_p-10	FAIL	901
k_grz_p-19	FAIL	901
k_grz_p-14	FAIL	901
k_grz_p-17	FAIL	901
k_lin_n-7	FAIL	901
k_lin_n-19	FAIL	901
2qbf-5cnf-50var-400cl.2	FAIL	901
MB3qbf-5cnf-150var-2400cl.1	FAIL	901
2qbf-5cnf-50var-300cl.2	FAIL	901
3qbf-5cnf-100var-1400cl.1	FAIL	901
MB3qbf-5cnf-100var-800cl.2	FAIL	901
3qbf-5cnf-100var-1600cl.1	FAIL	901
3qbf-5cnf-150var-1800cl.1	FAIL	901
3qbf-5cnf-150var-1500cl.1	FAIL	901
MB3qbf-5cnf-100var-1400cl.2	FAIL	901
term1.blif_0.10_0.20_0_0_out_exact	FAIL	901
k_t4p_p-4	FAIL	901
test2_quant2	FAIL	901
k_lin_p-8	FAIL	901
k_grz_n-2	FAIL	901
MB3qbf-5cnf-100var-400cl.1	FAIL	901
MB3qbf-5cnf-100var-600cl.2	FAIL	901
3qbf-5cnf-100var-1800cl.2	FAIL	901
2qbf-5cnf-50var-200cl.1	FAIL	901
k_lin_n-14	FAIL	901
2qbf-5cnf-100var-800cl.1	FAIL	901
2qbf-5cnf-100var-600cl.2	FAIL	901
k_d4_n-8	FAIL	901
k_lin_p-6	FAIL	901
k_d4_n-12	FAIL	901
k_d4_p-16	FAIL	901
k_path_n-7	FAIL	901
s27_d4_u	FAIL	901
MB4qbf-5cnf-100var-1000cl.2	FAIL	901
2qbf-5cnf-100var-1200cl.2	FAIL	901
MB4qbf-5cnf-100var-1200cl.2	FAIL	901
2qbf-5cnf-100var-800cl.2	FAIL	901
2qbf-5cnf-150var-1200cl.2	FAIL	901
2qbf-5cnf-150var-1200cl.1	FAIL	901
2qbf-5cnf-150var-900cl.2	FAIL	901
2qbf-5cnf-150var-900cl.1	FAIL	901
2qbf-5cnf-150var-600cl.2	FAIL	901
2qbf-5cnf-150var-600cl.1	FAIL	901
k_lin_n-15	FAIL	901
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	901
k_lin_p-10	FAIL	901
k_lin_p-11	FAIL	901
2qbf-5cnf-150var-2100cl.2	FAIL	901
test2_quant3	FAIL	901
s386_d8_u	FAIL	901
s820_d3_s	FAIL	901
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	901
s820_d4_s	FAIL	901
s820_d8_s	FAIL	901
4qbf-5cnf-50var-600cl.2	FAIL	901
4qbf-5cnf-50var-400cl.2	FAIL	901
5qbf-5cnf-50var-600cl.2	FAIL	901
toilet_a_10_05.3	FAIL	901
5qbf-5cnf-50var-900cl.1	FAIL	901
s510_d46_s	FAIL	901
k_branch_n-6	FAIL	901
k_branch_n-7	FAIL	901
k_branch_n-16	FAIL	901
s27_d3_u	FAIL	901
k_branch_p-8	FAIL	901
4qbf-5cnf-50var-800cl.2	FAIL	901
s298_d19_u	FAIL	901
5qbf-5cnf-150var-2100cl.2	FAIL	901
5qbf-5cnf-150var-2100cl.1	FAIL	901
uclid-pipe3b	FAIL	901
5qbf-5cnf-150var-2400cl.2	FAIL	901
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	901
5qbf-5cnf-100var-1800cl.1	FAIL	901
5qbf-5cnf-100var-1600cl.2	FAIL	901
k_poly_p-8	FAIL	901
5qbf-5cnf-100var-1200cl.2	FAIL	901
5qbf-5cnf-100var-1000cl.2	FAIL	901
BLOCKS3i.5.3	FAIL	901
4qbf-5cnf-150var-2700cl.2	FAIL	901
C432.blif_0.10_1.00_0_0_inp_exact	FAIL	901
3qbf-5cnf-50var-800cl.1	FAIL	901
3qbf-5cnf-50var-700cl.2	FAIL	901
3qbf-5cnf-50var-600cl.2	FAIL	901
3qbf-5cnf-50var-600cl.1	FAIL	901
k_dum_p-8	FAIL	901
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	901
k_ph_n-21	FAIL	901
k_d4_n-13	FAIL	901
robots_1_5_4_91.4	FAIL	901
k_dum_n-8	FAIL	901
k_d4_p-19	FAIL	901
test3_quant_squaring2	FAIL	901
3qbf-5cnf-50var-900cl.2	FAIL	901
4qbf-5cnf-100var-1000cl.1	FAIL	901
k_grz_p-4	FAIL	901
s1196_d2_s	FAIL	901
4qbf-5cnf-100var-600cl.2	FAIL	901
test1_quant3	FAIL	901
k_branch_p-19	FAIL	901
k_branch_p-3	FAIL	901
test3_quant2	FAIL	901
4qbf-5cnf-100var-1600cl.2	FAIL	901
4qbf-5cnf-100var-1400cl.1	FAIL	901
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	901
4qbf-5cnf-100var-1200cl.1	FAIL	901
3qbf-5cnf-150var-2700cl.1	FAIL	901
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	901
comp.blif_0.10_1.00_0_0_inp_exact	FAIL	901
BLOCKS4i.6.4	FAIL	901
k_t4p_n-13	FAIL	901
MB5qbf-5cnf-100var-600cl.1	FAIL	901
k_poly_n-11	FAIL	901
k_poly_p-7	FAIL	901
k_poly_p-10	FAIL	901
MB5qbf-5cnf-100var-800cl.1	FAIL	901
k_t4p_n-18	FAIL	901
k_t4p_n-2	FAIL	901
s1196_d7_u	FAIL	901
MB5qbf-5cnf-100var-1800cl.1	FAIL	901
s386_d7_s	FAIL	901
test2_quant_squaring2	FAIL	901
BLOCKS4ii.6.3	FAIL	901
k_poly_n-4	FAIL	901
Adder2-16-c	FAIL	901
k_ph_p-14	FAIL	901
s713_d2_s	FAIL	901
s298_d17_s	FAIL	901
MB5qbf-5cnf-100var-1400cl.1	FAIL	901
s1269_d5_s	FAIL	901
MB5qbf-5cnf-150var-1500cl.1	FAIL	901
MB5qbf-5cnf-150var-1800cl.2	FAIL	901
MB5qbf-5cnf-50var-400cl.1	FAIL	901
robots_1_5_5_5.2	FAIL	901
robots_1_5_5_18.5	FAIL	901
robots_1_5_5_34.6	FAIL	901
robots_1_5_5_55.6	FAIL	901
MB5qbf-5cnf-50var-500cl.2	FAIL	901
cnt04e	FAIL	901
MB5qbf-5cnf-50var-600cl.1	FAIL	901
comp.blif_0.10_0.20_0_0_inp_exact	FAIL	901
cnt12e	FAIL	901
robots_1_5_4_31.8	FAIL	901
k_grz_p-16	FAIL	901
3qbf-5cnf-150var-1500cl.2	FAIL	901
MB5qbf-5cnf-150var-1800cl.1	FAIL	901
k_t4p_p-19	FAIL	901
robots_1_5_2_69.4	FAIL	901
MB5qbf-5cnf-150var-2700cl.1	FAIL	901
robots_1_5_2_42.7	FAIL	901
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	901
robots_1_5_3_62.4	FAIL	901
MB5qbf-5cnf-150var-600cl.2	FAIL	901
robots_1_5_4_21.2	FAIL	901
2qbf-5cnf-150var-1800cl.1	FAIL	901
MB4qbf-5cnf-150var-2100cl.2	FAIL	901
s641_d8_u	FAIL	901
s713_d8_u	FAIL	901
MB4qbf-5cnf-100var-1800cl.2	FAIL	901
MB4qbf-5cnf-100var-1800cl.1	FAIL	901
uclid-pipe2	FAIL	901
k_d4_n-16	FAIL	901
s510_d31_s	FAIL	901
s386_d3_s	FAIL	901
MB4qbf-5cnf-150var-1800cl.2	FAIL	901
MB4qbf-5cnf-150var-2700cl.1	FAIL	901
MB4qbf-5cnf-150var-2700cl.2	FAIL	901
s499_d18_s	FAIL	901
MB4qbf-5cnf-100var-1600cl.1	FAIL	901
MB4qbf-5cnf-100var-1400cl.1	FAIL	901
adder-10-sat	FAIL	901
adder-6-unsat	FAIL	901
test1_quant2	FAIL	901
s499_d3_s	FAIL	901
MB4qbf-5cnf-150var-1200cl.2	FAIL	901
s820_d14_u	FAIL	901
MB5qbf-5cnf-150var-2400cl.1	FAIL	901.01
k_t4p_n-17	FAIL	901.01
BLOCKS3ii.5.3	FAIL	901.01
k_path_p-20	FAIL	901.01
MB5qbf-5cnf-150var-900cl.2	FAIL	901.01
5qbf-5cnf-50var-900cl.2	FAIL	901.01
MB5qbf-5cnf-150var-2400cl.2	FAIL	901.01
MB5qbf-5cnf-150var-2700cl.2	FAIL	901.01
test5_quant_squaring4	FAIL	901.01
MB2qbf-5cnf-100var-200cl.1	FAIL	901.01
k_poly_n-8	FAIL	901.01
C880.blif_0.10_1.00_0_1_out_exact	FAIL	901.01
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	901.01
k_poly_p-12	FAIL	901.01
szymanski-16-s	FAIL	901.01
test5_quant_squaring5	FAIL	901.01
s499_d2_s	FAIL	901.01
C880.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	901.01
tree-exa2-45	FAIL	901.01
5qbf-5cnf-50var-800cl.2	FAIL	901.01
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
C499.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
comp.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
k_path_n-4	FAIL	901.01
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
comp.blif_0.10_0.20_0_0_out_exact	FAIL	901.01
5qbf-5cnf-150var-2700cl.1	FAIL	901.01
MB4qbf-5cnf-100var-1600cl.2	FAIL	901.01
5qbf-5cnf-150var-2400cl.1	FAIL	901.01
MB5qbf-5cnf-50var-600cl.2	FAIL	901.01
MB4qbf-5cnf-100var-1000cl.1	FAIL	901.01
MB4qbf-5cnf-100var-1400cl.2	FAIL	901.01
5qbf-5cnf-150var-1800cl.1	FAIL	901.01
test1_quant_squaring2	FAIL	901.01
test4_quant4	FAIL	901.01
test5_quant5	FAIL	901.01
5qbf-5cnf-50var-800cl.1	FAIL	901.01
k_path_p-16	FAIL	901.01
5qbf-5cnf-50var-700cl.2	FAIL	901.01
5qbf-5cnf-50var-700cl.1	FAIL	901.01
adder-6-sat	FAIL	901.01
k_dum_n-4	FAIL	901.01
5qbf-5cnf-50var-600cl.1	FAIL	901.01
C880.blif_0.10_0.20_0_0_out_exact	FAIL	901.01
test4_quant_squaring4	FAIL	901.01
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
C499.blif_0.10_0.20_0_0_out_exact	FAIL	901.01
MB4qbf-5cnf-150var-1200cl.1	FAIL	901.01
MB5qbf-5cnf-50var-400cl.2	FAIL	901.01
5qbf-5cnf-150var-1800cl.2	FAIL	901.01
MB3qbf-5cnf-150var-2100cl.1	FAIL	901.01
MB3qbf-5cnf-100var-400cl.2	FAIL	901.01
C432.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
MB5qbf-5cnf-100var-1000cl.2	FAIL	901.01
s1269_d4_s	FAIL	901.01
MB5qbf-5cnf-100var-1000cl.1	FAIL	901.01
MB5qbf-5cnf-100var-1200cl.2	FAIL	901.01
MB5qbf-5cnf-100var-1200cl.1	FAIL	901.01
MB3qbf-5cnf-100var-1600cl.2	FAIL	901.01
MB3qbf-5cnf-100var-1400cl.1	FAIL	901.01
CHAIN23v.24	FAIL	901.01
MB5qbf-5cnf-100var-1600cl.1	FAIL	901.01
MB3qbf-5cnf-100var-1200cl.1	FAIL	901.01
MB3qbf-5cnf-100var-1200cl.2	FAIL	901.01
MB3qbf-5cnf-100var-600cl.1	FAIL	901.01
MB3qbf-5cnf-150var-2700cl.1	FAIL	901.01
MB3qbf-5cnf-150var-2700cl.2	FAIL	901.01
test5_quant7	FAIL	901.01
C880.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
BLOCKS4ii.7.2	FAIL	901.01
MB3qbf-5cnf-150var-2100cl.2	FAIL	901.01
MB3qbf-5cnf-150var-1800cl.1	FAIL	901.01
MB3qbf-5cnf-150var-1500cl.1	FAIL	901.01
MB3qbf-5cnf-150var-1500cl.2	FAIL	901.01
MB3qbf-5cnf-150var-1200cl.1	FAIL	901.01
k_path_n-8	FAIL	901.01
MB3qbf-5cnf-150var-1200cl.2	FAIL	901.01
s386_d4_s	FAIL	901.01
s27_d5_u	FAIL	901.01
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	901.01
s713_d7_u	FAIL	901.01
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
MB4qbf-5cnf-150var-2400cl.1	FAIL	901.01
C5315.blif_0.10_1.00_0_1_inp_exact	FAIL	901.01
MB4qbf-5cnf-150var-1500cl.1	FAIL	901.01
MB5qbf-5cnf-150var-1200cl.1	FAIL	901.01
k_ph_n-8	FAIL	901.01
MB5qbf-5cnf-150var-1500cl.2	FAIL	901.01
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	901.01
MB4qbf-5cnf-150var-1500cl.2	FAIL	901.01
C499.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
s1196_d3_u	FAIL	901.01
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	901.01
s713_d6_s	FAIL	901.01
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
MB5qbf-5cnf-150var-2100cl.2	FAIL	901.01
k_dum_n-16	FAIL	901.01
MB5qbf-5cnf-150var-1200cl.2	FAIL	901.01
s499_d4_s	FAIL	901.01
k_t4p_p-16	FAIL	901.01
s298_d8_s	FAIL	901.01
s298_d16_s	FAIL	901.01
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
robots_1_5_4_73.2	FAIL	901.01
s641_d6_s	FAIL	901.01
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	901.01
k_branch_p-16	FAIL	901.01
MB3qbf-5cnf-150var-600cl.2	FAIL	901.01
MB5qbf-5cnf-100var-600cl.2	FAIL	901.01
k_t4p_p-12	FAIL	901.01
MB3qbf-5cnf-150var-900cl.2	FAIL	901.01
MB5qbf-5cnf-100var-800cl.2	FAIL	901.01
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
s499_d10_s	FAIL	901.01
k_path_p-6	FAIL	901.01
k_path_n-13	FAIL	901.01
k_path_n-6	FAIL	901.01
k_path_n-5	FAIL	901.01
k_lin_p-15	FAIL	901.01
2qbf-5cnf-100var-400cl.1	FAIL	901.01
2qbf-5cnf-100var-400cl.2	FAIL	901.01
2qbf-5cnf-100var-600cl.1	FAIL	901.01
2qbf-5cnf-150var-1500cl.2	FAIL	901.01
2qbf-5cnf-100var-1000cl.1	FAIL	901.01
2qbf-5cnf-100var-1000cl.2	FAIL	901.01
s510_d13_s	FAIL	901.01
s510_d49_u	FAIL	901.01
s510_d12_s	FAIL	901.01
s641_d10_u	FAIL	901.01
s641_d3_s	FAIL	901.01
s641_d5_s	FAIL	901.01
s713_d10_u	FAIL	901.01
s820_d5_s	FAIL	901.01
s820_d12_u	FAIL	901.01
2qbf-5cnf-150var-1800cl.2	FAIL	901.01
cnt16re	FAIL	901.01
k_grz_n-9	FAIL	901.01
k_grz_n-3	FAIL	901.01
k_grz_n-18	FAIL	901.01
k_dum_p-17	FAIL	901.01
k_dum_p-15	FAIL	901.01
k_dum_p-6	FAIL	901.01
s641_d11_u	FAIL	901.01
k_dum_n-6	FAIL	901.01
3qbf-5cnf-150var-1800cl.2	FAIL	901.01
k_grz_n-17	FAIL	901.01
3qbf-5cnf-100var-1800cl.1	FAIL	901.01
2qbf-5cnf-150var-2100cl.1	FAIL	901.01
2qbf-5cnf-150var-2400cl.2	FAIL	901.01
k_lin_p-18	FAIL	901.01
k_lin_n-6	FAIL	901.01
2qbf-5cnf-50var-200cl.2	FAIL	901.01
2qbf-5cnf-50var-300cl.1	FAIL	901.01
k_lin_n-3	FAIL	901.01
3qbf-5cnf-100var-1000cl.2	FAIL	901.01
3qbf-5cnf-100var-1400cl.2	FAIL	901.01
3qbf-5cnf-150var-2100cl.1	FAIL	901.01
cnt09re	FAIL	901.01
robots_1_5_2_61.6	FAIL	901.01
robots_1_5_2_3.5	FAIL	901.01
k_t4p_p-15	FAIL	901.01
k_t4p_p-1	FAIL	901.01
k_t4p_p-10	FAIL	901.01
k_t4p_p-18	FAIL	901.01
k_t4p_n-14	FAIL	901.01
k_t4p_n-19	FAIL	901.01
k_t4p_n-5	FAIL	901.01
robots_1_5_2_72.7	FAIL	901.01
robots_1_5_3_15.6	FAIL	901.01
cnt06	FAIL	901.01
robots_1_5_5_4.9	FAIL	901.01
robots_1_5_5_59.5	FAIL	901.01
robots_1_5_5_75.3	FAIL	901.01
robots_1_5_4_34.8	FAIL	901.01
robots_1_5_3_27.9	FAIL	901.01
robots_1_5_3_84.7	FAIL	901.01
robots_1_5_3_18.7	FAIL	901.01
robots_1_5_3_16.7	FAIL	901.01
k_poly_p-17	FAIL	901.01
k_poly_p-14	FAIL	901.01
k_ph_n-6	FAIL	901.01
k_path_p-17	FAIL	901.01
k_path_p-14	FAIL	901.01
s3330_d12_u	FAIL	901.01
s3330_d3_s	FAIL	901.01
s386_d5_s	FAIL	901.01
s386_d10_u	FAIL	901.01
s499_d7_s	FAIL	901.01
s499_d14_s	FAIL	901.01
k_ph_n-7	FAIL	901.01
k_ph_p-17	FAIL	901.01
k_poly_n-15	FAIL	901.01
k_poly_n-7	FAIL	901.01
k_poly_n-18	FAIL	901.01
s1196_d5_u	FAIL	901.01
s1196_d6_u	FAIL	901.01
s1269_d6_s	FAIL	901.01
s1269_d3_s	FAIL	901.01
s298_d21_u	FAIL	901.01
k_ph_p-15	FAIL	901.01
s499_d19_s	FAIL	901.01
4qbf-5cnf-150var-2400cl.1	FAIL	901.01
4qbf-5cnf-50var-500cl.1	FAIL	901.01
k_branch_p-5	FAIL	901.01
4qbf-5cnf-100var-1800cl.2	FAIL	901.01
4qbf-5cnf-50var-700cl.1	FAIL	901.01
4qbf-5cnf-50var-700cl.2	FAIL	901.01
4qbf-5cnf-50var-800cl.1	FAIL	901.01
4qbf-5cnf-100var-1400cl.2	FAIL	901.01
4qbf-5cnf-100var-1200cl.2	FAIL	901.01
term1.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
4qbf-5cnf-100var-1000cl.2	FAIL	901.01
4qbf-5cnf-50var-900cl.2	FAIL	901.01
5qbf-5cnf-100var-1200cl.1	FAIL	901.01
3qbf-5cnf-50var-700cl.1	FAIL	901.01
5qbf-5cnf-100var-1400cl.2	FAIL	901.01
k_d4_n-6	FAIL	901.01
4qbf-5cnf-50var-400cl.1	FAIL	901.01
toilet_a_10_01.15	FAIL	901.01
4qbf-5cnf-150var-900cl.1	FAIL	901.01
4qbf-5cnf-150var-2700cl.1	FAIL	901.01
k_branch_p-13	FAIL	901.01
4qbf-5cnf-150var-900cl.2	FAIL	901.01
4qbf-5cnf-150var-2100cl.1	FAIL	901.01
k_branch_n-15	FAIL	901.01
k_branch_n-14	FAIL	901.01
4qbf-5cnf-150var-1800cl.2	FAIL	901.01
k_branch_n-9	FAIL	901.01
4qbf-5cnf-150var-1500cl.1	FAIL	901.01
4qbf-5cnf-150var-1500cl.2	FAIL	901.01
4qbf-5cnf-150var-1200cl.1	FAIL	901.01
4qbf-5cnf-50var-300cl.1	FAIL	901.01
4qbf-5cnf-150var-1200cl.2	FAIL	901.01
4qbf-5cnf-100var-800cl.2	FAIL	901.01
4qbf-5cnf-100var-800cl.1	FAIL	901.01
5qbf-5cnf-100var-1400cl.1	FAIL	901.01
3qbf-5cnf-50var-500cl.1	FAIL	901.01
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	901.01
3qbf-5cnf-50var-900cl.1	FAIL	901.01
4qbf-5cnf-150var-1800cl.1	FAIL	901.01
k_d4_p-13	FAIL	901.01
C432.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
s641_d7_u	FAIL	901.01
term1.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
3qbf-5cnf-150var-2400cl.1	FAIL	901.01
3qbf-5cnf-150var-2700cl.2	FAIL	901.01
k_d4_p-14	FAIL	901.01
k_d4_p-3	FAIL	901.01
4qbf-5cnf-150var-2100cl.2	FAIL	901.01
k_dum_n-18	FAIL	901.01
s1269_d2_s	FAIL	901.01
k_d4_p-17	FAIL	901.01
5qbf-5cnf-100var-1800cl.2	FAIL	901.01
k_d4_n-9	FAIL	901.01
3qbf-5cnf-50var-400cl.1	FAIL	901.01
k_d4_n-14	FAIL	901.01
4qbf-5cnf-50var-900cl.1	FAIL	901.01
adder-4-unsat	FAIL	901.01
3qbf-5cnf-150var-2400cl.2	FAIL	901.01
cnt09e	FAIL	901.02
s3330_d4_s	FAIL	901.02
MB5qbf-5cnf-50var-700cl.1	FAIL	901.02
s3330_d6_s	FAIL	901.02
s641_d2_s	FAIL	901.02
s298_d14_s	FAIL	901.02
s713_d3_s	FAIL	901.02
szymanski-18-s	FAIL	901.02
s298_d10_s	FAIL	901.02
k_branch_p-14	FAIL	901.02
k_ph_p-7	FAIL	901.02
k_dum_p-20	FAIL	901.02
szymanski-10-s	FAIL	901.02
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	901.02
s3330_d2_s	FAIL	901.02
MB5qbf-5cnf-100var-1400cl.2	FAIL	901.02
s1269_d9_s	FAIL	901.02
lognBWLARGEA1	FAIL	901.02
MB5qbf-5cnf-150var-2100cl.1	FAIL	901.02
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	901.02
k_t4p_n-15	FAIL	901.02
robots_1_5_3_80.4	FAIL	901.02
s820_d11_u	FAIL	901.02
BLOCKS3ii.4.3	FAIL	901.02
5qbf-5cnf-150var-2700cl.2	FAIL	901.02
k_poly_p-11	FAIL	901.02
4qbf-5cnf-50var-600cl.1	FAIL	901.02
4qbf-5cnf-50var-500cl.2	FAIL	901.02
robots_1_5_4_87.8	FAIL	901.02
adder-8-unsat	FAIL	901.02
s1196_d4_u	FAIL	901.02
robots_1_5_4_85.5	FAIL	901.02
MB5qbf-5cnf-100var-1800cl.2	FAIL	901.02
MB5qbf-5cnf-100var-1600cl.2	FAIL	901.02
5qbf-5cnf-100var-1600cl.1	FAIL	901.02
k_d4_n-15	FAIL	901.02
3qbf-5cnf-100var-1600cl.2	FAIL	901.02
k_dum_n-5	FAIL	901.02
3qbf-5cnf-50var-800cl.2	FAIL	901.02
test3_quant_squaring4	FAIL	901.02
C432.blif_0.10_0.20_0_0_out_exact	FAIL	901.02
s3330_d8_s	FAIL	901.02
s3330_d10_u	FAIL	901.02
BLOCKS3i.4.4	FAIL	901.02
4qbf-5cnf-100var-1600cl.1	FAIL	901.02
k_path_p-11	FAIL	901.02
k_branch_n-20	FAIL	901.02
2qbf-5cnf-100var-1200cl.1	FAIL	901.02
k_ph_p-20	FAIL	901.02
MB3qbf-5cnf-150var-900cl.1	FAIL	901.02
k_lin_p-5	FAIL	901.02
3qbf-5cnf-100var-1200cl.2	FAIL	901.02
k_d4_p-6	FAIL	901.02
MB3qbf-5cnf-150var-1800cl.2	FAIL	901.02
k_grz_p-3	FAIL	901.02
MB3qbf-5cnf-100var-1000cl.2	FAIL	901.02
k_grz_p-9	FAIL	901.02
MB3qbf-5cnf-150var-2400cl.2	FAIL	901.02
MB3qbf-5cnf-100var-800cl.1	FAIL	901.02
2qbf-5cnf-50var-400cl.1	FAIL	901.02
k_grz_n-16	FAIL	901.02
k_grz_n-12	FAIL	901.02
4qbf-5cnf-100var-1800cl.1	FAIL	901.02
MB4qbf-5cnf-100var-1200cl.1	FAIL	901.02
k_branch_p-15	FAIL	901.02
MB4qbf-5cnf-150var-2100cl.1	FAIL	901.02
MB4qbf-5cnf-150var-2400cl.2	FAIL	901.02
k_grz_n-13	FAIL	901.02
Adder2-12-s	FAIL	901.02
szymanski-12-s	FAIL	901.02
s386_d12_u	FAIL	901.02
s1269_d10_s	FAIL	901.02
s386_d9_u	FAIL	901.02
4qbf-5cnf-150var-2400cl.2	FAIL	901.02
s713_d4_s	FAIL	901.02
k_dum_p-16	FAIL	901.02
test2_quant_squaring3	FAIL	901.02
C499.blif_0.10_1.00_0_1_inp_exact	FAIL	901.02
MB4qbf-5cnf-150var-1800cl.1	FAIL	901.02
s820_d9_s	FAIL	901.02
4qbf-5cnf-100var-600cl.1	FAIL	901.02
s713_d9_u	FAIL	901.02
uclid-pipe3a	FAIL	901.02
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	901.02
k_dum_p-11	FAIL	901.02
MB4qbf-5cnf-100var-800cl.1	FAIL	901.02
s510_d51_u	FAIL	901.02
s510_d48_u	FAIL	901.02
s298_d5_s	FAIL	901.02
3qbf-5cnf-150var-2100cl.2	FAIL	901.02
MB5qbf-5cnf-50var-700cl.2	FAIL	901.03
BLOCKS3iii.5	FAIL	901.03
k_d4_p-7	FAIL	901.03
s510_d42_s	FAIL	901.03
szymanski-14-s	FAIL	901.03
2qbf-5cnf-150var-1500cl.1	FAIL	901.03
lognBWLARGEB1	FAIL	901.03
szymanski-22-s	FAIL	901.03
robots_1_5_3_17.2	FAIL	901.03
MB5qbf-5cnf-150var-900cl.1	FAIL	901.03
s3330_d13_u	FAIL	901.03
s1269_d15_u	FAIL	901.04
k_ph_p-19	FAIL	901.06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QBFL-BS
QBFEVAL'04

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QBFL-BS QBFEVAL'04

Instances solved by QBFL-BS
QBFEVAL'04