QBF Solver Evaluation Portal
Home
QBFLIB
QBFGALLERY'23
QBFEVALs
2022
2020
2019
2018
2017
2016
2010
2008
2007
2006
2005
2004
QBF GALLERIES
QBF Gallery 2014
QBF Gallery 2013
DOWNLOADS
Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset
Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter
qbflib.org
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
Contact
|
Organization
|
Links
|
Citing QBFLIB