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

Instances solved by QBFL-JW
QBFEVAL'04

Instance	Result	Time
5qbf-5cnf-150var-600cl.1	SAT	0
impl18	SAT	0
5qbf-5cnf-100var-200cl.1	SAT	0
5qbf-5cnf-50var-500cl.2	SAT	0
MB2qbf-5cnf-100var-1000cl.2	UNSAT	0
k_lin_n-1	SAT	0
4qbf-5cnf-50var-300cl.2	SAT	0
3qbf-5cnf-50var-300cl.2	SAT	0
MB4qbf-5cnf-150var-600cl.1	UNSAT	0
MB5qbf-5cnf-100var-400cl.1	UNSAT	0
MB4qbf-5cnf-150var-300cl.2	SAT	0
MB2qbf-5cnf-50var-800cl.2	UNSAT	0
MB4qbf-5cnf-150var-300cl.1	SAT	0
5qbf-5cnf-100var-200cl.2	SAT	0
5qbf-5cnf-100var-400cl.1	SAT	0
impl08	SAT	0
5qbf-5cnf-150var-1200cl.1	SAT	0
3qbf-5cnf-150var-300cl.2	SAT	0
3qbf-5cnf-100var-800cl.1	SAT	0
5qbf-5cnf-150var-1200cl.2	SAT	0
mutex-4-s	SAT	0
3qbf-5cnf-100var-600cl.1	SAT	0
3qbf-5cnf-100var-400cl.2	SAT	0
5qbf-5cnf-100var-400cl.2	SAT	0
5qbf-5cnf-50var-100cl.2	SAT	0
5qbf-5cnf-50var-200cl.1	SAT	0
5qbf-5cnf-50var-200cl.2	SAT	0
MB2qbf-5cnf-100var-800cl.1	UNSAT	0
2qbf-5cnf-100var-200cl.1	SAT	0
3qbf-5cnf-100var-400cl.1	SAT	0
4qbf-5cnf-100var-200cl.2	SAT	0
3qbf-5cnf-50var-100cl.1	SAT	0
toilet_g_10_01.2	SAT	0
MB4qbf-5cnf-100var-200cl.1	SAT	0
MB5qbf-5cnf-50var-100cl.2	SAT	0
cf_3_8x9_d_	FAIL	0
toilet_g_08_01.2	SAT	0
4qbf-5cnf-100var-200cl.1	SAT	0
4qbf-5cnf-150var-600cl.1	SAT	0
comp.blif_0.10_1.00_0_1_out_exact	SAT	0
4qbf-5cnf-50var-100cl.2	SAT	0
MB2qbf-5cnf-100var-1200cl.2	UNSAT	0
MB2qbf-5cnf-50var-500cl.1	UNSAT	0
impl06	SAT	0
4qbf-5cnf-100var-400cl.2	SAT	0
4qbf-5cnf-100var-400cl.1	SAT	0.01
5qbf-5cnf-100var-800cl.2	SAT	0.01
mutex-2-s	SAT	0.01
5qbf-5cnf-100var-600cl.1	SAT	0.01
4qbf-5cnf-150var-300cl.2	SAT	0.01
4qbf-5cnf-50var-200cl.1	SAT	0.01
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.01
4qbf-5cnf-50var-100cl.1	SAT	0.01
MB3qbf-5cnf-150var-300cl.1	SAT	0.01
MB3qbf-5cnf-150var-300cl.2	SAT	0.01
TOILET6.1.iv.12	SAT	0.01
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.01
4qbf-5cnf-50var-200cl.2	SAT	0.01
s27_d2_s	SAT	0.01
MB3qbf-5cnf-50var-100cl.1	SAT	0.01
MB3qbf-5cnf-50var-100cl.2	SAT	0.01
5qbf-5cnf-150var-1500cl.2	SAT	0.01
5qbf-5cnf-150var-1500cl.1	SAT	0.01
MB2qbf-5cnf-150var-600cl.2	UNSAT	0.01
MB2qbf-5cnf-150var-900cl.1	UNSAT	0.01
MB2qbf-5cnf-100var-600cl.2	UNSAT	0.01
MB2qbf-5cnf-100var-1600cl.1	UNSAT	0.01
MB2qbf-5cnf-50var-400cl.1	UNSAT	0.01
MB2qbf-5cnf-50var-400cl.2	UNSAT	0.01
MB2qbf-5cnf-50var-500cl.2	UNSAT	0.01
MB2qbf-5cnf-50var-600cl.1	UNSAT	0.01
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.01
MB2qbf-5cnf-150var-600cl.1	UNSAT	0.01
toilet_c_10_05.10	SAT	0.01
toilet_g_20_01.2	SAT	0.01
toilet_g_04_01.2	SAT	0.01
TOILET2.1.iv.3	UNSAT	0.01
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.01
toilet_g_02_01.2	SAT	0.01
toilet_g_06_01.2	SAT	0.01
MB2qbf-5cnf-150var-300cl.1	UNSAT	0.01
MB2qbf-5cnf-50var-600cl.2	UNSAT	0.01
MB2qbf-5cnf-50var-700cl.2	UNSAT	0.01
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
MB3qbf-5cnf-100var-200cl.1	SAT	0.01
toilet_c_10_05.4	SAT	0.01
MB2qbf-5cnf-150var-300cl.2	UNSAT	0.01
MB3qbf-5cnf-100var-200cl.2	SAT	0.01
5qbf-5cnf-50var-100cl.1	SAT	0.01
5qbf-5cnf-150var-900cl.2	SAT	0.01
5qbf-5cnf-150var-900cl.1	SAT	0.01
5qbf-5cnf-50var-400cl.1	SAT	0.01
5qbf-5cnf-50var-400cl.2	SAT	0.01
MB2qbf-5cnf-50var-800cl.1	UNSAT	0.01
MB2qbf-5cnf-50var-900cl.2	UNSAT	0.01
MB2qbf-5cnf-100var-1400cl.2	UNSAT	0.01
impl02	SAT	0.01
TOILET2.1.iv.4	SAT	0.01
5qbf-5cnf-150var-300cl.2	SAT	0.01
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.01
5qbf-5cnf-50var-500cl.1	SAT	0.01
toilet_c_10_01.3	UNSAT	0.01
MB5qbf-5cnf-100var-200cl.1	SAT	0.01
MB5qbf-5cnf-150var-300cl.2	SAT	0.01
MB5qbf-5cnf-150var-600cl.1	UNSAT	0.01
3qbf-5cnf-150var-1200cl.2	SAT	0.01
3qbf-5cnf-150var-300cl.1	SAT	0.01
MB4qbf-5cnf-50var-400cl.1	UNSAT	0.01
MB4qbf-5cnf-50var-300cl.1	UNSAT	0.01
3qbf-5cnf-150var-1200cl.1	SAT	0.01
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.01
MB4qbf-5cnf-50var-100cl.2	SAT	0.01
MB4qbf-5cnf-50var-100cl.1	SAT	0.01
MB5qbf-5cnf-50var-200cl.2	SAT	0.01
3qbf-5cnf-150var-600cl.1	SAT	0.01
3qbf-5cnf-100var-800cl.2	SAT	0.01
MB5qbf-5cnf-150var-300cl.1	SAT	0.01
impl12	SAT	0.01
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.01
MB5qbf-5cnf-100var-200cl.2	SAT	0.01
2qbf-5cnf-50var-100cl.1	SAT	0.01
2qbf-5cnf-50var-100cl.2	SAT	0.01
impl16	SAT	0.01
2qbf-5cnf-100var-200cl.2	SAT	0.01
2qbf-5cnf-50var-800cl.1	UNSAT	0.01
2qbf-5cnf-50var-800cl.2	UNSAT	0.01
2qbf-5cnf-50var-900cl.1	UNSAT	0.01
3qbf-5cnf-100var-200cl.1	SAT	0.01
3qbf-5cnf-100var-200cl.2	SAT	0.01
3qbf-5cnf-100var-600cl.2	SAT	0.01
MB4qbf-5cnf-150var-600cl.2	UNSAT	0.01
3qbf-5cnf-150var-600cl.2	SAT	0.01
s499_d14_s	FAIL	0.01
3qbf-5cnf-50var-200cl.1	SAT	0.01
3qbf-5cnf-50var-100cl.2	SAT	0.01
5qbf-5cnf-150var-600cl.2	SAT	0.01
3qbf-5cnf-150var-900cl.2	SAT	0.01
impl20	SAT	0.01
tree-exa2-15	UNSAT	0.01
MB4qbf-5cnf-100var-200cl.2	SAT	0.01
MB4qbf-5cnf-100var-400cl.1	UNSAT	0.01
2qbf-5cnf-50var-600cl.2	UNSAT	0.01
lognBWLARGEB0	UNSAT	0.01
s3271_d15_s	FAIL	0.01
cf_3_9x5_d_	FAIL	0.01
lognBWLARGEA0	UNSAT	0.01
toilet_a_08_01.3	UNSAT	0.02
flipflop-3-c	UNSAT	0.02
MB2qbf-5cnf-150var-1200cl.1	UNSAT	0.02
MB2qbf-5cnf-50var-700cl.1	UNSAT	0.02
MB2qbf-5cnf-150var-1200cl.2	UNSAT	0.02
toilet_g_15_01.2	SAT	0.02
2qbf-5cnf-150var-300cl.1	SAT	0.02
MB2qbf-5cnf-50var-900cl.1	UNSAT	0.02
2qbf-5cnf-150var-300cl.2	SAT	0.02
toilet_c_06_05.4	SAT	0.02
toilet_c_04_01.6	UNSAT	0.02
2qbf-5cnf-150var-2700cl.2	UNSAT	0.02
robots_1_5_4_78.1	SAT	0.02
MB2qbf-5cnf-150var-2700cl.2	UNSAT	0.02
cf_3_7x9_w_	FAIL	0.02
2qbf-5cnf-100var-1400cl.1	UNSAT	0.02
k_ph_n-3	SAT	0.02
MB5qbf-5cnf-50var-100cl.1	SAT	0.02
MB2qbf-5cnf-50var-100cl.2	UNSAT	0.02
MB2qbf-5cnf-50var-200cl.2	UNSAT	0.02
mutex-8-s	SAT	0.02
MB2qbf-5cnf-50var-300cl.1	UNSAT	0.02
MB5qbf-5cnf-50var-200cl.1	SAT	0.02
MB2qbf-5cnf-100var-1600cl.2	UNSAT	0.02
TOILET7.1.iv.14	SAT	0.02
MB2qbf-5cnf-150var-2400cl.1	UNSAT	0.02
MB2qbf-5cnf-150var-2400cl.2	UNSAT	0.02
impl14	SAT	0.02
MB2qbf-5cnf-150var-2100cl.2	UNSAT	0.02
MB2qbf-5cnf-150var-1800cl.1	UNSAT	0.02
s3271_d2_s	UNSAT	0.02
MB3qbf-5cnf-50var-700cl.1	UNSAT	0.02
MB3qbf-5cnf-50var-700cl.2	UNSAT	0.02
MB4qbf-5cnf-100var-400cl.2	UNSAT	0.02
3qbf-5cnf-150var-900cl.1	SAT	0.02
MB4qbf-5cnf-100var-600cl.2	UNSAT	0.02
mutex-16-s	SAT	0.02
k_ph_p-3	UNSAT	0.02
5qbf-5cnf-100var-1000cl.1	SAT	0.02
flipflop-4-c	UNSAT	0.02
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.02
MB5qbf-5cnf-50var-900cl.2	UNSAT	0.02
3qbf-5cnf-50var-200cl.2	SAT	0.02
4qbf-5cnf-150var-300cl.1	SAT	0.02
MB3qbf-5cnf-50var-800cl.1	UNSAT	0.02
MB3qbf-5cnf-50var-600cl.1	UNSAT	0.02
MB3qbf-5cnf-50var-500cl.2	UNSAT	0.02
3qbf-5cnf-50var-500cl.2	SAT	0.02
MB3qbf-5cnf-50var-900cl.1	UNSAT	0.02
MB3qbf-5cnf-50var-500cl.1	UNSAT	0.02
k_ph_n-1	SAT	0.02
MB3qbf-5cnf-50var-900cl.2	UNSAT	0.02
3qbf-5cnf-50var-300cl.1	SAT	0.02
5qbf-5cnf-100var-600cl.2	SAT	0.02
5qbf-5cnf-100var-800cl.1	SAT	0.02
MB4qbf-5cnf-50var-300cl.2	UNSAT	0.02
k_ph_n-4	SAT	0.02
MB2qbf-5cnf-150var-1500cl.2	UNSAT	0.02
mutex-32-s	SAT	0.02
2qbf-5cnf-50var-900cl.2	UNSAT	0.02
5qbf-5cnf-50var-300cl.1	SAT	0.02
5qbf-5cnf-150var-300cl.1	SAT	0.02
MB2qbf-5cnf-100var-1000cl.1	UNSAT	0.02
MB3qbf-5cnf-100var-1200cl.2	UNSAT	0.02
5qbf-5cnf-50var-300cl.2	SAT	0.02
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
MB2qbf-5cnf-100var-1200cl.1	UNSAT	0.02
2qbf-5cnf-50var-700cl.2	UNSAT	0.03
szymanski-4-s	UNSAT	0.03
flipflop-5-c	UNSAT	0.03
MB2qbf-5cnf-150var-1800cl.2	UNSAT	0.03
MB2qbf-5cnf-150var-1500cl.1	UNSAT	0.03
MB3qbf-5cnf-50var-300cl.1	UNSAT	0.03
MB3qbf-5cnf-50var-800cl.2	UNSAT	0.03
3qbf-5cnf-50var-400cl.2	SAT	0.03
cf_3_5x4_r_	UNSAT	0.03
MB2qbf-5cnf-100var-800cl.2	UNSAT	0.03
toilet_a_06_01.5	UNSAT	0.03
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.03
cf_2_2x3_w_	UNSAT	0.03
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.03
MB2qbf-5cnf-50var-200cl.1	UNSAT	0.03
TOILET10.1.iv.20	SAT	0.03
MB4qbf-5cnf-50var-200cl.2	UNSAT	0.03
MB2qbf-5cnf-150var-900cl.2	UNSAT	0.03
MB2qbf-5cnf-100var-1800cl.1	UNSAT	0.03
MB4qbf-5cnf-50var-200cl.1	UNSAT	0.03
MB4qbf-5cnf-150var-900cl.2	UNSAT	0.03
MB2qbf-5cnf-100var-1800cl.2	UNSAT	0.03
4qbf-5cnf-150var-600cl.2	SAT	0.03
MB2qbf-5cnf-100var-1400cl.1	UNSAT	0.03
Adder2-2-c	UNSAT	0.03
2qbf-5cnf-100var-1600cl.2	UNSAT	0.03
MB2qbf-5cnf-150var-2700cl.1	UNSAT	0.03
MB2qbf-5cnf-150var-2100cl.1	UNSAT	0.03
cf_4_5x4_d_	UNSAT	0.04
robots_1_5_2_64.1	SAT	0.04
2qbf-5cnf-100var-1800cl.1	UNSAT	0.04
robots_1_5_5_29.1	SAT	0.04
cf_2_5x4_r_	UNSAT	0.04
MB3qbf-5cnf-150var-2100cl.2	UNSAT	0.04
vonNeumann-ripple-carry-5-c	UNSAT	0.04
MB4qbf-5cnf-50var-800cl.1	UNSAT	0.04
MB4qbf-5cnf-50var-400cl.2	UNSAT	0.04
cf_2_3x2_r_	UNSAT	0.04
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.04
MB4qbf-5cnf-150var-900cl.1	UNSAT	0.04
toilet_a_06_05.2	UNSAT	0.04
MB3qbf-5cnf-50var-600cl.2	UNSAT	0.04
k_path_n-1	SAT	0.05
k_lin_p-1	UNSAT	0.05
robots_1_5_2_38.1	SAT	0.05
robots_1_5_2_93.1	SAT	0.05
MB2qbf-5cnf-50var-100cl.1	SAT	0.05
s3271_d5_s	UNSAT	0.05
cf_2_8x3_r_	UNSAT	0.05
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.05
cf_5_5x5_r_	UNSAT	0.05
cf_5_5x6_w_	UNSAT	0.05
cf_5_6x5_w_	UNSAT	0.05
cf_4_5x5_d_	UNSAT	0.05
cf_5_7x5_d_	UNSAT	0.05
k_path_p-2	UNSAT	0.06
MB3qbf-5cnf-100var-1800cl.2	UNSAT	0.06
k_poly_n-1	SAT	0.06
TOILET16.1.iv.32	SAT	0.06
cf_2_4x8_r_	UNSAT	0.06
cf_4_5x6_w_	UNSAT	0.06
MB3qbf-5cnf-100var-1000cl.2	UNSAT	0.06
cf_4_6x5_d_	UNSAT	0.06
cf_2_4x8_d_	UNSAT	0.06
cf_3_6x4_w_	UNSAT	0.06
mutex-64-s	SAT	0.06
cf_6_6x6_r_	UNSAT	0.07
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.07
MB4qbf-5cnf-50var-600cl.1	UNSAT	0.07
MB4qbf-5cnf-100var-600cl.1	UNSAT	0.07
cf_5_5x7_d_	UNSAT	0.07
cf_6_6x6_d_	UNSAT	0.07
cf_7_7x7_d_	UNSAT	0.07
MB3qbf-5cnf-100var-1800cl.1	UNSAT	0.07
cf_6_6x8_w_	UNSAT	0.08
cf_6_8x6_r_	UNSAT	0.08
MB3qbf-5cnf-100var-1200cl.1	UNSAT	0.08
MB4qbf-5cnf-50var-800cl.2	UNSAT	0.08
MB3qbf-5cnf-100var-1000cl.1	UNSAT	0.08
vonNeumann-ripple-carry-7-c	UNSAT	0.08
2qbf-5cnf-100var-1800cl.2	UNSAT	0.08
MB4qbf-5cnf-50var-900cl.2	UNSAT	0.09
cf_7_8x7_d_	UNSAT	0.09
toilet_a_08_01.16	SAT	0.09
szymanski-6-s	UNSAT	0.09
cf_4_6x7_d_	UNSAT	0.09
cf_5_7x6_d_	UNSAT	0.09
MB3qbf-5cnf-100var-1400cl.1	UNSAT	0.1
k_branch_n-1	SAT	0.1
MB3qbf-5cnf-50var-400cl.1	UNSAT	0.1
cf_8_8x8_r_	UNSAT	0.11
cf_6_8x8_r_	UNSAT	0.11
MB4qbf-5cnf-50var-500cl.1	UNSAT	0.11
cf_8_8x8_w_	UNSAT	0.11
MB3qbf-5cnf-100var-1600cl.1	UNSAT	0.12
mutex-128-s	SAT	0.12
MB3qbf-5cnf-50var-400cl.2	UNSAT	0.12
cf_6_8x7_d_	UNSAT	0.12
cf_7_9x7_r_	UNSAT	0.12
cf_7_9x7_w_	UNSAT	0.12
cf_7_8x8_w_	UNSAT	0.13
MB4qbf-5cnf-50var-900cl.1	UNSAT	0.13
MB4qbf-5cnf-100var-800cl.2	UNSAT	0.14
MB2qbf-5cnf-100var-600cl.1	UNSAT	0.14
cf_7_9x8_w_	UNSAT	0.15
flipflop-7-c	UNSAT	0.15
MB4qbf-5cnf-50var-700cl.2	UNSAT	0.15
MB3qbf-5cnf-150var-2400cl.1	UNSAT	0.16
s3271_d12_s	UNSAT	0.16
robots_1_5_4_73.2	SAT	0.17
MB3qbf-5cnf-50var-200cl.2	UNSAT	0.17
robots_1_5_5_5.2	SAT	0.18
MB3qbf-5cnf-150var-2700cl.1	UNSAT	0.2
vonNeumann-ripple-carry-9-c	UNSAT	0.23
robots_1_5_4_21.2	SAT	0.24
toilet_a_10_01.4	UNSAT	0.27
toilet_c_06_01.9	UNSAT	0.28
MB5qbf-5cnf-50var-900cl.1	UNSAT	0.28
cf_2_8x5_r_	UNSAT	0.29
tree-exa2-25	UNSAT	0.29
MB2qbf-5cnf-50var-300cl.2	UNSAT	0.3
robots_1_5_3_17.2	SAT	0.3
cf_2_9x5_w_	UNSAT	0.31
cf_3_9x5_r_	UNSAT	0.31
s3271_d18_u	UNSAT	0.32
2qbf-5cnf-150var-2400cl.1	UNSAT	0.32
s3271_d20_u	UNSAT	0.35
cf_4_5x9_d_	UNSAT	0.35
s3271_d19_u	UNSAT	0.35
cf_6_6x9_r_	UNSAT	0.36
vonNeumann-ripple-carry-10-c	UNSAT	0.37
MB3qbf-5cnf-100var-800cl.2	UNSAT	0.37
MB5qbf-5cnf-50var-800cl.1	UNSAT	0.38
cf_5_6x9_r_	UNSAT	0.38
cf_4_5x9_r_	UNSAT	0.38
MB5qbf-5cnf-100var-400cl.2	UNSAT	0.39
cf_3_8x8_w_	UNSAT	0.39
s3271_d22_u	UNSAT	0.4
cf_4_8x8_w_	UNSAT	0.4
cf_7_7x9_d_	UNSAT	0.41
MB3qbf-5cnf-150var-1800cl.1	UNSAT	0.42
cf_8_8x9_w_	UNSAT	0.45
cf_8_8x9_r_	UNSAT	0.46
cf_9_9x9_r_	UNSAT	0.47
cf_8_8x9_d_	UNSAT	0.47
vonNeumann-ripple-carry-11-c	UNSAT	0.48
MB3qbf-5cnf-100var-1400cl.2	UNSAT	0.48
cf_9_9x9_w_	UNSAT	0.49
cf_5_8x9_w_	UNSAT	0.5
cf_8_9x9_d_	UNSAT	0.5
flipflop-8-c	UNSAT	0.5
cf_6_8x9_d_	UNSAT	0.5
cf_9_9x9_d_	UNSAT	0.51
cf_8_9x9_w_	UNSAT	0.51
cf_7_9x9_d_	UNSAT	0.52
cf_8_9x9_r_	UNSAT	0.52
MB5qbf-5cnf-50var-800cl.2	UNSAT	0.53
MB4qbf-5cnf-50var-500cl.2	UNSAT	0.57
cf_3_9x9_w_	UNSAT	0.57
MB3qbf-5cnf-50var-200cl.1	UNSAT	0.59
vonNeumann-ripple-carry-12-c	UNSAT	0.69
CHAIN12v.13	SAT	0.72
MB3qbf-5cnf-100var-1600cl.2	UNSAT	0.75
MB5qbf-5cnf-50var-300cl.1	UNSAT	0.84
MB4qbf-5cnf-50var-600cl.2	UNSAT	0.87
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.9
vonNeumann-ripple-carry-13-c	UNSAT	0.92
2qbf-5cnf-100var-1400cl.2	UNSAT	0.93
MB3qbf-5cnf-150var-1800cl.2	UNSAT	0.93
cnt02	SAT	1.07
2qbf-5cnf-150var-2700cl.1	UNSAT	1.17
vonNeumann-ripple-carry-14-c	UNSAT	1.18
MB5qbf-5cnf-100var-1600cl.2	UNSAT	1.28
flipflop-9-c	UNSAT	1.35
MB3qbf-5cnf-100var-600cl.2	UNSAT	1.35
MB3qbf-5cnf-150var-1500cl.1	UNSAT	1.52
MB3qbf-5cnf-150var-2400cl.2	UNSAT	1.58
MB3qbf-5cnf-150var-2700cl.2	UNSAT	1.65
MB3qbf-5cnf-50var-300cl.2	UNSAT	1.65
k_ph_p-4	UNSAT	1.66
CHAIN13v.14	SAT	1.73
2qbf-5cnf-50var-700cl.1	UNSAT	2.05
szymanski-10-s	UNSAT	2.32
flipflop-10-c	UNSAT	2.72
comp.blif_0.10_1.00_0_1_inp_exact	SAT	3
robots_1_5_5_75.3	SAT	3.29
tree-exa2-30	UNSAT	3.32
MB4qbf-5cnf-50var-700cl.1	UNSAT	3.33
MB3qbf-5cnf-150var-2100cl.1	UNSAT	3.34
MB2qbf-5cnf-100var-200cl.2	UNSAT	3.36
MB5qbf-5cnf-100var-1600cl.1	UNSAT	3.68
MB5qbf-5cnf-50var-500cl.1	UNSAT	4
CHAIN14v.15	SAT	4.11
toilet_c_10_01.9	UNSAT	5.95
flipflop-11-c	UNSAT	6.86
k_path_p-3	UNSAT	7.14
comp.blif_0.10_0.20_0_1_inp_exact	SAT	7.69
szymanski-12-s	UNSAT	7.73
2qbf-5cnf-50var-500cl.1	UNSAT	8.02
2qbf-5cnf-100var-1600cl.1	UNSAT	8.5
MB4qbf-5cnf-100var-1800cl.2	UNSAT	9.33
cnt02e	SAT	9.58
MB4qbf-5cnf-100var-1600cl.1	UNSAT	9.67
MB4qbf-5cnf-100var-1600cl.2	UNSAT	11.33
MB3qbf-5cnf-100var-600cl.1	UNSAT	12.52
MB5qbf-5cnf-100var-1800cl.1	UNSAT	17.34
szymanski-14-s	UNSAT	18.37
k_dum_p-1	UNSAT	18.89
TOILET6.1.iv.11	UNSAT	20.93
toilet_a_10_01.7	UNSAT	21.05
k_ph_n-6	SAT	21.62
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	21.78
CHAIN16v.17	SAT	23.84
k_dum_n-1	SAT	23.99
MB2qbf-5cnf-100var-400cl.1	UNSAT	26.23
MB5qbf-5cnf-50var-300cl.2	UNSAT	26.27
MB3qbf-5cnf-150var-1500cl.2	UNSAT	30.77
tree-exa10-25	SAT	31.77
tree-exa2-35	UNSAT	39.01
szymanski-16-s	UNSAT	39.28
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	39.34
MB3qbf-5cnf-150var-1200cl.1	UNSAT	50.4
MB4qbf-5cnf-100var-800cl.1	UNSAT	53.83
CHAIN17v.18	SAT	55.81
k_lin_n-2	SAT	56.24
MB2qbf-5cnf-100var-200cl.1	SAT	57.48
MB3qbf-5cnf-100var-800cl.1	UNSAT	72.99
szymanski-18-s	UNSAT	77.74
MB2qbf-5cnf-100var-400cl.2	UNSAT	89.33
MB5qbf-5cnf-100var-1800cl.2	UNSAT	90.18
robots_1_5_4_91.4	SAT	114.87
MB5qbf-5cnf-50var-600cl.2	UNSAT	127.22
robots_1_5_3_62.4	SAT	152.08
4qbf-5cnf-50var-600cl.1	UNSAT	157.09
robots_1_5_3_80.4	SAT	161.63
MB4qbf-5cnf-100var-1800cl.1	UNSAT	175.1
MB3qbf-5cnf-150var-900cl.2	UNSAT	184.66
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	190.44
MB5qbf-5cnf-100var-1200cl.2	UNSAT	200.04
toilet_c_08_01.13	UNSAT	213.04
3qbf-5cnf-50var-900cl.2	UNSAT	222.08
2qbf-5cnf-150var-2100cl.2	UNSAT	226.7
MB3qbf-5cnf-100var-400cl.2	UNSAT	230.22
MB5qbf-5cnf-150var-2400cl.2	UNSAT	231.19
szymanski-22-s	UNSAT	241.3
robots_1_5_2_69.4	SAT	273.14
MB5qbf-5cnf-50var-600cl.1	UNSAT	282.3
C499.blif_0.10_1.00_0_1_inp_exact	SAT	288.67
MB5qbf-5cnf-150var-2700cl.1	UNSAT	303.8
CHAIN19v.20	SAT	366.38
k_poly_n-3	SAT	401.87
tree-exa2-40	UNSAT	459.97
TOILET7.1.iv.13	UNSAT	486.88
2qbf-5cnf-50var-600cl.1	UNSAT	598.26
MB5qbf-5cnf-100var-1200cl.1	UNSAT	599.91
MB5qbf-5cnf-150var-600cl.2	UNSAT	671.16
4qbf-5cnf-50var-800cl.1	UNSAT	700.8
toilet_a_10_05.3	UNSAT	776.61
CHAIN20v.21	SAT	843.38
MB4qbf-5cnf-100var-1400cl.2	UNSAT	851.74
term1.blif_0.10_1.00_0_0_out_exact	FAIL	901
3qbf-5cnf-50var-700cl.2	FAIL	901
comp.blif_0.10_0.20_0_0_out_exact	FAIL	901
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	901
term1.blif_0.10_0.20_0_0_out_exact	FAIL	901
k_t4p_p-4	FAIL	901
k_path_p-14	FAIL	901
3qbf-5cnf-50var-400cl.1	FAIL	901
k_path_p-11	FAIL	901
4qbf-5cnf-100var-1000cl.2	FAIL	901
4qbf-5cnf-100var-1000cl.1	FAIL	901
4qbf-5cnf-100var-800cl.2	FAIL	901
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	901
MB3qbf-5cnf-150var-600cl.2	FAIL	901
k_path_n-6	FAIL	901
k_path_n-3	FAIL	901
k_path_n-13	FAIL	901
4qbf-5cnf-100var-1800cl.1	FAIL	901
4qbf-5cnf-100var-1800cl.2	FAIL	901
4qbf-5cnf-100var-1600cl.1	FAIL	901
4qbf-5cnf-100var-1600cl.2	FAIL	901
4qbf-5cnf-100var-1400cl.1	FAIL	901
4qbf-5cnf-100var-1200cl.2	FAIL	901
k_path_p-17	FAIL	901
test2_quant2	FAIL	901
k_poly_p-7	FAIL	901
k_d4_n-12	FAIL	901
k_poly_p-14	FAIL	901
k_t4p_n-18	FAIL	901
k_t4p_n-2	FAIL	901
test4_quant4	FAIL	901
MB4qbf-5cnf-150var-1500cl.1	FAIL	901
3qbf-5cnf-100var-1600cl.2	FAIL	901
MB4qbf-5cnf-150var-1800cl.2	FAIL	901
3qbf-5cnf-100var-1400cl.2	FAIL	901
MB4qbf-5cnf-150var-1800cl.1	FAIL	901
C432.blif_0.10_0.20_0_0_out_exact	FAIL	901
3qbf-5cnf-150var-1800cl.2	FAIL	901
k_ph_p-17	FAIL	901
k_ph_p-19	FAIL	901
CHAIN23v.24	FAIL	901
MB4qbf-5cnf-100var-1000cl.2	FAIL	901
k_poly_n-18	FAIL	901
MB4qbf-5cnf-100var-1000cl.1	FAIL	901
3qbf-5cnf-150var-2700cl.2	FAIL	901
MB4qbf-5cnf-100var-1400cl.1	FAIL	901
test2_quant3	FAIL	901
s386_d8_u	FAIL	901
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	901
MB4qbf-5cnf-150var-2400cl.2	FAIL	901
k_d4_n-13	FAIL	901
k_path_n-4	FAIL	901
k_poly_p-8	FAIL	901
k_grz_n-3	FAIL	901
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	901
test1_quant_squaring2	FAIL	901
test5_quant5	FAIL	901
k_grz_p-3	FAIL	901
BLOCKS3i.5.3	FAIL	901
C499.blif_0.10_0.20_0_0_out_exact	FAIL	901
k_grz_p-17	FAIL	901
k_branch_p-8	FAIL	901
s3330_d8_s	FAIL	901
k_grz_n-18	FAIL	901
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	901
k_d4_n-15	FAIL	901
k_d4_p-17	FAIL	901
k_branch_p-5	FAIL	901
5qbf-5cnf-50var-900cl.1	FAIL	901
k_branch_p-13	FAIL	901
k_d4_p-6	FAIL	901
k_branch_n-14	FAIL	901
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	901
k_dum_n-18	FAIL	901
k_dum_n-5	FAIL	901
k_dum_n-6	FAIL	901
test4_quant_squaring4	FAIL	901
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	901
s713_d6_s	FAIL	901
test3_quant2	FAIL	901
4qbf-5cnf-150var-900cl.2	FAIL	901
4qbf-5cnf-150var-900cl.1	FAIL	901
k_lin_p-11	FAIL	901
k_lin_p-6	FAIL	901
4qbf-5cnf-150var-2700cl.1	FAIL	901
4qbf-5cnf-150var-2700cl.2	FAIL	901
test3_quant_squaring2	FAIL	901
4qbf-5cnf-150var-2100cl.2	FAIL	901
s499_d4_s	FAIL	901
k_lin_p-18	FAIL	901
4qbf-5cnf-50var-300cl.1	FAIL	901
k_lin_n-14	FAIL	901
5qbf-5cnf-100var-1600cl.2	FAIL	901
5qbf-5cnf-100var-1400cl.1	FAIL	901
s27_d3_u	FAIL	901
5qbf-5cnf-100var-1200cl.2	FAIL	901
Adder2-12-s	FAIL	901
4qbf-5cnf-50var-900cl.1	FAIL	901
k_poly_n-8	FAIL	901
k_grz_p-4	FAIL	901
s499_d2_s	FAIL	901
test5_quant_squaring5	FAIL	901
4qbf-5cnf-50var-400cl.1	FAIL	901
k_t4p_p-12	FAIL	901
s713_d4_s	FAIL	901
k_path_p-16	FAIL	901
tree-exa2-45	FAIL	901
test1_quant2	FAIL	901
robots_1_5_5_4.9	FAIL	901
2qbf-5cnf-100var-1200cl.1	FAIL	901
k_dum_p-20	FAIL	901
s3330_d3_s	FAIL	901
2qbf-5cnf-100var-1000cl.2	FAIL	901
MB5qbf-5cnf-150var-2400cl.1	FAIL	901
cnt09e	FAIL	901
MB5qbf-5cnf-100var-1000cl.2	FAIL	901
2qbf-5cnf-150var-1500cl.2	FAIL	901
2qbf-5cnf-150var-1200cl.1	FAIL	901
2qbf-5cnf-100var-800cl.2	FAIL	901
test2_quant_squaring3	FAIL	901
test5_quant7	FAIL	901
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	901
2qbf-5cnf-100var-400cl.2	FAIL	901
cnt09re	FAIL	901
k_poly_n-4	FAIL	901
s386_d5_s	FAIL	901
MB5qbf-5cnf-150var-1500cl.1	FAIL	901
s641_d8_u	FAIL	901
MB5qbf-5cnf-150var-1800cl.2	FAIL	901
s499_d19_s	FAIL	901
k_branch_p-16	FAIL	901
robots_1_5_3_84.7	FAIL	901
adder-8-unsat	FAIL	901
s713_d2_s	FAIL	901
robots_1_5_5_34.6	FAIL	901
MB5qbf-5cnf-150var-1200cl.2	FAIL	901
MB5qbf-5cnf-100var-800cl.1	FAIL	901
Adder2-16-c	FAIL	901
s386_d9_u	FAIL	901
s27_d5_u	FAIL	901
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	901
s386_d12_u	FAIL	901
s386_d10_u	FAIL	901
s713_d9_u	FAIL	901
s713_d8_u	FAIL	901
MB5qbf-5cnf-150var-2700cl.2	FAIL	901
2qbf-5cnf-150var-1800cl.1	FAIL	901
robots_1_5_2_61.6	FAIL	901
s1196_d4_u	FAIL	901
robots_1_5_2_42.7	FAIL	901
k_t4p_p-10	FAIL	901
k_d4_n-16	FAIL	901
adder-6-unsat	FAIL	901
3qbf-5cnf-100var-1000cl.2	FAIL	901
s641_d2_s	FAIL	901
2qbf-5cnf-150var-600cl.2	FAIL	901
s1269_d3_s	FAIL	901
s298_d14_s	FAIL	901
s1196_d7_u	FAIL	901
k_t4p_p-18	FAIL	901
C499.blif_0.10_1.00_0_0_out_exact	FAIL	901
robots_1_5_3_18.7	FAIL	901
s1269_d15_u	FAIL	901
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	901
robots_1_5_5_59.5	FAIL	901
2qbf-5cnf-150var-2400cl.2	FAIL	901
MB5qbf-5cnf-50var-700cl.2	FAIL	901
s298_d5_s	FAIL	901
2qbf-5cnf-50var-400cl.2	FAIL	901
k_t4p_p-19	FAIL	901
2qbf-5cnf-50var-200cl.1	FAIL	901
robots_1_5_2_3.5	FAIL	901
k_branch_n-16	FAIL	901.01
s510_d46_s	FAIL	901.01
k_branch_p-15	FAIL	901.01
C432.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
k_d4_n-6	FAIL	901.01
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	901.01
k_branch_p-3	FAIL	901.01
k_poly_p-12	FAIL	901.01
term1.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
k_grz_n-12	FAIL	901.01
MB5qbf-5cnf-150var-900cl.1	FAIL	901.01
k_branch_n-7	FAIL	901.01
k_branch_n-6	FAIL	901.01
k_branch_n-15	FAIL	901.01
s3330_d2_s	FAIL	901.01
BLOCKS3iii.5	FAIL	901.01
MB5qbf-5cnf-50var-500cl.2	FAIL	901.01
adder-6-sat	FAIL	901.01
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
s820_d4_s	FAIL	901.01
s641_d7_u	FAIL	901.01
MB5qbf-5cnf-50var-400cl.1	FAIL	901.01
uclid-pipe3b	FAIL	901.01
MB5qbf-5cnf-50var-400cl.2	FAIL	901.01
adder-4-unsat	FAIL	901.01
k_dum_n-4	FAIL	901.01
BLOCKS3ii.4.3	FAIL	901.01
s298_d19_u	FAIL	901.01
k_branch_p-14	FAIL	901.01
lognBWLARGEA1	FAIL	901.01
C880.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	901.01
toilet_a_10_01.15	FAIL	901.01
k_grz_p-16	FAIL	901.01
s1269_d2_s	FAIL	901.01
s820_d11_u	FAIL	901.01
C432.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
C432.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
MB4qbf-5cnf-150var-2100cl.1	FAIL	901.01
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	901.01
MB4qbf-5cnf-100var-1200cl.1	FAIL	901.01
MB4qbf-5cnf-100var-1200cl.2	FAIL	901.01
s1269_d4_s	FAIL	901.01
k_lin_p-8	FAIL	901.01
s386_d4_s	FAIL	901.01
s1269_d10_s	FAIL	901.01
k_grz_n-16	FAIL	901.01
k_path_n-8	FAIL	901.01
k_t4p_n-5	FAIL	901.01
k_t4p_n-17	FAIL	901.01
k_t4p_p-16	FAIL	901.01
BLOCKS4ii.7.2	FAIL	901.01
k_dum_n-16	FAIL	901.01
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	901.01
MB4qbf-5cnf-150var-2400cl.1	FAIL	901.01
s27_d4_u	FAIL	901.01
MB4qbf-5cnf-150var-1500cl.2	FAIL	901.01
MB4qbf-5cnf-150var-1200cl.1	FAIL	901.01
MB4qbf-5cnf-150var-1200cl.2	FAIL	901.01
k_branch_n-20	FAIL	901.01
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
k_d4_p-16	FAIL	901.01
s3330_d10_u	FAIL	901.01
uclid-pipe3a	FAIL	901.01
k_d4_n-8	FAIL	901.01
BLOCKS3ii.5.3	FAIL	901.01
uclid-pipe2	FAIL	901.01
s298_d8_s	FAIL	901.01
s298_d16_s	FAIL	901.01
k_ph_n-8	FAIL	901.01
MB3qbf-5cnf-150var-1200cl.2	FAIL	901.01
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	901.01
MB5qbf-5cnf-100var-600cl.1	FAIL	901.01
MB5qbf-5cnf-100var-600cl.2	FAIL	901.01
MB5qbf-5cnf-100var-800cl.2	FAIL	901.01
MB3qbf-5cnf-100var-400cl.1	FAIL	901.01
MB5qbf-5cnf-150var-1800cl.1	FAIL	901.01
test1_quant3	FAIL	901.01
test5_quant_squaring4	FAIL	901.01
MB5qbf-5cnf-150var-2100cl.1	FAIL	901.01
C880.blif_0.10_1.00_0_1_out_exact	FAIL	901.01
s1196_d2_s	FAIL	901.01
test3_quant_squaring4	FAIL	901.01
C5315.blif_0.10_1.00_0_1_inp_exact	FAIL	901.01
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
s641_d6_s	FAIL	901.01
s386_d7_s	FAIL	901.01
BLOCKS4i.6.4	FAIL	901.01
MB5qbf-5cnf-100var-1000cl.1	FAIL	901.01
MB5qbf-5cnf-100var-1400cl.2	FAIL	901.01
MB5qbf-5cnf-100var-1400cl.1	FAIL	901.01
MB3qbf-5cnf-150var-600cl.1	FAIL	901.01
k_dum_n-8	FAIL	901.01
test2_quant_squaring2	FAIL	901.01
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
k_dum_p-8	FAIL	901.01
BLOCKS4ii.6.3	FAIL	901.01
C880.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
4qbf-5cnf-100var-600cl.1	FAIL	901.01
3qbf-5cnf-100var-1400cl.1	FAIL	901.01
3qbf-5cnf-100var-1800cl.1	FAIL	901.01
k_t4p_n-19	FAIL	901.01
k_poly_p-17	FAIL	901.01
k_poly_p-11	FAIL	901.01
k_poly_p-10	FAIL	901.01
3qbf-5cnf-150var-1500cl.2	FAIL	901.01
3qbf-5cnf-150var-1500cl.1	FAIL	901.01
3qbf-5cnf-100var-1200cl.1	FAIL	901.01
3qbf-5cnf-100var-1200cl.2	FAIL	901.01
k_t4p_p-15	FAIL	901.01
2qbf-5cnf-50var-200cl.2	FAIL	901.01
2qbf-5cnf-50var-300cl.1	FAIL	901.01
2qbf-5cnf-50var-300cl.2	FAIL	901.01
2qbf-5cnf-50var-400cl.1	FAIL	901.01
2qbf-5cnf-50var-500cl.2	FAIL	901.01
k_t4p_p-1	FAIL	901.01
k_t4p_n-14	FAIL	901.01
3qbf-5cnf-150var-1800cl.1	FAIL	901.01
3qbf-5cnf-150var-2100cl.2	FAIL	901.01
k_path_p-6	FAIL	901.01
3qbf-5cnf-50var-600cl.1	FAIL	901.01
3qbf-5cnf-50var-600cl.2	FAIL	901.01
3qbf-5cnf-50var-700cl.1	FAIL	901.01
3qbf-5cnf-50var-800cl.1	FAIL	901.01
3qbf-5cnf-50var-900cl.1	FAIL	901.01
4qbf-5cnf-100var-1400cl.2	FAIL	901.01
k_path_n-7	FAIL	901.01
3qbf-5cnf-50var-500cl.1	FAIL	901.01
k_ph_n-7	FAIL	901.01
3qbf-5cnf-150var-2100cl.1	FAIL	901.01
3qbf-5cnf-150var-2400cl.2	FAIL	901.01
3qbf-5cnf-150var-2400cl.1	FAIL	901.01
k_poly_n-11	FAIL	901.01
k_poly_n-7	FAIL	901.01
k_ph_p-15	FAIL	901.01
k_ph_p-7	FAIL	901.01
k_ph_n-15	FAIL	901.01
2qbf-5cnf-150var-900cl.2	FAIL	901.01
2qbf-5cnf-150var-900cl.1	FAIL	901.01
2qbf-5cnf-150var-600cl.1	FAIL	901.01
s499_d7_s	FAIL	901.01
s499_d10_s	FAIL	901.01
s499_d18_s	FAIL	901.01
s499_d3_s	FAIL	901.01
s510_d13_s	FAIL	901.01
s510_d42_s	FAIL	901.01
s510_d49_u	FAIL	901.01
s510_d51_u	FAIL	901.01
s386_d3_s	FAIL	901.01
s3330_d13_u	FAIL	901.01
s1269_d9_s	FAIL	901.01
s298_d17_s	FAIL	901.01
s298_d10_s	FAIL	901.01
s1196_d5_u	FAIL	901.01
cnt16re	FAIL	901.01
cnt12e	FAIL	901.01
cnt06	FAIL	901.01
cnt04e	FAIL	901.01
s641_d3_s	FAIL	901.01
s641_d5_s	FAIL	901.01
2qbf-5cnf-100var-400cl.1	FAIL	901.01
2qbf-5cnf-100var-600cl.1	FAIL	901.01
2qbf-5cnf-100var-600cl.2	FAIL	901.01
2qbf-5cnf-150var-1200cl.2	FAIL	901.01
2qbf-5cnf-150var-1500cl.1	FAIL	901.01
2qbf-5cnf-150var-2100cl.1	FAIL	901.01
robots_1_5_3_15.6	FAIL	901.01
robots_1_5_2_72.7	FAIL	901.01
robots_1_5_3_27.9	FAIL	901.01
s1269_d5_s	FAIL	901.01
s713_d10_u	FAIL	901.01
s713_d3_s	FAIL	901.01
s820_d9_s	FAIL	901.01
s820_d12_u	FAIL	901.01
2qbf-5cnf-100var-1200cl.2	FAIL	901.01
robots_1_5_4_87.8	FAIL	901.01
robots_1_5_4_34.8	FAIL	901.01
robots_1_5_4_31.8	FAIL	901.01
s1269_d6_s	FAIL	901.01
5qbf-5cnf-150var-1800cl.1	FAIL	901.01
5qbf-5cnf-150var-2700cl.1	FAIL	901.01
k_dum_p-17	FAIL	901.01
4qbf-5cnf-50var-900cl.2	FAIL	901.01
4qbf-5cnf-50var-800cl.2	FAIL	901.01
4qbf-5cnf-50var-700cl.2	FAIL	901.01
k_dum_p-6	FAIL	901.01
4qbf-5cnf-50var-700cl.1	FAIL	901.01
4qbf-5cnf-50var-600cl.2	FAIL	901.01
5qbf-5cnf-150var-2100cl.2	FAIL	901.01
k_lin_n-6	FAIL	901.01
4qbf-5cnf-50var-500cl.2	FAIL	901.01
k_dum_p-11	FAIL	901.01
k_dum_n-3	FAIL	901.01
5qbf-5cnf-100var-1200cl.1	FAIL	901.01
5qbf-5cnf-150var-2700cl.2	FAIL	901.01
5qbf-5cnf-150var-1800cl.2	FAIL	901.01
k_grz_n-9	FAIL	901.01
k_grz_n-17	FAIL	901.01
k_grz_n-13	FAIL	901.01
4qbf-5cnf-150var-1200cl.2	FAIL	901.01
k_grz_p-9	FAIL	901.01
5qbf-5cnf-150var-2400cl.2	FAIL	901.01
k_grz_p-19	FAIL	901.01
k_lin_n-3	FAIL	901.01
k_lin_n-7	FAIL	901.01
5qbf-5cnf-100var-1800cl.1	FAIL	901.01
5qbf-5cnf-150var-2400cl.1	FAIL	901.01
5qbf-5cnf-100var-1600cl.1	FAIL	901.01
k_d4_p-14	FAIL	901.01
k_lin_n-15	FAIL	901.01
k_d4_p-13	FAIL	901.01
5qbf-5cnf-50var-600cl.2	FAIL	901.01
4qbf-5cnf-150var-1200cl.1	FAIL	901.01
4qbf-5cnf-150var-2400cl.1	FAIL	901.01
4qbf-5cnf-150var-2400cl.2	FAIL	901.01
4qbf-5cnf-150var-1500cl.1	FAIL	901.01
5qbf-5cnf-50var-700cl.1	FAIL	901.01
5qbf-5cnf-50var-700cl.2	FAIL	901.01
4qbf-5cnf-150var-1800cl.2	FAIL	901.01
5qbf-5cnf-50var-800cl.1	FAIL	901.01
k_d4_n-14	FAIL	901.01
5qbf-5cnf-50var-800cl.2	FAIL	901.01
k_d4_p-19	FAIL	901.01
k_d4_p-7	FAIL	901.01
4qbf-5cnf-100var-600cl.2	FAIL	901.01
k_d4_n-9	FAIL	901.01
k_lin_p-5	FAIL	901.01
4qbf-5cnf-100var-800cl.1	FAIL	901.01
4qbf-5cnf-150var-2100cl.1	FAIL	901.01
robots_1_5_5_18.5	FAIL	901.02
s820_d14_u	FAIL	901.02
s820_d3_s	FAIL	901.02
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	901.02
2qbf-5cnf-100var-1000cl.1	FAIL	901.02
5qbf-5cnf-50var-900cl.2	FAIL	901.02
5qbf-5cnf-150var-2100cl.1	FAIL	901.02
MB5qbf-5cnf-150var-2100cl.2	FAIL	901.02
tree-exa10-30	FAIL	901.02
adder-10-sat	FAIL	901.02
k_branch_p-19	FAIL	901.02
s510_d31_s	FAIL	901.02
s510_d48_u	FAIL	901.02
k_branch_n-9	FAIL	901.02
MB5qbf-5cnf-150var-900cl.2	FAIL	901.02
5qbf-5cnf-50var-600cl.1	FAIL	901.02
robots_1_5_4_85.5	FAIL	901.02
s3330_d6_s	FAIL	901.02
s510_d12_s	FAIL	901.02
robots_1_5_5_55.6	FAIL	901.02
s641_d10_u	FAIL	901.02
s298_d21_u	FAIL	901.02
MB5qbf-5cnf-150var-1500cl.2	FAIL	901.02
MB5qbf-5cnf-150var-1200cl.1	FAIL	901.02
s641_d11_u	FAIL	901.02
k_dum_p-15	FAIL	901.02
k_grz_n-2	FAIL	901.02
s820_d5_s	FAIL	901.02
k_d4_p-3	FAIL	901.02
MB3qbf-5cnf-150var-900cl.1	FAIL	901.02
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	901.02
k_poly_n-15	FAIL	901.02
3qbf-5cnf-150var-2700cl.1	FAIL	901.02
k_lin_p-10	FAIL	901.02
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	901.02
C499.blif_0.10_0.20_0_1_out_exact	FAIL	901.02
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	901.02
4qbf-5cnf-50var-400cl.2	FAIL	901.02
4qbf-5cnf-50var-500cl.1	FAIL	901.02
k_lin_p-15	FAIL	901.02
k_path_n-5	FAIL	901.02
k_ph_p-20	FAIL	901.02
4qbf-5cnf-100var-1200cl.1	FAIL	901.02
4qbf-5cnf-150var-1500cl.2	FAIL	901.02
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	901.02
s713_d7_u	FAIL	901.02
BLOCKS3i.4.4	FAIL	901.02
4qbf-5cnf-150var-1800cl.1	FAIL	901.02
s1196_d3_u	FAIL	901.02
k_ph_p-14	FAIL	901.02
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	901.02
k_poly_p-2	FAIL	901.02
k_path_p-20	FAIL	901.02
5qbf-5cnf-100var-1400cl.2	FAIL	901.02
5qbf-5cnf-100var-1800cl.2	FAIL	901.02
C880.blif_0.10_0.20_0_0_out_exact	FAIL	901.02
s820_d8_s	FAIL	901.02
k_grz_p-14	FAIL	901.02
robots_1_5_3_16.7	FAIL	901.02
2qbf-5cnf-150var-1800cl.2	FAIL	901.02
k_grz_p-10	FAIL	901.02
2qbf-5cnf-100var-800cl.1	FAIL	901.02
s3330_d4_s	FAIL	901.02
k_dum_p-16	FAIL	901.02
k_lin_n-19	FAIL	901.02
3qbf-5cnf-100var-1800cl.2	FAIL	901.02
3qbf-5cnf-100var-1600cl.1	FAIL	901.02
MB4qbf-5cnf-150var-2100cl.2	FAIL	901.02
3qbf-5cnf-100var-1000cl.1	FAIL	901.02
5qbf-5cnf-100var-1000cl.2	FAIL	901.02
MB4qbf-5cnf-150var-2700cl.2	FAIL	901.02
MB4qbf-5cnf-150var-2700cl.1	FAIL	901.02
k_t4p_n-15	FAIL	901.02
k_t4p_n-13	FAIL	901.02
lognBWLARGEB1	FAIL	901.03
s1196_d6_u	FAIL	901.03
k_ph_n-21	FAIL	901.03
3qbf-5cnf-50var-800cl.2	FAIL	901.03
MB5qbf-5cnf-50var-700cl.1	FAIL	901.03
s3330_d12_u	FAIL	901.03

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QBFL-JW
QBFEVAL'04

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QBFL-JW QBFEVAL'04

Instances solved by QBFL-JW
QBFEVAL'04