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

Instances solved by QMRes
QBFEVAL'04

Instance	Result	Time
tree-exa2-40	UNSAT	0
toilet_g_04_01.2	SAT	0
TOILET2.1.iv.3	UNSAT	0
tree-exa2-35	UNSAT	0.01
toilet_g_15_01.2	SAT	0.01
k_poly_n-1	SAT	0.01
impl08	SAT	0.01
toilet_g_10_01.2	SAT	0.01
k_ph_n-1	SAT	0.01
toilet_g_08_01.2	SAT	0.01
impl06	SAT	0.01
tree-exa10-30	SAT	0.01
k_lin_n-1	SAT	0.01
mutex-2-s	SAT	0.01
TOILET2.1.iv.4	SAT	0.01
tree-exa2-30	UNSAT	0.02
k_ph_n-3	SAT	0.02
4qbf-5cnf-50var-100cl.2	SAT	0.02
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.02
toilet_c_04_01.6	UNSAT	0.02
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.02
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.02
MB2qbf-5cnf-50var-100cl.1	SAT	0.02
tree-exa10-25	SAT	0.02
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.02
tree-exa2-15	UNSAT	0.02
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.02
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.02
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.02
impl02	SAT	0.02
impl14	SAT	0.02
tree-exa2-25	UNSAT	0.02
impl12	SAT	0.02
cnt02	SAT	0.02
toilet_g_20_01.2	SAT	0.02
k_lin_p-1	UNSAT	0.02
toilet_g_06_01.2	SAT	0.02
tree-exa2-45	UNSAT	0.02
toilet_g_02_01.2	SAT	0.02
impl16	SAT	0.02
flipflop-3-c	UNSAT	0.03
3qbf-5cnf-50var-100cl.2	SAT	0.03
MB3qbf-5cnf-50var-100cl.2	SAT	0.03
3qbf-5cnf-50var-100cl.1	SAT	0.03
k_path_p-2	UNSAT	0.03
cnt02e	SAT	0.03
MB3qbf-5cnf-50var-100cl.1	SAT	0.03
impl18	SAT	0.03
MB4qbf-5cnf-50var-100cl.2	SAT	0.03
MB4qbf-5cnf-50var-100cl.1	SAT	0.03
lognBWLARGEA0	SAT	0.03
2qbf-5cnf-50var-100cl.1	SAT	0.03
MB2qbf-5cnf-50var-100cl.2	UNSAT	0.03
k_path_n-1	SAT	0.03
toilet_c_10_01.3	UNSAT	0.03
5qbf-5cnf-50var-100cl.2	SAT	0.03
impl20	SAT	0.03
s27_d2_s	SAT	0.03
4qbf-5cnf-50var-100cl.1	SAT	0.04
MB5qbf-5cnf-50var-100cl.2	SAT	0.04
k_dum_p-1	UNSAT	0.04
toilet_a_06_01.5	UNSAT	0.04
MB3qbf-5cnf-50var-200cl.2	UNSAT	0.04
k_ph_p-3	UNSAT	0.04
MB5qbf-5cnf-50var-100cl.1	SAT	0.04
5qbf-5cnf-50var-100cl.1	SAT	0.04
k_dum_n-1	SAT	0.04
MB3qbf-5cnf-50var-400cl.2	UNSAT	0.05
MB3qbf-5cnf-50var-200cl.1	UNSAT	0.05
lognBWLARGEB0	SAT	0.05
Adder2-2-c	UNSAT	0.05
2qbf-5cnf-50var-100cl.2	SAT	0.05
toilet_a_06_05.2	UNSAT	0.05
mutex-4-s	SAT	0.05
k_poly_p-2	UNSAT	0.05
k_path_p-3	UNSAT	0.05
k_branch_n-1	SAT	0.05
k_ph_n-4	SAT	0.06
toilet_a_10_01.4	FAIL	0.07
MB3qbf-5cnf-50var-600cl.1	UNSAT	0.07
4qbf-5cnf-100var-200cl.1	SAT	0.07
MB3qbf-5cnf-50var-300cl.2	UNSAT	0.08
k_dum_n-3	SAT	0.08
k_t4p_p-1	UNSAT	0.08
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.09
szymanski-4-s	UNSAT	0.09
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.09
MB3qbf-5cnf-100var-200cl.2	SAT	0.09
k_path_n-3	SAT	0.1
MB3qbf-5cnf-100var-200cl.1	SAT	0.1
5qbf-5cnf-100var-200cl.1	SAT	0.1
5qbf-5cnf-100var-200cl.2	SAT	0.1
MB3qbf-5cnf-50var-300cl.1	UNSAT	0.1
k_lin_n-2	SAT	0.1
MB4qbf-5cnf-100var-200cl.2	SAT	0.11
k_poly_n-3	SAT	0.11
4qbf-5cnf-100var-200cl.2	SAT	0.11
3qbf-5cnf-100var-200cl.1	SAT	0.11
MB2qbf-5cnf-100var-200cl.1	SAT	0.11
k_d4_p-3	UNSAT	0.11
toilet_a_08_01.3	UNSAT	0.11
MB5qbf-5cnf-100var-200cl.2	SAT	0.11
MB5qbf-5cnf-50var-200cl.2	SAT	0.12
toilet_c_06_01.9	UNSAT	0.12
s27_d3_u	UNSAT	0.12
k_ph_p-4	UNSAT	0.12
k_dum_n-4	SAT	0.13
MB4qbf-5cnf-100var-200cl.1	SAT	0.13
MB2qbf-5cnf-100var-200cl.2	UNSAT	0.13
MB5qbf-5cnf-100var-200cl.1	SAT	0.13
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.14
comp.blif_0.10_0.20_0_1_inp_exact	SAT	0.14
3qbf-5cnf-100var-200cl.2	SAT	0.14
MB3qbf-5cnf-50var-900cl.2	UNSAT	0.15
comp.blif_0.10_0.20_0_1_out_exact	SAT	0.15
MB5qbf-5cnf-50var-200cl.1	SAT	0.15
MB5qbf-5cnf-50var-700cl.2	UNSAT	0.15
MB3qbf-5cnf-50var-500cl.1	UNSAT	0.16
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	0.16
MB3qbf-5cnf-50var-800cl.1	UNSAT	0.16
k_dum_p-6	UNSAT	0.16
k_path_n-4	SAT	0.16
k_lin_p-5	UNSAT	0.17
k_dum_n-5	SAT	0.17
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0.17
MB3qbf-5cnf-50var-700cl.1	UNSAT	0.18
k_poly_n-4	SAT	0.18
comp.blif_0.10_1.00_0_1_out_exact	SAT	0.19
MB3qbf-5cnf-150var-300cl.1	SAT	0.19
MB4qbf-5cnf-50var-200cl.2	UNSAT	0.2
MB3qbf-5cnf-100var-400cl.1	UNSAT	0.2
MB3qbf-5cnf-100var-400cl.2	UNSAT	0.2
CHAIN12v.13	SAT	0.2
MB4qbf-5cnf-150var-300cl.2	SAT	0.21
k_grz_p-3	UNSAT	0.21
5qbf-5cnf-150var-300cl.2	SAT	0.21
k_dum_p-8	UNSAT	0.22
MB3qbf-5cnf-150var-300cl.2	SAT	0.22
MB5qbf-5cnf-50var-400cl.1	UNSAT	0.22
k_t4p_n-2	SAT	0.23
k_path_n-5	SAT	0.23
k_grz_n-2	SAT	0.23
k_grz_n-3	SAT	0.24
k_grz_p-4	UNSAT	0.24
4qbf-5cnf-150var-300cl.2	SAT	0.25
k_path_p-6	UNSAT	0.25
k_dum_n-6	SAT	0.25
MB5qbf-5cnf-50var-500cl.2	UNSAT	0.26
5qbf-5cnf-150var-300cl.1	SAT	0.26
MB4qbf-5cnf-150var-300cl.1	SAT	0.28
k_lin_p-6	UNSAT	0.28
CHAIN13v.14	SAT	0.29
MB5qbf-5cnf-50var-400cl.2	UNSAT	0.29
MB5qbf-5cnf-50var-300cl.1	UNSAT	0.32
mutex-8-s	SAT	0.33
MB5qbf-5cnf-150var-300cl.2	SAT	0.34
k_t4p_p-4	UNSAT	0.34
k_path_n-6	SAT	0.35
CHAIN14v.15	SAT	0.36
MB5qbf-5cnf-150var-300cl.1	SAT	0.37
MB5qbf-5cnf-50var-300cl.2	UNSAT	0.37
MB3qbf-5cnf-150var-600cl.2	UNSAT	0.39
k_dum_n-8	SAT	0.39
k_d4_p-6	UNSAT	0.39
s641_d2_s	FAIL	0.39
4qbf-5cnf-150var-300cl.1	SAT	0.4
k_dum_p-11	UNSAT	0.42
k_lin_p-8	UNSAT	0.44
k_d4_p-7	UNSAT	0.45
MB3qbf-5cnf-50var-400cl.1	UNSAT	0.46
k_path_n-7	SAT	0.49
MB3qbf-5cnf-100var-600cl.2	UNSAT	0.52
MB3qbf-5cnf-100var-600cl.1	UNSAT	0.54
MB3qbf-5cnf-100var-1000cl.1	UNSAT	0.55
k_grz_p-9	UNSAT	0.56
MB3qbf-5cnf-100var-1000cl.2	UNSAT	0.57
k_poly_n-8	SAT	0.59
MB3qbf-5cnf-150var-600cl.1	UNSAT	0.6
3qbf-5cnf-150var-300cl.2	SAT	0.61
k_path_n-8	SAT	0.61
2qbf-5cnf-100var-200cl.1	SAT	0.63
MB5qbf-5cnf-100var-400cl.1	UNSAT	0.63
CHAIN17v.18	SAT	0.67
CHAIN16v.17	SAT	0.7
k_dum_p-15	UNSAT	0.71
TOILET6.1.iv.11	UNSAT	0.71
k_grz_n-9	SAT	0.77
k_grz_p-10	UNSAT	0.78
5qbf-5cnf-50var-200cl.2	SAT	0.79
k_d4_n-6	SAT	0.81
MB3qbf-5cnf-100var-1200cl.1	UNSAT	0.83
2qbf-5cnf-100var-200cl.2	SAT	0.84
k_lin_n-3	SAT	0.84
adder-4-unsat	UNSAT	0.84
TOILET6.1.iv.12	SAT	0.86
k_dum_p-16	UNSAT	0.87
MB3qbf-5cnf-100var-1800cl.1	UNSAT	0.87
MB5qbf-5cnf-100var-400cl.2	UNSAT	0.92
k_path_p-11	UNSAT	0.94
robots_1_5_5_29.1	SAT	0.95
robots_1_5_4_78.1	SAT	0.95
k_dum_p-17	UNSAT	0.96
CHAIN19v.20	SAT	0.98
5qbf-5cnf-50var-200cl.1	SAT	0.99
toilet_a_10_01.7	UNSAT	1.02
MB4qbf-5cnf-50var-200cl.1	UNSAT	1.05
MB5qbf-5cnf-100var-800cl.1	UNSAT	1.07
MB5qbf-5cnf-100var-600cl.2	UNSAT	1.07
MB5qbf-5cnf-100var-1000cl.1	UNSAT	1.07
k_lin_p-10	UNSAT	1.11
MB5qbf-5cnf-50var-500cl.1	UNSAT	1.11
robots_1_5_2_64.1	SAT	1.16
test5_quant_squaring4	SAT	1.17
s3271_d15_s	FAIL	1.17
robots_1_5_2_38.1	SAT	1.17
MB3qbf-5cnf-100var-1400cl.2	UNSAT	1.2
robots_1_5_2_93.1	SAT	1.21
CHAIN20v.21	SAT	1.21
k_dum_n-16	SAT	1.23
MB3qbf-5cnf-100var-1800cl.2	UNSAT	1.24
toilet_c_08_01.13	UNSAT	1.25
k_t4p_n-5	SAT	1.31
k_dum_p-20	UNSAT	1.38
k_poly_n-11	SAT	1.39
MB5qbf-5cnf-100var-1200cl.1	UNSAT	1.4
MB3qbf-5cnf-150var-900cl.1	UNSAT	1.4
k_lin_p-11	UNSAT	1.41
cf_2_2x3_w_	UNSAT	1.42
MB3qbf-5cnf-150var-1200cl.1	UNSAT	1.43
adder-6-sat	SAT	1.48
k_d4_p-13	UNSAT	1.49
k_grz_p-14	UNSAT	1.5
s27_d4_u	UNSAT	1.51
s641_d3_s	FAIL	1.52
toilet_c_10_01.9	UNSAT	1.53
szymanski-14-s	FAIL	1.53
vonNeumann-ripple-carry-14-c	FAIL	1.54
k_path_n-13	SAT	1.58
MB3qbf-5cnf-100var-1600cl.2	UNSAT	1.6
k_d4_n-8	SAT	1.62
k_dum_n-18	SAT	1.65
flipflop-9-c	FAIL	1.66
k_d4_p-14	UNSAT	1.67
k_grz_p-16	UNSAT	1.67
k_path_p-14	UNSAT	1.7
k_t4p_p-10	UNSAT	1.73
MB5qbf-5cnf-100var-600cl.1	UNSAT	1.73
MB3qbf-5cnf-150var-1200cl.2	UNSAT	1.79
k_grz_p-17	UNSAT	1.79
MB5qbf-5cnf-150var-600cl.1	UNSAT	2.12
CHAIN23v.24	SAT	2.16
k_d4_n-9	SAT	2.19
toilet_a_08_01.16	SAT	2.24
MB5qbf-5cnf-150var-600cl.2	UNSAT	2.31
k_d4_p-16	UNSAT	2.33
k_grz_n-12	SAT	2.4
k_path_p-16	UNSAT	2.43
k_grz_p-19	UNSAT	2.44
MB5qbf-5cnf-100var-1800cl.2	UNSAT	2.47
MB3qbf-5cnf-150var-2400cl.1	UNSAT	2.52
k_t4p_p-12	UNSAT	2.58
k_path_p-17	UNSAT	2.61
k_d4_p-17	UNSAT	2.69
szymanski-16-s	FAIL	2.75
cf_2_3x2_r_	UNSAT	2.8
MB5qbf-5cnf-100var-1600cl.2	UNSAT	2.85
vonNeumann-ripple-carry-7-c	FAIL	2.87
MB3qbf-5cnf-150var-2100cl.2	UNSAT	2.88
MB5qbf-5cnf-150var-1500cl.1	UNSAT	2.92
TOILET7.1.iv.13	UNSAT	2.98
test5_quant7	SAT	2.98
MB3qbf-5cnf-150var-900cl.2	UNSAT	3.07
test5_quant_squaring5	SAT	3.09
k_branch_p-3	UNSAT	3.15
MB5qbf-5cnf-150var-900cl.2	UNSAT	3.18
k_poly_n-15	SAT	3.19
flipflop-10-c	FAIL	3.26
k_d4_p-19	UNSAT	3.31
MB3qbf-5cnf-150var-2100cl.1	UNSAT	3.32
k_path_p-20	UNSAT	3.51
k_t4p_p-15	UNSAT	3.52
TOILET7.1.iv.14	SAT	3.54
cf_7_9x7_r_	FAIL	3.59
cf_7_9x7_w_	FAIL	3.61
MB5qbf-5cnf-50var-800cl.1	UNSAT	3.69
cf_7_8x8_w_	FAIL	3.71
MB3qbf-5cnf-150var-1500cl.1	UNSAT	3.88
szymanski-18-s	FAIL	3.91
MB3qbf-5cnf-150var-2700cl.2	UNSAT	3.96
cf_8_8x9_r_	FAIL	4.07
cf_8_8x9_w_	FAIL	4.1
k_t4p_p-16	UNSAT	4.12
cf_8_8x9_d_	FAIL	4.18
MB5qbf-5cnf-100var-1200cl.2	UNSAT	4.18
MB5qbf-5cnf-100var-1000cl.2	UNSAT	4.2
k_d4_n-12	SAT	4.3
k_d4_n-13	SAT	4.46
k_grz_n-13	SAT	4.65
cf_6_8x8_r_	FAIL	4.66
cf_9_9x9_w_	FAIL	4.81
cf_9_9x9_d_	FAIL	4.82
cf_9_9x9_r_	FAIL	4.82
k_t4p_p-18	UNSAT	5.07
MB5qbf-5cnf-50var-600cl.2	UNSAT	5.32
cf_7_9x8_w_	FAIL	5.34
flipflop-11-c	FAIL	5.44
k_t4p_p-19	UNSAT	5.48
test5_quant5	SAT	5.67
k_d4_n-14	SAT	5.7
MB5qbf-5cnf-100var-800cl.2	UNSAT	5.74
MB5qbf-5cnf-50var-700cl.1	UNSAT	5.98
cf_8_9x9_w_	FAIL	6.13
cf_8_9x9_r_	FAIL	6.13
cf_8_9x9_d_	FAIL	6.15
k_d4_n-15	SAT	6.2
s641_d5_s	FAIL	6.37
cf_6_8x9_d_	FAIL	6.42
MB5qbf-5cnf-150var-1800cl.2	UNSAT	6.52
MB3qbf-5cnf-100var-800cl.1	UNSAT	6.69
MB5qbf-5cnf-150var-900cl.1	UNSAT	7.02
vonNeumann-ripple-carry-9-c	FAIL	7.07
test3_quant_squaring2	UNSAT	7.19
MB5qbf-5cnf-150var-2400cl.2	UNSAT	7.3
k_d4_n-16	SAT	7.36
cf_4_8x8_w_	FAIL	7.56
szymanski-22-s	FAIL	7.58
cf_7_9x9_d_	FAIL	7.68
MB5qbf-5cnf-150var-1200cl.2	UNSAT	7.94
MB3qbf-5cnf-50var-500cl.2	UNSAT	8.03
cf_5_8x9_w_	FAIL	8.11
MB3qbf-5cnf-150var-2700cl.1	UNSAT	8.32
cf_3_7x9_w_	FAIL	8.56
cf_3_8x8_w_	FAIL	9.1
3qbf-5cnf-150var-300cl.1	SAT	9.7
test3_quant2	UNSAT	10.03
k_t4p_n-13	SAT	10.74
MB5qbf-5cnf-50var-600cl.1	UNSAT	11.1
k_t4p_n-14	SAT	11.21
MB3qbf-5cnf-100var-800cl.2	UNSAT	11.62
vonNeumann-ripple-carry-10-c	FAIL	11.9
adder-6-unsat	UNSAT	11.93
s3271_d2_s	FAIL	12.16
s641_d6_s	FAIL	12.49
cf_3_8x9_d_	FAIL	12.55
k_t4p_n-15	SAT	12.76
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	15.74
k_t4p_n-17	SAT	16.04
MB2qbf-5cnf-150var-300cl.1	UNSAT	16.26
s3271_d5_s	FAIL	16.28
s713_d6_s	FAIL	16.3
vonNeumann-ripple-carry-11-c	FAIL	16.4
s1269_d4_s	FAIL	16.4
k_ph_n-6	SAT	16.43
MB5qbf-5cnf-150var-1200cl.1	UNSAT	16.62
s641_d11_u	FAIL	16.63
s1196_d7_u	FAIL	16.65
s499_d19_s	FAIL	16.77
s3330_d6_s	FAIL	16.96
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	17.13
s1269_d15_u	FAIL	17.39
s713_d10_u	FAIL	17.44
s820_d9_s	FAIL	17.58
s510_d31_s	FAIL	17.65
s3330_d10_u	FAIL	17.67
s820_d11_u	FAIL	17.73
s820_d14_u	FAIL	17.75
s386_d12_u	FAIL	17.82
s1196_d6_u	FAIL	17.85
s3330_d4_s	FAIL	17.92
s820_d12_u	FAIL	17.96
s510_d42_s	FAIL	18.14
s641_d10_u	FAIL	18.15
s1269_d9_s	FAIL	18.17
s641_d7_u	FAIL	18.28
s713_d9_u	FAIL	18.39
MB5qbf-5cnf-150var-2700cl.1	UNSAT	18.54
s713_d8_u	FAIL	18.54
s713_d7_u	FAIL	18.72
s3330_d3_s	FAIL	18.75
s298_d16_s	FAIL	18.99
s510_d13_s	FAIL	19.08
s641_d8_u	FAIL	19.11
s820_d8_s	FAIL	19.12
s1269_d10_s	FAIL	19.19
s3271_d19_u	FAIL	19.19
s1269_d6_s	FAIL	19.2
s298_d21_u	FAIL	19.32
cf_3_9x9_w_	FAIL	19.45
s510_d12_s	FAIL	19.57
k_t4p_n-18	SAT	19.66
s298_d19_u	FAIL	19.76
s1269_d5_s	FAIL	19.85
s3271_d12_s	FAIL	19.9
s499_d2_s	SAT	19.92
s3271_d18_u	FAIL	19.97
s298_d17_s	FAIL	20.05
s510_d48_u	FAIL	20.22
s510_d46_s	FAIL	20.24
s510_d49_u	FAIL	20.38
s3330_d12_u	FAIL	20.57
MB5qbf-5cnf-150var-1500cl.2	UNSAT	20.71
s510_d51_u	FAIL	20.73
s499_d14_s	FAIL	20.74
s3330_d13_u	FAIL	20.82
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	20.82
s3271_d20_u	FAIL	20.97
s3330_d8_s	FAIL	21.29
k_t4p_n-19	SAT	22.15
term1.blif_0.10_1.00_0_1_out_exact	SAT	22.28
s499_d18_s	FAIL	25.63
s27_d5_u	UNSAT	25.96
vonNeumann-ripple-carry-12-c	FAIL	26.1
s386_d10_u	FAIL	26.32
s3271_d22_u	FAIL	26.34
term1.blif_0.10_0.20_0_1_out_exact	SAT	27.02
MB5qbf-5cnf-50var-800cl.2	UNSAT	27.04
k_poly_p-7	UNSAT	27.38
k_ph_p-20	FAIL	28.26
s1196_d4_u	FAIL	28.34
s298_d14_s	FAIL	29.5
term1.blif_0.10_1.00_0_1_inp_exact	SAT	30.78
adder-10-sat	SAT	32.38
MB5qbf-5cnf-100var-1400cl.2	UNSAT	33.28
vonNeumann-ripple-carry-13-c	FAIL	33.6
toilet_a_10_01.15	UNSAT	33.76
5qbf-5cnf-100var-400cl.1	SAT	34.05
BLOCKS3ii.4.3	UNSAT	38.4
MB2qbf-5cnf-150var-300cl.2	UNSAT	38.68
k_poly_n-7	SAT	40.71
s1196_d5_u	FAIL	42.22
k_ph_n-21	FAIL	42.5
MB2qbf-5cnf-50var-200cl.1	UNSAT	42.88
MB5qbf-5cnf-50var-900cl.1	UNSAT	45.28
cnt06	SAT	50.4
s499_d10_s	FAIL	55.38
MB3qbf-5cnf-50var-600cl.2	UNSAT	56.99
5qbf-5cnf-100var-400cl.2	SAT	58.15
k_grz_n-16	SAT	68.01
MB2qbf-5cnf-50var-200cl.2	UNSAT	77.99
cnt04e	SAT	80.43
2qbf-5cnf-150var-300cl.1	SAT	84.48
adder-8-unsat	UNSAT	85.89
MB5qbf-5cnf-50var-900cl.2	UNSAT	87.94
MB5qbf-5cnf-100var-1400cl.1	UNSAT	101.86
cf_4_5x4_d_	UNSAT	124.22
mutex-16-s	SAT	127.2
MB3qbf-5cnf-50var-700cl.2	UNSAT	130.32
4qbf-5cnf-50var-200cl.2	SAT	140.72
3qbf-5cnf-50var-200cl.1	SAT	145.01
cf_4_5x5_d_	UNSAT	181.7
toilet_c_06_05.4	SAT	185.17
MB5qbf-5cnf-150var-1800cl.1	UNSAT	189.28
mutex-64-s	FAIL	191.13
test3_quant_squaring4	FAIL	191.15
k_grz_n-17	SAT	199.07
k_poly_p-8	UNSAT	227.95
cf_4_6x5_d_	UNSAT	266.29
TOILET10.1.iv.20	SAT	293.36
mutex-32-s	FAIL	336.83
2qbf-5cnf-150var-300cl.2	SAT	341.56
flipflop-4-c	UNSAT	474.09
s298_d8_s	FAIL	500.17
Adder2-12-s	FAIL	511.92
s386_d9_u	FAIL	512.32
s298_d10_s	FAIL	529.09
test4_quant4	FAIL	529.76
test4_quant_squaring4	FAIL	538.6
s386_d8_u	FAIL	541.72
s1269_d3_s	FAIL	556.85
MB3qbf-5cnf-50var-800cl.2	UNSAT	572.67
k_lin_n-6	SAT	575.86
cf_6_6x6_d_	UNSAT	597.09
k_grz_n-18	SAT	601.96
s499_d7_s	FAIL	603.07
3qbf-5cnf-150var-1200cl.1	FAIL	617.49
s298_d5_s	FAIL	688.3
4qbf-5cnf-150var-900cl.1	FAIL	736.98
s386_d4_s	FAIL	746.8
C499.blif_0.10_1.00_0_1_inp_exact	SAT	760.83
s386_d3_s	FAIL	767.38
3qbf-5cnf-50var-200cl.2	SAT	771.64
cf_5_7x5_d_	UNSAT	773.33
4qbf-5cnf-150var-2700cl.1	FAIL	831.24
MB5qbf-5cnf-100var-1600cl.1	UNSAT	854.3
4qbf-5cnf-100var-600cl.1	FAIL	867.49
Adder2-16-c	FAIL	900.54
test2_quant_squaring3	FAIL	901
C880.blif_0.10_1.00_0_0_out_exact	FAIL	901
flipflop-5-c	FAIL	901
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	901
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	901
MB4qbf-5cnf-50var-300cl.2	FAIL	901
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	901
C432.blif_0.10_1.00_0_0_out_exact	FAIL	901
BLOCKS3ii.5.3	FAIL	901
k_ph_n-8	FAIL	901
BLOCKS4i.6.4	FAIL	901
C880.blif_0.10_0.20_0_1_out_exact	FAIL	901
C432.blif_0.10_1.00_0_0_inp_exact	FAIL	901
flipflop-7-c	FAIL	901
C499.blif_0.10_0.20_0_1_out_exact	FAIL	901
C432.blif_0.10_0.20_0_0_out_exact	FAIL	901
uclid-pipe2	FAIL	901
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	901
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	901
MB4qbf-5cnf-150var-900cl.1	FAIL	901
MB4qbf-5cnf-150var-900cl.2	FAIL	901
C499.blif_0.10_1.00_0_0_out_exact	FAIL	901
C5315.blif_0.10_1.00_0_1_inp_exact	FAIL	901
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	901
MB4qbf-5cnf-50var-300cl.1	FAIL	901
C880.blif_0.10_1.00_0_1_out_exact	FAIL	901
C880.blif_0.10_1.00_0_1_inp_exact	FAIL	901
test1_quant3	FAIL	901
toilet_c_10_05.4	FAIL	901
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	901
C880.blif_0.10_0.20_0_0_out_exact	FAIL	901
k_branch_p-8	FAIL	901
k_branch_n-9	FAIL	901
cf_2_5x4_r_	FAIL	901
k_ph_n-7	FAIL	901
k_ph_n-15	FAIL	901
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	901
toilet_a_10_05.3	FAIL	901
k_ph_p-7	FAIL	901
C499.blif_0.10_0.20_0_0_out_exact	FAIL	901
cnt09re	FAIL	901
k_branch_n-16	FAIL	901
C499.blif_0.10_1.00_0_1_out_exact	FAIL	901
BLOCKS3i.5.3	FAIL	901
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	901
k_branch_n-15	FAIL	901
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	901
k_branch_n-6	FAIL	901
k_lin_n-15	FAIL	901
k_lin_n-7	FAIL	901
k_lin_p-15	FAIL	901
k_lin_n-14	FAIL	901
k_branch_p-5	FAIL	901
cnt09e	FAIL	901
cnt12e	FAIL	901
cf_6_6x6_r_	FAIL	901
cnt16re	FAIL	901
cf_2_4x8_r_	FAIL	901
cf_2_4x8_d_	FAIL	901
k_lin_p-18	FAIL	901
test1_quant_squaring2	FAIL	901
MB2qbf-5cnf-50var-400cl.1	FAIL	901.01
MB2qbf-5cnf-50var-500cl.2	FAIL	901.01
cf_2_8x5_r_	FAIL	901.01
cf_3_5x4_r_	FAIL	901.01
MB2qbf-5cnf-50var-300cl.1	FAIL	901.01
MB2qbf-5cnf-50var-300cl.2	FAIL	901.01
MB2qbf-5cnf-50var-500cl.1	FAIL	901.01
MB2qbf-5cnf-50var-400cl.2	FAIL	901.01
MB2qbf-5cnf-50var-600cl.2	FAIL	901.01
C432.blif_0.10_1.00_0_1_out_exact	FAIL	901.01
s1196_d3_u	FAIL	901.01
cf_2_8x3_r_	FAIL	901.01
MB2qbf-5cnf-50var-900cl.1	FAIL	901.01
MB2qbf-5cnf-50var-800cl.1	FAIL	901.01
MB2qbf-5cnf-50var-900cl.2	FAIL	901.01
MB2qbf-5cnf-50var-700cl.2	FAIL	901.01
MB2qbf-5cnf-50var-700cl.1	FAIL	901.01
MB2qbf-5cnf-50var-600cl.1	FAIL	901.01
cf_3_6x4_w_	FAIL	901.01
cf_3_9x5_d_	FAIL	901.01
cf_5_6x5_w_	FAIL	901.01
5qbf-5cnf-100var-1200cl.1	FAIL	901.01
4qbf-5cnf-50var-900cl.2	FAIL	901.01
MB2qbf-5cnf-50var-800cl.2	FAIL	901.01
4qbf-5cnf-50var-400cl.1	FAIL	901.01
4qbf-5cnf-50var-300cl.1	FAIL	901.01
cf_5_6x9_r_	FAIL	901.01
4qbf-5cnf-50var-200cl.1	FAIL	901.01
cf_5_7x6_d_	FAIL	901.01
term1.blif_0.10_0.20_0_1_inp_exact	FAIL	901.01
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
cf_5_5x7_d_	FAIL	901.01
cf_5_5x6_w_	FAIL	901.01
cf_5_5x5_r_	FAIL	901.01
MB2qbf-5cnf-150var-2700cl.2	FAIL	901.01
MB2qbf-5cnf-150var-2100cl.2	FAIL	901.01
MB2qbf-5cnf-150var-1500cl.1	FAIL	901.01
MB2qbf-5cnf-150var-1200cl.2	FAIL	901.01
MB2qbf-5cnf-100var-800cl.2	FAIL	901.01
MB2qbf-5cnf-100var-600cl.2	FAIL	901.01
MB2qbf-5cnf-100var-400cl.2	FAIL	901.01
cf_4_5x6_w_	FAIL	901.01
MB4qbf-5cnf-50var-900cl.2	FAIL	901.01
cf_4_5x9_d_	FAIL	901.01
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	901.01
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
cf_6_6x8_w_	FAIL	901.01
k_lin_n-19	FAIL	901.01
k_ph_p-15	FAIL	901.01
k_poly_n-18	FAIL	901.01
flipflop-8-c	FAIL	901.01
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
BLOCKS3iii.5	FAIL	901.01
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	901.01
k_poly_p-11	FAIL	901.01
MB4qbf-5cnf-50var-700cl.1	FAIL	901.01
MB4qbf-5cnf-50var-400cl.1	FAIL	901.01
TOILET16.1.iv.32	FAIL	901.01
C432.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
uclid-pipe3b	FAIL	901.01
vonNeumann-ripple-carry-5-c	FAIL	901.01
MB5qbf-5cnf-150var-2100cl.1	FAIL	901.01
k_branch_p-16	FAIL	901.01
k_branch_p-15	FAIL	901.01
k_branch_p-19	FAIL	901.01
k_branch_p-14	FAIL	901.01
k_branch_p-13	FAIL	901.01
k_branch_n-7	FAIL	901.01
s713_d2_s	FAIL	901.01
szymanski-10-s	FAIL	901.01
k_branch_n-14	FAIL	901.01
BLOCKS4ii.6.3	FAIL	901.01
toilet_c_10_05.10	FAIL	901.01
MB5qbf-5cnf-150var-2400cl.1	FAIL	901.01
robots_1_5_2_3.5	FAIL	901.01
MB4qbf-5cnf-150var-600cl.2	FAIL	901.01
MB4qbf-5cnf-150var-600cl.1	FAIL	901.01
robots_1_5_3_84.7	FAIL	901.01
robots_1_5_3_27.9	FAIL	901.01
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	901.01
test2_quant3	FAIL	901.01
robots_1_5_5_5.2	FAIL	901.01
robots_1_5_5_18.5	FAIL	901.01
robots_1_5_5_59.5	FAIL	901.01
robots_1_5_5_34.6	FAIL	901.01
MB3qbf-5cnf-150var-2400cl.2	FAIL	901.01
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	901.01
BLOCKS3i.4.4	FAIL	901.01
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	901.01
k_branch_n-20	FAIL	901.01
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	901.01
robots_1_5_2_61.6	FAIL	901.01
MB4qbf-5cnf-150var-2700cl.2	FAIL	901.01
MB4qbf-5cnf-150var-1800cl.2	FAIL	901.01
MB4qbf-5cnf-150var-1200cl.2	FAIL	901.01
MB4qbf-5cnf-100var-600cl.2	FAIL	901.01
robots_1_5_2_72.7	FAIL	901.01
MB4qbf-5cnf-100var-1800cl.2	FAIL	901.01
MB4qbf-5cnf-100var-1600cl.1	FAIL	901.01
MB4qbf-5cnf-100var-1200cl.2	FAIL	901.01
robots_1_5_3_17.2	FAIL	901.01
MB3qbf-5cnf-50var-900cl.1	FAIL	901.01
uclid-pipe3a	FAIL	901.01
robots_1_5_5_4.9	FAIL	901.01
3qbf-5cnf-150var-900cl.1	FAIL	901.01
2qbf-5cnf-50var-700cl.2	FAIL	901.01
2qbf-5cnf-50var-700cl.1	FAIL	901.01
2qbf-5cnf-50var-600cl.1	FAIL	901.01
4qbf-5cnf-100var-1400cl.2	FAIL	901.01
4qbf-5cnf-100var-1400cl.1	FAIL	901.01
2qbf-5cnf-50var-500cl.2	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-50var-900cl.1	FAIL	901.01
2qbf-5cnf-150var-2100cl.1	FAIL	901.01
2qbf-5cnf-50var-800cl.1	FAIL	901.01
2qbf-5cnf-50var-800cl.2	FAIL	901.01
2qbf-5cnf-50var-900cl.2	FAIL	901.01
3qbf-5cnf-150var-900cl.2	FAIL	901.01
3qbf-5cnf-150var-1800cl.1	FAIL	901.01
C432.blif_0.10_1.00_0_1_inp_exact	FAIL	901.01
cf_7_7x9_d_	FAIL	901.01
cf_7_7x7_d_	FAIL	901.01
3qbf-5cnf-50var-300cl.1	FAIL	901.01
cf_8_8x8_w_	FAIL	901.01
3qbf-5cnf-50var-500cl.2	FAIL	901.01
3qbf-5cnf-50var-600cl.1	FAIL	901.01
3qbf-5cnf-50var-800cl.2	FAIL	901.01
3qbf-5cnf-50var-900cl.1	FAIL	901.01
3qbf-5cnf-100var-1200cl.1	FAIL	901.01
5qbf-5cnf-150var-2400cl.2	FAIL	901.01
2qbf-5cnf-150var-1200cl.1	FAIL	901.01
2qbf-5cnf-150var-1500cl.1	FAIL	901.01
4qbf-5cnf-150var-1500cl.2	FAIL	901.01
2qbf-5cnf-100var-1400cl.1	FAIL	901.01
2qbf-5cnf-100var-1200cl.2	FAIL	901.01
cf_6_6x9_r_	FAIL	901.01
2qbf-5cnf-100var-1600cl.2	FAIL	901.01
2qbf-5cnf-100var-1000cl.1	FAIL	901.01
2qbf-5cnf-100var-1600cl.1	FAIL	901.01
3qbf-5cnf-50var-700cl.2	FAIL	901.01
robots_1_5_3_15.6	FAIL	901.02
2qbf-5cnf-100var-1400cl.2	FAIL	901.02
3qbf-5cnf-100var-1600cl.1	FAIL	901.02
3qbf-5cnf-100var-1800cl.2	FAIL	901.02
robots_1_5_5_75.3	FAIL	901.02
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	901.02
2qbf-5cnf-150var-900cl.1	FAIL	901.02
3qbf-5cnf-100var-1800cl.1	FAIL	901.02
test2_quant2	FAIL	901.02
robots_1_5_4_31.8	FAIL	901.02
3qbf-5cnf-100var-1000cl.2	FAIL	901.02
robots_1_5_3_80.4	FAIL	901.02
3qbf-5cnf-100var-1000cl.1	FAIL	901.02
robots_1_5_3_62.4	FAIL	901.02
robots_1_5_3_16.7	FAIL	901.02
robots_1_5_3_18.7	FAIL	901.02
3qbf-5cnf-100var-1400cl.1	FAIL	901.02
robots_1_5_4_21.2	FAIL	901.02
robots_1_5_4_85.5	FAIL	901.02
3qbf-5cnf-100var-1600cl.2	FAIL	901.02
MB4qbf-5cnf-100var-1200cl.1	FAIL	901.02
3qbf-5cnf-100var-400cl.1	FAIL	901.02
robots_1_5_4_73.2	FAIL	901.02
3qbf-5cnf-100var-1200cl.2	FAIL	901.02
lognBWLARGEA1	FAIL	901.02
2qbf-5cnf-100var-1000cl.2	FAIL	901.02
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	901.02
k_poly_p-12	FAIL	901.02
s713_d3_s	FAIL	901.02
3qbf-5cnf-150var-2400cl.1	FAIL	901.02
MB3qbf-5cnf-100var-1200cl.2	FAIL	901.02
3qbf-5cnf-150var-2700cl.2	FAIL	901.02
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	901.02
3qbf-5cnf-150var-1500cl.1	FAIL	901.02
3qbf-5cnf-150var-1200cl.2	FAIL	901.02
3qbf-5cnf-100var-400cl.2	FAIL	901.02
3qbf-5cnf-100var-600cl.1	FAIL	901.02
3qbf-5cnf-100var-600cl.2	FAIL	901.02
MB3qbf-5cnf-150var-1800cl.1	FAIL	901.02
MB3qbf-5cnf-150var-1800cl.2	FAIL	901.02
2qbf-5cnf-100var-1200cl.1	FAIL	901.02
robots_1_5_5_55.6	FAIL	901.02
MB3qbf-5cnf-150var-1500cl.2	FAIL	901.02
3qbf-5cnf-100var-800cl.1	FAIL	901.02
3qbf-5cnf-100var-800cl.2	FAIL	901.02
lognBWLARGEB1	FAIL	901.02
2qbf-5cnf-150var-1800cl.1	FAIL	901.02
k_poly_p-14	FAIL	901.02
k_poly_p-17	FAIL	901.02
4qbf-5cnf-50var-800cl.2	FAIL	901.02
MB4qbf-5cnf-50var-800cl.2	FAIL	901.02
MB4qbf-5cnf-50var-800cl.1	FAIL	901.02
MB4qbf-5cnf-50var-700cl.2	FAIL	901.02
MB4qbf-5cnf-50var-500cl.2	FAIL	901.02
MB4qbf-5cnf-50var-500cl.1	FAIL	901.02
MB4qbf-5cnf-50var-400cl.2	FAIL	901.02
k_ph_p-17	FAIL	901.02
2qbf-5cnf-150var-900cl.2	FAIL	901.02
test1_quant2	FAIL	901.02
s713_d4_s	FAIL	901.02
k_ph_p-14	FAIL	901.02
2qbf-5cnf-150var-2100cl.2	FAIL	901.02
5qbf-5cnf-50var-400cl.2	FAIL	901.02
2qbf-5cnf-150var-2400cl.2	FAIL	901.02
2qbf-5cnf-150var-2400cl.1	FAIL	901.02
k_ph_p-19	FAIL	901.02
BLOCKS4ii.7.2	FAIL	901.02
2qbf-5cnf-150var-1800cl.2	FAIL	901.02
2qbf-5cnf-150var-2700cl.1	FAIL	901.02
k_poly_p-10	FAIL	901.02
2qbf-5cnf-150var-600cl.1	FAIL	901.02
szymanski-6-s	FAIL	901.02
2qbf-5cnf-50var-200cl.1	FAIL	901.02
2qbf-5cnf-150var-1500cl.2	FAIL	901.02
MB4qbf-5cnf-150var-1200cl.1	FAIL	901.02
2qbf-5cnf-50var-600cl.2	FAIL	901.02
MB4qbf-5cnf-100var-800cl.2	FAIL	901.02
MB4qbf-5cnf-100var-600cl.1	FAIL	901.02
MB4qbf-5cnf-100var-400cl.2	FAIL	901.02
MB4qbf-5cnf-100var-400cl.1	FAIL	901.02
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	901.02
2qbf-5cnf-100var-400cl.2	FAIL	901.02
MB4qbf-5cnf-100var-1800cl.1	FAIL	901.02
2qbf-5cnf-100var-400cl.1	FAIL	901.02
2qbf-5cnf-100var-1800cl.1	FAIL	901.02
MB4qbf-5cnf-150var-1500cl.2	FAIL	901.02
MB4qbf-5cnf-150var-1500cl.1	FAIL	901.02
robots_1_5_2_69.4	FAIL	901.02
2qbf-5cnf-150var-1200cl.2	FAIL	901.02
2qbf-5cnf-50var-400cl.2	FAIL	901.02
2qbf-5cnf-50var-500cl.1	FAIL	901.02
robots_1_5_2_42.7	FAIL	901.02
MB4qbf-5cnf-150var-2700cl.1	FAIL	901.02
MB5qbf-5cnf-150var-2700cl.2	FAIL	901.02
MB4qbf-5cnf-150var-2400cl.2	FAIL	901.02
2qbf-5cnf-100var-800cl.2	FAIL	901.02
2qbf-5cnf-100var-600cl.2	FAIL	901.02
2qbf-5cnf-100var-600cl.1	FAIL	901.02
MB4qbf-5cnf-100var-1600cl.2	FAIL	901.02
3qbf-5cnf-150var-2700cl.1	FAIL	901.02
MB2qbf-5cnf-100var-1800cl.1	FAIL	901.02
cf_6_8x6_r_	FAIL	901.02
5qbf-5cnf-100var-1000cl.2	FAIL	901.02
5qbf-5cnf-50var-900cl.2	FAIL	901.02
5qbf-5cnf-50var-900cl.1	FAIL	901.02
4qbf-5cnf-100var-1200cl.2	FAIL	901.02
5qbf-5cnf-50var-800cl.1	FAIL	901.02
5qbf-5cnf-50var-700cl.2	FAIL	901.02
5qbf-5cnf-100var-1000cl.1	FAIL	901.02
5qbf-5cnf-50var-600cl.1	FAIL	901.02
MB2qbf-5cnf-100var-1000cl.1	FAIL	901.02
4qbf-5cnf-100var-400cl.1	FAIL	901.02
4qbf-5cnf-50var-600cl.2	FAIL	901.02
MB2qbf-5cnf-100var-1600cl.1	FAIL	901.02
4qbf-5cnf-50var-700cl.1	FAIL	901.02
4qbf-5cnf-50var-700cl.2	FAIL	901.02
MB2qbf-5cnf-100var-1400cl.1	FAIL	901.02
MB2qbf-5cnf-100var-1400cl.2	FAIL	901.02
MB2qbf-5cnf-100var-1200cl.1	FAIL	901.02
MB2qbf-5cnf-100var-1200cl.2	FAIL	901.02
4qbf-5cnf-50var-800cl.1	FAIL	901.02
5qbf-5cnf-50var-500cl.2	FAIL	901.02
5qbf-5cnf-50var-500cl.1	FAIL	901.02
5qbf-5cnf-50var-400cl.1	FAIL	901.02
cf_4_6x7_d_	FAIL	901.02
4qbf-5cnf-100var-1800cl.1	FAIL	901.02
4qbf-5cnf-100var-1800cl.2	FAIL	901.02
4qbf-5cnf-100var-1600cl.1	FAIL	901.02
4qbf-5cnf-100var-1600cl.2	FAIL	901.02
5qbf-5cnf-150var-2100cl.2	FAIL	901.02
5qbf-5cnf-100var-600cl.2	FAIL	901.02
5qbf-5cnf-150var-1800cl.2	FAIL	901.02
5qbf-5cnf-100var-800cl.1	FAIL	901.02
5qbf-5cnf-100var-1800cl.1	FAIL	901.02
5qbf-5cnf-150var-600cl.1	FAIL	901.02
5qbf-5cnf-50var-300cl.2	FAIL	901.02
5qbf-5cnf-50var-300cl.1	FAIL	901.02
4qbf-5cnf-100var-1200cl.1	FAIL	901.02
cf_4_5x9_r_	FAIL	901.02
cf_6_8x7_d_	FAIL	901.02
5qbf-5cnf-100var-1400cl.2	FAIL	901.02
5qbf-5cnf-150var-900cl.2	FAIL	901.02
5qbf-5cnf-100var-1400cl.1	FAIL	901.02
5qbf-5cnf-100var-1600cl.1	FAIL	901.02
5qbf-5cnf-150var-1200cl.2	FAIL	901.02
4qbf-5cnf-150var-1800cl.1	FAIL	901.02
4qbf-5cnf-100var-800cl.1	FAIL	901.02
4qbf-5cnf-150var-1500cl.1	FAIL	901.02
4qbf-5cnf-100var-800cl.2	FAIL	901.02
3qbf-5cnf-50var-600cl.2	FAIL	901.02
4qbf-5cnf-150var-1200cl.2	FAIL	901.02
4qbf-5cnf-150var-1200cl.1	FAIL	901.02
MB2qbf-5cnf-150var-900cl.2	FAIL	901.02
3qbf-5cnf-50var-500cl.1	FAIL	901.02
cf_2_9x5_w_	FAIL	901.02
3qbf-5cnf-50var-400cl.2	FAIL	901.02
3qbf-5cnf-50var-400cl.1	FAIL	901.02
3qbf-5cnf-50var-300cl.2	FAIL	901.02
cf_7_8x7_d_	FAIL	901.02
4qbf-5cnf-150var-1800cl.2	FAIL	901.02
cf_8_8x8_r_	FAIL	901.02
3qbf-5cnf-150var-600cl.2	FAIL	901.02
3qbf-5cnf-150var-600cl.1	FAIL	901.02
MB2qbf-5cnf-150var-2100cl.1	FAIL	901.02
3qbf-5cnf-50var-700cl.1	FAIL	901.02
4qbf-5cnf-100var-400cl.2	FAIL	901.02
3qbf-5cnf-50var-800cl.1	FAIL	901.02
MB2qbf-5cnf-100var-800cl.1	FAIL	901.02
MB2qbf-5cnf-100var-600cl.1	FAIL	901.02
3qbf-5cnf-50var-900cl.2	FAIL	901.02
4qbf-5cnf-50var-500cl.1	FAIL	901.02
cf_3_9x5_r_	FAIL	901.02
4qbf-5cnf-50var-500cl.2	FAIL	901.02
4qbf-5cnf-50var-600cl.1	FAIL	901.02
MB2qbf-5cnf-150var-1200cl.1	FAIL	901.02
s820_d5_s	FAIL	901.02
MB2qbf-5cnf-150var-1800cl.2	FAIL	901.02
4qbf-5cnf-50var-300cl.2	FAIL	901.02
MB2qbf-5cnf-150var-1800cl.1	FAIL	901.02
4qbf-5cnf-100var-600cl.2	FAIL	901.03
5qbf-5cnf-100var-800cl.2	FAIL	901.03
MB4qbf-5cnf-50var-600cl.2	FAIL	901.03
4qbf-5cnf-150var-2100cl.2	FAIL	901.03
MB4qbf-5cnf-50var-900cl.1	FAIL	901.03
5qbf-5cnf-100var-600cl.1	FAIL	901.03
s499_d3_s	FAIL	901.03
s820_d3_s	FAIL	901.03
4qbf-5cnf-150var-2400cl.2	FAIL	901.03
4qbf-5cnf-150var-600cl.2	FAIL	901.03
4qbf-5cnf-150var-600cl.1	FAIL	901.03
4qbf-5cnf-50var-900cl.1	FAIL	901.03
test2_quant_squaring2	FAIL	901.03
MB5qbf-5cnf-100var-1800cl.1	FAIL	901.03
2qbf-5cnf-100var-800cl.1	FAIL	901.03
MB4qbf-5cnf-150var-2400cl.1	FAIL	901.03
5qbf-5cnf-100var-1800cl.2	FAIL	901.03
5qbf-5cnf-100var-1200cl.2	FAIL	901.03
2qbf-5cnf-100var-1800cl.2	FAIL	901.03
4qbf-5cnf-50var-400cl.2	FAIL	901.03
4qbf-5cnf-150var-2400cl.1	FAIL	901.03
MB4qbf-5cnf-50var-600cl.1	FAIL	901.03
5qbf-5cnf-150var-900cl.1	FAIL	901.03
MB2qbf-5cnf-150var-2400cl.1	FAIL	901.03
5qbf-5cnf-50var-600cl.2	FAIL	901.03
robots_1_5_4_34.8	FAIL	901.03
MB4qbf-5cnf-100var-1400cl.1	FAIL	901.03
MB4qbf-5cnf-100var-1400cl.2	FAIL	901.03
MB2qbf-5cnf-100var-1000cl.2	FAIL	901.03
MB4qbf-5cnf-100var-1000cl.1	FAIL	901.03
MB4qbf-5cnf-100var-1000cl.2	FAIL	901.03
MB2qbf-5cnf-100var-1600cl.2	FAIL	901.03
MB2qbf-5cnf-150var-2400cl.2	FAIL	901.03
s1196_d2_s	FAIL	901.03
MB2qbf-5cnf-100var-1800cl.2	FAIL	901.03
4qbf-5cnf-100var-1000cl.1	FAIL	901.03
3qbf-5cnf-100var-1400cl.2	FAIL	901.03
s3330_d2_s	FAIL	901.03
MB2qbf-5cnf-100var-400cl.1	FAIL	901.03
MB2qbf-5cnf-150var-1500cl.2	FAIL	901.03
5qbf-5cnf-100var-1600cl.2	FAIL	901.03
MB4qbf-5cnf-150var-1800cl.1	FAIL	901.03
MB4qbf-5cnf-150var-2100cl.2	FAIL	901.03
5qbf-5cnf-50var-800cl.2	FAIL	901.03
MB3qbf-5cnf-100var-1400cl.1	FAIL	901.03
5qbf-5cnf-150var-1800cl.1	FAIL	901.03
5qbf-5cnf-150var-2100cl.1	FAIL	901.03
MB3qbf-5cnf-100var-1600cl.1	FAIL	901.03
3qbf-5cnf-150var-1800cl.2	FAIL	901.03
3qbf-5cnf-150var-2100cl.2	FAIL	901.03
s499_d4_s	FAIL	901.03
MB2qbf-5cnf-150var-900cl.1	FAIL	901.03
MB2qbf-5cnf-150var-2700cl.1	FAIL	901.03
MB4qbf-5cnf-150var-2100cl.1	FAIL	901.03
2qbf-5cnf-150var-2700cl.2	FAIL	901.03
MB2qbf-5cnf-150var-600cl.1	FAIL	901.03
robots_1_5_4_91.4	FAIL	901.03
5qbf-5cnf-150var-600cl.2	FAIL	901.03
MB2qbf-5cnf-150var-600cl.2	FAIL	901.03
robots_1_5_4_87.8	FAIL	901.03
3qbf-5cnf-150var-2400cl.2	FAIL	901.04
5qbf-5cnf-50var-700cl.1	FAIL	901.04
mutex-128-s	FAIL	901.04
4qbf-5cnf-100var-1000cl.2	FAIL	901.04
5qbf-5cnf-150var-1500cl.1	FAIL	901.04
MB4qbf-5cnf-100var-800cl.1	FAIL	901.04
5qbf-5cnf-150var-1500cl.2	FAIL	901.04
s820_d4_s	FAIL	901.04
2qbf-5cnf-150var-600cl.2	FAIL	901.04
5qbf-5cnf-150var-2700cl.2	FAIL	901.04
4qbf-5cnf-150var-900cl.2	FAIL	901.05
3qbf-5cnf-150var-1500cl.2	FAIL	901.05
s386_d7_s	FAIL	901.05
MB5qbf-5cnf-150var-2100cl.2	FAIL	901.05
s386_d5_s	FAIL	901.06
s1269_d2_s	FAIL	901.06
szymanski-12-s	FAIL	901.08
4qbf-5cnf-150var-2100cl.1	FAIL	901.17
5qbf-5cnf-150var-1200cl.1	FAIL	901.21
4qbf-5cnf-150var-2700cl.2	FAIL	901.22
3qbf-5cnf-150var-2100cl.1	FAIL	901.26
5qbf-5cnf-150var-2400cl.1	FAIL	901.28
5qbf-5cnf-150var-2700cl.1	FAIL	901.36

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QMRes
QBFEVAL'04

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QMRes QBFEVAL'04

Instances solved by QMRes
QBFEVAL'04