Instances solved by <a href='solver_detail.php?solver=7'>QUANTOR</a> <br> QBFEVAL'04

Instances solved by QUANTOR
QBFEVAL'04

Instance	Result	Time
impl08	SAT	0
k_lin_n-1	SAT	0
MB5qbf-5cnf-100var-200cl.1	SAT	0
MB3qbf-5cnf-50var-400cl.2	UNSAT	0
k_ph_n-1	SAT	0
3qbf-5cnf-50var-100cl.2	SAT	0
3qbf-5cnf-50var-100cl.1	SAT	0
MB3qbf-5cnf-50var-200cl.2	UNSAT	0
MB3qbf-5cnf-50var-200cl.1	UNSAT	0
3qbf-5cnf-150var-300cl.2	SAT	0
3qbf-5cnf-150var-300cl.1	SAT	0
3qbf-5cnf-100var-200cl.2	SAT	0
MB3qbf-5cnf-50var-100cl.2	SAT	0
k_ph_n-3	SAT	0
4qbf-5cnf-150var-300cl.1	SAT	0
impl18	SAT	0
5qbf-5cnf-50var-100cl.1	SAT	0
MB3qbf-5cnf-50var-400cl.1	UNSAT	0
5qbf-5cnf-150var-300cl.2	SAT	0
tree-exa2-25	UNSAT	0
MB4qbf-5cnf-100var-200cl.1	SAT	0
5qbf-5cnf-50var-200cl.1	SAT	0
k_poly_p-7	UNSAT	0
5qbf-5cnf-50var-200cl.2	SAT	0
tree-exa10-25	SAT	0
4qbf-5cnf-50var-100cl.2	SAT	0
MB4qbf-5cnf-50var-100cl.1	SAT	0
MB3qbf-5cnf-50var-500cl.1	UNSAT	0
3qbf-5cnf-100var-200cl.1	SAT	0
toilet_g_10_01.2	SAT	0
tree-exa2-40	UNSAT	0
s3271_d2_s	FAIL	0
tree-exa2-45	UNSAT	0
tree-exa2-30	UNSAT	0
k_dum_n-1	SAT	0
k_dum_n-4	SAT	0
k_path_n-6	SAT	0
TOILET2.1.iv.4	SAT	0
tree-exa2-15	UNSAT	0
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0
tree-exa2-35	UNSAT	0
toilet_c_10_01.3	UNSAT	0
MB5qbf-5cnf-50var-100cl.2	SAT	0
mutex-2-s	SAT	0
toilet_g_08_01.2	SAT	0
MB3qbf-5cnf-50var-300cl.2	UNSAT	0
impl06	SAT	0
MB2qbf-5cnf-50var-100cl.1	SAT	0
MB5qbf-5cnf-50var-100cl.1	SAT	0
MB3qbf-5cnf-100var-200cl.2	SAT	0.01
cnt04e	SAT	0.01
k_t4p_p-1	UNSAT	0.01
MB3qbf-5cnf-100var-400cl.1	UNSAT	0.01
5qbf-5cnf-50var-100cl.2	SAT	0.01
MB3qbf-5cnf-100var-400cl.2	UNSAT	0.01
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.01
MB3qbf-5cnf-100var-200cl.1	SAT	0.01
k_dum_p-1	UNSAT	0.01
k_dum_n-6	SAT	0.01
MB2qbf-5cnf-50var-100cl.2	UNSAT	0.01
cnt02	SAT	0.01
k_d4_p-3	UNSAT	0.01
k_dum_n-5	SAT	0.01
cnt02e	SAT	0.01
5qbf-5cnf-150var-600cl.2	SAT	0.01
2qbf-5cnf-50var-100cl.2	SAT	0.01
2qbf-5cnf-50var-100cl.1	SAT	0.01
toilet_g_04_01.2	SAT	0.01
toilet_g_20_01.2	SAT	0.01
toilet_g_15_01.2	SAT	0.01
MB5qbf-5cnf-150var-600cl.1	UNSAT	0.01
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.01
TOILET2.1.iv.3	UNSAT	0.01
impl14	SAT	0.01
impl02	SAT	0.01
k_poly_p-12	UNSAT	0.01
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
CHAIN16v.17	SAT	0.01
CHAIN14v.15	SAT	0.01
toilet_g_02_01.2	SAT	0.01
toilet_g_06_01.2	SAT	0.01
5qbf-5cnf-150var-600cl.1	SAT	0.01
5qbf-5cnf-150var-300cl.1	SAT	0.01
5qbf-5cnf-100var-400cl.2	SAT	0.01
5qbf-5cnf-100var-400cl.1	SAT	0.01
5qbf-5cnf-100var-200cl.2	SAT	0.01
lognBWLARGEA0	UNSAT	0.01
5qbf-5cnf-100var-200cl.1	SAT	0.01
lognBWLARGEB0	UNSAT	0.01
4qbf-5cnf-150var-300cl.2	SAT	0.01
flipflop-4-c	UNSAT	0.01
s27_d2_s	SAT	0.01
4qbf-5cnf-100var-200cl.2	SAT	0.01
cf_2_2x3_w_	UNSAT	0.01
toilet_c_06_01.9	UNSAT	0.01
flipflop-3-c	UNSAT	0.01
k_path_p-3	UNSAT	0.01
MB5qbf-5cnf-100var-400cl.2	UNSAT	0.01
k_poly_n-4	SAT	0.01
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.01
szymanski-4-s	UNSAT	0.01
MB5qbf-5cnf-100var-400cl.1	UNSAT	0.01
MB5qbf-5cnf-100var-200cl.2	SAT	0.01
k_ph_p-3	UNSAT	0.01
MB4qbf-5cnf-50var-100cl.2	SAT	0.01
MB4qbf-5cnf-150var-300cl.2	SAT	0.01
MB4qbf-5cnf-150var-300cl.1	SAT	0.01
MB4qbf-5cnf-100var-200cl.2	SAT	0.01
mutex-4-s	SAT	0.01
impl16	SAT	0.01
MB5qbf-5cnf-150var-300cl.1	SAT	0.01
impl20	SAT	0.01
k_path_p-2	UNSAT	0.01
MB5qbf-5cnf-50var-600cl.1	UNSAT	0.01
MB5qbf-5cnf-50var-500cl.1	UNSAT	0.01
tree-exa10-30	SAT	0.01
k_path_n-1	SAT	0.01
MB5qbf-5cnf-50var-200cl.2	SAT	0.01
k_path_n-5	SAT	0.01
MB5qbf-5cnf-50var-200cl.1	SAT	0.01
MB5qbf-5cnf-150var-900cl.2	UNSAT	0.01
MB5qbf-5cnf-150var-600cl.2	UNSAT	0.01
MB5qbf-5cnf-150var-300cl.2	SAT	0.01
k_lin_p-1	UNSAT	0.01
impl12	SAT	0.01
k_path_n-8	SAT	0.01
MB3qbf-5cnf-100var-600cl.2	UNSAT	0.01
k_poly_p-2	UNSAT	0.01
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.01
k_grz_n-2	SAT	0.01
MB3qbf-5cnf-100var-800cl.2	UNSAT	0.01
MB3qbf-5cnf-50var-100cl.1	SAT	0.01
k_poly_p-11	UNSAT	0.01
MB3qbf-5cnf-150var-600cl.2	UNSAT	0.01
MB3qbf-5cnf-150var-2400cl.1	UNSAT	0.01
MB3qbf-5cnf-150var-600cl.1	UNSAT	0.01
MB3qbf-5cnf-150var-300cl.1	SAT	0.01
k_path_p-6	UNSAT	0.01
MB3qbf-5cnf-100var-600cl.1	UNSAT	0.01
k_poly_p-14	UNSAT	0.01
MB3qbf-5cnf-150var-300cl.2	SAT	0.01
CHAIN13v.14	SAT	0.01
MB3qbf-5cnf-50var-800cl.1	UNSAT	0.01
MB3qbf-5cnf-50var-700cl.2	UNSAT	0.01
k_poly_n-3	SAT	0.01
CHAIN12v.13	SAT	0.02
k_path_n-7	SAT	0.02
k_poly_n-15	SAT	0.02
MB3qbf-5cnf-100var-1200cl.1	UNSAT	0.02
k_poly_p-8	UNSAT	0.02
s3271_d15_s	FAIL	0.02
k_path_p-14	UNSAT	0.02
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
k_path_p-11	UNSAT	0.02
toilet_c_04_01.6	UNSAT	0.02
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.02
k_path_n-4	SAT	0.02
k_ph_p-4	UNSAT	0.02
toilet_a_06_01.5	UNSAT	0.02
toilet_a_06_05.2	UNSAT	0.02
k_path_n-3	SAT	0.02
k_poly_n-8	SAT	0.02
s3271_d12_s	FAIL	0.02
s3271_d5_s	FAIL	0.02
4qbf-5cnf-100var-200cl.1	SAT	0.02
k_ph_n-4	SAT	0.02
flipflop-5-c	UNSAT	0.02
k_lin_n-2	SAT	0.02
4qbf-5cnf-50var-100cl.1	SAT	0.02
cnt06	SAT	0.02
k_poly_n-1	SAT	0.02
k_poly_n-7	SAT	0.02
TOILET6.1.iv.12	SAT	0.02
k_branch_n-1	SAT	0.02
MB3qbf-5cnf-50var-300cl.1	UNSAT	0.02
k_dum_n-8	SAT	0.02
k_poly_p-10	UNSAT	0.02
MB5qbf-5cnf-100var-600cl.1	UNSAT	0.02
toilet_c_10_01.9	UNSAT	0.02
MB5qbf-5cnf-100var-600cl.2	UNSAT	0.02
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.02
k_dum_n-3	SAT	0.02
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.02
2qbf-5cnf-150var-300cl.1	SAT	0.02
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0.03
k_poly_n-11	SAT	0.03
k_lin_p-6	UNSAT	0.03
k_lin_p-5	UNSAT	0.03
k_poly_p-17	UNSAT	0.03
k_path_n-13	SAT	0.03
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.03
CHAIN20v.21	SAT	0.03
MB3qbf-5cnf-50var-500cl.2	UNSAT	0.03
TOILET6.1.iv.11	UNSAT	0.03
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.03
MB3qbf-5cnf-50var-600cl.1	UNSAT	0.03
MB2qbf-5cnf-100var-200cl.1	SAT	0.03
CHAIN17v.18	SAT	0.03
MB5qbf-5cnf-50var-300cl.1	UNSAT	0.03
k_dum_n-16	SAT	0.03
MB4qbf-5cnf-50var-200cl.2	UNSAT	0.03
s3271_d19_u	FAIL	0.03
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.03
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.04
s3271_d22_u	FAIL	0.04
s27_d3_u	UNSAT	0.04
2qbf-5cnf-100var-200cl.1	SAT	0.04
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.04
MB3qbf-5cnf-50var-600cl.2	UNSAT	0.04
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.04
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.04
s3271_d20_u	FAIL	0.04
MB2qbf-5cnf-100var-200cl.2	UNSAT	0.04
s3271_d18_u	FAIL	0.04
k_path_p-17	UNSAT	0.04
CHAIN19v.20	SAT	0.04
k_path_p-16	UNSAT	0.04
cf_4_5x4_d_	UNSAT	0.05
k_poly_n-18	SAT	0.05
k_path_p-20	UNSAT	0.05
MB3qbf-5cnf-50var-800cl.2	UNSAT	0.05
cf_3_6x4_w_	UNSAT	0.05
MB4qbf-5cnf-50var-200cl.1	UNSAT	0.05
k_t4p_n-2	SAT	0.05
toilet_a_08_01.3	UNSAT	0.06
CHAIN23v.24	SAT	0.07
cf_4_5x5_d_	UNSAT	0.07
k_t4p_p-4	UNSAT	0.07
flipflop-7-c	UNSAT	0.07
k_ph_n-6	SAT	0.07
MB3qbf-5cnf-50var-900cl.1	UNSAT	0.07
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	0.08
toilet_a_10_01.4	FAIL	0.08
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	0.08
MB5qbf-5cnf-50var-400cl.2	UNSAT	0.09
toilet_a_08_01.16	SAT	0.09
k_lin_n-3	SAT	0.09
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.09
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.09
k_lin_p-8	UNSAT	0.09
MB3qbf-5cnf-50var-700cl.1	UNSAT	0.1
cf_5_6x5_w_	UNSAT	0.1
cf_2_3x2_r_	SAT	0.1
MB5qbf-5cnf-50var-700cl.2	UNSAT	0.1
cf_4_5x6_w_	UNSAT	0.1
comp.blif_0.10_0.20_0_1_inp_exact	SAT	0.1
cf_6_6x6_d_	UNSAT	0.1
cf_5_5x7_d_	UNSAT	0.11
cf_4_6x5_d_	UNSAT	0.11
cf_5_5x6_w_	UNSAT	0.11
vonNeumann-ripple-carry-5-c	UNSAT	0.12
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.13
robots_1_5_5_29.1	SAT	0.13
robots_1_5_4_78.1	SAT	0.13
MB3qbf-5cnf-50var-900cl.2	UNSAT	0.13
flipflop-8-c	UNSAT	0.13
cf_5_7x5_d_	UNSAT	0.14
MB5qbf-5cnf-50var-300cl.2	UNSAT	0.14
k_grz_n-3	SAT	0.15
robots_1_5_2_93.1	SAT	0.15
TOILET7.1.iv.14	SAT	0.15
robots_1_5_2_38.1	SAT	0.15
robots_1_5_2_64.1	SAT	0.15
2qbf-5cnf-150var-300cl.2	SAT	0.15
k_ph_n-7	SAT	0.16
MB3qbf-5cnf-150var-900cl.2	UNSAT	0.16
cf_2_4x8_d_	UNSAT	0.16
k_lin_p-10	UNSAT	0.17
mutex-8-s	SAT	0.18
k_dum_n-18	SAT	0.19
cf_4_6x7_d_	UNSAT	0.2
cf_7_7x7_d_	UNSAT	0.2
k_lin_p-11	UNSAT	0.2
cf_5_7x6_d_	UNSAT	0.2
cf_6_6x8_w_	UNSAT	0.21
2qbf-5cnf-100var-200cl.2	SAT	0.24
cf_4_5x9_d_	UNSAT	0.24
BLOCKS3ii.4.3	UNSAT	0.26
MB3qbf-5cnf-100var-1000cl.1	UNSAT	0.26
BLOCKS3i.4.4	UNSAT	0.26
BLOCKS3iii.5	SAT	0.26
toilet_c_10_05.10	SAT	0.26
flipflop-9-c	UNSAT	0.26
s27_d4_u	UNSAT	0.27
MB5qbf-5cnf-100var-1000cl.2	UNSAT	0.27
s499_d2_s	SAT	0.28
MB5qbf-5cnf-150var-1500cl.1	UNSAT	0.28
cf_7_8x7_d_	UNSAT	0.29
cf_3_9x5_d_	UNSAT	0.3
cf_2_9x5_w_	UNSAT	0.3
cf_6_8x7_d_	UNSAT	0.32
cf_8_8x8_w_	UNSAT	0.33
cf_7_9x7_w_	UNSAT	0.35
toilet_c_06_05.4	SAT	0.35
cf_7_7x9_d_	UNSAT	0.37
vonNeumann-ripple-carry-7-c	UNSAT	0.39
Adder2-2-c	UNSAT	0.39
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.39
cf_7_8x8_w_	UNSAT	0.4
cf_8_8x9_w_	UNSAT	0.42
cf_8_8x9_d_	UNSAT	0.45
flipflop-10-c	UNSAT	0.46
MB5qbf-5cnf-100var-1400cl.1	UNSAT	0.46
BLOCKS3i.5.3	UNSAT	0.48
toilet_c_08_01.13	UNSAT	0.49
cf_7_9x8_w_	UNSAT	0.5
cf_9_9x9_w_	UNSAT	0.5
k_lin_p-15	UNSAT	0.51
TOILET7.1.iv.13	UNSAT	0.51
cf_9_9x9_d_	UNSAT	0.51
BLOCKS3ii.5.3	SAT	0.53
cf_3_7x9_w_	UNSAT	0.53
cf_4_8x8_w_	UNSAT	0.54
toilet_c_10_05.4	SAT	0.55
k_branch_p-3	UNSAT	0.57
cf_3_8x8_w_	UNSAT	0.57
cf_6_8x9_d_	UNSAT	0.6
cf_8_9x9_w_	UNSAT	0.62
cf_5_8x9_w_	UNSAT	0.63
cf_8_9x9_d_	UNSAT	0.64
MB2qbf-5cnf-150var-300cl.2	UNSAT	0.64
k_dum_p-6	UNSAT	0.67
cf_7_9x9_d_	UNSAT	0.67
k_ph_n-8	SAT	0.68
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.71
cf_3_8x9_d_	UNSAT	0.75
flipflop-11-c	UNSAT	0.8
k_grz_p-4	UNSAT	0.81
k_grz_p-3	UNSAT	0.84
k_lin_p-18	UNSAT	0.86
vonNeumann-ripple-carry-9-c	UNSAT	0.92
k_d4_p-6	UNSAT	0.93
cf_3_9x9_w_	UNSAT	0.94
MB2qbf-5cnf-150var-300cl.1	UNSAT	1.06
k_t4p_n-5	SAT	1.11
MB5qbf-5cnf-50var-400cl.1	UNSAT	1.18
k_ph_p-7	UNSAT	1.28
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	1.29
MB2qbf-5cnf-50var-200cl.2	UNSAT	1.31
MB3qbf-5cnf-100var-1600cl.2	UNSAT	1.34
MB2qbf-5cnf-50var-200cl.1	UNSAT	1.43
vonNeumann-ripple-carry-10-c	UNSAT	1.45
MB3qbf-5cnf-100var-1800cl.1	UNSAT	1.64
MB5qbf-5cnf-150var-900cl.1	UNSAT	1.78
robots_1_5_3_17.2	SAT	1.87
robots_1_5_4_73.2	SAT	1.91
vonNeumann-ripple-carry-11-c	UNSAT	2
robots_1_5_5_5.2	SAT	2.01
MB3qbf-5cnf-100var-800cl.1	UNSAT	2.04
toilet_a_10_01.7	UNSAT	2.53
robots_1_5_4_21.2	SAT	2.56
MB3qbf-5cnf-150var-2700cl.1	UNSAT	2.59
MB5qbf-5cnf-50var-800cl.1	UNSAT	2.61
s27_d5_u	UNSAT	2.72
vonNeumann-ripple-carry-12-c	UNSAT	3.01
MB5qbf-5cnf-50var-700cl.1	UNSAT	3.64
toilet_a_10_05.3	UNSAT	3.73
vonNeumann-ripple-carry-13-c	UNSAT	3.85
k_d4_p-7	UNSAT	4.12
k_dum_p-8	UNSAT	4.12
vonNeumann-ripple-carry-14-c	UNSAT	4.84
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	4.88
k_grz_n-9	SAT	4.89
k_dum_p-11	UNSAT	5.69
MB3qbf-5cnf-100var-1000cl.2	UNSAT	7.11
MB3qbf-5cnf-100var-1800cl.2	UNSAT	7.27
szymanski-6-s	UNSAT	7.74
lognBWLARGEA1	UNSAT	8.72
k_grz_p-9	UNSAT	8.93
MB3qbf-5cnf-150var-1200cl.2	UNSAT	9.33
robots_1_5_3_27.9	FAIL	9.55
robots_1_5_5_4.9	FAIL	9.57
robots_1_5_4_87.8	FAIL	9.57
robots_1_5_4_31.8	FAIL	9.59
robots_1_5_4_34.8	FAIL	9.59
szymanski-14-s	FAIL	9.7
k_dum_p-17	UNSAT	9.71
2qbf-5cnf-150var-1200cl.1	FAIL	9.78
2qbf-5cnf-150var-1200cl.2	FAIL	9.81
szymanski-12-s	FAIL	9.93
MB2qbf-5cnf-150var-1500cl.1	FAIL	10.07
MB2qbf-5cnf-150var-1500cl.2	FAIL	10.09
2qbf-5cnf-150var-900cl.2	FAIL	10.31
2qbf-5cnf-100var-800cl.1	FAIL	10.35
2qbf-5cnf-150var-1500cl.1	FAIL	10.43
2qbf-5cnf-150var-1500cl.2	FAIL	10.43
2qbf-5cnf-100var-800cl.2	FAIL	10.45
2qbf-5cnf-150var-900cl.1	FAIL	10.46
szymanski-18-s	FAIL	10.62
k_grz_p-10	UNSAT	10.66
MB2qbf-5cnf-150var-1800cl.2	FAIL	10.66
2qbf-5cnf-150var-600cl.2	FAIL	10.67
MB2qbf-5cnf-150var-1800cl.1	FAIL	10.68
3qbf-5cnf-150var-1500cl.1	FAIL	10.71
4qbf-5cnf-100var-800cl.2	FAIL	10.71
4qbf-5cnf-150var-1500cl.2	FAIL	10.74
3qbf-5cnf-150var-1500cl.2	FAIL	10.75
MB2qbf-5cnf-100var-1600cl.2	FAIL	10.77
2qbf-5cnf-100var-1400cl.2	FAIL	10.77
3qbf-5cnf-100var-1400cl.2	FAIL	10.78
MB2qbf-5cnf-100var-1600cl.1	FAIL	10.79
2qbf-5cnf-150var-600cl.1	FAIL	10.88
MB2qbf-5cnf-100var-1000cl.1	FAIL	10.89
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	10.9
2qbf-5cnf-100var-1400cl.1	FAIL	10.91
3qbf-5cnf-100var-800cl.1	FAIL	10.92
MB2qbf-5cnf-150var-2700cl.2	FAIL	10.93
MB2qbf-5cnf-100var-1000cl.2	FAIL	10.95
2qbf-5cnf-50var-400cl.1	FAIL	10.95
4qbf-5cnf-150var-1500cl.1	FAIL	10.96
MB2qbf-5cnf-100var-800cl.1	FAIL	10.97
MB2qbf-5cnf-100var-800cl.2	FAIL	10.97
MB2qbf-5cnf-150var-2700cl.1	FAIL	11
2qbf-5cnf-100var-1000cl.1	FAIL	11.08
2qbf-5cnf-100var-1000cl.2	FAIL	11.12
MB4qbf-5cnf-100var-1800cl.1	FAIL	11.15
2qbf-5cnf-150var-1800cl.2	FAIL	11.19
2qbf-5cnf-150var-1800cl.1	FAIL	11.19
4qbf-5cnf-100var-1000cl.2	FAIL	11.2
2qbf-5cnf-50var-400cl.2	FAIL	11.2
MB2qbf-5cnf-100var-1800cl.1	FAIL	11.27
4qbf-5cnf-100var-1600cl.1	FAIL	11.27
MB4qbf-5cnf-100var-1800cl.2	FAIL	11.27
MB2qbf-5cnf-150var-2100cl.2	FAIL	11.3
3qbf-5cnf-100var-1000cl.2	FAIL	11.32
4qbf-5cnf-100var-1600cl.2	FAIL	11.35
MB2qbf-5cnf-150var-2100cl.1	FAIL	11.36
MB2qbf-5cnf-100var-1800cl.2	FAIL	11.36
uclid-pipe3a	FAIL	11.36
s499_d3_s	SAT	11.36
3qbf-5cnf-150var-1800cl.2	FAIL	11.43
4qbf-5cnf-100var-1000cl.1	FAIL	11.43
2qbf-5cnf-50var-500cl.1	FAIL	11.45
MB2qbf-5cnf-100var-1200cl.1	FAIL	11.47
3qbf-5cnf-150var-1800cl.1	FAIL	11.47
3qbf-5cnf-100var-1000cl.1	FAIL	11.47
5qbf-5cnf-100var-1800cl.2	FAIL	11.5
2qbf-5cnf-100var-1600cl.1	FAIL	11.5
MB2qbf-5cnf-100var-1200cl.2	FAIL	11.51
2qbf-5cnf-50var-500cl.2	FAIL	11.51
4qbf-5cnf-150var-1800cl.2	FAIL	11.52
2qbf-5cnf-100var-1600cl.2	FAIL	11.52
4qbf-5cnf-50var-900cl.1	FAIL	11.53
4qbf-5cnf-150var-1800cl.1	FAIL	11.53
3qbf-5cnf-100var-1600cl.2	FAIL	11.54
3qbf-5cnf-100var-1600cl.1	FAIL	11.55
5qbf-5cnf-100var-1800cl.1	FAIL	11.59
test1_quant_squaring2	FAIL	11.6
MB2qbf-5cnf-150var-900cl.2	FAIL	11.6
mutex-64-s	FAIL	11.61
MB2qbf-5cnf-150var-1200cl.2	FAIL	11.61
4qbf-5cnf-100var-800cl.1	FAIL	11.64
MB2qbf-5cnf-50var-500cl.2	FAIL	11.64
mutex-32-s	FAIL	11.65
3qbf-5cnf-100var-800cl.2	FAIL	11.66
cf_4_5x9_r_	FAIL	11.67
MB2qbf-5cnf-150var-900cl.1	FAIL	11.69
cf_3_9x5_r_	FAIL	11.73
test1_quant2	FAIL	11.79
5qbf-5cnf-150var-1800cl.1	FAIL	11.79
mutex-128-s	FAIL	11.8
5qbf-5cnf-150var-2100cl.2	FAIL	11.81
k_branch_n-7	FAIL	11.82
szymanski-16-s	FAIL	11.85
2qbf-5cnf-100var-400cl.2	FAIL	11.86
MB2qbf-5cnf-150var-1200cl.1	FAIL	11.86
4qbf-5cnf-100var-1800cl.1	FAIL	11.88
2qbf-5cnf-100var-1200cl.1	FAIL	11.88
4qbf-5cnf-50var-900cl.2	FAIL	11.89
2qbf-5cnf-100var-1200cl.2	FAIL	11.89
2qbf-5cnf-100var-400cl.1	FAIL	11.93
cf_5_5x5_r_	FAIL	11.95
3qbf-5cnf-50var-900cl.1	FAIL	11.95
2qbf-5cnf-150var-2700cl.1	FAIL	11.97
k_branch_p-5	FAIL	11.98
MB2qbf-5cnf-150var-2400cl.2	FAIL	11.98
4qbf-5cnf-50var-600cl.2	FAIL	11.98
4qbf-5cnf-100var-1800cl.2	FAIL	11.99
4qbf-5cnf-100var-1200cl.1	FAIL	12.01
MB2qbf-5cnf-150var-2400cl.1	FAIL	12.01
MB4qbf-5cnf-150var-2100cl.1	FAIL	12.01
3qbf-5cnf-50var-600cl.1	FAIL	12.02
MB2qbf-5cnf-50var-500cl.1	FAIL	12.03
2qbf-5cnf-150var-2700cl.2	FAIL	12.04
k_dum_p-15	UNSAT	12.06
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	12.08
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	12.1
5qbf-5cnf-150var-2100cl.1	FAIL	12.1
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	12.13
2qbf-5cnf-150var-2100cl.2	FAIL	12.15
MB2qbf-5cnf-50var-600cl.2	FAIL	12.16
MB2qbf-5cnf-50var-600cl.1	FAIL	12.16
3qbf-5cnf-100var-1200cl.2	FAIL	12.17
k_branch_p-8	FAIL	12.17
2qbf-5cnf-50var-600cl.1	FAIL	12.2
2qbf-5cnf-150var-2100cl.1	FAIL	12.21
2qbf-5cnf-100var-600cl.1	FAIL	12.21
3qbf-5cnf-100var-1800cl.2	FAIL	12.22
4qbf-5cnf-150var-2100cl.2	FAIL	12.24
2qbf-5cnf-100var-1800cl.2	FAIL	12.24
cf_3_5x4_r_	FAIL	12.26
3qbf-5cnf-150var-1200cl.1	FAIL	12.3
3qbf-5cnf-100var-1800cl.1	FAIL	12.31
2qbf-5cnf-50var-600cl.2	FAIL	12.31
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	12.32
adder-6-unsat	FAIL	12.33
5qbf-5cnf-150var-1800cl.2	FAIL	12.33
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	12.33
2qbf-5cnf-50var-300cl.1	FAIL	12.34
2qbf-5cnf-100var-1800cl.1	FAIL	12.34
3qbf-5cnf-150var-2100cl.1	FAIL	12.34
2qbf-5cnf-100var-600cl.2	FAIL	12.34
2qbf-5cnf-50var-900cl.1	FAIL	12.36
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	12.38
3qbf-5cnf-50var-900cl.2	FAIL	12.39
2qbf-5cnf-50var-900cl.2	FAIL	12.39
5qbf-5cnf-100var-1400cl.2	FAIL	12.39
4qbf-5cnf-150var-2100cl.1	FAIL	12.4
2qbf-5cnf-50var-300cl.2	FAIL	12.41
k_branch_n-6	FAIL	12.42
3qbf-5cnf-150var-2100cl.2	FAIL	12.46
MB2qbf-5cnf-100var-1400cl.1	FAIL	12.47
uclid-pipe3b	FAIL	12.48
MB2qbf-5cnf-100var-1400cl.2	FAIL	12.5
4qbf-5cnf-50var-700cl.2	FAIL	12.56
5qbf-5cnf-150var-2400cl.2	FAIL	12.6
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	12.62
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	12.65
szymanski-22-s	FAIL	12.65
3qbf-5cnf-50var-600cl.2	FAIL	12.66
5qbf-5cnf-150var-2400cl.1	FAIL	12.79
3qbf-5cnf-100var-1200cl.1	FAIL	12.82
adder-4-unsat	FAIL	12.84
5qbf-5cnf-50var-800cl.1	FAIL	12.85
MB3qbf-5cnf-100var-1200cl.2	UNSAT	12.87
4qbf-5cnf-100var-1400cl.2	FAIL	12.9
MB2qbf-5cnf-50var-700cl.2	FAIL	12.93
k_branch_n-9	FAIL	12.93
3qbf-5cnf-50var-700cl.2	FAIL	12.93
MB2qbf-5cnf-50var-700cl.1	FAIL	12.95
MB4qbf-5cnf-150var-2400cl.2	FAIL	13.01
3qbf-5cnf-50var-700cl.1	FAIL	13.02
3qbf-5cnf-150var-900cl.1	FAIL	13.02
4qbf-5cnf-100var-1400cl.1	FAIL	13.03
5qbf-5cnf-50var-800cl.2	FAIL	13.04
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	13.05
3qbf-5cnf-100var-600cl.2	FAIL	13.09
MB4qbf-5cnf-150var-2100cl.2	FAIL	13.1
test1_quant3	FAIL	13.12
2qbf-5cnf-50var-700cl.2	FAIL	13.13
4qbf-5cnf-150var-1200cl.2	FAIL	13.13
2qbf-5cnf-50var-700cl.1	FAIL	13.13
3qbf-5cnf-150var-1200cl.2	FAIL	13.2
MB4qbf-5cnf-150var-2700cl.2	FAIL	13.2
2qbf-5cnf-150var-2400cl.2	FAIL	13.22
4qbf-5cnf-150var-2400cl.1	FAIL	13.23
4qbf-5cnf-150var-2400cl.2	FAIL	13.23
2qbf-5cnf-150var-2400cl.1	FAIL	13.28
MB4qbf-5cnf-150var-2700cl.1	FAIL	13.28
5qbf-5cnf-150var-1200cl.1	FAIL	13.3
cnt16re	FAIL	13.32
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	13.33
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	13.35
3qbf-5cnf-50var-500cl.2	FAIL	13.39
adder-8-unsat	FAIL	13.4
3qbf-5cnf-100var-1400cl.1	FAIL	13.4
k_grz_n-12	SAT	13.41
MB2qbf-5cnf-50var-900cl.2	FAIL	13.44
MB2qbf-5cnf-100var-600cl.2	FAIL	13.47
3qbf-5cnf-150var-2400cl.2	FAIL	13.49
3qbf-5cnf-150var-2400cl.1	FAIL	13.51
5qbf-5cnf-100var-1600cl.2	FAIL	13.53
MB2qbf-5cnf-100var-600cl.1	FAIL	13.53
3qbf-5cnf-150var-900cl.2	FAIL	13.54
5qbf-5cnf-100var-1600cl.1	FAIL	13.57
5qbf-5cnf-50var-700cl.2	FAIL	13.57
MB2qbf-5cnf-100var-400cl.1	FAIL	13.59
4qbf-5cnf-50var-800cl.2	FAIL	13.62
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	13.64
MB2qbf-5cnf-50var-800cl.1	FAIL	13.67
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	13.68
MB2qbf-5cnf-100var-400cl.2	FAIL	13.7
5qbf-5cnf-100var-1200cl.2	FAIL	13.72
5qbf-5cnf-50var-900cl.2	FAIL	13.73
5qbf-5cnf-150var-2700cl.2	FAIL	13.73
5qbf-5cnf-50var-900cl.1	FAIL	13.74
test2_quant_squaring3	FAIL	13.74
MB2qbf-5cnf-50var-800cl.2	FAIL	13.76
5qbf-5cnf-150var-2700cl.1	FAIL	13.8
4qbf-5cnf-50var-800cl.1	FAIL	13.8
4qbf-5cnf-50var-500cl.2	FAIL	13.8
k_d4_p-19	FAIL	13.81
3qbf-5cnf-50var-800cl.2	FAIL	13.93
3qbf-5cnf-50var-800cl.1	FAIL	13.93
MB4qbf-5cnf-150var-1800cl.2	FAIL	13.95
MB3qbf-5cnf-150var-2700cl.2	FAIL	14.06
2qbf-5cnf-50var-200cl.1	FAIL	14.09
uclid-pipe2	FAIL	14.11
5qbf-5cnf-50var-600cl.1	FAIL	14.15
MB2qbf-5cnf-150var-600cl.1	FAIL	14.15
4qbf-5cnf-50var-700cl.1	FAIL	14.16
MB3qbf-5cnf-150var-2400cl.2	FAIL	14.17
2qbf-5cnf-50var-800cl.2	FAIL	14.22
C880.blif_0.10_0.20_0_1_out_exact	FAIL	14.25
MB5qbf-5cnf-150var-2700cl.1	FAIL	14.25
2qbf-5cnf-50var-800cl.1	FAIL	14.26
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	14.29
C880.blif_0.10_0.20_0_0_out_exact	FAIL	14.3
test2_quant3	FAIL	14.32
MB4qbf-5cnf-50var-900cl.1	FAIL	14.33
4qbf-5cnf-150var-2700cl.2	FAIL	14.34
MB2qbf-5cnf-150var-600cl.2	FAIL	14.35
4qbf-5cnf-150var-2700cl.1	FAIL	14.37
MB2qbf-5cnf-50var-900cl.1	FAIL	14.6
k_grz_n-13	SAT	14.68
3qbf-5cnf-150var-2700cl.1	FAIL	14.78
k_d4_p-16	FAIL	14.79
3qbf-5cnf-150var-2700cl.2	FAIL	14.8
4qbf-5cnf-50var-300cl.1	FAIL	14.82
5qbf-5cnf-100var-1400cl.1	FAIL	14.82
k_d4_p-17	FAIL	14.87
szymanski-10-s	FAIL	14.91
k_d4_p-14	FAIL	14.94
k_d4_p-13	FAIL	14.94
cf_2_5x4_r_	FAIL	15.12
3qbf-5cnf-150var-600cl.2	FAIL	15.21
4qbf-5cnf-50var-600cl.1	FAIL	15.24
C499.blif_0.10_0.20_0_0_out_exact	FAIL	15.37
5qbf-5cnf-100var-1200cl.1	FAIL	15.39
4qbf-5cnf-150var-900cl.2	FAIL	15.42
k_t4p_p-10	UNSAT	15.46
k_dum_p-16	FAIL	15.48
MB3qbf-5cnf-150var-1800cl.2	FAIL	15.58
MB3qbf-5cnf-150var-2100cl.2	FAIL	15.64
MB4qbf-5cnf-100var-1000cl.2	FAIL	15.67
MB4qbf-5cnf-150var-1800cl.1	FAIL	15.71
5qbf-5cnf-50var-500cl.2	FAIL	15.74
MB2qbf-5cnf-50var-300cl.1	FAIL	15.84
MB5qbf-5cnf-150var-2400cl.1	FAIL	15.93
MB5qbf-5cnf-150var-2700cl.2	FAIL	16.04
4qbf-5cnf-100var-1200cl.2	FAIL	16.07
cf_2_8x3_r_	FAIL	16.1
4qbf-5cnf-50var-300cl.2	FAIL	16.11
MB2qbf-5cnf-50var-400cl.1	FAIL	16.15
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	16.23
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	16.33
cf_6_6x6_r_	FAIL	16.44
test2_quant_squaring2	FAIL	16.58
k_branch_p-13	FAIL	16.71
cf_5_6x9_r_	FAIL	16.71
MB2qbf-5cnf-50var-400cl.2	FAIL	16.77
MB2qbf-5cnf-50var-300cl.2	FAIL	16.83
cf_7_9x7_r_	FAIL	16.89
cf_2_4x8_r_	FAIL	16.94
test2_quant2	FAIL	16.95
Adder2-16-c	FAIL	16.97
C499.blif_0.10_0.20_0_1_out_exact	FAIL	16.99
5qbf-5cnf-50var-700cl.1	FAIL	17.04
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	17.22
MB4qbf-5cnf-100var-1400cl.2	FAIL	17.4
MB4qbf-5cnf-100var-1000cl.1	FAIL	17.44
5qbf-5cnf-50var-500cl.1	FAIL	17.52
MB4qbf-5cnf-150var-2400cl.1	FAIL	17.55
5qbf-5cnf-100var-1000cl.1	FAIL	17.56
lognBWLARGEB1	UNSAT	17.6
k_branch_n-14	FAIL	17.65
k_branch_p-14	FAIL	17.7
k_t4p_p-18	FAIL	17.78
3qbf-5cnf-100var-600cl.1	FAIL	17.91
k_dum_p-20	FAIL	18.02
5qbf-5cnf-50var-600cl.2	FAIL	18.07
k_branch_n-20	FAIL	18.07
k_branch_p-19	FAIL	18.09
k_branch_p-15	FAIL	18.29
mutex-16-s	FAIL	18.31
k_branch_n-15	FAIL	18.45
5qbf-5cnf-150var-1500cl.1	FAIL	18.51
4qbf-5cnf-50var-400cl.1	FAIL	18.57
k_branch_n-16	FAIL	18.81
cf_8_9x9_r_	FAIL	18.92
k_branch_p-16	FAIL	19.07
cf_6_8x8_r_	FAIL	19.31
MB5qbf-5cnf-100var-1600cl.2	FAIL	19.68
k_d4_n-6	FAIL	19.85
k_d4_n-9	FAIL	19.88
k_d4_n-14	FAIL	19.91
k_d4_n-8	FAIL	19.92
k_d4_n-12	FAIL	19.95
k_d4_n-16	FAIL	19.95
k_d4_n-15	FAIL	19.98
k_d4_n-13	FAIL	20
4qbf-5cnf-100var-600cl.2	FAIL	20.26
k_t4p_p-16	FAIL	20.4
cf_8_8x8_r_	FAIL	20.4
k_t4p_p-12	FAIL	20.64
cf_6_8x6_r_	FAIL	20.74
term1.blif_0.10_0.20_0_1_out_exact	SAT	20.78
4qbf-5cnf-50var-400cl.2	FAIL	20.96
3qbf-5cnf-150var-600cl.1	FAIL	20.97
cf_6_6x9_r_	FAIL	21.07
MB5qbf-5cnf-150var-1800cl.1	FAIL	21.23
4qbf-5cnf-50var-500cl.1	FAIL	21.27
MB4qbf-5cnf-100var-1600cl.2	FAIL	21.39
MB4qbf-5cnf-100var-1600cl.1	FAIL	22.09
5qbf-5cnf-100var-1000cl.2	FAIL	22.15
MB4qbf-5cnf-100var-1400cl.1	FAIL	22.31
MB3qbf-5cnf-150var-2100cl.1	FAIL	22.33
cf_8_8x9_r_	FAIL	22.52
robots_1_5_2_42.7	FAIL	22.53
robots_1_5_2_72.7	FAIL	22.69
MB4qbf-5cnf-100var-1200cl.1	FAIL	23.08
4qbf-5cnf-100var-600cl.1	FAIL	23.25
cf_2_8x5_r_	FAIL	23.33
test5_quant7	FAIL	23.55
5qbf-5cnf-100var-800cl.2	FAIL	23.59
robots_1_5_5_34.6	FAIL	23.59
robots_1_5_3_84.7	FAIL	23.67
4qbf-5cnf-150var-900cl.1	FAIL	23.67
robots_1_5_3_18.7	FAIL	23.7
k_t4p_n-13	FAIL	23.74
MB3qbf-5cnf-150var-1800cl.1	FAIL	23.76
MB5qbf-5cnf-100var-1600cl.1	FAIL	23.95
robots_1_5_3_16.7	FAIL	24.19
5qbf-5cnf-150var-1200cl.2	FAIL	24.45
3qbf-5cnf-50var-500cl.1	FAIL	24.76
MB5qbf-5cnf-150var-2400cl.2	FAIL	24.82
BLOCKS4ii.6.3	UNSAT	24.96
k_t4p_n-14	FAIL	26.1
MB4qbf-5cnf-150var-1200cl.2	FAIL	26.53
toilet_a_10_01.15	UNSAT	26.75
5qbf-5cnf-100var-800cl.1	FAIL	26.96
adder-6-sat	SAT	27.12
5qbf-5cnf-150var-900cl.1	FAIL	27.19
5qbf-5cnf-100var-600cl.2	FAIL	27.23
k_grz_p-14	UNSAT	27.76
test4_quant4	FAIL	28.02
MB4qbf-5cnf-150var-1200cl.1	FAIL	28.03
MB5qbf-5cnf-150var-1800cl.2	FAIL	28.09
5qbf-5cnf-150var-1500cl.2	FAIL	28.21
5qbf-5cnf-150var-900cl.2	FAIL	28.25
MB5qbf-5cnf-100var-1800cl.2	FAIL	28.33
test3_quant_squaring4	FAIL	28.35
k_t4p_n-18	FAIL	29.24
MB3qbf-5cnf-100var-1400cl.1	UNSAT	29.68
MB3qbf-5cnf-150var-900cl.1	UNSAT	29.71
3qbf-5cnf-50var-400cl.1	FAIL	29.84
MB4qbf-5cnf-150var-900cl.1	FAIL	29.99
robots_1_5_3_62.4	FAIL	30.21
3qbf-5cnf-50var-400cl.2	FAIL	30.67
MB3qbf-5cnf-150var-1200cl.1	FAIL	30.73
k_t4p_n-17	FAIL	30.79
MB5qbf-5cnf-100var-1800cl.1	FAIL	31.26
C880.blif_0.10_1.00_0_1_out_exact	FAIL	32.14
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	32.33
4qbf-5cnf-150var-1200cl.1	FAIL	32.37
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	32.5
C880.blif_0.10_1.00_0_0_out_exact	FAIL	32.52
test4_quant_squaring4	FAIL	32.56
4qbf-5cnf-150var-600cl.2	FAIL	32.67
MB3qbf-5cnf-100var-1400cl.2	FAIL	33.31
k_grz_p-16	UNSAT	33.34
k_grz_n-16	SAT	33.47
MB4qbf-5cnf-100var-1200cl.2	FAIL	33.66
test5_quant5	FAIL	34
cf_9_9x9_r_	FAIL	34.19
robots_1_5_3_15.6	FAIL	34.53
MB3qbf-5cnf-150var-1500cl.2	UNSAT	34.55
test5_quant_squaring4	FAIL	34.86
k_grz_p-17	UNSAT	35.41
k_grz_n-17	SAT	35.68
robots_1_5_2_3.5	FAIL	35.73
test5_quant_squaring5	FAIL	35.76
2qbf-5cnf-50var-200cl.2	FAIL	35.94
BLOCKS4i.6.4	UNSAT	37.35
robots_1_5_5_55.6	FAIL	37.36
MB4qbf-5cnf-100var-400cl.1	UNSAT	38.1
k_grz_p-19	FAIL	38.16
MB5qbf-5cnf-150var-2100cl.1	FAIL	39.37
robots_1_5_5_75.3	SAT	39.42
k_grz_n-18	FAIL	39.46
3qbf-5cnf-100var-400cl.1	FAIL	39.64
MB4qbf-5cnf-50var-800cl.2	FAIL	40.08
robots_1_5_3_80.4	FAIL	40.68
term1.blif_0.10_0.20_0_1_inp_exact	SAT	41.81
MB3qbf-5cnf-100var-1600cl.1	FAIL	42.17
robots_1_5_2_61.6	FAIL	42.46
3qbf-5cnf-100var-400cl.2	FAIL	43.36
MB4qbf-5cnf-50var-700cl.2	FAIL	43.52
MB5qbf-5cnf-100var-1400cl.2	FAIL	44.69
MB4qbf-5cnf-50var-700cl.1	FAIL	44.89
k_t4p_n-19	FAIL	46.26
MB4qbf-5cnf-100var-800cl.2	FAIL	46.67
MB5qbf-5cnf-100var-1200cl.1	FAIL	47.62
C5315.blif_0.10_1.00_0_0_out_exact	UNSAT	49.18
MB4qbf-5cnf-150var-1500cl.1	FAIL	50.27
robots_1_5_5_18.5	FAIL	50.66
robots_1_5_5_59.5	FAIL	50.68
robots_1_5_4_85.5	FAIL	51.28
MB3qbf-5cnf-150var-1500cl.1	FAIL	51.41
MB4qbf-5cnf-150var-1500cl.2	FAIL	51.46
3qbf-5cnf-50var-300cl.1	FAIL	51.82
robots_1_5_2_69.4	FAIL	53.65
MB5qbf-5cnf-150var-2100cl.2	FAIL	55.55
5qbf-5cnf-100var-600cl.1	FAIL	55.65
BLOCKS4ii.7.2	UNSAT	57.59
s499_d4_s	SAT	58.77
k_t4p_p-15	UNSAT	59.81
MB5qbf-5cnf-100var-1200cl.2	FAIL	60.34
robots_1_5_4_91.4	FAIL	68.23
MB4qbf-5cnf-50var-900cl.2	FAIL	68.28
k_lin_n-6	SAT	68.56
MB5qbf-5cnf-100var-1000cl.1	UNSAT	70.47
MB5qbf-5cnf-50var-800cl.2	FAIL	72.44
4qbf-5cnf-100var-400cl.1	FAIL	74.07
MB5qbf-5cnf-150var-1500cl.2	FAIL	74.55
MB5qbf-5cnf-150var-1200cl.2	FAIL	74.6
k_t4p_p-19	FAIL	76.72
MB4qbf-5cnf-100var-600cl.2	FAIL	76.86
Adder2-12-s	FAIL	78.13
MB4qbf-5cnf-50var-800cl.1	FAIL	78.93
MB5qbf-5cnf-50var-900cl.2	FAIL	79.48
MB4qbf-5cnf-150var-900cl.2	FAIL	83.16
MB4qbf-5cnf-50var-600cl.1	FAIL	83.26
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	85.29
5qbf-5cnf-50var-400cl.2	FAIL	87.74
MB5qbf-5cnf-50var-900cl.1	FAIL	89.73
4qbf-5cnf-150var-600cl.1	FAIL	91.16
MB4qbf-5cnf-50var-600cl.2	FAIL	92.99
MB4qbf-5cnf-100var-800cl.1	FAIL	93
5qbf-5cnf-50var-300cl.1	FAIL	94.81
3qbf-5cnf-50var-300cl.2	FAIL	98.23
5qbf-5cnf-50var-400cl.1	FAIL	100.72
k_t4p_n-15	FAIL	103.88
MB4qbf-5cnf-100var-600cl.1	FAIL	109.23
TOILET16.1.iv.32	SAT	109.69
4qbf-5cnf-50var-200cl.2	FAIL	114.28
4qbf-5cnf-100var-400cl.2	FAIL	119.97
MB4qbf-5cnf-50var-500cl.1	FAIL	141.27
4qbf-5cnf-50var-200cl.1	FAIL	142.47
MB4qbf-5cnf-50var-400cl.2	FAIL	150.62
TOILET10.1.iv.20	SAT	150.75
s3330_d2_s	SAT	154.87
MB4qbf-5cnf-50var-500cl.2	FAIL	174.93
MB5qbf-5cnf-50var-600cl.2	FAIL	184.85
MB4qbf-5cnf-150var-600cl.1	FAIL	194.76
5qbf-5cnf-50var-300cl.2	FAIL	212.01
k_lin_n-7	SAT	227.38
MB4qbf-5cnf-150var-600cl.2	FAIL	253.05
MB5qbf-5cnf-150var-1200cl.1	FAIL	258.89
s713_d2_s	SAT	287.14
s641_d2_s	SAT	350.81
s386_d3_s	FAIL	391.15
MB4qbf-5cnf-50var-300cl.2	FAIL	399.41
s1269_d2_s	FAIL	434.65
s298_d5_s	SAT	452.96
MB4qbf-5cnf-50var-300cl.1	FAIL	476.21
MB4qbf-5cnf-100var-400cl.2	FAIL	523.33
MB4qbf-5cnf-50var-400cl.1	FAIL	548.95
C432.blif_0.10_0.20_0_0_out_exact	UNSAT	588.53
3qbf-5cnf-50var-200cl.1	FAIL	608.28
C432.blif_0.10_0.20_0_1_out_exact	UNSAT	657.69
MB5qbf-5cnf-100var-800cl.1	FAIL	665.15
MB5qbf-5cnf-50var-500cl.2	FAIL	685.81
s820_d12_u	FAIL	901
s1196_d6_u	FAIL	901
cnt09e	FAIL	901
s641_d10_u	FAIL	901
cnt12e	FAIL	901
s641_d7_u	FAIL	901
s1196_d3_u	FAIL	901
s641_d6_s	FAIL	901
s298_d16_s	FAIL	901
s298_d8_s	FAIL	901
s713_d6_s	FAIL	901
s1269_d9_s	FAIL	901
s1269_d15_u	FAIL	901
s3330_d10_u	FAIL	901
s298_d17_s	FAIL	901
s1269_d5_s	FAIL	901
s298_d10_s	FAIL	901
s713_d7_u	FAIL	901
s820_d9_s	FAIL	901
k_ph_p-20	FAIL	901
s510_d48_u	FAIL	901
s510_d46_s	FAIL	901
k_ph_n-15	FAIL	901
s1196_d7_u	FAIL	901
s510_d13_s	FAIL	901
s499_d18_s	FAIL	901
s499_d10_s	FAIL	901
s820_d11_u	FAIL	901
s499_d7_s	FAIL	901
s386_d10_u	FAIL	901
s820_d8_s	FAIL	901
s1269_d10_s	FAIL	901
s3330_d3_s	FAIL	901
s3330_d13_u	FAIL	901
s510_d49_u	FAIL	901
s820_d4_s	FAIL	901
k_ph_p-15	FAIL	901
s3330_d8_s	FAIL	901
s298_d19_u	FAIL	901
k_ph_p-17	FAIL	901
s510_d51_u	FAIL	901
s510_d12_s	FAIL	901
s510_d42_s	FAIL	901.01
s1196_d5_u	FAIL	901.01
k_ph_n-21	FAIL	901.01
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	901.01
k_ph_p-14	FAIL	901.01
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
MB5qbf-5cnf-100var-800cl.2	FAIL	901.01
s1196_d4_u	FAIL	901.01
k_ph_p-19	FAIL	901.01
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
s1269_d6_s	FAIL	901.01
s713_d9_u	FAIL	901.01
s713_d8_u	FAIL	901.01
s641_d5_s	FAIL	901.01
s641_d8_u	FAIL	901.01
s3330_d12_u	FAIL	901.01
s1269_d4_s	FAIL	901.01
s713_d4_s	FAIL	901.01
s510_d31_s	FAIL	901.01
s499_d19_s	FAIL	901.01
s499_d14_s	FAIL	901.01
s386_d12_u	FAIL	901.01
s386_d9_u	FAIL	901.01
s713_d10_u	FAIL	901.01
s3330_d6_s	FAIL	901.01
s641_d11_u	FAIL	901.01
s820_d5_s	FAIL	901.01
s298_d14_s	FAIL	901.01
s3330_d4_s	FAIL	901.01
s386_d7_s	FAIL	901.01
cnt09re	FAIL	901.01
s820_d14_u	FAIL	901.01
s298_d21_u	FAIL	901.01
term1.blif_0.10_0.20_0_0_out_exact	FAIL	901.01
s1269_d3_s	FAIL	901.02
k_lin_n-14	FAIL	901.02
k_lin_n-15	FAIL	901.02
s820_d3_s	FAIL	901.02
adder-10-sat	FAIL	901.02
test3_quant_squaring2	FAIL	901.02
s386_d8_u	FAIL	901.02
s641_d3_s	FAIL	901.02
s713_d3_s	FAIL	901.02
s1196_d2_s	FAIL	901.02
3qbf-5cnf-50var-200cl.2	FAIL	901.02
k_lin_n-19	FAIL	901.03
s386_d5_s	FAIL	901.03
test3_quant2	FAIL	901.03
s386_d4_s	FAIL	901.03

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QUANTOR
QBFEVAL'04

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QUANTOR QBFEVAL'04

Instances solved by QUANTOR
QBFEVAL'04