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
yQuaffle
QBFEVAL'04
Instance
Result
Time
tree-exa2-40
UNSAT
0
MB5qbf-5cnf-50var-500cl.2
UNSAT
0
tree-exa2-45
UNSAT
0
z4ml.blif_0.10_0.20_0_1_out_exact
SAT
0
toilet_c_10_01.3
UNSAT
0
MB5qbf-5cnf-150var-900cl.1
UNSAT
0
tree-exa2-35
UNSAT
0
z4ml.blif_0.10_1.00_0_1_inp_exact
SAT
0
z4ml.blif_0.10_1.00_0_0_inp_exact
UNSAT
0
toilet_g_10_01.2
SAT
0
z4ml.blif_0.10_1.00_0_0_out_exact
UNSAT
0
flipflop-3-c
UNSAT
0
z4ml.blif_0.10_0.20_0_1_inp_exact
SAT
0
z4ml.blif_0.10_0.20_0_0_inp_exact
UNSAT
0
MB3qbf-5cnf-100var-600cl.1
UNSAT
0.01
MB2qbf-5cnf-150var-2400cl.2
UNSAT
0.01
MB3qbf-5cnf-100var-800cl.2
UNSAT
0.01
MB3qbf-5cnf-100var-800cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-400cl.1
UNSAT
0.01
MB2qbf-5cnf-50var-600cl.1
UNSAT
0.01
MB2qbf-5cnf-50var-700cl.1
UNSAT
0.01
MB3qbf-5cnf-100var-1600cl.1
UNSAT
0.01
MB2qbf-5cnf-50var-900cl.2
UNSAT
0.01
MB3qbf-5cnf-100var-1000cl.2
UNSAT
0.01
MB3qbf-5cnf-100var-1800cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-300cl.1
UNSAT
0.01
MB4qbf-5cnf-100var-1600cl.2
UNSAT
0.01
impl18
SAT
0.01
MB4qbf-5cnf-100var-1400cl.1
UNSAT
0.01
MB4qbf-5cnf-100var-1400cl.2
UNSAT
0.01
MB3qbf-5cnf-50var-900cl.2
UNSAT
0.01
MB3qbf-5cnf-50var-900cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-800cl.2
UNSAT
0.01
MB3qbf-5cnf-50var-800cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-700cl.2
UNSAT
0.01
MB3qbf-5cnf-50var-700cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-600cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-500cl.2
UNSAT
0.01
MB3qbf-5cnf-50var-500cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-400cl.2
UNSAT
0.01
tree-exa2-15
UNSAT
0.01
C432.blif_0.10_1.00_0_1_inp_exact
SAT
0.01
toilet_a_06_01.5
UNSAT
0.01
toilet_c_10_01.9
UNSAT
0.01
toilet_g_20_01.2
SAT
0.01
k_branch_n-1
SAT
0.01
cnt02
SAT
0.01
cnt02e
SAT
0.01
k_lin_n-1
SAT
0.01
k_poly_p-14
UNSAT
0.01
k_lin_p-1
UNSAT
0.01
k_poly_p-2
UNSAT
0.01
k_path_p-2
UNSAT
0.01
k_ph_p-3
UNSAT
0.01
TOILET2.1.iv.3
UNSAT
0.01
comp.blif_0.10_0.20_0_1_out_exact
SAT
0.01
2qbf-5cnf-50var-100cl.2
SAT
0.01
k_ph_n-1
SAT
0.01
tree-exa2-30
UNSAT
0.01
TOILET2.1.iv.4
SAT
0.01
impl02
SAT
0.01
MB5qbf-5cnf-50var-900cl.2
UNSAT
0.01
impl06
SAT
0.01
4qbf-5cnf-50var-100cl.1
SAT
0.01
3qbf-5cnf-50var-100cl.2
SAT
0.01
3qbf-5cnf-50var-100cl.1
SAT
0.01
3qbf-5cnf-100var-200cl.2
SAT
0.01
3qbf-5cnf-100var-200cl.1
SAT
0.01
impl14
SAT
0.01
k_ph_n-3
SAT
0.01
z4ml.blif_0.10_1.00_0_1_out_exact
SAT
0.01
MB4qbf-5cnf-50var-500cl.2
UNSAT
0.01
MB5qbf-5cnf-50var-700cl.1
UNSAT
0.01
MB4qbf-5cnf-50var-600cl.1
UNSAT
0.01
MB5qbf-5cnf-50var-700cl.2
UNSAT
0.01
MB4qbf-5cnf-50var-700cl.2
UNSAT
0.01
MB5qbf-5cnf-50var-600cl.2
UNSAT
0.01
impl20
SAT
0.01
MB3qbf-5cnf-50var-600cl.2
UNSAT
0.01
impl16
SAT
0.01
MB4qbf-5cnf-50var-900cl.2
UNSAT
0.01
MB5qbf-5cnf-150var-1500cl.2
UNSAT
0.01
impl12
SAT
0.01
MB5qbf-5cnf-50var-900cl.1
UNSAT
0.01
MB5qbf-5cnf-50var-800cl.1
UNSAT
0.01
MB5qbf-5cnf-100var-600cl.2
UNSAT
0.01
MB5qbf-5cnf-50var-800cl.2
UNSAT
0.01
MB5qbf-5cnf-100var-1400cl.2
UNSAT
0.01
MB5qbf-5cnf-100var-800cl.2
UNSAT
0.01
impl08
SAT
0.01
k_ph_n-4
SAT
0.01
tree-exa2-25
UNSAT
0.01
MB4qbf-5cnf-50var-900cl.1
UNSAT
0.01
MB5qbf-5cnf-50var-600cl.1
UNSAT
0.01
MB2qbf-5cnf-100var-1600cl.1
UNSAT
0.02
MB5qbf-5cnf-100var-1800cl.1
UNSAT
0.02
MB2qbf-5cnf-50var-700cl.2
UNSAT
0.02
MB2qbf-5cnf-100var-1200cl.1
UNSAT
0.02
MB2qbf-5cnf-100var-1600cl.2
UNSAT
0.02
MB2qbf-5cnf-100var-1400cl.1
UNSAT
0.02
comp.blif_0.10_1.00_0_1_inp_exact
SAT
0.02
MB2qbf-5cnf-50var-800cl.2
UNSAT
0.02
MB2qbf-5cnf-50var-800cl.1
UNSAT
0.02
MB5qbf-5cnf-100var-1600cl.2
UNSAT
0.02
MB2qbf-5cnf-50var-600cl.2
UNSAT
0.02
flipflop-5-c
UNSAT
0.02
MB2qbf-5cnf-150var-2400cl.1
UNSAT
0.02
MB2qbf-5cnf-150var-2100cl.1
UNSAT
0.02
MB2qbf-5cnf-150var-2700cl.1
UNSAT
0.02
MB2qbf-5cnf-150var-2100cl.2
UNSAT
0.02
MB2qbf-5cnf-100var-1800cl.1
UNSAT
0.02
flipflop-4-c
UNSAT
0.02
z4ml.blif_0.10_0.20_0_0_out_exact
UNSAT
0.02
toilet_g_06_01.2
SAT
0.02
comp.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.02
toilet_g_02_01.2
SAT
0.02
2qbf-5cnf-50var-900cl.1
UNSAT
0.02
toilet_g_08_01.2
SAT
0.02
toilet_g_04_01.2
SAT
0.02
MB5qbf-5cnf-50var-500cl.1
UNSAT
0.02
toilet_g_15_01.2
SAT
0.02
term1.blif_0.10_1.00_0_1_inp_exact
SAT
0.02
toilet_c_06_01.9
UNSAT
0.02
toilet_c_04_01.6
UNSAT
0.02
MB5qbf-5cnf-150var-1800cl.1
UNSAT
0.02
k_poly_p-8
UNSAT
0.02
k_poly_p-12
UNSAT
0.02
5qbf-5cnf-50var-100cl.2
SAT
0.02
MB5qbf-5cnf-150var-1200cl.1
UNSAT
0.02
MB2qbf-5cnf-100var-1800cl.2
UNSAT
0.02
lognBWLARGEA0
SAT
0.02
4qbf-5cnf-50var-100cl.2
SAT
0.02
MB5qbf-5cnf-150var-1500cl.1
UNSAT
0.02
lognBWLARGEB0
SAT
0.02
3qbf-5cnf-50var-900cl.2
UNSAT
0.02
BLOCKS3ii.4.3
UNSAT
0.02
3qbf-5cnf-50var-800cl.1
UNSAT
0.02
toilet_c_06_05.4
SAT
0.02
MB3qbf-5cnf-150var-2100cl.1
UNSAT
0.02
MB3qbf-5cnf-150var-2100cl.2
UNSAT
0.02
MB3qbf-5cnf-150var-1800cl.1
UNSAT
0.02
comp.blif_0.10_1.00_0_1_out_exact
SAT
0.02
MB3qbf-5cnf-150var-900cl.1
UNSAT
0.02
MB3qbf-5cnf-150var-1800cl.2
UNSAT
0.02
MB3qbf-5cnf-150var-1500cl.1
UNSAT
0.02
MB3qbf-5cnf-150var-1500cl.2
UNSAT
0.02
MB3qbf-5cnf-150var-1200cl.1
UNSAT
0.02
MB3qbf-5cnf-150var-1200cl.2
UNSAT
0.02
comp.blif_0.10_0.20_0_1_inp_exact
SAT
0.02
MB3qbf-5cnf-100var-600cl.2
UNSAT
0.02
MB3qbf-5cnf-150var-2400cl.2
UNSAT
0.02
MB3qbf-5cnf-150var-2400cl.1
UNSAT
0.02
MB4qbf-5cnf-100var-1600cl.1
UNSAT
0.02
MB4qbf-5cnf-100var-1800cl.1
UNSAT
0.02
MB4qbf-5cnf-150var-2100cl.2
UNSAT
0.02
MB4qbf-5cnf-150var-2100cl.1
UNSAT
0.02
MB4qbf-5cnf-150var-2400cl.2
UNSAT
0.02
MB4qbf-5cnf-150var-2400cl.1
UNSAT
0.02
MB4qbf-5cnf-150var-2700cl.1
UNSAT
0.02
MB3qbf-5cnf-50var-300cl.2
UNSAT
0.02
toilet_a_06_05.2
UNSAT
0.02
k_ph_p-4
UNSAT
0.02
MB3qbf-5cnf-150var-900cl.2
UNSAT
0.02
MB5qbf-5cnf-100var-1000cl.2
UNSAT
0.02
MB5qbf-5cnf-100var-1000cl.1
UNSAT
0.02
k_poly_p-7
UNSAT
0.02
MB5qbf-5cnf-100var-1400cl.1
UNSAT
0.02
MB5qbf-5cnf-100var-1200cl.1
UNSAT
0.02
MB3qbf-5cnf-100var-1200cl.2
UNSAT
0.02
MB3qbf-5cnf-100var-1000cl.1
UNSAT
0.02
MB3qbf-5cnf-100var-1600cl.2
UNSAT
0.02
MB3qbf-5cnf-100var-1800cl.2
UNSAT
0.02
MB3qbf-5cnf-100var-1400cl.1
UNSAT
0.02
k_path_n-1
SAT
0.02
MB2qbf-5cnf-50var-900cl.1
UNSAT
0.02
k_poly_p-11
UNSAT
0.02
MB3qbf-5cnf-100var-1200cl.1
UNSAT
0.02
C432.blif_0.10_1.00_0_1_out_exact
SAT
0.02
MB3qbf-5cnf-100var-1400cl.2
UNSAT
0.02
MB5qbf-5cnf-100var-1200cl.2
UNSAT
0.02
k_poly_p-10
UNSAT
0.02
k_path_p-3
UNSAT
0.03
MB3qbf-5cnf-150var-2700cl.1
UNSAT
0.03
5qbf-5cnf-50var-100cl.1
SAT
0.03
k_poly_n-1
SAT
0.03
MB5qbf-5cnf-150var-2100cl.1
UNSAT
0.03
MB5qbf-5cnf-150var-2100cl.2
UNSAT
0.03
MB5qbf-5cnf-150var-1800cl.2
UNSAT
0.03
k_dum_n-1
SAT
0.03
MB3qbf-5cnf-150var-2700cl.2
UNSAT
0.03
MB4qbf-5cnf-100var-1800cl.2
UNSAT
0.03
mutex-2-s
SAT
0.03
MB4qbf-5cnf-150var-2700cl.2
UNSAT
0.03
MB5qbf-5cnf-100var-1800cl.2
UNSAT
0.03
k_poly_p-17
UNSAT
0.03
MB2qbf-5cnf-100var-1400cl.2
UNSAT
0.03
MB5qbf-5cnf-150var-2700cl.1
UNSAT
0.03
3qbf-5cnf-50var-200cl.1
SAT
0.03
MB5qbf-5cnf-100var-1600cl.1
UNSAT
0.03
toilet_a_08_01.3
UNSAT
0.03
MB5qbf-5cnf-150var-2400cl.1
UNSAT
0.03
C499.blif_0.10_1.00_0_1_out_exact
SAT
0.03
MB5qbf-5cnf-150var-2400cl.2
UNSAT
0.03
MB5qbf-5cnf-150var-2700cl.2
UNSAT
0.03
comp.blif_0.10_0.20_0_0_inp_exact
UNSAT
0.03
MB2qbf-5cnf-150var-2700cl.2
UNSAT
0.03
2qbf-5cnf-50var-900cl.2
UNSAT
0.04
2qbf-5cnf-50var-100cl.1
FAIL
0.04
k_lin_n-2
SAT
0.04
MB2qbf-5cnf-150var-1800cl.2
UNSAT
0.04
k_dum_p-1
UNSAT
0.04
C499.blif_0.10_1.00_0_1_inp_exact
SAT
0.04
2qbf-5cnf-50var-700cl.1
UNSAT
0.05
robots_1_5_2_93.1
SAT
0.05
5qbf-5cnf-100var-200cl.1
SAT
0.05
C432.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.05
term1.blif_0.10_0.20_0_1_out_exact
SAT
0.05
MB3qbf-5cnf-50var-100cl.1
SAT
0.05
k_lin_p-5
UNSAT
0.06
term1.blif_0.10_1.00_0_1_out_exact
SAT
0.06
MB2qbf-5cnf-150var-1500cl.1
UNSAT
0.06
k_ph_n-6
SAT
0.06
robots_1_5_4_78.1
SAT
0.06
robots_1_5_2_38.1
SAT
0.06
robots_1_5_5_29.1
SAT
0.06
robots_1_5_2_64.1
SAT
0.06
2qbf-5cnf-50var-800cl.2
UNSAT
0.07
BLOCKS3i.4.4
UNSAT
0.08
5qbf-5cnf-50var-200cl.1
SAT
0.08
MB2qbf-5cnf-50var-500cl.1
UNSAT
0.09
toilet_c_10_05.10
SAT
0.09
k_lin_p-8
UNSAT
0.09
C880.blif_0.10_1.00_0_1_inp_exact
SAT
0.1
MB4qbf-5cnf-50var-800cl.1
UNSAT
0.1
2qbf-5cnf-100var-1800cl.1
UNSAT
0.1
MB3qbf-5cnf-50var-100cl.2
SAT
0.1
k_lin_p-6
UNSAT
0.11
cf_2_2x3_w_
UNSAT
0.11
s3271_d2_s
UNSAT
0.12
flipflop-7-c
UNSAT
0.12
s27_d2_s
SAT
0.12
k_d4_p-3
UNSAT
0.13
Adder2-2-c
UNSAT
0.13
C5315.blif_0.10_1.00_0_1_inp_exact
SAT
0.13
toilet_a_10_01.4
UNSAT
0.14
k_t4p_p-1
UNSAT
0.14
3qbf-5cnf-50var-800cl.2
UNSAT
0.14
toilet_a_10_01.7
UNSAT
0.15
MB2qbf-5cnf-100var-1200cl.2
UNSAT
0.15
robots_1_5_4_73.2
SAT
0.16
toilet_a_08_01.16
SAT
0.16
robots_1_5_5_5.2
SAT
0.16
cnt04e
SAT
0.16
toilet_a_10_05.3
UNSAT
0.16
term1.blif_0.10_0.20_0_1_inp_exact
SAT
0.17
cf_4_5x4_d_
UNSAT
0.17
robots_1_5_4_21.2
SAT
0.17
robots_1_5_3_17.2
SAT
0.18
MB4qbf-5cnf-150var-1800cl.2
UNSAT
0.19
vonNeumann-ripple-carry-5-c
UNSAT
0.2
2qbf-5cnf-50var-800cl.1
UNSAT
0.21
lognBWLARGEA1
UNSAT
0.22
k_ph_n-7
SAT
0.22
cf_4_5x5_d_
UNSAT
0.23
k_lin_p-10
UNSAT
0.23
cf_3_6x4_w_
UNSAT
0.24
flipflop-8-c
UNSAT
0.24
4qbf-5cnf-100var-200cl.1
SAT
0.24
cf_5_5x6_w_
UNSAT
0.25
toilet_c_08_01.13
UNSAT
0.25
cf_5_6x5_w_
UNSAT
0.26
MB2qbf-5cnf-100var-1000cl.2
UNSAT
0.27
cf_4_5x6_w_
UNSAT
0.28
cnt06
SAT
0.28
cf_4_6x5_d_
UNSAT
0.29
MB5qbf-5cnf-50var-300cl.1
UNSAT
0.29
cf_6_6x6_d_
UNSAT
0.3
3qbf-5cnf-50var-200cl.2
SAT
0.31
cf_5_5x7_d_
UNSAT
0.32
cf_5_7x5_d_
UNSAT
0.33
BLOCKS3ii.5.3
SAT
0.33
cf_2_4x8_d_
UNSAT
0.36
MB2qbf-5cnf-50var-500cl.2
UNSAT
0.37
BLOCKS3iii.5
SAT
0.37
5qbf-5cnf-100var-200cl.2
SAT
0.38
term1.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.39
2qbf-5cnf-100var-1800cl.2
UNSAT
0.4
k_lin_n-3
SAT
0.4
s3271_d5_s
UNSAT
0.42
cf_2_3x2_r_
SAT
0.42
3qbf-5cnf-150var-300cl.2
SAT
0.42
k_ph_n-8
SAT
0.43
flipflop-9-c
UNSAT
0.44
cf_7_7x7_d_
UNSAT
0.46
cf_5_7x6_d_
UNSAT
0.47
2qbf-5cnf-150var-2400cl.2
UNSAT
0.5
cf_4_6x7_d_
UNSAT
0.5
cf_6_6x8_w_
UNSAT
0.51
3qbf-5cnf-150var-300cl.1
SAT
0.55
k_lin_p-11
UNSAT
0.58
MB2qbf-5cnf-50var-100cl.2
UNSAT
0.6
cf_7_8x7_d_
UNSAT
0.62
lognBWLARGEB1
UNSAT
0.63
robots_1_5_5_75.3
SAT
0.63
vonNeumann-ripple-carry-7-c
UNSAT
0.65
cf_6_8x7_d_
UNSAT
0.7
cf_8_8x8_w_
UNSAT
0.71
tree-exa10-25
SAT
0.74
flipflop-10-c
UNSAT
0.76
2qbf-5cnf-50var-600cl.2
UNSAT
0.77
k_dum_n-3
SAT
0.77
cf_7_9x7_w_
UNSAT
0.78
2qbf-5cnf-50var-500cl.1
UNSAT
0.78
cf_2_5x4_r_
SAT
0.79
k_path_n-3
SAT
0.81
cf_7_8x8_w_
UNSAT
0.82
5qbf-5cnf-50var-300cl.1
SAT
0.89
cf_2_4x8_r_
SAT
0.92
comp.blif_0.10_1.00_0_0_out_exact
UNSAT
0.97
3qbf-5cnf-100var-1800cl.2
UNSAT
0.98
CHAIN12v.13
SAT
1.01
2qbf-5cnf-100var-200cl.1
SAT
1.06
k_lin_p-15
UNSAT
1.08
cf_7_9x8_w_
UNSAT
1.08
2qbf-5cnf-50var-700cl.2
UNSAT
1.09
MB4qbf-5cnf-50var-100cl.2
SAT
1.12
MB5qbf-5cnf-50var-100cl.2
SAT
1.18
4qbf-5cnf-50var-900cl.2
UNSAT
1.24
cf_3_9x5_d_
UNSAT
1.27
cf_2_9x5_w_
UNSAT
1.27
flipflop-11-c
UNSAT
1.29
k_lin_p-18
UNSAT
1.31
toilet_c_10_05.4
SAT
1.33
cf_4_5x9_d_
UNSAT
1.37
k_branch_p-3
UNSAT
1.38
2qbf-5cnf-100var-1600cl.1
UNSAT
1.4
s3271_d12_s
UNSAT
1.41
3qbf-5cnf-50var-900cl.1
UNSAT
1.43
cf_7_7x9_d_
UNSAT
1.62
vonNeumann-ripple-carry-9-c
UNSAT
1.67
cf_8_8x9_w_
UNSAT
1.74
cf_8_8x9_d_
UNSAT
1.74
C499.blif_0.10_0.20_0_1_inp_exact
SAT
1.79
cf_4_8x8_w_
UNSAT
1.82
cf_9_9x9_d_
UNSAT
1.86
cf_3_8x8_w_
UNSAT
1.87
cf_9_9x9_w_
UNSAT
1.87
s3271_d15_s
UNSAT
1.89
term1.blif_0.10_1.00_0_0_out_exact
UNSAT
1.91
MB2qbf-5cnf-50var-400cl.2
UNSAT
1.91
cf_3_7x9_w_
UNSAT
1.95
robots_1_5_4_85.5
SAT
2.01
cf_6_8x9_d_
UNSAT
2.05
cf_8_9x9_d_
UNSAT
2.07
cf_8_9x9_w_
UNSAT
2.07
cf_5_8x9_w_
UNSAT
2.18
cf_7_9x9_d_
UNSAT
2.29
robots_1_5_2_3.5
SAT
2.3
k_ph_p-7
UNSAT
2.32
cf_3_8x9_d_
UNSAT
2.34
s3271_d18_u
UNSAT
2.46
vonNeumann-ripple-carry-10-c
UNSAT
2.49
s3271_d19_u
UNSAT
2.63
MB4qbf-5cnf-50var-800cl.2
UNSAT
2.67
toilet_a_10_01.15
UNSAT
2.69
2qbf-5cnf-50var-600cl.1
UNSAT
2.72
cf_3_9x9_w_
UNSAT
2.75
CHAIN13v.14
SAT
2.8
s3271_d20_u
UNSAT
2.83
cf_2_8x3_r_
SAT
3.13
MB2qbf-5cnf-100var-1000cl.1
UNSAT
3.19
s3271_d22_u
UNSAT
3.26
vonNeumann-ripple-carry-11-c
UNSAT
3.51
3qbf-5cnf-50var-300cl.2
SAT
3.63
MB4qbf-5cnf-50var-700cl.1
UNSAT
3.68
k_dum_p-6
UNSAT
3.84
robots_1_5_4_91.4
SAT
4.02
robots_1_5_5_55.6
SAT
4.66
robots_1_5_3_62.4
SAT
4.7
robots_1_5_3_80.4
SAT
4.91
vonNeumann-ripple-carry-12-c
UNSAT
4.96
robots_1_5_2_69.4
SAT
5.28
TOILET6.1.iv.11
UNSAT
6.01
4qbf-5cnf-100var-200cl.2
SAT
6.31
MB5qbf-5cnf-50var-100cl.1
SAT
6.35
2qbf-5cnf-150var-2700cl.2
UNSAT
6.38
5qbf-5cnf-150var-300cl.2
SAT
6.6
MB3qbf-5cnf-100var-200cl.1
SAT
6.61
vonNeumann-ripple-carry-13-c
UNSAT
6.65
TOILET6.1.iv.12
SAT
7.33
CHAIN14v.15
SAT
7.56
MB2qbf-5cnf-150var-1800cl.1
UNSAT
7.75
5qbf-5cnf-50var-200cl.2
SAT
7.99
MB2qbf-5cnf-50var-400cl.1
UNSAT
8.51
vonNeumann-ripple-carry-14-c
UNSAT
8.75
MB2qbf-5cnf-100var-800cl.2
UNSAT
9.69
2qbf-5cnf-100var-1600cl.2
UNSAT
11.71
k_dum_n-4
SAT
11.74
robots_1_5_2_72.7
SAT
11.84
cf_2_8x5_r_
SAT
12.36
k_dum_p-8
UNSAT
15.61
3qbf-5cnf-50var-300cl.1
SAT
18.06
2qbf-5cnf-50var-400cl.1
UNSAT
19.03
k_grz_n-2
SAT
22.1
3qbf-5cnf-50var-400cl.2
SAT
22.85
MB3qbf-5cnf-50var-200cl.2
UNSAT
24.39
MB4qbf-5cnf-50var-400cl.2
UNSAT
24.85
TOILET7.1.iv.13
UNSAT
25.94
robots_1_5_5_18.5
UNSAT
26.1
robots_1_5_5_59.5
UNSAT
26.15
k_path_n-4
SAT
27.24
TOILET7.1.iv.14
SAT
29.41
MB2qbf-5cnf-50var-100cl.1
SAT
29.49
comp.blif_0.10_0.20_0_0_out_exact
UNSAT
29.82
MB2qbf-5cnf-50var-300cl.1
UNSAT
32.21
4qbf-5cnf-50var-200cl.1
SAT
32.55
3qbf-5cnf-100var-400cl.2
SAT
37.66
C499.blif_0.10_1.00_0_0_inp_exact
UNSAT
38.35
tree-exa10-30
SAT
38.43
mutex-4-s
SAT
46.28
k_grz_n-3
SAT
52.61
k_lin_n-6
SAT
56.83
robots_1_5_2_61.6
UNSAT
58.01
2qbf-5cnf-150var-2400cl.1
UNSAT
63.85
BLOCKS4ii.6.3
UNSAT
66.03
CHAIN16v.17
SAT
68.03
k_branch_n-15
FAIL
76.95
k_branch_n-14
FAIL
77.46
k_branch_p-15
FAIL
77.54
test2_quant_squaring3
FAIL
77.6
k_branch_p-14
FAIL
78.24
s1196_d2_s
FAIL
79.38
k_branch_p-13
FAIL
79.59
k_grz_p-3
UNSAT
80.65
s1196_d3_u
FAIL
81.88
3qbf-5cnf-100var-1800cl.1
UNSAT
82.11
k_branch_p-16
FAIL
82.5
k_branch_n-16
FAIL
83.14
k_branch_p-19
FAIL
84.98
s298_d16_s
FAIL
85.13
s1196_d7_u
FAIL
85.64
k_branch_n-20
FAIL
86.1
s298_d17_s
FAIL
86.5
s298_d21_u
FAIL
87.07
s298_d19_u
FAIL
87.81
k_branch_n-9
FAIL
88.19
BLOCKS3i.5.3
UNSAT
88.26
s641_d10_u
FAIL
89.88
s641_d8_u
FAIL
90.24
s820_d14_u
FAIL
90.7
s713_d10_u
FAIL
90.71
s713_d9_u
FAIL
90.9
s713_d8_u
FAIL
91.08
s641_d11_u
FAIL
92.14
s1196_d4_u
FAIL
93.25
cf_6_6x6_r_
FAIL
99.15
s1269_d15_u
FAIL
101.19
cf_5_5x5_r_
FAIL
102.21
s820_d12_u
FAIL
103.69
s298_d14_s
FAIL
104.2
k_grz_p-4
UNSAT
104.24
s1196_d6_u
FAIL
104.41
s713_d7_u
FAIL
105.58
s3330_d4_s
FAIL
105.98
s1196_d5_u
FAIL
106.03
s641_d7_u
FAIL
106.65
cf_4_5x9_r_
FAIL
106.98
s641_d5_s
FAIL
107.18
s510_d31_s
FAIL
107.84
s386_d12_u
FAIL
107.91
k_lin_n-7
SAT
108.09
s510_d13_s
FAIL
108.12
k_lin_n-15
FAIL
108.27
s820_d11_u
FAIL
108.67
s641_d6_s
FAIL
109
k_lin_n-14
FAIL
109.19
s820_d9_s
FAIL
109.37
s820_d8_s
FAIL
109.39
s3330_d3_s
FAIL
109.69
BLOCKS4ii.7.2
UNSAT
109.85
s713_d6_s
FAIL
110.48
cf_5_6x9_r_
FAIL
110.49
k_t4p_n-19
FAIL
110.82
k_lin_n-19
FAIL
111.96
k_branch_n-7
FAIL
112.49
s3330_d12_u
FAIL
113.94
s1269_d6_s
FAIL
114.74
s3330_d13_u
FAIL
114.82
s510_d49_u
FAIL
115.06
k_t4p_n-18
FAIL
115.55
s1269_d9_s
FAIL
115.85
test5_quant_squaring5
FAIL
115.95
s510_d48_u
FAIL
116.04
s510_d12_s
FAIL
117.09
s510_d51_u
FAIL
117.25
s510_d42_s
FAIL
117.81
s510_d46_s
FAIL
117.91
s713_d4_s
FAIL
118.33
s3330_d6_s
FAIL
118.68
s499_d19_s
FAIL
118.8
cf_6_6x9_r_
FAIL
118.88
s499_d18_s
FAIL
119.81
s499_d14_s
FAIL
120.36
s1269_d10_s
FAIL
121.33
s3330_d2_s
FAIL
121.63
s386_d8_u
FAIL
122.46
k_t4p_n-17
FAIL
122.46
k_branch_p-8
FAIL
125.72
robots_1_5_3_15.6
SAT
125.98
cf_3_5x4_r_
FAIL
127.59
s3330_d10_u
FAIL
128.64
s1269_d5_s
FAIL
129.98
C432.blif_0.10_0.20_0_1_inp_exact
SAT
130.83
s386_d10_u
FAIL
130.93
s386_d9_u
FAIL
131.26
s499_d10_s
FAIL
131.74
s3330_d8_s
FAIL
138.54
s641_d3_s
FAIL
139.23
C5315.blif_0.10_1.00_0_1_out_exact
SAT
139.34
k_t4p_n-15
FAIL
143.27
term1.blif_0.10_0.20_0_0_inp_exact
UNSAT
144.19
s713_d3_s
FAIL
146.96
cf_6_8x6_r_
FAIL
152.25
s386_d7_s
FAIL
153.76
s1269_d4_s
FAIL
155.92
s820_d5_s
FAIL
156.01
k_t4p_n-14
FAIL
156.51
k_branch_n-6
FAIL
159.77
robots_1_5_5_34.6
UNSAT
160.89
k_path_p-6
UNSAT
165.38
robots_1_5_2_42.7
UNSAT
166.28
k_t4p_n-13
FAIL
172.48
s1269_d3_s
FAIL
177.31
k_ph_n-15
SAT
179.42
k_path_p-20
FAIL
181.29
cf_8_8x8_r_
FAIL
184.1
s820_d4_s
FAIL
188.94
cf_6_8x8_r_
FAIL
189.62
s298_d10_s
FAIL
198.31
2qbf-5cnf-50var-500cl.2
UNSAT
199.09
s386_d5_s
FAIL
201.26
test5_quant_squaring4
FAIL
201.55
cf_8_8x9_r_
FAIL
202.84
k_ph_p-14
FAIL
207.4
s820_d3_s
FAIL
211.49
k_ph_p-15
FAIL
214.2
k_ph_p-17
FAIL
221.05
s298_d8_s
FAIL
231.27
MB2qbf-5cnf-150var-1500cl.2
UNSAT
233.77
CHAIN17v.18
SAT
235.69
k_dum_n-5
SAT
236.6
s386_d4_s
FAIL
240.81
k_t4p_p-19
FAIL
244.11
k_path_p-17
FAIL
244.8
k_ph_p-19
FAIL
244.91
cf_7_9x7_r_
FAIL
249.96
k_grz_p-9
UNSAT
252.42
s386_d3_s
FAIL
254.33
k_ph_p-20
FAIL
261.05
k_t4p_p-18
FAIL
263.46
cf_3_9x5_r_
FAIL
267.1
k_branch_p-5
FAIL
268.66
C432.blif_0.10_1.00_0_0_out_exact
UNSAT
269.01
k_ph_n-21
FAIL
271.19
5qbf-5cnf-150var-2700cl.2
FAIL
274.75
s641_d2_s
FAIL
282.31
s499_d7_s
FAIL
285.47
s1269_d2_s
FAIL
288.01
test2_quant3
FAIL
296.71
k_d4_p-19
FAIL
297.15
cf_9_9x9_r_
FAIL
306.84
k_poly_n-18
FAIL
308.7
cf_8_9x9_r_
FAIL
312.16
k_t4p_p-16
FAIL
314.06
k_path_p-16
FAIL
332.16
s713_d2_s
FAIL
337.34
k_path_p-14
FAIL
339.81
k_path_n-13
FAIL
345.06
k_t4p_p-15
FAIL
346.54
k_d4_n-16
FAIL
351.48
k_d4_p-17
FAIL
356.29
Adder2-12-s
FAIL
376.97
test4_quant_squaring4
FAIL
377.02
Adder2-16-c
FAIL
384.65
k_d4_n-15
FAIL
386.59
C5315.blif_0.10_1.00_0_0_inp_exact
UNSAT
388.32
k_d4_p-16
FAIL
394.78
k_poly_n-15
FAIL
397.08
test2_quant2
FAIL
407.41
test2_quant_squaring2
FAIL
409.55
5qbf-5cnf-150var-2100cl.1
FAIL
417.66
k_d4_n-14
FAIL
433.33
5qbf-5cnf-150var-2100cl.2
FAIL
444.41
5qbf-5cnf-150var-2400cl.2
FAIL
445.6
MB5qbf-5cnf-150var-1200cl.2
FAIL
448.64
MB5qbf-5cnf-150var-900cl.2
FAIL
482.72
k_d4_n-13
FAIL
488.26
k_t4p_p-12
FAIL
488.9
5qbf-5cnf-150var-1800cl.1
FAIL
489.39
5qbf-5cnf-150var-2700cl.1
FAIL
490.73
k_d4_p-14
FAIL
496.3
test3_quant_squaring4
FAIL
506.54
cnt16re
FAIL
527.23
s298_d5_s
FAIL
529.7
k_dum_p-11
UNSAT
530.51
5qbf-5cnf-150var-1500cl.2
FAIL
530.69
5qbf-5cnf-150var-1200cl.2
FAIL
541.57
k_path_p-11
FAIL
549.54
5qbf-5cnf-150var-2400cl.1
FAIL
550.72
k_d4_n-12
FAIL
555.39
k_d4_p-13
FAIL
564.59
5qbf-5cnf-150var-1500cl.1
FAIL
568.97
4qbf-5cnf-150var-2100cl.1
FAIL
598.02
k_dum_n-18
FAIL
602.8
5qbf-5cnf-150var-1800cl.2
FAIL
620.78
4qbf-5cnf-150var-2700cl.1
FAIL
646.01
k_t4p_p-10
FAIL
646.27
4qbf-5cnf-150var-2400cl.2
FAIL
647.52
robots_1_5_3_84.7
SAT
659.66
MB4qbf-5cnf-150var-1800cl.1
FAIL
660.37
MB2qbf-5cnf-150var-1200cl.1
UNSAT
685.85
5qbf-5cnf-150var-1200cl.1
FAIL
690.67
k_poly_n-11
FAIL
703.19
MB4qbf-5cnf-50var-500cl.1
UNSAT
703.21
robots_1_5_3_18.7
UNSAT
718.37
5qbf-5cnf-100var-1800cl.2
FAIL
718.56
4qbf-5cnf-150var-2700cl.2
FAIL
727.7
k_dum_n-16
FAIL
739.52
5qbf-5cnf-100var-1400cl.2
FAIL
744.19
MB4qbf-5cnf-150var-1500cl.2
FAIL
769.14
k_dum_p-20
FAIL
772.18
4qbf-5cnf-150var-2400cl.1
FAIL
790.03
k_t4p_n-5
FAIL
816.83
4qbf-5cnf-150var-2100cl.2
FAIL
817.85
s499_d4_s
FAIL
827.82
k_path_n-8
FAIL
830.7
MB4qbf-5cnf-150var-1500cl.1
FAIL
840.49
4qbf-5cnf-50var-800cl.1
UNSAT
841.98
4qbf-5cnf-150var-1800cl.1
FAIL
849.91
MB4qbf-5cnf-150var-1200cl.1
FAIL
851.72
5qbf-5cnf-100var-1600cl.1
FAIL
858.29
4qbf-5cnf-150var-1500cl.1
FAIL
868.97
5qbf-5cnf-100var-1600cl.2
FAIL
872.27
mutex-128-s
FAIL
873.23
MB4qbf-5cnf-150var-1200cl.2
FAIL
889.66
k_d4_n-9
FAIL
893.12
robots_1_5_3_16.7
SAT
897.21
cnt09re
FAIL
901
cnt09e
FAIL
901
mutex-16-s
FAIL
901
szymanski-16-s
FAIL
901
C880.blif_0.10_1.00_0_1_out_exact
FAIL
901
MB2qbf-5cnf-150var-300cl.1
FAIL
901
k_dum_n-8
FAIL
901
k_poly_n-8
FAIL
901
C6288.blif_0.10_1.00_0_1_out_exact
FAIL
901
cnt12e
FAIL
901
k_d4_p-7
FAIL
901
MB2qbf-5cnf-50var-200cl.1
FAIL
901
k_dum_n-6
FAIL
901
C5315.blif_0.10_0.20_0_1_out_exact
FAIL
901
test1_quant3
FAIL
901
k_dum_p-17
FAIL
901
MB2qbf-5cnf-150var-1200cl.2
FAIL
901
MB3qbf-5cnf-100var-400cl.1
FAIL
901
test3_quant2
FAIL
901
MB2qbf-5cnf-50var-300cl.2
FAIL
901
C6288.blif_0.10_1.00_0_0_inp_exact
FAIL
901
MB2qbf-5cnf-100var-600cl.1
FAIL
901
MB2qbf-5cnf-100var-200cl.1
FAIL
901
k_grz_n-9
FAIL
901
MB3qbf-5cnf-100var-200cl.2
FAIL
901
MB4qbf-5cnf-150var-300cl.1
FAIL
901
k_path_n-5
FAIL
901
test5_quant7
FAIL
901
k_t4p_n-2
FAIL
901
k_grz_p-17
FAIL
901
MB4qbf-5cnf-50var-600cl.2
FAIL
901
test1_quant2
FAIL
901
MB4qbf-5cnf-50var-400cl.1
FAIL
901
MB4qbf-5cnf-50var-300cl.2
FAIL
901
MB4qbf-5cnf-50var-200cl.2
FAIL
901
MB4qbf-5cnf-50var-200cl.1
FAIL
901
MB4qbf-5cnf-50var-100cl.1
FAIL
901
MB4qbf-5cnf-150var-900cl.2
FAIL
901
MB4qbf-5cnf-150var-900cl.1
FAIL
901
MB4qbf-5cnf-150var-600cl.2
FAIL
901
k_path_n-7
FAIL
901
k_path_n-6
FAIL
901
szymanski-4-s
FAIL
901
szymanski-18-s
FAIL
901
k_grz_p-16
FAIL
901
MB5qbf-5cnf-50var-400cl.2
FAIL
901
C6288.blif_0.10_0.20_0_0_out_exact
FAIL
901
MB5qbf-5cnf-150var-600cl.2
FAIL
901
BLOCKS4i.6.4
FAIL
901
mutex-64-s
FAIL
901
k_poly_n-3
FAIL
901
s27_d5_u
FAIL
901
MB5qbf-5cnf-100var-800cl.1
FAIL
901
k_poly_n-4
FAIL
901
MB5qbf-5cnf-100var-600cl.1
FAIL
901
MB5qbf-5cnf-100var-400cl.2
FAIL
901
MB5qbf-5cnf-100var-400cl.1
FAIL
901
MB4qbf-5cnf-150var-600cl.1
FAIL
901
4qbf-5cnf-100var-400cl.1
FAIL
901
uclid-pipe3a
FAIL
901
C5315.blif_0.10_1.00_0_0_out_exact
FAIL
901
C499.blif_0.10_1.00_0_0_out_exact
FAIL
901
s27_d4_u
FAIL
901
k_d4_n-8
FAIL
901
C432.blif_0.10_0.20_0_0_out_exact
FAIL
901
robots_1_5_5_4.9
FAIL
901
MB3qbf-5cnf-150var-600cl.2
FAIL
901
MB3qbf-5cnf-150var-300cl.1
FAIL
901
szymanski-22-s
FAIL
901
k_grz_n-16
FAIL
901
k_t4p_p-4
FAIL
901
k_grz_n-13
FAIL
901
k_grz_n-17
FAIL
901
MB4qbf-5cnf-100var-1000cl.2
FAIL
901
MB4qbf-5cnf-100var-1000cl.1
FAIL
901
MB4qbf-5cnf-100var-1200cl.2
FAIL
901
mutex-32-s
FAIL
901
k_grz_p-14
FAIL
901
k_grz_p-19
FAIL
901
robots_1_5_4_31.8
FAIL
901
adder-6-unsat
FAIL
901
MB4qbf-5cnf-100var-800cl.2
FAIL
901
MB4qbf-5cnf-100var-800cl.1
FAIL
901
MB4qbf-5cnf-100var-600cl.2
FAIL
901
MB4qbf-5cnf-100var-200cl.1
FAIL
901
CHAIN20v.21
FAIL
901
C5315.blif_0.10_0.20_0_1_inp_exact
FAIL
901
C6288.blif_0.10_0.20_0_1_out_exact
FAIL
901
uclid-pipe2
FAIL
901
MB4qbf-5cnf-100var-1200cl.1
FAIL
901
szymanski-14-s
FAIL
901
5qbf-5cnf-100var-1200cl.2
FAIL
901
3qbf-5cnf-100var-1000cl.2
FAIL
901
4qbf-5cnf-100var-1600cl.1
FAIL
901
3qbf-5cnf-100var-1200cl.2
FAIL
901
3qbf-5cnf-100var-1200cl.1
FAIL
901
3qbf-5cnf-150var-2100cl.2
FAIL
901
3qbf-5cnf-100var-1400cl.1
FAIL
901
3qbf-5cnf-100var-1600cl.2
FAIL
901
3qbf-5cnf-100var-1600cl.1
FAIL
901
4qbf-5cnf-100var-1800cl.1
FAIL
901
4qbf-5cnf-50var-600cl.1
FAIL
901
4qbf-5cnf-100var-1400cl.1
FAIL
901
3qbf-5cnf-150var-2400cl.2
FAIL
901
uclid-pipe3b
FAIL
901
4qbf-5cnf-100var-1000cl.1
FAIL
901
5qbf-5cnf-100var-1000cl.1
FAIL
901
5qbf-5cnf-100var-1000cl.2
FAIL
901
2qbf-5cnf-100var-800cl.2
FAIL
901
4qbf-5cnf-50var-800cl.2
FAIL
901
4qbf-5cnf-100var-1200cl.2
FAIL
901
4qbf-5cnf-100var-1200cl.1
FAIL
901
4qbf-5cnf-50var-700cl.1
FAIL
901
C499.blif_0.10_0.20_0_0_out_exact
FAIL
901
3qbf-5cnf-150var-1800cl.1
FAIL
901
2qbf-5cnf-150var-1500cl.2
FAIL
901
3qbf-5cnf-150var-1200cl.1
FAIL
901
4qbf-5cnf-150var-1800cl.2
FAIL
901
4qbf-5cnf-150var-1500cl.2
FAIL
901
4qbf-5cnf-150var-1200cl.1
FAIL
901
4qbf-5cnf-150var-1200cl.2
FAIL
901
4qbf-5cnf-100var-600cl.2
FAIL
901
4qbf-5cnf-100var-800cl.1
FAIL
901
2qbf-5cnf-150var-2100cl.2
FAIL
901
3qbf-5cnf-100var-800cl.2
FAIL
901
4qbf-5cnf-150var-300cl.1
FAIL
901
4qbf-5cnf-150var-300cl.2
FAIL
901
3qbf-5cnf-100var-400cl.1
FAIL
901
2qbf-5cnf-100var-1000cl.1
FAIL
901
2qbf-5cnf-100var-1200cl.2
FAIL
901
3qbf-5cnf-150var-1800cl.2
FAIL
901
2qbf-5cnf-100var-1200cl.1
FAIL
901
4qbf-5cnf-150var-900cl.2
FAIL
901
4qbf-5cnf-150var-900cl.1
FAIL
901
4qbf-5cnf-150var-600cl.2
FAIL
901
3qbf-5cnf-150var-1500cl.1
FAIL
901
4qbf-5cnf-100var-1800cl.2
FAIL
901
4qbf-5cnf-100var-800cl.2
FAIL
901
5qbf-5cnf-50var-900cl.1
FAIL
901
3qbf-5cnf-50var-500cl.1
FAIL
901
3qbf-5cnf-150var-2700cl.1
FAIL
901
5qbf-5cnf-50var-300cl.2
FAIL
901
k_dum_p-16
FAIL
901
3qbf-5cnf-50var-600cl.1
FAIL
901
5qbf-5cnf-150var-900cl.2
FAIL
901
5qbf-5cnf-150var-900cl.1
FAIL
901
3qbf-5cnf-50var-600cl.2
FAIL
901
2qbf-5cnf-100var-400cl.1
FAIL
901
5qbf-5cnf-150var-600cl.1
FAIL
901
test1_quant_squaring2
FAIL
901
5qbf-5cnf-50var-800cl.1
FAIL
901
5qbf-5cnf-50var-700cl.2
FAIL
901
5qbf-5cnf-50var-700cl.1
FAIL
901
5qbf-5cnf-50var-600cl.2
FAIL
901
mutex-8-s
FAIL
901
2qbf-5cnf-150var-900cl.2
FAIL
901
5qbf-5cnf-50var-500cl.2
FAIL
901
5qbf-5cnf-50var-900cl.2
FAIL
901
s499_d3_s
FAIL
901
5qbf-5cnf-150var-300cl.1
FAIL
901
5qbf-5cnf-100var-800cl.2
FAIL
901
3qbf-5cnf-150var-2700cl.2
FAIL
901
szymanski-6-s
FAIL
901
5qbf-5cnf-100var-400cl.1
FAIL
901
5qbf-5cnf-100var-1800cl.1
FAIL
901
3qbf-5cnf-150var-2100cl.1
FAIL
901
5qbf-5cnf-100var-1400cl.1
FAIL
901
2qbf-5cnf-100var-800cl.1
FAIL
901
5qbf-5cnf-100var-1200cl.1
FAIL
901
3qbf-5cnf-150var-2400cl.1
FAIL
901
2qbf-5cnf-50var-400cl.2
FAIL
901
TOILET10.1.iv.20
FAIL
901
2qbf-5cnf-100var-200cl.2
FAIL
901
5qbf-5cnf-100var-600cl.2
FAIL
901
3qbf-5cnf-150var-600cl.1
FAIL
901
3qbf-5cnf-50var-700cl.1
FAIL
901
4qbf-5cnf-100var-1000cl.2
FAIL
901
C880.blif_0.10_0.20_0_0_out_exact
FAIL
901
test5_quant5
FAIL
901.01
3qbf-5cnf-150var-1200cl.2
FAIL
901.01
3qbf-5cnf-150var-1500cl.2
FAIL
901.01
MB4qbf-5cnf-50var-300cl.1
FAIL
901.01
3qbf-5cnf-150var-900cl.1
FAIL
901.01
C5315.blif_0.10_0.20_0_0_inp_exact
FAIL
901.01
3qbf-5cnf-150var-600cl.2
FAIL
901.01
2qbf-5cnf-50var-300cl.2
FAIL
901.01
3qbf-5cnf-150var-900cl.2
FAIL
901.01
MB4qbf-5cnf-150var-300cl.2
FAIL
901.01
2qbf-5cnf-150var-600cl.2
FAIL
901.01
2qbf-5cnf-150var-300cl.1
FAIL
901.01
MB5qbf-5cnf-50var-200cl.2
FAIL
901.01
MB5qbf-5cnf-50var-200cl.1
FAIL
901.01
k_poly_n-7
FAIL
901.01
C432.blif_0.10_0.20_0_1_out_exact
FAIL
901.01
C880.blif_0.10_0.20_0_1_out_exact
FAIL
901.01
2qbf-5cnf-150var-2700cl.1
FAIL
901.01
MB5qbf-5cnf-150var-600cl.1
FAIL
901.01
MB5qbf-5cnf-50var-300cl.2
FAIL
901.01
MB5qbf-5cnf-50var-400cl.1
FAIL
901.01
2qbf-5cnf-150var-900cl.1
FAIL
901.01
2qbf-5cnf-150var-300cl.2
FAIL
901.01
TOILET16.1.iv.32
FAIL
901.01
adder-10-sat
FAIL
901.01
2qbf-5cnf-50var-200cl.1
FAIL
901.01
2qbf-5cnf-50var-200cl.2
FAIL
901.01
adder-6-sat
FAIL
901.01
2qbf-5cnf-50var-300cl.1
FAIL
901.01
MB5qbf-5cnf-150var-300cl.2
FAIL
901.01
MB5qbf-5cnf-150var-300cl.1
FAIL
901.01
C499.blif_0.10_0.20_0_0_inp_exact
FAIL
901.01
MB5qbf-5cnf-100var-200cl.1
FAIL
901.01
2qbf-5cnf-150var-1200cl.1
FAIL
901.01
C6288.blif_0.10_1.00_0_0_out_exact
FAIL
901.01
2qbf-5cnf-150var-1200cl.2
FAIL
901.01
C880.blif_0.10_1.00_0_0_out_exact
FAIL
901.01
3qbf-5cnf-100var-800cl.1
FAIL
901.01
3qbf-5cnf-100var-600cl.1
FAIL
901.01
C6288.blif_0.10_0.20_0_0_inp_exact
FAIL
901.01
MB5qbf-5cnf-100var-200cl.2
FAIL
901.01
2qbf-5cnf-150var-1500cl.1
FAIL
901.01
2qbf-5cnf-150var-2100cl.1
FAIL
901.01
adder-8-unsat
FAIL
901.01
2qbf-5cnf-150var-1800cl.1
FAIL
901.01
adder-4-unsat
FAIL
901.01
2qbf-5cnf-150var-1800cl.2
FAIL
901.01
szymanski-10-s
FAIL
901.01
3qbf-5cnf-100var-1000cl.1
FAIL
901.01
3qbf-5cnf-100var-1400cl.2
FAIL
901.01
3qbf-5cnf-100var-600cl.2
FAIL
901.01
5qbf-5cnf-50var-800cl.2
FAIL
901.01
5qbf-5cnf-100var-400cl.2
FAIL
901.01
MB2qbf-5cnf-50var-200cl.2
FAIL
901.01
szymanski-12-s
FAIL
901.01
C432.blif_0.10_0.20_0_0_inp_exact
FAIL
901.01
k_dum_p-15
FAIL
901.01
test3_quant_squaring2
FAIL
901.01
4qbf-5cnf-50var-900cl.1
FAIL
901.01
C880.blif_0.10_0.20_0_0_inp_exact
FAIL
901.01
4qbf-5cnf-50var-700cl.2
FAIL
901.01
k_grz_n-18
FAIL
901.01
4qbf-5cnf-50var-600cl.2
FAIL
901.01
4qbf-5cnf-50var-500cl.2
FAIL
901.01
4qbf-5cnf-50var-500cl.1
FAIL
901.01
C880.blif_0.10_1.00_0_0_inp_exact
FAIL
901.01
4qbf-5cnf-50var-400cl.2
FAIL
901.01
4qbf-5cnf-50var-400cl.1
FAIL
901.01
4qbf-5cnf-50var-300cl.2
FAIL
901.01
5qbf-5cnf-100var-600cl.1
FAIL
901.01
MB2qbf-5cnf-150var-900cl.2
FAIL
901.01
MB2qbf-5cnf-150var-900cl.1
FAIL
901.01
5qbf-5cnf-50var-600cl.1
FAIL
901.01
s499_d2_s
FAIL
901.01
5qbf-5cnf-50var-500cl.1
FAIL
901.01
MB2qbf-5cnf-100var-200cl.2
FAIL
901.01
MB2qbf-5cnf-100var-400cl.1
FAIL
901.01
MB2qbf-5cnf-100var-400cl.2
FAIL
901.01
5qbf-5cnf-50var-400cl.2
FAIL
901.01
MB2qbf-5cnf-100var-600cl.2
FAIL
901.01
5qbf-5cnf-50var-400cl.1
FAIL
901.01
k_d4_n-6
FAIL
901.01
s27_d3_u
FAIL
901.01
5qbf-5cnf-150var-600cl.2
FAIL
901.01
k_d4_p-6
FAIL
901.01
5qbf-5cnf-100var-800cl.1
FAIL
901.01
MB2qbf-5cnf-150var-300cl.2
FAIL
901.01
MB2qbf-5cnf-150var-600cl.1
FAIL
901.01
MB2qbf-5cnf-150var-600cl.2
FAIL
901.01
MB2qbf-5cnf-100var-800cl.1
FAIL
901.01
MB3qbf-5cnf-100var-400cl.2
FAIL
901.01
2qbf-5cnf-100var-1400cl.2
FAIL
901.01
robots_1_5_4_34.8
FAIL
901.01
C6288.blif_0.10_0.20_0_1_inp_exact
FAIL
901.01
4qbf-5cnf-100var-1600cl.2
FAIL
901.01
4qbf-5cnf-100var-1400cl.2
FAIL
901.01
C880.blif_0.10_0.20_0_1_inp_exact
FAIL
901.01
2qbf-5cnf-100var-1400cl.1
FAIL
901.01
MB4qbf-5cnf-100var-200cl.2
FAIL
901.01
MB4qbf-5cnf-100var-400cl.1
FAIL
901.01
MB4qbf-5cnf-100var-400cl.2
FAIL
901.01
MB4qbf-5cnf-100var-600cl.1
FAIL
901.01
3qbf-5cnf-50var-700cl.2
FAIL
901.01
3qbf-5cnf-50var-500cl.2
FAIL
901.01
3qbf-5cnf-50var-400cl.1
FAIL
901.01
2qbf-5cnf-100var-400cl.2
FAIL
901.01
2qbf-5cnf-100var-600cl.1
FAIL
901.01
robots_1_5_3_27.9
FAIL
901.01
test4_quant4
FAIL
901.01
4qbf-5cnf-100var-400cl.2
FAIL
901.01
4qbf-5cnf-100var-600cl.1
FAIL
901.01
CHAIN19v.20
FAIL
901.01
4qbf-5cnf-50var-300cl.1
FAIL
901.01
4qbf-5cnf-50var-200cl.2
FAIL
901.01
k_grz_n-12
FAIL
901.01
2qbf-5cnf-100var-1000cl.2
FAIL
901.01
C5315.blif_0.10_0.20_0_0_out_exact
FAIL
901.01
term1.blif_0.10_0.20_0_0_out_exact
FAIL
901.01
CHAIN23v.24
FAIL
901.01
4qbf-5cnf-150var-600cl.1
FAIL
901.01
MB3qbf-5cnf-150var-300cl.2
FAIL
901.01
MB3qbf-5cnf-150var-600cl.1
FAIL
901.01
2qbf-5cnf-150var-600cl.1
FAIL
901.01
MB3qbf-5cnf-50var-200cl.1
FAIL
901.01
k_grz_p-10
FAIL
901.01
C499.blif_0.10_0.20_0_1_out_exact
FAIL
901.01
C6288.blif_0.10_1.00_0_1_inp_exact
FAIL
901.01
robots_1_5_4_87.8
FAIL
901.01
2qbf-5cnf-100var-600cl.2
FAIL
901.01
Contact
|
Organization
|
Links
|
Citing QBFLIB