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

Instances solved by GRL
QBFEVAL'04

Instance	Result	Time
toilet_g_02_01.2	SAT	0
5qbf-5cnf-100var-200cl.2	SAT	0
toilet_g_15_01.2	SAT	0
comp.blif_0.10_1.00_0_1_out_exact	SAT	0
toilet_c_10_01.3	UNSAT	0
tree-exa2-35	UNSAT	0
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0
MB3qbf-5cnf-50var-300cl.2	UNSAT	0
toilet_c_04_01.6	UNSAT	0
comp.blif_0.10_0.20_0_1_out_exact	SAT	0
toilet_c_06_05.4	SAT	0
5qbf-5cnf-50var-100cl.1	SAT	0
5qbf-5cnf-100var-200cl.1	SAT	0
tree-exa2-25	UNSAT	0
toilet_g_08_01.2	SAT	0
toilet_g_04_01.2	SAT	0
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0
TOILET7.1.iv.14	SAT	0
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0
4qbf-5cnf-100var-200cl.2	SAT	0
4qbf-5cnf-100var-200cl.1	SAT	0
k_branch_n-1	SAT	0
k_ph_p-3	UNSAT	0
toilet_g_06_01.2	SAT	0
tree-exa2-15	UNSAT	0
tree-exa2-30	UNSAT	0
MB2qbf-5cnf-50var-400cl.2	UNSAT	0
MB3qbf-5cnf-50var-600cl.2	UNSAT	0
MB3qbf-5cnf-50var-600cl.1	UNSAT	0
s3271_d2_s	FAIL	0
MB3qbf-5cnf-50var-500cl.2	UNSAT	0
MB3qbf-5cnf-50var-200cl.2	UNSAT	0
MB3qbf-5cnf-50var-300cl.1	UNSAT	0
flipflop-3-c	UNSAT	0
MB5qbf-5cnf-50var-100cl.2	SAT	0
MB3qbf-5cnf-50var-700cl.1	UNSAT	0
MB3qbf-5cnf-50var-400cl.2	UNSAT	0
k_lin_n-1	SAT	0
MB3qbf-5cnf-50var-200cl.1	UNSAT	0
5qbf-5cnf-50var-300cl.1	SAT	0
MB3qbf-5cnf-50var-500cl.1	UNSAT	0
MB4qbf-5cnf-150var-300cl.1	SAT	0.01
MB3qbf-5cnf-50var-800cl.1	UNSAT	0.01
MB2qbf-5cnf-50var-100cl.2	UNSAT	0.01
MB3qbf-5cnf-50var-700cl.2	UNSAT	0.01
MB3qbf-5cnf-50var-100cl.2	SAT	0.01
k_ph_n-1	SAT	0.01
toilet_c_10_05.4	SAT	0.01
k_ph_n-3	SAT	0.01
Adder2-2-c	UNSAT	0.01
MB4qbf-5cnf-50var-300cl.2	UNSAT	0.01
4qbf-5cnf-150var-300cl.2	SAT	0.01
MB4qbf-5cnf-50var-100cl.2	SAT	0.01
MB4qbf-5cnf-50var-100cl.1	SAT	0.01
4qbf-5cnf-50var-100cl.1	SAT	0.01
4qbf-5cnf-50var-100cl.2	SAT	0.01
MB3qbf-5cnf-50var-100cl.1	SAT	0.01
MB3qbf-5cnf-50var-900cl.2	UNSAT	0.01
MB4qbf-5cnf-100var-600cl.2	UNSAT	0.01
5qbf-5cnf-50var-100cl.2	SAT	0.01
MB3qbf-5cnf-150var-300cl.2	SAT	0.01
MB2qbf-5cnf-150var-300cl.2	UNSAT	0.01
MB4qbf-5cnf-100var-400cl.2	UNSAT	0.01
MB4qbf-5cnf-100var-400cl.1	UNSAT	0.01
MB4qbf-5cnf-100var-200cl.2	SAT	0.01
MB4qbf-5cnf-100var-200cl.1	SAT	0.01
5qbf-5cnf-150var-600cl.2	SAT	0.01
TOILET6.1.iv.12	SAT	0.01
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.01
TOILET2.1.iv.4	SAT	0.01
MB3qbf-5cnf-150var-300cl.1	SAT	0.01
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.01
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
5qbf-5cnf-100var-400cl.2	SAT	0.01
k_path_p-2	UNSAT	0.01
5qbf-5cnf-100var-600cl.1	SAT	0.01
MB2qbf-5cnf-150var-600cl.1	UNSAT	0.01
5qbf-5cnf-50var-300cl.2	SAT	0.01
mutex-2-s	SAT	0.01
k_path_n-1	SAT	0.01
impl02	SAT	0.01
5qbf-5cnf-150var-300cl.2	SAT	0.01
5qbf-5cnf-50var-200cl.2	SAT	0.01
tree-exa2-45	UNSAT	0.01
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.01
szymanski-4-s	UNSAT	0.01
impl14	SAT	0.01
2qbf-5cnf-50var-900cl.1	UNSAT	0.01
k_ph_n-4	SAT	0.01
3qbf-5cnf-100var-200cl.1	SAT	0.01
3qbf-5cnf-100var-200cl.2	SAT	0.01
3qbf-5cnf-100var-400cl.1	SAT	0.01
3qbf-5cnf-100var-400cl.2	SAT	0.01
toilet_c_06_01.9	UNSAT	0.01
3qbf-5cnf-150var-300cl.1	SAT	0.01
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
2qbf-5cnf-50var-100cl.2	SAT	0.01
MB5qbf-5cnf-50var-200cl.2	SAT	0.01
MB5qbf-5cnf-50var-100cl.1	SAT	0.01
s3271_d5_s	FAIL	0.01
toilet_a_06_01.5	UNSAT	0.01
lognBWLARGEB0	FAIL	0.01
lognBWLARGEA0	FAIL	0.01
cnt02	SAT	0.01
MB5qbf-5cnf-100var-200cl.2	SAT	0.01
impl16	SAT	0.01
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.01
MB5qbf-5cnf-50var-600cl.1	UNSAT	0.01
3qbf-5cnf-150var-300cl.2	SAT	0.01
toilet_c_10_01.9	UNSAT	0.01
3qbf-5cnf-150var-600cl.2	SAT	0.01
comp.blif_0.10_0.20_0_1_inp_exact	SAT	0.01
impl20	SAT	0.01
2qbf-5cnf-50var-800cl.1	UNSAT	0.01
TOILET2.1.iv.3	UNSAT	0.01
impl18	SAT	0.01
tree-exa2-40	UNSAT	0.01
impl06	SAT	0.01
4qbf-5cnf-150var-300cl.1	SAT	0.01
toilet_g_10_01.2	SAT	0.01
MB3qbf-5cnf-100var-600cl.1	UNSAT	0.01
impl08	SAT	0.01
3qbf-5cnf-50var-100cl.2	SAT	0.01
MB5qbf-5cnf-100var-400cl.1	UNSAT	0.01
3qbf-5cnf-50var-100cl.1	SAT	0.01
impl12	SAT	0.01
MB5qbf-5cnf-100var-200cl.1	SAT	0.01
MB3qbf-5cnf-100var-200cl.2	SAT	0.01
3qbf-5cnf-50var-200cl.1	SAT	0.01
3qbf-5cnf-50var-200cl.2	SAT	0.01
MB5qbf-5cnf-50var-800cl.1	UNSAT	0.01
toilet_a_06_05.2	UNSAT	0.02
MB2qbf-5cnf-50var-600cl.1	UNSAT	0.02
MB3qbf-5cnf-150var-900cl.2	UNSAT	0.02
MB2qbf-5cnf-50var-500cl.1	UNSAT	0.02
MB2qbf-5cnf-100var-800cl.1	UNSAT	0.02
MB2qbf-5cnf-50var-700cl.2	UNSAT	0.02
MB2qbf-5cnf-50var-500cl.2	UNSAT	0.02
MB2qbf-5cnf-50var-600cl.2	UNSAT	0.02
MB3qbf-5cnf-100var-1000cl.2	UNSAT	0.02
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
MB2qbf-5cnf-50var-300cl.2	UNSAT	0.02
MB3qbf-5cnf-100var-800cl.2	UNSAT	0.02
MB3qbf-5cnf-100var-800cl.1	UNSAT	0.02
MB3qbf-5cnf-100var-600cl.2	UNSAT	0.02
MB2qbf-5cnf-50var-300cl.1	UNSAT	0.02
MB3qbf-5cnf-100var-400cl.2	UNSAT	0.02
MB2qbf-5cnf-150var-900cl.1	UNSAT	0.02
MB2qbf-5cnf-50var-400cl.1	UNSAT	0.02
MB3qbf-5cnf-100var-200cl.1	SAT	0.02
TOILET10.1.iv.20	SAT	0.02
toilet_c_10_05.10	SAT	0.02
MB2qbf-5cnf-100var-600cl.1	UNSAT	0.02
MB3qbf-5cnf-150var-900cl.1	UNSAT	0.02
MB3qbf-5cnf-100var-1000cl.1	UNSAT	0.02
toilet_g_20_01.2	SAT	0.02
MB5qbf-5cnf-50var-900cl.2	UNSAT	0.02
MB5qbf-5cnf-100var-800cl.2	UNSAT	0.02
3qbf-5cnf-150var-600cl.1	SAT	0.02
MB5qbf-5cnf-100var-600cl.2	UNSAT	0.02
MB5qbf-5cnf-100var-400cl.2	UNSAT	0.02
mutex-4-s	SAT	0.02
MB5qbf-5cnf-150var-300cl.2	SAT	0.02
3qbf-5cnf-50var-300cl.1	SAT	0.02
MB5qbf-5cnf-100var-1000cl.1	UNSAT	0.02
MB5qbf-5cnf-100var-1000cl.2	UNSAT	0.02
MB4qbf-5cnf-50var-900cl.2	UNSAT	0.02
MB4qbf-5cnf-50var-900cl.1	UNSAT	0.02
MB4qbf-5cnf-50var-800cl.2	UNSAT	0.02
MB4qbf-5cnf-50var-800cl.1	UNSAT	0.02
MB4qbf-5cnf-50var-700cl.2	UNSAT	0.02
MB4qbf-5cnf-50var-600cl.2	UNSAT	0.02
3qbf-5cnf-100var-600cl.2	SAT	0.02
2qbf-5cnf-50var-700cl.2	UNSAT	0.02
MB5qbf-5cnf-50var-900cl.1	UNSAT	0.02
MB5qbf-5cnf-50var-800cl.2	UNSAT	0.02
MB5qbf-5cnf-50var-700cl.2	UNSAT	0.02
MB5qbf-5cnf-50var-700cl.1	UNSAT	0.02
MB5qbf-5cnf-50var-600cl.2	UNSAT	0.02
MB5qbf-5cnf-50var-500cl.2	UNSAT	0.02
MB5qbf-5cnf-50var-500cl.1	UNSAT	0.02
MB5qbf-5cnf-50var-400cl.2	UNSAT	0.02
MB5qbf-5cnf-50var-400cl.1	UNSAT	0.02
MB5qbf-5cnf-50var-300cl.1	UNSAT	0.02
MB5qbf-5cnf-50var-200cl.1	SAT	0.02
2qbf-5cnf-100var-1400cl.1	UNSAT	0.02
MB5qbf-5cnf-150var-300cl.1	SAT	0.02
cnt02e	SAT	0.02
2qbf-5cnf-50var-600cl.2	UNSAT	0.02
MB4qbf-5cnf-50var-600cl.1	UNSAT	0.02
MB4qbf-5cnf-50var-500cl.2	UNSAT	0.02
MB3qbf-5cnf-50var-900cl.1	UNSAT	0.02
MB4qbf-5cnf-100var-800cl.1	UNSAT	0.02
MB3qbf-5cnf-50var-400cl.1	UNSAT	0.02
MB4qbf-5cnf-100var-600cl.1	UNSAT	0.02
k_lin_p-1	UNSAT	0.02
5qbf-5cnf-150var-900cl.2	SAT	0.02
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.02
5qbf-5cnf-50var-200cl.1	SAT	0.02
MB4qbf-5cnf-100var-1000cl.1	UNSAT	0.02
flipflop-4-c	UNSAT	0.02
MB3qbf-5cnf-50var-800cl.2	UNSAT	0.02
MB2qbf-5cnf-100var-1400cl.2	UNSAT	0.02
5qbf-5cnf-150var-300cl.1	SAT	0.02
5qbf-5cnf-100var-600cl.2	SAT	0.02
MB4qbf-5cnf-50var-500cl.1	UNSAT	0.02
MB4qbf-5cnf-50var-400cl.2	UNSAT	0.02
MB4qbf-5cnf-50var-400cl.1	UNSAT	0.02
MB4qbf-5cnf-50var-300cl.1	UNSAT	0.02
MB4qbf-5cnf-50var-200cl.1	UNSAT	0.02
k_ph_p-4	UNSAT	0.02
5qbf-5cnf-100var-400cl.1	SAT	0.02
MB4qbf-5cnf-150var-300cl.2	SAT	0.02
4qbf-5cnf-50var-800cl.1	UNSAT	0.02
2qbf-5cnf-50var-100cl.1	SAT	0.03
MB2qbf-5cnf-50var-700cl.1	UNSAT	0.03
MB2qbf-5cnf-100var-1200cl.1	UNSAT	0.03
MB2qbf-5cnf-100var-1200cl.2	UNSAT	0.03
5qbf-5cnf-150var-600cl.1	SAT	0.03
MB2qbf-5cnf-100var-1000cl.1	UNSAT	0.03
MB2qbf-5cnf-100var-1000cl.2	UNSAT	0.03
MB2qbf-5cnf-100var-1600cl.1	UNSAT	0.03
3qbf-5cnf-50var-300cl.2	SAT	0.03
3qbf-5cnf-50var-900cl.2	UNSAT	0.03
MB2qbf-5cnf-100var-1800cl.1	UNSAT	0.03
k_poly_n-1	SAT	0.03
5qbf-5cnf-150var-900cl.1	SAT	0.03
MB2qbf-5cnf-150var-1200cl.2	UNSAT	0.03
MB4qbf-5cnf-100var-1600cl.2	UNSAT	0.03
MB3qbf-5cnf-100var-400cl.1	UNSAT	0.03
MB3qbf-5cnf-150var-1200cl.2	UNSAT	0.03
MB3qbf-5cnf-150var-1200cl.1	UNSAT	0.03
MB3qbf-5cnf-150var-1500cl.2	UNSAT	0.03
MB3qbf-5cnf-150var-1500cl.1	UNSAT	0.03
MB4qbf-5cnf-150var-600cl.2	UNSAT	0.03
MB3qbf-5cnf-150var-600cl.1	UNSAT	0.03
MB4qbf-5cnf-150var-600cl.1	UNSAT	0.03
MB5qbf-5cnf-150var-600cl.1	UNSAT	0.03
MB4qbf-5cnf-100var-1000cl.2	UNSAT	0.03
MB4qbf-5cnf-150var-1200cl.1	UNSAT	0.03
MB4qbf-5cnf-100var-1200cl.2	UNSAT	0.03
MB5qbf-5cnf-150var-1500cl.1	UNSAT	0.03
MB4qbf-5cnf-100var-800cl.2	UNSAT	0.03
MB4qbf-5cnf-100var-1400cl.2	UNSAT	0.03
MB4qbf-5cnf-100var-1400cl.1	UNSAT	0.03
MB5qbf-5cnf-100var-1400cl.1	UNSAT	0.03
MB4qbf-5cnf-150var-900cl.2	UNSAT	0.03
MB3qbf-5cnf-100var-1400cl.1	UNSAT	0.03
MB2qbf-5cnf-50var-900cl.2	UNSAT	0.03
MB2qbf-5cnf-50var-900cl.1	UNSAT	0.03
MB5qbf-5cnf-100var-1400cl.2	UNSAT	0.03
MB5qbf-5cnf-50var-300cl.2	UNSAT	0.03
MB3qbf-5cnf-100var-1200cl.2	UNSAT	0.03
MB2qbf-5cnf-50var-800cl.2	UNSAT	0.03
MB2qbf-5cnf-50var-800cl.1	UNSAT	0.03
MB2qbf-5cnf-150var-1500cl.2	UNSAT	0.03
MB5qbf-5cnf-150var-900cl.1	UNSAT	0.03
MB3qbf-5cnf-100var-1600cl.1	UNSAT	0.03
MB3qbf-5cnf-100var-1600cl.2	UNSAT	0.03
MB4qbf-5cnf-50var-200cl.2	UNSAT	0.03
MB3qbf-5cnf-100var-1400cl.2	UNSAT	0.03
MB4qbf-5cnf-50var-700cl.1	UNSAT	0.03
MB5qbf-5cnf-100var-1200cl.1	UNSAT	0.03
MB3qbf-5cnf-100var-1200cl.1	UNSAT	0.03
MB5qbf-5cnf-100var-1200cl.2	UNSAT	0.03
MB4qbf-5cnf-100var-1200cl.1	UNSAT	0.04
MB5qbf-5cnf-150var-1800cl.2	UNSAT	0.04
flipflop-5-c	UNSAT	0.04
MB5qbf-5cnf-150var-1800cl.1	UNSAT	0.04
2qbf-5cnf-50var-800cl.2	UNSAT	0.04
MB5qbf-5cnf-150var-2100cl.2	UNSAT	0.04
MB2qbf-5cnf-100var-1400cl.1	UNSAT	0.04
MB2qbf-5cnf-100var-1600cl.2	UNSAT	0.04
MB5qbf-5cnf-150var-2100cl.1	UNSAT	0.04
MB2qbf-5cnf-100var-1800cl.2	UNSAT	0.04
MB4qbf-5cnf-100var-1600cl.1	UNSAT	0.04
MB5qbf-5cnf-100var-1600cl.2	UNSAT	0.04
MB5qbf-5cnf-100var-1600cl.1	UNSAT	0.04
MB4qbf-5cnf-150var-1800cl.1	UNSAT	0.04
MB5qbf-5cnf-100var-1800cl.2	UNSAT	0.04
MB5qbf-5cnf-100var-1800cl.1	UNSAT	0.04
MB5qbf-5cnf-100var-600cl.1	UNSAT	0.04
MB4qbf-5cnf-150var-2100cl.2	UNSAT	0.04
MB4qbf-5cnf-150var-1800cl.2	UNSAT	0.04
MB5qbf-5cnf-150var-1200cl.2	UNSAT	0.04
MB4qbf-5cnf-150var-1500cl.2	UNSAT	0.04
MB4qbf-5cnf-150var-1200cl.2	UNSAT	0.04
MB5qbf-5cnf-150var-1200cl.1	UNSAT	0.04
MB4qbf-5cnf-100var-1800cl.1	UNSAT	0.04
MB4qbf-5cnf-100var-1800cl.2	UNSAT	0.04
MB4qbf-5cnf-150var-900cl.1	UNSAT	0.04
MB2qbf-5cnf-150var-1800cl.1	UNSAT	0.04
MB3qbf-5cnf-150var-2100cl.2	UNSAT	0.04
MB3qbf-5cnf-150var-2100cl.1	UNSAT	0.04
MB2qbf-5cnf-150var-1800cl.2	UNSAT	0.04
MB2qbf-5cnf-150var-2100cl.2	UNSAT	0.04
MB2qbf-5cnf-150var-2100cl.1	UNSAT	0.04
MB3qbf-5cnf-150var-2400cl.1	UNSAT	0.04
MB2qbf-5cnf-150var-2400cl.1	UNSAT	0.04
MB5qbf-5cnf-150var-600cl.2	UNSAT	0.04
MB3qbf-5cnf-150var-1800cl.1	UNSAT	0.04
MB3qbf-5cnf-100var-1800cl.1	UNSAT	0.04
MB3qbf-5cnf-100var-1800cl.2	UNSAT	0.04
toilet_a_08_01.3	UNSAT	0.04
MB2qbf-5cnf-100var-600cl.2	UNSAT	0.04
MB3qbf-5cnf-150var-600cl.2	UNSAT	0.04
MB3qbf-5cnf-150var-2700cl.1	UNSAT	0.04
k_dum_p-1	UNSAT	0.04
k_dum_n-1	SAT	0.04
MB3qbf-5cnf-150var-1800cl.2	UNSAT	0.04
MB2qbf-5cnf-50var-100cl.1	SAT	0.04
MB3qbf-5cnf-150var-2700cl.2	UNSAT	0.05
MB4qbf-5cnf-150var-1500cl.1	UNSAT	0.05
MB4qbf-5cnf-150var-2100cl.1	UNSAT	0.05
MB5qbf-5cnf-150var-2400cl.2	UNSAT	0.05
MB3qbf-5cnf-150var-2400cl.2	UNSAT	0.05
MB5qbf-5cnf-150var-1500cl.2	UNSAT	0.05
2qbf-5cnf-100var-1600cl.2	UNSAT	0.05
k_lin_n-2	SAT	0.05
MB2qbf-5cnf-100var-800cl.2	UNSAT	0.05
MB2qbf-5cnf-150var-2400cl.2	UNSAT	0.05
MB2qbf-5cnf-150var-2700cl.2	UNSAT	0.05
MB2qbf-5cnf-150var-2700cl.1	UNSAT	0.05
MB5qbf-5cnf-150var-2400cl.1	UNSAT	0.05
4qbf-5cnf-50var-600cl.1	UNSAT	0.06
MB2qbf-5cnf-150var-1500cl.1	UNSAT	0.06
cf_2_2x3_w_	UNSAT	0.06
4qbf-5cnf-50var-900cl.1	UNSAT	0.06
MB4qbf-5cnf-150var-2700cl.2	UNSAT	0.06
MB5qbf-5cnf-150var-2700cl.1	UNSAT	0.06
2qbf-5cnf-50var-900cl.2	UNSAT	0.06
MB4qbf-5cnf-150var-2400cl.1	UNSAT	0.06
MB5qbf-5cnf-150var-2700cl.2	UNSAT	0.06
MB4qbf-5cnf-150var-2400cl.2	UNSAT	0.06
cf_2_3x2_r_	SAT	0.06
2qbf-5cnf-150var-2700cl.2	UNSAT	0.06
3qbf-5cnf-100var-600cl.1	SAT	0.07
4qbf-5cnf-50var-800cl.2	UNSAT	0.07
MB4qbf-5cnf-150var-2700cl.1	UNSAT	0.07
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.08
TOILET16.1.iv.32	SAT	0.08
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.08
4qbf-5cnf-100var-1600cl.1	UNSAT	0.08
MB5qbf-5cnf-100var-800cl.1	UNSAT	0.08
k_path_p-3	UNSAT	0.08
s3271_d12_s	FAIL	0.09
4qbf-5cnf-100var-1600cl.2	UNSAT	0.09
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.09
MB2qbf-5cnf-50var-200cl.1	UNSAT	0.1
3qbf-5cnf-50var-900cl.1	UNSAT	0.1
4qbf-5cnf-50var-900cl.2	UNSAT	0.1
MB5qbf-5cnf-150var-900cl.2	UNSAT	0.1
2qbf-5cnf-150var-2700cl.1	UNSAT	0.1
2qbf-5cnf-100var-1800cl.1	UNSAT	0.11
4qbf-5cnf-50var-700cl.1	UNSAT	0.11
4qbf-5cnf-100var-1800cl.2	UNSAT	0.12
4qbf-5cnf-50var-700cl.2	UNSAT	0.12
cf_4_5x4_d_	UNSAT	0.12
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.12
flipflop-7-c	UNSAT	0.14
szymanski-6-s	UNSAT	0.14
s3271_d15_s	FAIL	0.14
toilet_c_08_01.13	UNSAT	0.15
4qbf-5cnf-50var-600cl.2	UNSAT	0.16
vonNeumann-ripple-carry-5-c	UNSAT	0.16
cf_4_5x5_d_	UNSAT	0.16
cf_5_5x6_w_	UNSAT	0.17
cf_5_6x5_w_	UNSAT	0.17
cf_3_6x4_w_	UNSAT	0.17
2qbf-5cnf-100var-1800cl.2	UNSAT	0.17
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.17
cf_4_5x6_w_	UNSAT	0.19
s3271_d18_u	FAIL	0.19
k_ph_n-6	SAT	0.19
cf_4_6x5_d_	UNSAT	0.2
MB2qbf-5cnf-150var-600cl.2	UNSAT	0.21
s3271_d19_u	FAIL	0.21
MB2qbf-5cnf-150var-300cl.1	UNSAT	0.22
cf_5_5x7_d_	UNSAT	0.22
cf_6_6x6_d_	UNSAT	0.23
3qbf-5cnf-100var-1800cl.2	UNSAT	0.23
cf_5_7x5_d_	UNSAT	0.24
s3271_d20_u	FAIL	0.24
toilet_a_10_01.4	UNSAT	0.26
MB2qbf-5cnf-150var-1200cl.1	UNSAT	0.26
MB2qbf-5cnf-150var-900cl.2	UNSAT	0.26
toilet_a_10_01.7	UNSAT	0.27
4qbf-5cnf-150var-2100cl.1	UNSAT	0.27
s27_d2_s	UNSAT	0.28
cf_2_4x8_d_	UNSAT	0.28
3qbf-5cnf-50var-800cl.2	UNSAT	0.28
flipflop-8-c	UNSAT	0.29
s3271_d22_u	FAIL	0.3
4qbf-5cnf-100var-1800cl.1	UNSAT	0.3
2qbf-5cnf-100var-1600cl.1	UNSAT	0.34
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.34
3qbf-5cnf-50var-800cl.1	UNSAT	0.34
k_dum_n-3	SAT	0.34
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.34
cf_5_7x6_d_	UNSAT	0.37
cf_7_7x7_d_	UNSAT	0.38
cf_2_5x4_r_	SAT	0.4
MB2qbf-5cnf-50var-200cl.2	UNSAT	0.4
cf_6_6x8_w_	UNSAT	0.41
cf_4_6x7_d_	UNSAT	0.41
toilet_a_10_05.3	UNSAT	0.43
k_lin_p-5	UNSAT	0.46
vonNeumann-ripple-carry-7-c	UNSAT	0.51
flipflop-9-c	UNSAT	0.52
k_d4_p-3	UNSAT	0.56
cf_7_8x7_d_	UNSAT	0.57
cf_8_8x8_w_	UNSAT	0.61
cf_6_8x7_d_	UNSAT	0.63
4qbf-5cnf-50var-200cl.2	SAT	0.63
2qbf-5cnf-50var-500cl.1	UNSAT	0.66
4qbf-5cnf-100var-1400cl.2	UNSAT	0.66
vonNeumann-ripple-carry-14-c	FAIL	0.68
cf_7_9x7_w_	UNSAT	0.7
k_t4p_p-1	UNSAT	0.72
cf_2_4x8_r_	SAT	0.72
cf_7_8x8_w_	UNSAT	0.75
k_path_n-3	SAT	0.77
4qbf-5cnf-50var-500cl.2	UNSAT	0.79
k_lin_n-3	SAT	0.85
cf_4_5x9_d_	UNSAT	0.85
cf_3_9x5_d_	UNSAT	0.86
3qbf-5cnf-150var-900cl.2	SAT	0.87
cf_2_9x5_w_	UNSAT	0.88
C880.blif_0.10_1.00_0_1_out_exact	SAT	0.89
k_ph_n-7	SAT	0.9
flipflop-10-c	UNSAT	0.92
cf_2_8x3_r_	SAT	0.99
cf_7_9x8_w_	UNSAT	1
k_lin_p-6	UNSAT	1.07
2qbf-5cnf-50var-700cl.1	UNSAT	1.09
cf_7_7x9_d_	UNSAT	1.1
4qbf-5cnf-150var-2400cl.1	UNSAT	1.1
4qbf-5cnf-150var-2700cl.2	UNSAT	1.19
term1.blif_0.10_0.20_0_1_out_exact	SAT	1.21
cnt04e	SAT	1.24
cf_8_8x9_w_	UNSAT	1.25
cf_8_8x9_d_	UNSAT	1.26
robots_1_5_2_38.1	SAT	1.27
robots_1_5_2_93.1	SAT	1.28
robots_1_5_2_64.1	SAT	1.28
5qbf-5cnf-50var-900cl.2	UNSAT	1.28
vonNeumann-ripple-carry-9-c	UNSAT	1.31
cf_4_8x8_w_	UNSAT	1.33
toilet_a_10_01.15	UNSAT	1.35
cf_9_9x9_d_	UNSAT	1.39
cf_3_8x8_w_	UNSAT	1.39
cf_9_9x9_w_	UNSAT	1.4
cf_3_7x9_w_	UNSAT	1.43
k_poly_p-2	UNSAT	1.47
cf_6_8x9_d_	UNSAT	1.51
flipflop-11-c	UNSAT	1.53
MB2qbf-5cnf-100var-400cl.2	UNSAT	1.57
cf_8_9x9_d_	UNSAT	1.59
cf_5_8x9_w_	UNSAT	1.6
cf_8_9x9_w_	UNSAT	1.61
CHAIN12v.13	SAT	1.64
szymanski-10-s	UNSAT	1.66
cf_3_8x9_d_	UNSAT	1.75
cf_7_9x9_d_	UNSAT	1.75
4qbf-5cnf-100var-1400cl.1	UNSAT	1.79
4qbf-5cnf-150var-2400cl.2	UNSAT	1.82
vonNeumann-ripple-carry-10-c	UNSAT	1.83
k_lin_p-8	UNSAT	1.83
robots_1_5_4_78.1	SAT	1.86
robots_1_5_5_29.1	SAT	1.88
k_dum_n-4	SAT	2.1
cf_3_9x9_w_	UNSAT	2.12
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	2.24
5qbf-5cnf-50var-800cl.2	UNSAT	2.29
TOILET6.1.iv.11	UNSAT	2.3
vonNeumann-ripple-carry-11-c	UNSAT	2.58
3qbf-5cnf-50var-700cl.1	UNSAT	2.6
5qbf-5cnf-50var-700cl.2	UNSAT	2.74
k_dum_p-6	UNSAT	3.32
4qbf-5cnf-150var-1800cl.1	UNSAT	3.4
3qbf-5cnf-100var-1600cl.1	UNSAT	3.5
vonNeumann-ripple-carry-12-c	UNSAT	3.58
k_ph_n-8	SAT	3.61
cf_5_5x5_r_	UNSAT	3.74
szymanski-12-s	UNSAT	3.92
cf_2_8x5_r_	SAT	4.05
k_branch_p-3	UNSAT	4.13
cnt06	SAT	4.24
BLOCKS3ii.4.3	UNSAT	4.73
vonNeumann-ripple-carry-13-c	UNSAT	4.85
k_grz_n-2	SAT	5.05
toilet_a_08_01.16	SAT	5.19
MB2qbf-5cnf-100var-400cl.1	UNSAT	5.65
4qbf-5cnf-50var-400cl.2	UNSAT	5.99
5qbf-5cnf-50var-400cl.1	SAT	6.21
4qbf-5cnf-150var-2700cl.1	UNSAT	6.23
k_lin_p-10	UNSAT	6.57
robots_1_5_5_5.2	SAT	6.75
robots_1_5_4_73.2	SAT	6.75
5qbf-5cnf-50var-400cl.2	SAT	7.1
robots_1_5_4_85.5	SAT	7.76
3qbf-5cnf-150var-900cl.1	SAT	7.77
robots_1_5_2_3.5	SAT	7.79
3qbf-5cnf-50var-400cl.1	SAT	8.09
szymanski-14-s	UNSAT	8.26
4qbf-5cnf-100var-1200cl.2	UNSAT	9.13
CHAIN13v.14	SAT	9.28
3qbf-5cnf-50var-400cl.2	SAT	9.49
2qbf-5cnf-150var-2400cl.1	UNSAT	10.12
robots_1_5_5_55.6	SAT	10.27
MB2qbf-5cnf-100var-200cl.2	UNSAT	10.6
robots_1_5_4_21.2	SAT	11.09
robots_1_5_3_17.2	SAT	11.83
robots_1_5_2_72.7	SAT	12.89
k_path_n-4	SAT	13.42
lognBWLARGEA1	UNSAT	13.61
szymanski-16-s	UNSAT	15.56
cf_3_5x4_r_	UNSAT	15.59
k_lin_p-11	UNSAT	16.46
k_grz_n-3	SAT	16.78
k_grz_p-3	UNSAT	18.63
k_grz_p-4	UNSAT	18.72
4qbf-5cnf-150var-2100cl.2	UNSAT	21.4
robots_1_5_5_75.3	SAT	22.16
2qbf-5cnf-50var-600cl.1	UNSAT	24.22
k_dum_n-5	SAT	26.31
szymanski-18-s	UNSAT	28.29
mutex-8-s	SAT	32.3
k_ph_p-7	UNSAT	33.67
2qbf-5cnf-100var-1400cl.2	UNSAT	41.3
CHAIN14v.15	SAT	42.64
C880.blif_0.10_1.00_0_1_inp_exact	SAT	51.9
4qbf-5cnf-50var-200cl.1	SAT	54.05
k_dum_p-8	UNSAT	54.51
lognBWLARGEB1	UNSAT	55.65
3qbf-5cnf-150var-2700cl.1	UNSAT	62.52
4qbf-5cnf-100var-1000cl.1	UNSAT	65.24
k_lin_p-15	UNSAT	66.76
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	70.97
szymanski-22-s	UNSAT	77.1
k_lin_p-18	UNSAT	79.71
robots_1_5_3_62.4	SAT	81.64
robots_1_5_4_91.4	SAT	81.67
robots_1_5_2_69.4	SAT	86.32
3qbf-5cnf-50var-600cl.1	UNSAT	86.62
robots_1_5_3_80.4	SAT	86.63
5qbf-5cnf-50var-900cl.1	UNSAT	90.59
k_lin_n-6	SAT	96.96
5qbf-5cnf-100var-1800cl.1	UNSAT	99.41
3qbf-5cnf-100var-1800cl.1	UNSAT	105.66
4qbf-5cnf-150var-1500cl.2	UNSAT	109.51
TOILET7.1.iv.13	UNSAT	121.29
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	134.93
5qbf-5cnf-50var-700cl.1	UNSAT	141.38
4qbf-5cnf-100var-1200cl.1	UNSAT	150.49
k_grz_p-9	UNSAT	173
2qbf-5cnf-150var-2100cl.2	UNSAT	202.62
cf_6_6x6_r_	UNSAT	224.09
robots_1_5_4_87.8	UNSAT	234.58
robots_1_5_5_4.9	UNSAT	250.91
5qbf-5cnf-50var-600cl.2	UNSAT	253.67
k_lin_n-7	SAT	263.81
k_grz_n-9	SAT	288.01
k_t4p_n-2	SAT	306.88
robots_1_5_5_18.5	UNSAT	319.96
robots_1_5_5_59.5	UNSAT	320.44
C432.blif_0.10_0.20_0_1_inp_exact	SAT	323.22
k_path_n-5	SAT	387.46
5qbf-5cnf-150var-2700cl.1	UNSAT	395.87
k_path_p-6	UNSAT	401.63
k_poly_n-3	SAT	426.3
k_dum_n-6	SAT	451.21
3qbf-5cnf-150var-2700cl.2	UNSAT	479.82
2qbf-5cnf-100var-200cl.1	SAT	531.26
5qbf-5cnf-50var-500cl.2	SAT	586.97
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	639.12
robots_1_5_2_42.7	UNSAT	648.31
robots_1_5_3_15.6	SAT	666.12
robots_1_5_2_61.6	UNSAT	688.57
CHAIN16v.17	SAT	697.27
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	720.37
3qbf-5cnf-100var-1600cl.2	UNSAT	729.82
4qbf-5cnf-150var-1800cl.2	UNSAT	787.4
3qbf-5cnf-50var-700cl.2	UNSAT	829.75
uclid-pipe3b	FAIL	857.39
s1269_d2_s	FAIL	857.56
robots_1_5_5_34.6	UNSAT	880.61
robots_1_5_4_31.8	UNSAT	894.08
k_d4_n-9	FAIL	901
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	901
k_d4_p-13	FAIL	901
k_lin_n-14	FAIL	901
k_dum_n-18	FAIL	901
k_lin_n-15	FAIL	901
4qbf-5cnf-100var-800cl.2	FAIL	901
k_grz_n-13	FAIL	901
4qbf-5cnf-100var-800cl.1	FAIL	901
5qbf-5cnf-150var-1500cl.1	FAIL	901
5qbf-5cnf-150var-1800cl.1	FAIL	901
4qbf-5cnf-150var-1200cl.2	FAIL	901
k_grz_p-17	FAIL	901
5qbf-5cnf-150var-2700cl.2	FAIL	901
k_dum_p-16	FAIL	901
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	901
5qbf-5cnf-150var-2100cl.1	FAIL	901
k_d4_n-6	FAIL	901
5qbf-5cnf-150var-2100cl.2	FAIL	901
k_path_n-7	FAIL	901
4qbf-5cnf-50var-300cl.1	FAIL	901
k_poly_p-11	FAIL	901
k_dum_p-11	FAIL	901
adder-4-unsat	FAIL	901
k_poly_p-10	FAIL	901
5qbf-5cnf-50var-600cl.1	FAIL	901
k_grz_n-18	FAIL	901
5qbf-5cnf-150var-2400cl.1	FAIL	901
k_grz_n-17	FAIL	901
5qbf-5cnf-50var-800cl.1	FAIL	901
comp.blif_0.10_1.00_0_0_out_exact	FAIL	901
k_grz_p-14	FAIL	901
5qbf-5cnf-100var-1000cl.2	FAIL	901
5qbf-5cnf-100var-1400cl.1	FAIL	901
5qbf-5cnf-100var-1000cl.1	FAIL	901
test5_quant5	FAIL	901
5qbf-5cnf-100var-1400cl.2	FAIL	901
k_grz_p-10	FAIL	901
k_grz_p-19	FAIL	901
C499.blif_0.10_0.20_0_0_out_exact	FAIL	901
k_poly_n-7	FAIL	901
5qbf-5cnf-50var-500cl.1	FAIL	901
5qbf-5cnf-100var-800cl.1	FAIL	901
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	901
k_poly_p-7	FAIL	901
k_path_n-6	FAIL	901
4qbf-5cnf-150var-600cl.1	FAIL	901
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	901
4qbf-5cnf-150var-900cl.1	FAIL	901
4qbf-5cnf-150var-900cl.2	FAIL	901
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	901
k_dum_p-17	FAIL	901
MB2qbf-5cnf-100var-200cl.1	FAIL	901
4qbf-5cnf-50var-500cl.1	FAIL	901
test4_quant_squaring4	FAIL	901
test1_quant_squaring2	FAIL	901
2qbf-5cnf-50var-500cl.2	FAIL	901
2qbf-5cnf-150var-1200cl.2	FAIL	901
2qbf-5cnf-100var-800cl.2	FAIL	901
2qbf-5cnf-100var-800cl.1	FAIL	901
2qbf-5cnf-100var-600cl.2	FAIL	901
k_t4p_p-4	FAIL	901
k_grz_n-16	FAIL	901
CHAIN23v.24	FAIL	901
k_dum_n-16	FAIL	901
BLOCKS3i.4.4	FAIL	901
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	901
k_grz_n-12	FAIL	901
2qbf-5cnf-50var-400cl.2	FAIL	901
mutex-16-s	FAIL	901
k_dum_n-8	FAIL	901
2qbf-5cnf-50var-200cl.1	FAIL	901
2qbf-5cnf-150var-900cl.1	FAIL	901
2qbf-5cnf-150var-600cl.2	FAIL	901
2qbf-5cnf-150var-2400cl.2	FAIL	901
2qbf-5cnf-150var-2100cl.1	FAIL	901
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	901
C432.blif_0.10_0.20_0_0_out_exact	FAIL	901
k_d4_n-8	FAIL	901
Adder2-16-c	FAIL	901
s3330_d6_s	FAIL	901
mutex-64-s	FAIL	901
s1269_d9_s	FAIL	901
BLOCKS4i.6.4	FAIL	901
C880.blif_0.10_0.20_0_1_out_exact	FAIL	901
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	901
adder-10-sat	FAIL	901
k_dum_p-20	FAIL	901
C880.blif_0.10_1.00_0_0_out_exact	FAIL	901
tree-exa10-25	FAIL	901
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	901
uclid-pipe3a	FAIL	901
uclid-pipe2	FAIL	901
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	901
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	901
adder-8-unsat	FAIL	901
k_path_n-8	FAIL	901
BLOCKS4ii.7.2	FAIL	901
tree-exa10-30	FAIL	901
test3_quant2	FAIL	901
test5_quant_squaring4	FAIL	901
test1_quant3	FAIL	901
3qbf-5cnf-150var-1200cl.1	FAIL	901
test3_quant_squaring2	FAIL	901
CHAIN17v.18	FAIL	901
3qbf-5cnf-150var-1500cl.2	FAIL	901
4qbf-5cnf-100var-1000cl.2	FAIL	901
3qbf-5cnf-150var-2100cl.2	FAIL	901
3qbf-5cnf-150var-2100cl.1	FAIL	901
test5_quant_squaring5	FAIL	901
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	901
3qbf-5cnf-150var-2400cl.1	FAIL	901
3qbf-5cnf-150var-2400cl.2	FAIL	901
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	901
robots_1_5_3_16.7	FAIL	901
cnt16re	FAIL	901
3qbf-5cnf-50var-600cl.2	FAIL	901
3qbf-5cnf-100var-800cl.1	FAIL	901
robots_1_5_3_27.9	FAIL	901
3qbf-5cnf-100var-1400cl.1	FAIL	901
3qbf-5cnf-100var-1200cl.1	FAIL	901
k_t4p_n-5	FAIL	901
robots_1_5_3_18.7	FAIL	901
robots_1_5_3_84.7	FAIL	901
3qbf-5cnf-100var-1000cl.2	FAIL	901
3qbf-5cnf-100var-800cl.2	FAIL	901
4qbf-5cnf-100var-400cl.1	FAIL	901
k_branch_p-19	FAIL	901.01
s27_d3_u	FAIL	901.01
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
test5_quant7	FAIL	901.01
test1_quant2	FAIL	901.01
k_poly_p-12	FAIL	901.01
C432.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
s3330_d4_s	FAIL	901.01
k_branch_p-16	FAIL	901.01
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
s820_d11_u	FAIL	901.01
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	901.01
adder-6-sat	FAIL	901.01
mutex-32-s	FAIL	901.01
k_branch_n-14	FAIL	901.01
k_branch_n-6	FAIL	901.01
C432.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
s27_d5_u	FAIL	901.01
k_branch_n-7	FAIL	901.01
BLOCKS3iii.5	FAIL	901.01
k_branch_p-13	FAIL	901.01
k_poly_n-4	FAIL	901.01
k_grz_p-16	FAIL	901.01
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
adder-6-unsat	FAIL	901.01
C880.blif_0.10_0.20_0_0_out_exact	FAIL	901.01
test3_quant_squaring4	FAIL	901.01
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	901.01
k_poly_n-8	FAIL	901.01
s820_d8_s	FAIL	901.01
mutex-128-s	FAIL	901.01
s3330_d8_s	FAIL	901.01
k_branch_p-8	FAIL	901.01
comp.blif_0.10_0.20_0_0_out_exact	FAIL	901.01
CHAIN19v.20	FAIL	901.01
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
BLOCKS3i.5.3	FAIL	901.01
k_t4p_p-12	FAIL	901.01
C432.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
s510_d46_s	FAIL	901.01
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	901.01
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	901.01
CHAIN20v.21	FAIL	901.01
k_poly_p-8	FAIL	901.01
k_branch_n-20	FAIL	901.01
C499.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
s27_d4_u	FAIL	901.01
test4_quant4	FAIL	901.01
s499_d2_s	FAIL	901.01
k_d4_n-12	FAIL	901.01
s3330_d10_u	FAIL	901.01
BLOCKS3ii.5.3	FAIL	901.01
C499.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
k_branch_n-16	FAIL	901.01
BLOCKS4ii.6.3	FAIL	901.01
k_ph_n-21	FAIL	901.01
3qbf-5cnf-50var-500cl.2	FAIL	901.01
2qbf-5cnf-150var-300cl.1	FAIL	901.01
cnt09e	FAIL	901.01
2qbf-5cnf-150var-1800cl.1	FAIL	901.01
2qbf-5cnf-150var-1800cl.2	FAIL	901.01
2qbf-5cnf-150var-1500cl.1	FAIL	901.01
2qbf-5cnf-150var-1200cl.1	FAIL	901.01
2qbf-5cnf-100var-600cl.1	FAIL	901.01
2qbf-5cnf-100var-400cl.2	FAIL	901.01
2qbf-5cnf-100var-400cl.1	FAIL	901.01
2qbf-5cnf-100var-200cl.2	FAIL	901.01
cnt09re	FAIL	901.01
cnt12e	FAIL	901.01
2qbf-5cnf-100var-1200cl.1	FAIL	901.01
2qbf-5cnf-150var-300cl.2	FAIL	901.01
2qbf-5cnf-150var-600cl.1	FAIL	901.01
2qbf-5cnf-150var-900cl.2	FAIL	901.01
3qbf-5cnf-50var-500cl.1	FAIL	901.01
k_t4p_p-15	FAIL	901.01
3qbf-5cnf-150var-1800cl.1	FAIL	901.01
3qbf-5cnf-150var-1800cl.2	FAIL	901.01
3qbf-5cnf-150var-1500cl.1	FAIL	901.01
3qbf-5cnf-150var-1200cl.2	FAIL	901.01
3qbf-5cnf-100var-1400cl.2	FAIL	901.01
3qbf-5cnf-100var-1200cl.2	FAIL	901.01
3qbf-5cnf-100var-1000cl.1	FAIL	901.01
2qbf-5cnf-50var-400cl.1	FAIL	901.01
2qbf-5cnf-50var-300cl.2	FAIL	901.01
2qbf-5cnf-50var-300cl.1	FAIL	901.01
2qbf-5cnf-50var-200cl.2	FAIL	901.01
2qbf-5cnf-100var-1000cl.2	FAIL	901.01
s820_d14_u	FAIL	901.01
s820_d12_u	FAIL	901.01
s3330_d3_s	FAIL	901.01
s3330_d12_u	FAIL	901.01
cf_4_5x9_r_	FAIL	901.01
s298_d21_u	FAIL	901.01
s298_d17_s	FAIL	901.01
s1269_d15_u	FAIL	901.01
s1269_d6_s	FAIL	901.01
s1196_d7_u	FAIL	901.01
s1196_d6_u	FAIL	901.01
s1196_d5_u	FAIL	901.01
cf_9_9x9_r_	FAIL	901.01
cf_8_9x9_r_	FAIL	901.01
cf_8_8x8_r_	FAIL	901.01
s499_d14_s	FAIL	901.01
s499_d19_s	FAIL	901.01
s499_d10_s	FAIL	901.01
s820_d9_s	FAIL	901.01
s713_d10_u	FAIL	901.01
s713_d9_u	FAIL	901.01
s713_d8_u	FAIL	901.01
robots_1_5_4_34.8	FAIL	901.01
s641_d11_u	FAIL	901.01
s641_d10_u	FAIL	901.01
s641_d8_u	FAIL	901.01
s510_d51_u	FAIL	901.01
s510_d48_u	FAIL	901.01
s510_d31_s	FAIL	901.01
s510_d13_s	FAIL	901.01
s499_d18_s	FAIL	901.01
cf_7_9x7_r_	FAIL	901.01
5qbf-5cnf-150var-1200cl.1	FAIL	901.01
k_ph_p-19	FAIL	901.01
k_dum_p-15	FAIL	901.01
k_ph_p-15	FAIL	901.01
k_poly_n-18	FAIL	901.01
k_poly_n-11	FAIL	901.01
k_d4_p-14	FAIL	901.01
4qbf-5cnf-50var-400cl.1	FAIL	901.01
k_d4_p-7	FAIL	901.01
4qbf-5cnf-50var-300cl.2	FAIL	901.01
k_d4_p-19	FAIL	901.01
5qbf-5cnf-150var-1500cl.2	FAIL	901.01
k_lin_n-19	FAIL	901.01
5qbf-5cnf-150var-2400cl.2	FAIL	901.01
5qbf-5cnf-150var-1200cl.2	FAIL	901.01
5qbf-5cnf-100var-800cl.2	FAIL	901.01
k_path_n-13	FAIL	901.01
k_path_p-11	FAIL	901.01
5qbf-5cnf-100var-1800cl.2	FAIL	901.01
5qbf-5cnf-100var-1600cl.1	FAIL	901.01
5qbf-5cnf-100var-1600cl.2	FAIL	901.01
5qbf-5cnf-100var-1200cl.1	FAIL	901.01
5qbf-5cnf-150var-1800cl.2	FAIL	901.01
5qbf-5cnf-100var-1200cl.2	FAIL	901.01
k_d4_p-6	FAIL	901.01
k_poly_n-15	FAIL	901.01
4qbf-5cnf-150var-600cl.2	FAIL	901.01
k_t4p_p-10	FAIL	901.01
k_t4p_p-18	FAIL	901.01
k_branch_p-5	FAIL	901.01
k_d4_p-17	FAIL	901.01
k_d4_n-15	FAIL	901.01
4qbf-5cnf-100var-600cl.1	FAIL	901.01
4qbf-5cnf-100var-400cl.2	FAIL	901.01
4qbf-5cnf-100var-600cl.2	FAIL	901.01
4qbf-5cnf-150var-1200cl.1	FAIL	901.01
4qbf-5cnf-150var-1500cl.1	FAIL	901.01
s1269_d5_s	FAIL	901.02
cf_6_6x9_r_	FAIL	901.02
k_d4_p-16	FAIL	901.02
s1269_d10_s	FAIL	901.02
cf_5_6x9_r_	FAIL	901.02
s820_d4_s	FAIL	901.02
s1269_d4_s	FAIL	901.02
s713_d2_s	FAIL	901.02
s510_d42_s	FAIL	901.02
s298_d10_s	FAIL	901.02
s641_d2_s	FAIL	901.02
s1269_d3_s	FAIL	901.02
s3330_d2_s	FAIL	901.02
cf_8_8x9_r_	FAIL	901.02
s386_d9_u	FAIL	901.02
s298_d14_s	FAIL	901.02
s3330_d13_u	FAIL	901.02
k_branch_p-14	FAIL	901.02
s1196_d4_u	FAIL	901.02
k_t4p_n-19	FAIL	901.02
test2_quant_squaring2	FAIL	901.02
s386_d12_u	FAIL	901.02
s386_d3_s	FAIL	901.02
s499_d7_s	FAIL	901.02
k_branch_n-9	FAIL	901.02
k_d4_n-14	FAIL	901.02
k_path_p-16	FAIL	901.02
k_d4_n-13	FAIL	901.02
s510_d49_u	FAIL	901.02
k_t4p_p-19	FAIL	901.02
s298_d16_s	FAIL	901.02
k_branch_p-15	FAIL	901.02
s713_d6_s	FAIL	901.02
k_t4p_p-16	FAIL	901.02
s713_d7_u	FAIL	901.02
k_poly_p-14	FAIL	901.02
2qbf-5cnf-150var-1500cl.2	FAIL	901.02
k_ph_p-14	FAIL	901.02
k_poly_p-17	FAIL	901.02
s641_d6_s	FAIL	901.02
s298_d5_s	FAIL	901.02
k_t4p_n-13	FAIL	901.02
k_path_p-20	FAIL	901.02
k_t4p_n-14	FAIL	901.02
s499_d4_s	FAIL	901.02
k_t4p_n-18	FAIL	901.02
s641_d5_s	FAIL	901.02
s1196_d3_u	FAIL	901.02
s298_d19_u	FAIL	901.02
k_ph_p-17	FAIL	901.02
k_ph_p-20	FAIL	901.02
s820_d5_s	FAIL	901.02
s386_d8_u	FAIL	901.02
k_path_p-17	FAIL	901.02
k_path_p-14	FAIL	901.02
test2_quant3	FAIL	901.02
2qbf-5cnf-100var-1200cl.2	FAIL	901.02
s510_d12_s	FAIL	901.02
k_ph_n-15	FAIL	901.02
k_d4_n-16	FAIL	901.02
2qbf-5cnf-100var-1000cl.1	FAIL	901.02
s1196_d2_s	FAIL	901.03
cf_6_8x8_r_	FAIL	901.03
cf_6_8x6_r_	FAIL	901.03
k_t4p_n-17	FAIL	901.03
k_t4p_n-15	FAIL	901.03
k_branch_n-15	FAIL	901.03
s499_d3_s	FAIL	901.03
s386_d7_s	FAIL	901.03
test2_quant2	FAIL	901.03
s386_d10_u	FAIL	901.03
test2_quant_squaring3	FAIL	901.03
s713_d3_s	FAIL	901.03
cf_3_9x5_r_	FAIL	901.03
s713_d4_s	FAIL	901.03
s641_d7_u	FAIL	901.03
Adder2-12-s	FAIL	901.03
s386_d4_s	FAIL	901.04
s298_d8_s	FAIL	901.04
s820_d3_s	FAIL	901.04
s386_d5_s	FAIL	901.04
s641_d3_s	FAIL	901.04

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by GRL
QBFEVAL'04

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by GRL QBFEVAL'04

Instances solved by GRL
QBFEVAL'04