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

Instances solved by QUBE-LRN
QBFEVAL'04

Instance	Result	Time
k_ph_n-1	SAT	0.96
impl14	SAT	0.96
k_ph_n-4	SAT	0.96
TOILET2.1.iv.3	UNSAT	0.96
tree-exa2-45	UNSAT	0.96
5qbf-5cnf-100var-400cl.2	SAT	0.97
5qbf-5cnf-100var-600cl.1	SAT	0.97
cnt02e	SAT	0.97
toilet_a_06_05.2	UNSAT	0.97
4qbf-5cnf-150var-300cl.2	SAT	0.97
k_branch_n-1	SAT	0.97
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.97
toilet_g_06_01.2	SAT	0.97
4qbf-5cnf-150var-300cl.1	SAT	0.97
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.97
Adder2-2-c	UNSAT	0.97
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.97
TOILET2.1.iv.4	SAT	0.97
4qbf-5cnf-50var-100cl.1	SAT	0.97
impl18	SAT	0.97
3qbf-5cnf-100var-600cl.2	SAT	0.97
3qbf-5cnf-100var-600cl.1	SAT	0.97
4qbf-5cnf-50var-700cl.2	UNSAT	0.97
4qbf-5cnf-50var-800cl.1	UNSAT	0.97
lognBWLARGEA0	UNSAT	0.97
impl08	SAT	0.97
cnt02	SAT	0.97
3qbf-5cnf-150var-300cl.2	SAT	0.97
tree-exa2-25	UNSAT	0.97
k_lin_p-1	UNSAT	0.97
impl12	SAT	0.97
tree-exa2-30	UNSAT	0.97
5qbf-5cnf-100var-200cl.1	SAT	0.97
2qbf-5cnf-50var-900cl.1	UNSAT	0.97
mutex-2-s	SAT	0.97
2qbf-5cnf-50var-100cl.2	SAT	0.97
5qbf-5cnf-50var-200cl.1	SAT	0.97
2qbf-5cnf-50var-100cl.1	SAT	0.97
5qbf-5cnf-50var-300cl.1	SAT	0.97
toilet_g_15_01.2	SAT	0.97
toilet_a_06_01.5	UNSAT	0.97
k_ph_n-3	SAT	0.97
tree-exa2-15	UNSAT	0.97
4qbf-5cnf-100var-200cl.1	SAT	0.97
5qbf-5cnf-100var-400cl.1	SAT	0.97
toilet_c_10_01.3	UNSAT	0.97
5qbf-5cnf-50var-100cl.1	SAT	0.97
tree-exa2-40	UNSAT	0.97
5qbf-5cnf-150var-300cl.1	SAT	0.97
k_ph_p-4	UNSAT	0.97
impl16	SAT	0.97
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.97
5qbf-5cnf-150var-600cl.1	SAT	0.97
2qbf-5cnf-100var-1600cl.2	UNSAT	0.97
5qbf-5cnf-150var-600cl.2	SAT	0.97
3qbf-5cnf-50var-400cl.2	SAT	0.97
2qbf-5cnf-50var-600cl.2	UNSAT	0.97
tree-exa2-35	UNSAT	0.97
lognBWLARGEB0	UNSAT	0.98
4qbf-5cnf-100var-1800cl.2	UNSAT	0.98
3qbf-5cnf-50var-200cl.1	SAT	0.98
3qbf-5cnf-50var-900cl.2	UNSAT	0.98
3qbf-5cnf-150var-600cl.1	SAT	0.98
3qbf-5cnf-50var-200cl.2	SAT	0.98
3qbf-5cnf-50var-300cl.1	SAT	0.98
3qbf-5cnf-50var-100cl.2	SAT	0.98
3qbf-5cnf-150var-900cl.2	SAT	0.98
toilet_g_20_01.2	SAT	0.98
3qbf-5cnf-150var-900cl.1	SAT	0.98
3qbf-5cnf-150var-600cl.2	SAT	0.98
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.98
3qbf-5cnf-100var-800cl.2	SAT	0.98
k_dum_p-1	UNSAT	0.98
2qbf-5cnf-50var-800cl.1	UNSAT	0.98
2qbf-5cnf-50var-700cl.2	UNSAT	0.98
impl06	SAT	0.98
2qbf-5cnf-50var-600cl.1	UNSAT	0.98
toilet_g_04_01.2	SAT	0.98
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.98
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.98
toilet_c_06_01.9	UNSAT	0.98
toilet_c_04_01.6	UNSAT	0.98
toilet_c_06_05.4	SAT	0.98
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.98
2qbf-5cnf-100var-1400cl.1	UNSAT	0.98
2qbf-5cnf-50var-800cl.2	UNSAT	0.98
toilet_g_08_01.2	SAT	0.98
toilet_g_10_01.2	SAT	0.98
k_dum_n-1	SAT	0.98
3qbf-5cnf-100var-400cl.2	SAT	0.98
3qbf-5cnf-100var-400cl.1	SAT	0.98
3qbf-5cnf-100var-200cl.2	SAT	0.98
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.98
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.98
3qbf-5cnf-100var-200cl.1	SAT	0.98
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.98
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.98
2qbf-5cnf-150var-2400cl.1	UNSAT	0.98
impl02	SAT	0.98
toilet_g_02_01.2	SAT	0.98
toilet_a_08_01.3	UNSAT	0.98
4qbf-5cnf-50var-500cl.2	UNSAT	0.98
5qbf-5cnf-100var-600cl.2	SAT	0.98
5qbf-5cnf-150var-1200cl.1	SAT	0.98
flipflop-5-c	UNSAT	0.98
k_path_n-1	SAT	0.98
k_poly_n-1	SAT	0.98
5qbf-5cnf-150var-300cl.2	SAT	0.98
k_ph_p-3	UNSAT	0.98
5qbf-5cnf-150var-900cl.1	SAT	0.98
k_lin_n-1	SAT	0.98
4qbf-5cnf-50var-100cl.2	SAT	0.98
5qbf-5cnf-100var-200cl.2	SAT	0.98
4qbf-5cnf-50var-600cl.1	UNSAT	0.98
4qbf-5cnf-50var-600cl.2	UNSAT	0.98
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.98
4qbf-5cnf-50var-900cl.1	UNSAT	0.98
4qbf-5cnf-50var-900cl.2	UNSAT	0.98
k_lin_p-5	UNSAT	0.98
k_lin_p-6	UNSAT	0.98
5qbf-5cnf-150var-900cl.2	SAT	0.98
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.98
3qbf-5cnf-150var-300cl.1	SAT	0.98
4qbf-5cnf-100var-200cl.2	SAT	0.98
4qbf-5cnf-50var-800cl.2	UNSAT	0.98
comp.blif_0.10_0.20_0_1_inp_exact	SAT	0.98
5qbf-5cnf-50var-400cl.2	SAT	0.98
5qbf-5cnf-50var-400cl.1	SAT	0.98
5qbf-5cnf-50var-300cl.2	SAT	0.98
k_path_p-3	UNSAT	0.98
5qbf-5cnf-50var-100cl.2	SAT	0.98
5qbf-5cnf-50var-200cl.2	SAT	0.98
impl20	SAT	0.98
2qbf-5cnf-100var-1800cl.1	UNSAT	0.99
k_ph_n-6	SAT	0.99
4qbf-5cnf-50var-700cl.1	UNSAT	0.99
2qbf-5cnf-100var-1400cl.2	UNSAT	0.99
k_lin_p-11	UNSAT	0.99
2qbf-5cnf-100var-200cl.1	SAT	0.99
2qbf-5cnf-100var-1600cl.1	UNSAT	0.99
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.99
mutex-4-s	SAT	0.99
2qbf-5cnf-50var-200cl.2	UNSAT	0.99
2qbf-5cnf-50var-700cl.1	UNSAT	0.99
3qbf-5cnf-50var-800cl.2	UNSAT	0.99
k_path_p-2	UNSAT	0.99
2qbf-5cnf-50var-900cl.2	UNSAT	0.99
toilet_c_10_01.9	UNSAT	0.99
2qbf-5cnf-150var-2700cl.1	UNSAT	0.99
robots_1_5_2_64.1	SAT	0.99
2qbf-5cnf-150var-2700cl.2	UNSAT	0.99
robots_1_5_2_38.1	SAT	0.99
2qbf-5cnf-50var-500cl.1	UNSAT	0.99
robots_1_5_4_78.1	SAT	0.99
flipflop-4-c	UNSAT	0.99
4qbf-5cnf-100var-1000cl.1	UNSAT	0.99
4qbf-5cnf-50var-200cl.1	SAT	0.99
3qbf-5cnf-50var-100cl.1	SAT	0.99
k_lin_n-2	SAT	0.99
3qbf-5cnf-50var-800cl.1	UNSAT	0.99
4qbf-5cnf-100var-400cl.1	UNSAT	0.99
3qbf-5cnf-50var-300cl.2	SAT	0.99
4qbf-5cnf-100var-1800cl.1	UNSAT	0.99
4qbf-5cnf-100var-1600cl.1	UNSAT	1
3qbf-5cnf-50var-900cl.1	UNSAT	1
3qbf-5cnf-50var-400cl.1	SAT	1
2qbf-5cnf-50var-500cl.2	UNSAT	1
szymanski-4-s	UNSAT	1
robots_1_5_2_93.1	SAT	1
5qbf-5cnf-150var-1200cl.2	SAT	1
4qbf-5cnf-150var-2100cl.1	UNSAT	1
term1.blif_0.10_1.00_0_1_out_exact	SAT	1
4qbf-5cnf-50var-400cl.2	UNSAT	1
5qbf-5cnf-50var-900cl.1	UNSAT	1
k_lin_p-8	UNSAT	1
4qbf-5cnf-100var-1600cl.2	UNSAT	1
4qbf-5cnf-100var-1400cl.2	UNSAT	1
2qbf-5cnf-100var-1800cl.2	UNSAT	1
robots_1_5_5_29.1	SAT	1
4qbf-5cnf-50var-200cl.2	SAT	1
5qbf-5cnf-50var-800cl.2	UNSAT	1
3qbf-5cnf-50var-700cl.2	UNSAT	1.01
TOILET6.1.iv.12	SAT	1.01
5qbf-5cnf-50var-600cl.2	UNSAT	1.01
5qbf-5cnf-50var-900cl.2	UNSAT	1.01
k_ph_n-7	SAT	1.01
5qbf-5cnf-50var-700cl.2	UNSAT	1.01
4qbf-5cnf-100var-1200cl.2	UNSAT	1.01
term1.blif_0.10_1.00_0_1_inp_exact	SAT	1.01
2qbf-5cnf-50var-200cl.1	UNSAT	1.01
4qbf-5cnf-50var-500cl.1	UNSAT	1.01
3qbf-5cnf-100var-1800cl.2	UNSAT	1.01
4qbf-5cnf-150var-2400cl.1	UNSAT	1.01
k_lin_p-15	UNSAT	1.01
4qbf-5cnf-100var-800cl.1	UNSAT	1.02
k_lin_p-10	UNSAT	1.02
cf_2_3x2_r_	SAT	1.02
2qbf-5cnf-150var-300cl.2	SAT	1.02
C499.blif_0.10_1.00_0_1_inp_exact	SAT	1.02
4qbf-5cnf-150var-2700cl.2	UNSAT	1.02
BLOCKS3iii.5	SAT	1.02
cf_2_2x3_w_	UNSAT	1.02
5qbf-5cnf-150var-2700cl.1	UNSAT	1.02
flipflop-7-c	UNSAT	1.02
3qbf-5cnf-50var-600cl.2	UNSAT	1.02
toilet_c_10_05.10	SAT	1.03
cf_4_5x4_d_	UNSAT	1.03
3qbf-5cnf-50var-700cl.1	UNSAT	1.03
4qbf-5cnf-100var-1400cl.1	UNSAT	1.03
4qbf-5cnf-50var-400cl.1	UNSAT	1.03
toilet_a_10_01.7	UNSAT	1.03
3qbf-5cnf-50var-600cl.1	UNSAT	1.03
BLOCKS3ii.4.3	UNSAT	1.03
4qbf-5cnf-150var-2700cl.1	UNSAT	1.04
5qbf-5cnf-50var-500cl.2	SAT	1.04
5qbf-5cnf-50var-800cl.1	UNSAT	1.04
k_ph_n-8	SAT	1.04
robots_1_5_4_73.2	SAT	1.04
robots_1_5_5_5.2	SAT	1.04
s3271_d2_s	UNSAT	1.05
4qbf-5cnf-150var-2400cl.2	UNSAT	1.05
4qbf-5cnf-150var-1800cl.1	UNSAT	1.05
szymanski-6-s	UNSAT	1.05
cf_4_5x5_d_	UNSAT	1.05
robots_1_5_4_21.2	SAT	1.06
s27_d2_s	SAT	1.06
4qbf-5cnf-50var-300cl.1	UNSAT	1.06
4qbf-5cnf-150var-1800cl.2	UNSAT	1.06
4qbf-5cnf-150var-2100cl.2	UNSAT	1.06
cf_5_6x5_w_	UNSAT	1.07
cnt06	SAT	1.07
cf_5_5x6_w_	UNSAT	1.07
cf_3_6x4_w_	UNSAT	1.07
3qbf-5cnf-100var-1200cl.1	UNSAT	1.07
3qbf-5cnf-100var-1800cl.1	UNSAT	1.07
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	1.07
5qbf-5cnf-50var-700cl.1	UNSAT	1.07
toilet_a_08_01.16	SAT	1.07
comp.blif_0.10_0.20_0_1_out_exact	SAT	1.08
tree-exa10-25	SAT	1.08
5qbf-5cnf-50var-600cl.1	SAT	1.08
k_lin_n-3	SAT	1.08
3qbf-5cnf-100var-1600cl.1	UNSAT	1.08
cf_6_6x6_d_	UNSAT	1.08
2qbf-5cnf-100var-200cl.2	SAT	1.08
toilet_a_10_05.3	UNSAT	1.08
robots_1_5_3_17.2	SAT	1.09
3qbf-5cnf-150var-2400cl.1	UNSAT	1.09
cf_4_5x6_w_	UNSAT	1.09
cf_5_5x7_d_	UNSAT	1.1
cf_5_7x5_d_	UNSAT	1.1
vonNeumann-ripple-carry-5-c	UNSAT	1.1
3qbf-5cnf-100var-1600cl.2	UNSAT	1.1
flipflop-8-c	UNSAT	1.1
robots_1_5_4_85.5	SAT	1.1
3qbf-5cnf-100var-1400cl.2	UNSAT	1.11
cf_4_6x5_d_	UNSAT	1.11
3qbf-5cnf-100var-1200cl.2	UNSAT	1.11
2qbf-5cnf-150var-300cl.1	SAT	1.11
2qbf-5cnf-150var-2100cl.2	UNSAT	1.12
cf_2_4x8_d_	UNSAT	1.12
cf_5_7x6_d_	UNSAT	1.12
2qbf-5cnf-100var-400cl.2	UNSAT	1.13
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	1.14
robots_1_5_2_3.5	SAT	1.14
4qbf-5cnf-100var-1000cl.2	UNSAT	1.14
cf_2_5x4_r_	SAT	1.14
term1.blif_0.10_0.20_0_1_inp_exact	SAT	1.14
3qbf-5cnf-100var-1000cl.1	UNSAT	1.15
s3271_d5_s	UNSAT	1.15
robots_1_5_5_55.6	SAT	1.15
5qbf-5cnf-100var-1600cl.1	UNSAT	1.16
cf_4_6x7_d_	UNSAT	1.16
cf_7_7x7_d_	UNSAT	1.16
cf_6_6x8_w_	UNSAT	1.17
5qbf-5cnf-100var-800cl.1	SAT	1.17
toilet_c_08_01.13	UNSAT	1.18
4qbf-5cnf-150var-600cl.2	UNSAT	1.18
4qbf-5cnf-100var-1200cl.1	UNSAT	1.19
robots_1_5_5_75.3	SAT	1.21
cf_7_8x7_d_	UNSAT	1.21
robots_1_5_2_72.7	SAT	1.22
2qbf-5cnf-150var-2400cl.2	UNSAT	1.23
C432.blif_0.10_0.20_0_1_inp_exact	SAT	1.23
5qbf-5cnf-100var-1800cl.1	UNSAT	1.23
3qbf-5cnf-50var-500cl.1	UNSAT	1.23
5qbf-5cnf-150var-1500cl.1	UNSAT	1.23
flipflop-3-c	UNSAT	1.24
cf_8_8x8_w_	UNSAT	1.24
cf_6_8x7_d_	UNSAT	1.24
vonNeumann-ripple-carry-7-c	UNSAT	1.26
3qbf-5cnf-150var-2700cl.2	UNSAT	1.27
5qbf-5cnf-100var-1400cl.2	UNSAT	1.27
5qbf-5cnf-100var-1800cl.2	UNSAT	1.27
cf_7_9x7_w_	UNSAT	1.27
4qbf-5cnf-150var-1500cl.2	UNSAT	1.28
cf_2_4x8_r_	SAT	1.28
2qbf-5cnf-100var-1200cl.1	UNSAT	1.28
flipflop-9-c	UNSAT	1.29
2qbf-5cnf-100var-400cl.1	UNSAT	1.29
2qbf-5cnf-150var-600cl.1	UNSAT	1.3
cf_7_8x8_w_	UNSAT	1.31
3qbf-5cnf-100var-1000cl.2	UNSAT	1.31
C880.blif_0.10_1.00_0_1_inp_exact	SAT	1.32
k_d4_p-3	UNSAT	1.32
k_dum_n-3	SAT	1.35
3qbf-5cnf-150var-1200cl.1	SAT	1.36
s3330_d13_u	FAIL	1.36
k_lin_p-18	UNSAT	1.37
3qbf-5cnf-100var-1400cl.1	UNSAT	1.37
5qbf-5cnf-100var-800cl.2	UNSAT	1.38
2qbf-5cnf-100var-1000cl.2	UNSAT	1.39
3qbf-5cnf-150var-2700cl.1	UNSAT	1.39
cf_7_9x8_w_	UNSAT	1.41
5qbf-5cnf-100var-1600cl.2	UNSAT	1.42
flipflop-10-c	UNSAT	1.44
k_path_n-3	SAT	1.45
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	1.47
5qbf-5cnf-50var-500cl.1	SAT	1.53
cnt04e	SAT	1.55
2qbf-5cnf-50var-400cl.2	UNSAT	1.55
k_t4p_p-1	UNSAT	1.56
k_branch_p-3	UNSAT	1.6
3qbf-5cnf-100var-800cl.1	SAT	1.61
5qbf-5cnf-150var-1500cl.2	UNSAT	1.63
5qbf-5cnf-150var-2100cl.1	UNSAT	1.67
toilet_c_10_05.4	SAT	1.71
flipflop-11-c	UNSAT	1.73
4qbf-5cnf-100var-600cl.1	UNSAT	1.76
cf_2_8x3_r_	SAT	1.77
5qbf-5cnf-150var-2700cl.2	UNSAT	1.78
BLOCKS3i.4.4	UNSAT	1.79
2qbf-5cnf-100var-1200cl.2	UNSAT	1.85
szymanski-10-s	UNSAT	1.86
CHAIN12v.13	SAT	1.87
k_grz_n-2	SAT	1.88
vonNeumann-ripple-carry-11-c	FAIL	1.92
5qbf-5cnf-150var-2400cl.1	UNSAT	2
5qbf-5cnf-150var-2400cl.2	UNSAT	2.04
3qbf-5cnf-150var-2400cl.2	UNSAT	2.08
k_poly_p-2	UNSAT	2.1
2qbf-5cnf-50var-400cl.1	UNSAT	2.15
cf_3_9x9_w_	FAIL	2.19
2qbf-5cnf-150var-1800cl.1	UNSAT	2.2
5qbf-5cnf-100var-1200cl.2	UNSAT	2.21
3qbf-5cnf-150var-2100cl.1	UNSAT	2.26
4qbf-5cnf-100var-800cl.2	UNSAT	2.27
robots_1_5_4_91.4	SAT	2.3
5qbf-5cnf-100var-1000cl.1	UNSAT	2.32
k_ph_p-7	UNSAT	2.33
2qbf-5cnf-150var-2100cl.1	UNSAT	2.44
3qbf-5cnf-150var-1800cl.1	UNSAT	2.46
5qbf-5cnf-100var-1400cl.1	UNSAT	2.48
5qbf-5cnf-100var-1200cl.1	UNSAT	2.48
s510_d49_u	FAIL	2.49
3qbf-5cnf-150var-1500cl.2	UNSAT	2.53
cf_8_9x9_w_	FAIL	2.63
2qbf-5cnf-150var-600cl.2	UNSAT	2.64
k_grz_n-3	SAT	2.71
cf_8_9x9_r_	FAIL	2.76
vonNeumann-ripple-carry-12-c	FAIL	2.81
s510_d46_s	FAIL	2.89
4qbf-5cnf-100var-400cl.2	UNSAT	2.9
s3271_d15_s	FAIL	2.9
cf_9_9x9_r_	FAIL	2.92
cf_9_9x9_w_	FAIL	2.96
szymanski-12-s	UNSAT	2.97
vonNeumann-ripple-carry-14-c	FAIL	3.05
robots_1_5_3_62.4	SAT	3.06
cf_3_7x9_w_	FAIL	3.07
vonNeumann-ripple-carry-13-c	FAIL	3.17
vonNeumann-ripple-carry-9-c	UNSAT	3.2
3qbf-5cnf-150var-2100cl.2	UNSAT	3.23
4qbf-5cnf-150var-600cl.1	UNSAT	3.25
cf_6_8x9_d_	FAIL	3.32
3qbf-5cnf-150var-1500cl.1	UNSAT	3.33
cf_9_9x9_d_	FAIL	3.34
s510_d42_s	FAIL	3.35
s3271_d22_u	FAIL	3.37
s510_d51_u	FAIL	3.41
robots_1_5_5_4.9	UNSAT	3.41
robots_1_5_3_80.4	SAT	3.42
cf_3_8x9_d_	FAIL	3.43
cf_3_9x5_r_	FAIL	3.43
3qbf-5cnf-50var-500cl.2	UNSAT	3.49
s3271_d19_u	FAIL	3.49
5qbf-5cnf-150var-2100cl.2	UNSAT	3.53
cf_5_6x9_r_	FAIL	3.59
robots_1_5_2_69.4	SAT	3.68
CHAIN13v.14	SAT	3.69
cf_8_8x9_w_	FAIL	3.75
cf_3_9x5_d_	FAIL	3.76
robots_1_5_4_87.8	UNSAT	3.78
toilet_a_10_01.15	UNSAT	3.79
s510_d48_u	FAIL	3.81
cf_8_8x9_r_	FAIL	3.92
4qbf-5cnf-150var-1500cl.1	UNSAT	3.93
cf_8_9x9_d_	FAIL	3.93
cf_7_7x9_d_	FAIL	3.94
cf_5_8x9_w_	FAIL	3.97
cf_8_8x9_d_	FAIL	3.98
cf_6_6x9_r_	FAIL	4.1
s3271_d12_s	UNSAT	4.11
s3271_d20_u	FAIL	4.12
cf_4_5x9_d_	FAIL	4.35
5qbf-5cnf-100var-1000cl.2	UNSAT	4.44
cf_7_9x9_d_	FAIL	4.67
cf_4_8x8_w_	FAIL	4.76
cf_2_9x5_w_	FAIL	4.77
BLOCKS3ii.5.3	SAT	4.78
szymanski-14-s	UNSAT	4.98
cf_2_8x5_r_	FAIL	5.08
cf_4_5x9_r_	FAIL	5.09
s3271_d18_u	FAIL	5.3
k_lin_n-6	SAT	5.37
cf_3_8x8_w_	FAIL	5.46
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	6.15
robots_1_5_2_42.7	UNSAT	6.42
vonNeumann-ripple-carry-10-c	UNSAT	6.55
C499.blif_0.10_0.20_0_1_inp_exact	SAT	6.84
3qbf-5cnf-150var-1800cl.2	UNSAT	7.38
4qbf-5cnf-50var-300cl.2	SAT	7.5
robots_1_5_4_31.8	UNSAT	7.71
szymanski-16-s	UNSAT	8.42
tree-exa10-30	SAT	8.69
k_lin_n-7	SAT	9.27
k_dum_n-4	SAT	9.35
CHAIN14v.15	SAT	9.76
3qbf-5cnf-150var-1200cl.2	UNSAT	10.84
k_dum_p-6	UNSAT	10.87
4qbf-5cnf-150var-900cl.1	UNSAT	11.12
robots_1_5_3_18.7	UNSAT	11.54
robots_1_5_2_61.6	UNSAT	13.57
szymanski-18-s	UNSAT	13.82
TOILET6.1.iv.11	UNSAT	14.88
robots_1_5_5_59.5	UNSAT	16.6
robots_1_5_5_18.5	UNSAT	16.61
robots_1_5_3_27.9	UNSAT	16.69
5qbf-5cnf-150var-1800cl.1	UNSAT	17.41
k_ph_n-15	SAT	18.19
k_grz_p-3	UNSAT	19.5
lognBWLARGEA1	UNSAT	20.74
k_path_n-4	SAT	22.79
k_grz_p-4	UNSAT	23.49
2qbf-5cnf-100var-600cl.2	UNSAT	23.81
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	26.99
4qbf-5cnf-150var-1200cl.2	UNSAT	30.32
C432.blif_0.10_1.00_0_1_out_exact	SAT	33
szymanski-22-s	UNSAT	36.96
4qbf-5cnf-150var-1200cl.1	UNSAT	38.98
robots_1_5_3_15.6	SAT	39.84
2qbf-5cnf-100var-800cl.2	UNSAT	47.64
k_grz_n-9	SAT	49.04
2qbf-5cnf-100var-600cl.1	UNSAT	63.71
5qbf-5cnf-150var-1800cl.2	UNSAT	65.23
TOILET7.1.iv.14	SAT	72.84
CHAIN16v.17	SAT	88.85
robots_1_5_5_34.6	UNSAT	94.64
4qbf-5cnf-100var-600cl.2	UNSAT	100.85
cf_3_5x4_r_	UNSAT	115.34
k_dum_n-5	SAT	129.03
s641_d11_u	FAIL	129.13
s641_d10_u	FAIL	131.84
2qbf-5cnf-50var-300cl.1	UNSAT	134.51
s641_d8_u	FAIL	137.39
s713_d9_u	FAIL	137.46
s713_d10_u	FAIL	138.12
s641_d7_u	FAIL	138.45
s713_d8_u	FAIL	144.12
s641_d6_s	FAIL	145.7
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	146.98
s713_d7_u	FAIL	148.34
s1269_d9_s	FAIL	151.6
C880.blif_0.10_1.00_0_1_out_exact	SAT	151.97
s1269_d10_s	FAIL	152.04
s1269_d6_s	FAIL	154.31
s713_d6_s	FAIL	157.59
BLOCKS3i.5.3	UNSAT	157.6
s1269_d15_u	FAIL	157.63
s641_d5_s	FAIL	165.52
s3330_d2_s	FAIL	174.04
s510_d31_s	FAIL	174.58
s1269_d5_s	FAIL	174.67
s510_d13_s	FAIL	175.18
s1196_d7_u	FAIL	176.61
s1269_d4_s	FAIL	178.51
s1196_d5_u	FAIL	179.01
s3330_d3_s	FAIL	179.09
s510_d12_s	FAIL	181.4
k_lin_n-14	SAT	181.89
s3330_d4_s	FAIL	182.32
s1196_d6_u	FAIL	186.73
s820_d12_u	FAIL	187.5
s820_d11_u	FAIL	187.52
s820_d14_u	FAIL	188.12
s3330_d6_s	FAIL	192.64
robots_1_5_3_84.7	SAT	195.8
s3330_d8_s	FAIL	197.23
s298_d21_u	FAIL	200.41
s1196_d4_u	FAIL	200.99
s1269_d3_s	FAIL	202.49
s3330_d10_u	FAIL	203.72
s713_d4_s	FAIL	204.62
cf_6_8x8_r_	FAIL	205.46
s499_d19_s	FAIL	208.77
s820_d9_s	FAIL	209.25
s298_d17_s	FAIL	209.28
s499_d14_s	FAIL	211.48
s820_d8_s	FAIL	212.88
cf_7_9x7_r_	FAIL	212.89
s499_d18_s	FAIL	213.56
s298_d19_u	FAIL	213.88
cf_6_8x6_r_	FAIL	214.5
s298_d16_s	FAIL	214.74
s386_d12_u	FAIL	219.63
s1196_d3_u	FAIL	225.92
k_dum_p-8	UNSAT	231.65
s386_d8_u	FAIL	237.85
k_lin_n-15	SAT	239.78
s298_d14_s	FAIL	240.06
s499_d10_s	FAIL	240.52
s386_d10_u	FAIL	241.15
test2_quant_squaring3	FAIL	243.35
s386_d9_u	FAIL	247.14
CHAIN17v.18	SAT	257.9
robots_1_5_3_16.7	SAT	263.39
s713_d3_s	FAIL	270.14
s820_d5_s	FAIL	275.66
s298_d10_s	FAIL	277.17
k_branch_n-20	FAIL	281.21
s386_d7_s	FAIL	284.38
2qbf-5cnf-50var-300cl.2	UNSAT	287.36
k_grz_p-9	UNSAT	288.15
s641_d3_s	FAIL	292.3
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	292.55
k_branch_p-19	FAIL	293.03
s499_d7_s	FAIL	294.18
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	300.79
term1.blif_0.10_0.20_0_0_inp_exact	UNSAT	301.03
s820_d4_s	FAIL	301.85
s1269_d2_s	FAIL	311.3
2qbf-5cnf-150var-1500cl.2	UNSAT	323.28
k_branch_n-16	FAIL	333.6
k_branch_p-16	FAIL	334.28
lognBWLARGEB1	UNSAT	334.28
cf_6_6x6_r_	FAIL	341.45
s298_d8_s	FAIL	348.54
k_branch_n-15	FAIL	355.23
k_branch_p-15	FAIL	356.65
k_branch_p-14	FAIL	387.63
k_branch_n-14	FAIL	388.55
s386_d5_s	FAIL	393.22
s1196_d2_s	FAIL	393.7
k_ph_n-21	SAT	394.7
cf_8_8x8_r_	FAIL	400.41
k_path_p-6	UNSAT	412.47
robots_1_5_4_34.8	SAT	433.15
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	435.18
s3330_d12_u	FAIL	437.91
k_branch_p-13	FAIL	442.86
s641_d2_s	FAIL	452.49
2qbf-5cnf-150var-1800cl.2	UNSAT	462.14
s713_d2_s	FAIL	463.92
s820_d3_s	FAIL	468.02
s386_d4_s	FAIL	521.13
2qbf-5cnf-100var-1000cl.1	UNSAT	536.69
s499_d4_s	FAIL	615.58
k_lin_n-19	SAT	631.29
s298_d5_s	FAIL	638.06
cf_5_5x5_r_	UNSAT	653.56
TOILET7.1.iv.13	UNSAT	740.54
test2_quant3	FAIL	789.01
test2_quant_squaring2	FAIL	806.7
test2_quant2	FAIL	810.07
4qbf-5cnf-150var-900cl.2	UNSAT	829.04
s386_d3_s	FAIL	876.98
k_d4_n-16	FAIL	901.03
CHAIN20v.21	FAIL	901.03
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	901.03
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	901.03
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	901.03
k_poly_p-14	FAIL	901.03
k_poly_p-17	FAIL	901.03
k_path_p-17	FAIL	901.03
k_t4p_n-18	FAIL	901.03
k_t4p_n-2	FAIL	901.03
adder-6-unsat	FAIL	901.03
adder-4-unsat	FAIL	901.03
k_t4p_n-19	FAIL	901.03
k_d4_n-6	FAIL	901.03
2qbf-5cnf-100var-800cl.1	FAIL	901.03
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	901.03
k_t4p_n-14	FAIL	901.03
k_t4p_p-10	FAIL	901.03
k_dum_n-16	FAIL	901.03
k_t4p_p-18	FAIL	901.03
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	901.03
C499.blif_0.10_0.20_0_1_out_exact	FAIL	901.03
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	901.03
C432.blif_0.10_0.20_0_0_out_exact	FAIL	901.03
k_t4p_n-13	FAIL	901.03
k_d4_n-8	FAIL	901.03
k_t4p_n-17	FAIL	901.03
2qbf-5cnf-150var-1200cl.2	FAIL	901.03
k_t4p_n-15	FAIL	901.03
k_d4_n-12	FAIL	901.03
k_d4_p-16	FAIL	901.03
test4_quant4	FAIL	901.03
s27_d4_u	FAIL	901.03
k_path_n-13	FAIL	901.03
mutex-32-s	FAIL	901.03
s27_d5_u	FAIL	901.03
k_poly_n-7	FAIL	901.03
k_branch_n-7	FAIL	901.03
k_t4p_p-4	FAIL	901.03
k_branch_n-6	FAIL	901.03
adder-8-unsat	FAIL	901.03
BLOCKS4i.6.4	FAIL	901.03
k_ph_p-15	FAIL	901.03
C880.blif_0.10_0.20_0_1_out_exact	FAIL	901.03
k_path_p-16	FAIL	901.03
adder-6-sat	FAIL	901.03
k_ph_p-14	FAIL	901.03
k_grz_p-16	FAIL	901.03
adder-10-sat	FAIL	901.03
k_branch_n-9	FAIL	901.03
k_ph_p-17	FAIL	901.03
Adder2-16-c	FAIL	901.03
k_poly_n-11	FAIL	901.03
k_poly_n-3	FAIL	901.03
test1_quant2	FAIL	901.03
k_branch_p-5	FAIL	901.03
k_poly_p-11	FAIL	901.03
BLOCKS4ii.7.2	FAIL	901.03
C432.blif_0.10_0.20_0_1_out_exact	FAIL	901.03
test5_quant7	FAIL	901.03
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	901.03
TOILET16.1.iv.32	FAIL	901.03
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	901.03
C880.blif_0.10_1.00_0_0_out_exact	FAIL	901.03
k_dum_p-20	FAIL	901.03
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	901.03
BLOCKS4ii.6.3	FAIL	901.03
k_poly_p-10	FAIL	901.03
k_poly_p-7	FAIL	901.03
k_poly_n-15	FAIL	901.03
k_path_p-14	FAIL	901.03
k_ph_p-20	FAIL	901.03
k_d4_p-14	FAIL	901.03
cnt09e	FAIL	901.03
k_grz_n-17	FAIL	901.03
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	901.03
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	901.03
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	901.03
test3_quant_squaring4	FAIL	901.03
k_dum_p-16	FAIL	901.03
k_poly_p-12	FAIL	901.03
mutex-8-s	FAIL	901.03
k_t4p_p-12	FAIL	901.03
test5_quant5	FAIL	901.03
toilet_a_10_01.4	FAIL	901.03
s27_d3_u	FAIL	901.03
test1_quant_squaring2	FAIL	901.03
Adder2-12-s	FAIL	901.03
cnt12e	FAIL	901.03
test5_quant_squaring4	FAIL	901.03
k_path_p-20	FAIL	901.03
test1_quant3	FAIL	901.03
test5_quant_squaring5	FAIL	901.03
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	901.03
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	901.03
TOILET10.1.iv.20	FAIL	901.03
k_d4_p-19	FAIL	901.03
k_dum_n-18	FAIL	901.03
k_dum_p-11	FAIL	901.03
k_d4_p-13	FAIL	901.03
k_poly_n-8	FAIL	901.03
k_grz_n-18	FAIL	901.03
cnt16re	FAIL	901.03
k_dum_p-17	FAIL	901.03
k_grz_n-13	FAIL	901.03
mutex-16-s	FAIL	901.03
k_grz_p-17	FAIL	901.03
k_d4_n-15	FAIL	901.03
term1.blif_0.10_0.20_0_0_out_exact	FAIL	901.03
k_d4_n-14	FAIL	901.03
k_grz_n-16	FAIL	901.03
CHAIN23v.24	FAIL	901.03
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	901.03
test4_quant_squaring4	FAIL	901.03
k_d4_n-13	FAIL	901.03
2qbf-5cnf-150var-1500cl.1	FAIL	901.03
k_d4_p-7	FAIL	901.03
C880.blif_0.10_0.20_0_0_out_exact	FAIL	901.03
k_path_n-7	FAIL	901.03
k_t4p_p-15	FAIL	901.03
k_grz_p-14	FAIL	901.03
k_t4p_p-16	FAIL	901.03
2qbf-5cnf-150var-900cl.2	FAIL	901.03
k_grz_p-10	FAIL	901.03
k_dum_n-8	FAIL	901.03
2qbf-5cnf-150var-900cl.1	FAIL	901.03
k_grz_p-19	FAIL	901.03
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	901.03
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	901.03
CHAIN19v.20	FAIL	901.03
k_t4p_p-19	FAIL	901.03
k_poly_p-8	FAIL	901.03
k_branch_p-8	FAIL	901.03
k_d4_p-17	FAIL	901.03
k_grz_n-12	FAIL	901.03
s499_d3_s	FAIL	901.04
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	901.04
k_poly_n-18	FAIL	901.04
k_ph_p-19	FAIL	901.04
mutex-64-s	FAIL	901.04
C499.blif_0.10_0.20_0_0_out_exact	FAIL	901.04
s499_d2_s	FAIL	901.04
k_path_n-5	FAIL	901.04
2qbf-5cnf-150var-1200cl.1	FAIL	901.04
mutex-128-s	FAIL	901.04
C499.blif_0.10_1.00_0_0_out_exact	FAIL	901.04
k_d4_n-9	FAIL	901.04
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	901.04
k_path_n-8	FAIL	901.04
k_d4_p-6	FAIL	901.04
test3_quant_squaring2	FAIL	901.04
test3_quant2	FAIL	901.04
cnt09re	FAIL	901.04
k_t4p_n-5	FAIL	901.04
k_dum_p-15	FAIL	901.04
k_dum_n-6	FAIL	901.04
k_poly_n-4	FAIL	901.04
k_path_p-11	FAIL	901.04
k_path_n-6	FAIL	901.04

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QUBE-LRN
QBFEVAL'04

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QUBE-LRN QBFEVAL'04

Instances solved by QUBE-LRN
QBFEVAL'04