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
orSAT
QBFEVAL'04
Instance
Result
Time
TOILET2.1.iv.3
UNSAT
0
toilet_g_04_01.2
SAT
0
k_lin_n-1
SAT
0
impl02
SAT
0
flipflop-3-c
UNSAT
0
toilet_g_06_01.2
SAT
0.01
z4ml.blif_0.10_1.00_0_0_out_exact
UNSAT
0.01
MB3qbf-5cnf-150var-1200cl.2
UNSAT
0.01
toilet_g_02_01.2
SAT
0.01
MB5qbf-5cnf-50var-900cl.2
UNSAT
0.01
z4ml.blif_0.10_1.00_0_1_out_exact
SAT
0.01
MB5qbf-5cnf-100var-1200cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-300cl.1
UNSAT
0.01
mutex-4-s
SAT
0.01
k_ph_n-1
SAT
0.01
MB3qbf-5cnf-50var-500cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-500cl.2
UNSAT
0.01
MB3qbf-5cnf-50var-400cl.2
UNSAT
0.01
MB3qbf-5cnf-50var-600cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-600cl.2
UNSAT
0.01
MB3qbf-5cnf-50var-700cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-700cl.2
UNSAT
0.01
MB3qbf-5cnf-50var-800cl.1
UNSAT
0.01
MB3qbf-5cnf-50var-800cl.2
UNSAT
0.01
z4ml.blif_0.10_1.00_0_1_inp_exact
SAT
0.01
mutex-2-s
SAT
0.01
MB3qbf-5cnf-100var-800cl.2
UNSAT
0.01
z4ml.blif_0.10_0.20_0_1_inp_exact
SAT
0.01
TOILET2.1.iv.4
SAT
0.01
MB3qbf-5cnf-100var-1000cl.2
UNSAT
0.01
MB5qbf-5cnf-50var-800cl.1
UNSAT
0.01
MB3qbf-5cnf-100var-600cl.2
UNSAT
0.01
MB5qbf-5cnf-50var-800cl.2
UNSAT
0.01
MB5qbf-5cnf-50var-900cl.1
UNSAT
0.01
MB3qbf-5cnf-100var-800cl.1
UNSAT
0.01
z4ml.blif_0.10_0.20_0_1_out_exact
SAT
0.01
MB5qbf-5cnf-100var-1400cl.1
UNSAT
0.02
MB5qbf-5cnf-100var-1400cl.2
UNSAT
0.02
MB5qbf-5cnf-100var-1600cl.2
UNSAT
0.02
MB3qbf-5cnf-100var-1200cl.2
UNSAT
0.02
MB3qbf-5cnf-100var-1400cl.2
UNSAT
0.02
MB3qbf-5cnf-100var-1600cl.1
UNSAT
0.02
MB3qbf-5cnf-150var-2100cl.1
UNSAT
0.02
MB3qbf-5cnf-100var-1200cl.1
UNSAT
0.02
MB3qbf-5cnf-100var-1600cl.2
UNSAT
0.02
MB3qbf-5cnf-150var-900cl.2
UNSAT
0.02
MB3qbf-5cnf-150var-900cl.1
UNSAT
0.02
MB3qbf-5cnf-50var-900cl.2
UNSAT
0.02
lognBWLARGEB0
FAIL
0.02
lognBWLARGEA0
FAIL
0.02
MB3qbf-5cnf-100var-600cl.1
UNSAT
0.02
MB5qbf-5cnf-150var-1800cl.2
UNSAT
0.02
MB3qbf-5cnf-150var-1200cl.1
UNSAT
0.02
MB3qbf-5cnf-150var-1500cl.2
UNSAT
0.02
MB3qbf-5cnf-150var-1800cl.2
UNSAT
0.02
z4ml.blif_0.10_0.20_0_0_out_exact
UNSAT
0.02
MB3qbf-5cnf-100var-1400cl.1
UNSAT
0.02
MB3qbf-5cnf-50var-900cl.1
UNSAT
0.02
MB5qbf-5cnf-100var-1800cl.1
UNSAT
0.02
MB3qbf-5cnf-150var-2700cl.1
UNSAT
0.03
mutex-8-s
SAT
0.03
MB3qbf-5cnf-150var-2100cl.2
UNSAT
0.03
toilet_c_06_05.4
SAT
0.03
s641_d2_s
FAIL
0.03
C499.blif_0.10_1.00_0_1_out_exact
SAT
0.03
MB3qbf-5cnf-150var-1500cl.1
UNSAT
0.03
MB3qbf-5cnf-150var-2700cl.2
UNSAT
0.03
MB5qbf-5cnf-100var-1800cl.2
UNSAT
0.03
MB3qbf-5cnf-150var-1800cl.1
UNSAT
0.03
MB3qbf-5cnf-100var-1800cl.1
UNSAT
0.03
toilet_c_04_01.6
UNSAT
0.03
toilet_g_08_01.2
SAT
0.03
MB5qbf-5cnf-100var-1200cl.2
UNSAT
0.03
MB5qbf-5cnf-150var-1800cl.1
UNSAT
0.03
MB5qbf-5cnf-150var-2100cl.2
UNSAT
0.03
MB3qbf-5cnf-100var-1000cl.1
UNSAT
0.03
MB5qbf-5cnf-150var-2100cl.1
UNSAT
0.03
MB3qbf-5cnf-100var-1800cl.2
UNSAT
0.03
MB5qbf-5cnf-100var-1600cl.1
UNSAT
0.03
MB5qbf-5cnf-150var-2400cl.1
UNSAT
0.03
MB3qbf-5cnf-150var-2400cl.2
UNSAT
0.03
MB5qbf-5cnf-150var-2700cl.1
UNSAT
0.04
MB3qbf-5cnf-150var-2400cl.1
UNSAT
0.04
z4ml.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.04
MB5qbf-5cnf-150var-2700cl.2
UNSAT
0.04
MB5qbf-5cnf-150var-2400cl.2
UNSAT
0.04
mutex-16-s
SAT
0.06
z4ml.blif_0.10_0.20_0_0_inp_exact
UNSAT
0.06
s641_d3_s
FAIL
0.06
cnt02
SAT
0.09
robots_1_5_5_29.1
SAT
0.12
robots_1_5_4_78.1
SAT
0.13
s641_d5_s
FAIL
0.14
cf_4_5x4_d_
UNSAT
0.14
mutex-32-s
SAT
0.17
s641_d6_s
FAIL
0.18
impl06
SAT
0.18
s3271_d2_s
FAIL
0.2
s641_d7_u
FAIL
0.22
C432.blif_0.10_1.00_0_1_out_exact
SAT
0.22
toilet_a_08_01.3
UNSAT
0.24
cf_4_5x5_d_
UNSAT
0.24
s641_d8_u
FAIL
0.27
toilet_a_06_01.5
UNSAT
0.29
s641_d10_u
FAIL
0.35
cf_4_6x5_d_
UNSAT
0.37
cf_6_6x6_d_
UNSAT
0.4
s641_d11_u
FAIL
0.41
cf_5_5x7_d_
UNSAT
0.45
cf_5_7x5_d_
UNSAT
0.47
cf_2_4x8_d_
UNSAT
0.52
toilet_c_10_01.3
UNSAT
0.56
C432.blif_0.10_1.00_0_1_inp_exact
SAT
0.62
toilet_g_10_01.2
SAT
0.69
cf_5_7x6_d_
UNSAT
0.71
cf_7_7x7_d_
UNSAT
0.72
cf_4_6x7_d_
UNSAT
0.79
toilet_c_10_05.10
SAT
0.86
cf_4_5x9_d_
UNSAT
0.9
s3271_d5_s
FAIL
0.96
mutex-64-s
SAT
0.98
cf_7_8x7_d_
UNSAT
1.04
cf_3_9x5_d_
UNSAT
1.06
tree-exa2-15
UNSAT
1.09
cf_6_8x7_d_
UNSAT
1.24
cf_7_7x9_d_
UNSAT
1.36
cnt02e
SAT
1.4
vonNeumann-ripple-carry-5-c
UNSAT
1.45
cf_8_8x9_d_
UNSAT
1.67
cf_9_9x9_d_
UNSAT
1.93
cf_6_8x9_d_
UNSAT
2.27
impl08
SAT
2.3
cf_8_9x9_d_
UNSAT
2.36
cf_7_9x9_d_
UNSAT
2.7
cf_3_8x9_d_
UNSAT
2.83
s3271_d15_s
FAIL
3.26
vonNeumann-ripple-carry-14-c
FAIL
3.41
s3271_d12_s
FAIL
4.03
mutex-128-s
SAT
4.35
s3271_d18_u
FAIL
7.99
s3271_d19_u
FAIL
8.78
s3271_d20_u
FAIL
9.6
toilet_a_06_05.2
UNSAT
10.84
s3271_d22_u
FAIL
11.47
toilet_g_15_01.2
SAT
11.58
tree-exa10-30
FAIL
12.32
tree-exa10-25
FAIL
14.59
s27_d2_s
SAT
15.49
toilet_c_06_01.9
UNSAT
15.96
tree-exa2-35
FAIL
21.81
comp.blif_0.10_1.00_0_1_inp_exact
SAT
22.07
tree-exa2-25
FAIL
22.15
tree-exa2-40
FAIL
22.18
tree-exa2-30
FAIL
22.51
tree-exa2-45
FAIL
24.74
k_t4p_p-1
FAIL
45.61
k_ph_n-3
FAIL
53.89
vonNeumann-ripple-carry-7-c
UNSAT
54.33
k_ph_p-3
FAIL
57.06
BLOCKS3iii.5
FAIL
58.05
k_t4p_n-2
FAIL
61.34
k_d4_p-3
FAIL
64.05
k_d4_n-6
FAIL
68.04
TOILET16.1.iv.32
FAIL
70.57
k_t4p_p-4
FAIL
82.03
k_d4_n-8
FAIL
87.39
k_d4_p-6
FAIL
88.43
k_dum_p-1
FAIL
89.95
k_dum_n-1
FAIL
90.7
k_d4_n-9
FAIL
96.38
k_d4_p-7
FAIL
96.98
k_t4p_p-10
FAIL
103.17
k_dum_n-3
FAIL
110.09
TOILET6.1.iv.11
FAIL
112.79
k_t4p_n-5
FAIL
115.13
TOILET7.1.iv.13
FAIL
117.42
k_dum_p-6
FAIL
117.51
k_lin_p-1
FAIL
118.41
TOILET6.1.iv.12
FAIL
119.61
k_dum_n-4
FAIL
121.15
TOILET7.1.iv.14
FAIL
121.78
k_dum_n-5
FAIL
129.32
term1.blif_0.10_0.20_0_1_inp_exact
SAT
130.57
k_d4_n-12
FAIL
135.01
toilet_c_08_01.13
FAIL
139.42
k_dum_n-6
FAIL
142.06
toilet_g_20_01.2
FAIL
142.21
k_t4p_p-12
FAIL
145.19
k_d4_p-13
FAIL
147.68
k_d4_n-13
FAIL
148.11
k_d4_p-14
FAIL
154.39
k_dum_n-8
FAIL
157.33
BLOCKS3i.4.4
FAIL
162.28
k_d4_n-14
FAIL
163.57
k_t4p_p-15
FAIL
170.39
toilet_a_10_05.3
FAIL
173.13
k_d4_p-16
FAIL
174.18
k_d4_n-15
FAIL
176.46
toilet_a_08_01.16
FAIL
176.66
k_d4_p-17
FAIL
191.27
k_t4p_p-16
FAIL
200.7
k_d4_n-16
FAIL
208.95
toilet_a_10_01.4
FAIL
233.56
k_d4_p-19
FAIL
245.08
BLOCKS3ii.4.3
FAIL
256.52
k_dum_n-16
FAIL
257.19
BLOCKS3i.5.3
FAIL
260.52
k_dum_n-18
FAIL
283.73
k_path_n-1
FAIL
294.63
toilet_a_10_01.7
FAIL
307.4
k_t4p_p-18
FAIL
323.94
k_t4p_p-19
FAIL
334.14
k_ph_n-4
FAIL
364.85
k_branch_n-1
FAIL
369
impl12
SAT
400.01
toilet_a_10_01.15
FAIL
403.12
s27_d3_u
FAIL
450.85
k_dum_p-8
FAIL
457.34
toilet_c_10_05.4
FAIL
461.67
k_t4p_n-14
FAIL
477.62
k_t4p_n-13
FAIL
512.97
BLOCKS3ii.5.3
FAIL
519.68
k_grz_p-19
FAIL
521.67
flipflop-8-c
FAIL
531.25
k_t4p_n-15
FAIL
537.3
term1.blif_0.10_1.00_0_1_inp_exact
SAT
542.63
s27_d4_u
FAIL
547.65
k_grz_p-10
FAIL
555.45
k_grz_n-18
FAIL
556.68
k_dum_p-11
FAIL
580.86
k_grz_n-12
FAIL
589.2
k_grz_n-3
FAIL
593.87
k_grz_n-2
FAIL
613.49
k_lin_n-2
FAIL
622.05
k_t4p_n-17
FAIL
635.73
s27_d5_u
FAIL
636.71
MB2qbf-5cnf-50var-800cl.2
FAIL
659.51
k_grz_n-13
FAIL
663.24
k_grz_p-4
FAIL
679.85
k_dum_p-15
FAIL
723.85
k_t4p_n-19
FAIL
734.17
k_dum_p-16
FAIL
782.89
k_dum_p-17
FAIL
799.54
MB2qbf-5cnf-150var-2700cl.2
FAIL
815.68
MB2qbf-5cnf-50var-900cl.2
FAIL
853.03
k_t4p_n-18
FAIL
869.16
MB4qbf-5cnf-50var-200cl.2
FAIL
880.47
flipflop-9-c
FAIL
884.3
2qbf-5cnf-100var-400cl.2
FAIL
901
2qbf-5cnf-150var-1800cl.2
FAIL
901
2qbf-5cnf-150var-1500cl.1
FAIL
901
MB4qbf-5cnf-150var-2400cl.2
FAIL
901
MB4qbf-5cnf-150var-2400cl.1
FAIL
901
2qbf-5cnf-100var-1800cl.1
FAIL
901
2qbf-5cnf-100var-200cl.1
FAIL
901
2qbf-5cnf-150var-1200cl.1
FAIL
901
MB4qbf-5cnf-100var-1600cl.2
FAIL
901
MB4qbf-5cnf-150var-300cl.1
FAIL
901
MB4qbf-5cnf-150var-600cl.2
FAIL
901
2qbf-5cnf-150var-1200cl.2
FAIL
901
MB4qbf-5cnf-150var-2700cl.1
FAIL
901
2qbf-5cnf-100var-800cl.1
FAIL
901
2qbf-5cnf-100var-600cl.2
FAIL
901
2qbf-5cnf-100var-400cl.1
FAIL
901
2qbf-5cnf-150var-2100cl.2
FAIL
901
2qbf-5cnf-150var-2100cl.1
FAIL
901
2qbf-5cnf-150var-2400cl.2
FAIL
901
3qbf-5cnf-100var-1000cl.2
FAIL
901
3qbf-5cnf-100var-1000cl.1
FAIL
901
3qbf-5cnf-100var-1200cl.2
FAIL
901
3qbf-5cnf-100var-1400cl.2
FAIL
901
3qbf-5cnf-100var-1800cl.2
FAIL
901
3qbf-5cnf-100var-200cl.2
FAIL
901
3qbf-5cnf-100var-600cl.1
FAIL
901
MB4qbf-5cnf-100var-800cl.1
FAIL
901
MB4qbf-5cnf-100var-400cl.2
FAIL
901
MB4qbf-5cnf-100var-1400cl.1
FAIL
901
MB4qbf-5cnf-100var-1200cl.2
FAIL
901
MB4qbf-5cnf-100var-1000cl.2
FAIL
901
MB3qbf-5cnf-50var-400cl.1
FAIL
901
2qbf-5cnf-50var-900cl.1
FAIL
901
2qbf-5cnf-50var-700cl.2
FAIL
901
2qbf-5cnf-50var-700cl.1
FAIL
901
2qbf-5cnf-150var-2700cl.2
FAIL
901
2qbf-5cnf-150var-300cl.1
FAIL
901
MB4qbf-5cnf-100var-800cl.2
FAIL
901
2qbf-5cnf-150var-300cl.2
FAIL
901
2qbf-5cnf-150var-900cl.1
FAIL
901
2qbf-5cnf-150var-900cl.2
FAIL
901
2qbf-5cnf-50var-100cl.2
FAIL
901
2qbf-5cnf-50var-200cl.2
FAIL
901
2qbf-5cnf-50var-300cl.2
FAIL
901
2qbf-5cnf-50var-400cl.1
FAIL
901
2qbf-5cnf-50var-500cl.2
FAIL
901
2qbf-5cnf-50var-600cl.1
FAIL
901
2qbf-5cnf-50var-600cl.2
FAIL
901
2qbf-5cnf-150var-600cl.2
FAIL
901
s1269_d5_s
FAIL
901
MB5qbf-5cnf-150var-900cl.1
FAIL
901
s3330_d6_s
FAIL
901
s3330_d3_s
FAIL
901
s386_d9_u
FAIL
901
MB5qbf-5cnf-150var-600cl.2
FAIL
901
MB5qbf-5cnf-150var-300cl.2
FAIL
901
MB5qbf-5cnf-150var-300cl.1
FAIL
901
s386_d12_u
FAIL
901
MB5qbf-5cnf-150var-1500cl.1
FAIL
901
s386_d10_u
FAIL
901
s499_d7_s
FAIL
901
s499_d14_s
FAIL
901
MB5qbf-5cnf-50var-100cl.1
FAIL
901
MB5qbf-5cnf-50var-100cl.2
FAIL
901
s298_d17_s
FAIL
901
s298_d21_u
FAIL
901
3qbf-5cnf-150var-1500cl.2
FAIL
901
5qbf-5cnf-150var-300cl.2
FAIL
901
MB5qbf-5cnf-50var-700cl.2
FAIL
901
MB5qbf-5cnf-50var-700cl.1
FAIL
901
MB5qbf-5cnf-50var-500cl.2
FAIL
901
MB5qbf-5cnf-50var-500cl.1
FAIL
901
MB5qbf-5cnf-50var-400cl.2
FAIL
901
MB5qbf-5cnf-50var-400cl.1
FAIL
901
MB5qbf-5cnf-50var-300cl.2
FAIL
901
MB5qbf-5cnf-50var-300cl.1
FAIL
901
s499_d10_s
FAIL
901
MB5qbf-5cnf-150var-1200cl.2
FAIL
901
s499_d3_s
FAIL
901
MB4qbf-5cnf-50var-300cl.1
FAIL
901
s820_d9_s
FAIL
901
MB4qbf-5cnf-150var-900cl.2
FAIL
901
s820_d12_u
FAIL
901
s820_d14_u
FAIL
901
s820_d3_s
FAIL
901
2qbf-5cnf-100var-1000cl.1
FAIL
901
2qbf-5cnf-100var-1400cl.2
FAIL
901
2qbf-5cnf-100var-1400cl.1
FAIL
901
s713_d10_u
FAIL
901
2qbf-5cnf-100var-1600cl.2
FAIL
901
2qbf-5cnf-100var-1600cl.1
FAIL
901
MB4qbf-5cnf-50var-400cl.2
FAIL
901
s713_d8_u
FAIL
901
MB5qbf-5cnf-100var-800cl.1
FAIL
901
MB5qbf-5cnf-100var-400cl.1
FAIL
901
s510_d49_u
FAIL
901
MB5qbf-5cnf-100var-200cl.1
FAIL
901
MB5qbf-5cnf-100var-1000cl.2
FAIL
901
MB4qbf-5cnf-50var-900cl.2
FAIL
901
MB4qbf-5cnf-50var-800cl.2
FAIL
901
MB4qbf-5cnf-50var-700cl.2
FAIL
901
MB4qbf-5cnf-50var-700cl.1
FAIL
901
MB4qbf-5cnf-50var-600cl.2
FAIL
901
MB4qbf-5cnf-50var-500cl.2
FAIL
901
MB4qbf-5cnf-50var-500cl.1
FAIL
901
2qbf-5cnf-100var-1800cl.2
FAIL
901
MB3qbf-5cnf-50var-200cl.2
FAIL
901
MB3qbf-5cnf-100var-400cl.1
FAIL
901
4qbf-5cnf-50var-800cl.2
FAIL
901
4qbf-5cnf-50var-900cl.2
FAIL
901
5qbf-5cnf-100var-1000cl.2
FAIL
901
5qbf-5cnf-100var-1200cl.2
FAIL
901
5qbf-5cnf-100var-1200cl.1
FAIL
901
5qbf-5cnf-100var-1600cl.1
FAIL
901
5qbf-5cnf-100var-1800cl.1
FAIL
901
5qbf-5cnf-100var-200cl.1
FAIL
901
5qbf-5cnf-100var-400cl.2
FAIL
901
5qbf-5cnf-100var-600cl.1
FAIL
901
MB2qbf-5cnf-150var-2400cl.2
FAIL
901
MB2qbf-5cnf-150var-1800cl.1
FAIL
901
4qbf-5cnf-50var-800cl.1
FAIL
901
MB2qbf-5cnf-150var-2700cl.1
FAIL
901
MB3qbf-5cnf-100var-200cl.1
FAIL
901
MB2qbf-5cnf-50var-900cl.1
FAIL
901
MB2qbf-5cnf-50var-800cl.1
FAIL
901
MB2qbf-5cnf-50var-700cl.2
FAIL
901
MB2qbf-5cnf-50var-500cl.2
FAIL
901
MB2qbf-5cnf-50var-300cl.2
FAIL
901
MB2qbf-5cnf-50var-100cl.2
FAIL
901
MB2qbf-5cnf-50var-100cl.1
FAIL
901
MB2qbf-5cnf-150var-900cl.1
FAIL
901
MB2qbf-5cnf-150var-600cl.2
FAIL
901
MB2qbf-5cnf-150var-600cl.1
FAIL
901
MB2qbf-5cnf-150var-300cl.1
FAIL
901
MB2qbf-5cnf-150var-1800cl.2
FAIL
901
MB2qbf-5cnf-150var-1500cl.2
FAIL
901
5qbf-5cnf-50var-300cl.1
FAIL
901
5qbf-5cnf-150var-900cl.2
FAIL
901
5qbf-5cnf-150var-600cl.2
FAIL
901
5qbf-5cnf-100var-800cl.2
FAIL
901
5qbf-5cnf-150var-600cl.1
FAIL
901
5qbf-5cnf-150var-1200cl.1
FAIL
901
5qbf-5cnf-150var-300cl.1
FAIL
901
5qbf-5cnf-150var-1500cl.2
FAIL
901
5qbf-5cnf-150var-2700cl.2
FAIL
901
5qbf-5cnf-150var-1800cl.2
FAIL
901
5qbf-5cnf-150var-2100cl.2
FAIL
901
5qbf-5cnf-150var-2400cl.1
FAIL
901
5qbf-5cnf-100var-800cl.1
FAIL
901
5qbf-5cnf-50var-400cl.1
FAIL
901
MB2qbf-5cnf-100var-400cl.2
FAIL
901
MB2qbf-5cnf-100var-200cl.1
FAIL
901
MB2qbf-5cnf-100var-1800cl.2
FAIL
901
5qbf-5cnf-100var-600cl.2
FAIL
901
MB2qbf-5cnf-100var-1600cl.1
FAIL
901
MB2qbf-5cnf-100var-1400cl.1
FAIL
901
MB2qbf-5cnf-100var-1400cl.2
FAIL
901
MB2qbf-5cnf-100var-1200cl.2
FAIL
901
5qbf-5cnf-50var-800cl.1
FAIL
901
5qbf-5cnf-50var-700cl.1
FAIL
901
5qbf-5cnf-50var-500cl.2
FAIL
901
5qbf-5cnf-50var-500cl.1
FAIL
901
5qbf-5cnf-150var-2100cl.1
FAIL
901
MB3qbf-5cnf-50var-200cl.1
FAIL
901
3qbf-5cnf-150var-900cl.1
FAIL
901
3qbf-5cnf-50var-200cl.2
FAIL
901
3qbf-5cnf-50var-300cl.2
FAIL
901
3qbf-5cnf-50var-600cl.1
FAIL
901
MB3qbf-5cnf-50var-100cl.1
FAIL
901
3qbf-5cnf-50var-700cl.2
FAIL
901
3qbf-5cnf-50var-800cl.2
FAIL
901
3qbf-5cnf-50var-900cl.1
FAIL
901
3qbf-5cnf-50var-900cl.2
FAIL
901
4qbf-5cnf-100var-1000cl.2
FAIL
901
4qbf-5cnf-100var-1200cl.2
FAIL
901
4qbf-5cnf-100var-1200cl.1
FAIL
901
3qbf-5cnf-150var-600cl.2
FAIL
901
MB3qbf-5cnf-50var-100cl.2
FAIL
901
3qbf-5cnf-100var-800cl.2
FAIL
901
3qbf-5cnf-150var-1500cl.1
FAIL
901
3qbf-5cnf-150var-1800cl.2
FAIL
901
3qbf-5cnf-150var-1800cl.1
FAIL
901
3qbf-5cnf-150var-2100cl.1
FAIL
901
3qbf-5cnf-150var-2400cl.2
FAIL
901
3qbf-5cnf-150var-2400cl.1
FAIL
901
3qbf-5cnf-150var-2700cl.2
FAIL
901
3qbf-5cnf-150var-2700cl.1
FAIL
901
3qbf-5cnf-150var-300cl.1
FAIL
901
3qbf-5cnf-150var-300cl.2
FAIL
901
3qbf-5cnf-150var-600cl.1
FAIL
901
4qbf-5cnf-100var-1400cl.2
FAIL
901
4qbf-5cnf-100var-1400cl.1
FAIL
901
4qbf-5cnf-150var-2400cl.1
FAIL
901
4qbf-5cnf-150var-2700cl.2
FAIL
901
4qbf-5cnf-150var-2700cl.1
FAIL
901
MB3qbf-5cnf-150var-600cl.1
FAIL
901
4qbf-5cnf-150var-600cl.1
FAIL
901
4qbf-5cnf-150var-900cl.1
FAIL
901
4qbf-5cnf-50var-200cl.1
FAIL
901
4qbf-5cnf-50var-300cl.1
FAIL
901
MB3qbf-5cnf-150var-300cl.1
FAIL
901
4qbf-5cnf-50var-300cl.2
FAIL
901
4qbf-5cnf-50var-400cl.1
FAIL
901
4qbf-5cnf-50var-500cl.2
FAIL
901
4qbf-5cnf-150var-2400cl.2
FAIL
901
4qbf-5cnf-150var-2100cl.2
FAIL
901
4qbf-5cnf-100var-1800cl.2
FAIL
901
4qbf-5cnf-100var-1800cl.1
FAIL
901
4qbf-5cnf-100var-200cl.1
FAIL
901
MB4qbf-5cnf-50var-900cl.1
FAIL
901
4qbf-5cnf-100var-200cl.2
FAIL
901
4qbf-5cnf-100var-400cl.1
FAIL
901
4qbf-5cnf-100var-600cl.1
FAIL
901
4qbf-5cnf-100var-600cl.2
FAIL
901
4qbf-5cnf-100var-800cl.1
FAIL
901
MB3qbf-5cnf-150var-600cl.2
FAIL
901
4qbf-5cnf-150var-1800cl.2
FAIL
901
4qbf-5cnf-150var-1800cl.1
FAIL
901
4qbf-5cnf-50var-600cl.1
FAIL
901
s1196_d4_u
FAIL
901
C6288.blif_0.10_1.00_0_1_inp_exact
FAIL
901
test1_quant3
FAIL
901
test4_quant4
FAIL
901
robots_1_5_2_64.1
FAIL
901
s499_d2_s
FAIL
901
k_branch_p-14
FAIL
901
robots_1_5_2_93.1
FAIL
901
k_branch_p-13
FAIL
901
szymanski-16-s
FAIL
901
s3330_d10_u
FAIL
901
k_branch_p-5
FAIL
901
k_poly_p-2
FAIL
901
C432.blif_0.10_0.20_0_0_out_exact
FAIL
901
k_grz_n-9
FAIL
901
k_poly_p-10
FAIL
901
C6288.blif_0.10_1.00_0_0_inp_exact
FAIL
901
k_poly_p-14
FAIL
901
test5_quant_squaring5
FAIL
901
k_branch_p-3
FAIL
901
term1.blif_0.10_0.20_0_1_out_exact
FAIL
901
robots_1_5_2_69.4
FAIL
901
robots_1_5_2_3.5
FAIL
901
C6288.blif_0.10_0.20_0_1_out_exact
FAIL
901
k_branch_n-9
FAIL
901
k_poly_n-8
FAIL
901
robots_1_5_4_85.5
FAIL
901
s1269_d2_s
FAIL
901
robots_1_5_4_34.8
FAIL
901
C499.blif_0.10_0.20_0_0_inp_exact
FAIL
901
C432.blif_0.10_1.00_0_0_inp_exact
FAIL
901
robots_1_5_3_18.7
FAIL
901
k_branch_n-14
FAIL
901
robots_1_5_2_61.6
FAIL
901
C499.blif_0.10_1.00_0_1_inp_exact
FAIL
901
robots_1_5_2_72.7
FAIL
901
k_branch_n-15
FAIL
901
robots_1_5_3_17.2
FAIL
901
robots_1_5_3_80.4
FAIL
901
uclid-pipe3a
FAIL
901
uclid-pipe2
FAIL
901
robots_1_5_5_5.2
FAIL
901
s713_d6_s
FAIL
901
k_lin_p-18
FAIL
901
s499_d4_s
FAIL
901
C880.blif_0.10_1.00_0_0_inp_exact
FAIL
901
k_lin_n-19
FAIL
901
s298_d16_s
FAIL
901
CHAIN19v.20
FAIL
901
k_path_n-13
FAIL
901
test3_quant_squaring4
FAIL
901
term1.blif_0.10_1.00_0_1_out_exact
FAIL
901
k_lin_p-15
FAIL
901
s1196_d3_u
FAIL
901
k_lin_p-5
FAIL
901
k_lin_p-10
FAIL
901
k_poly_p-12
FAIL
901
C880.blif_0.10_0.20_0_0_inp_exact
FAIL
901
flipflop-4-c
FAIL
901
k_lin_n-14
FAIL
901
C880.blif_0.10_1.00_0_1_inp_exact
FAIL
901
k_lin_p-11
FAIL
901
k_path_p-11
FAIL
901
k_lin_n-7
FAIL
901
k_path_p-14
FAIL
901
k_ph_p-20
FAIL
901
k_ph_p-19
FAIL
901
CHAIN12v.13
FAIL
901
s386_d8_u
FAIL
901
k_ph_p-14
FAIL
901
k_ph_p-15
FAIL
901
C499.blif_0.10_0.20_0_1_out_exact
FAIL
901
k_poly_n-7
FAIL
901
C432.blif_0.10_0.20_0_0_inp_exact
FAIL
901
k_lin_p-8
FAIL
901
k_path_p-17
FAIL
901
k_ph_n-6
FAIL
901
C5315.blif_0.10_1.00_0_1_out_exact
FAIL
901
CHAIN17v.18
FAIL
901
k_ph_n-15
FAIL
901
comp.blif_0.10_1.00_0_1_out_exact
FAIL
901
test2_quant2
FAIL
901
k_grz_n-16
FAIL
901
test1_quant_squaring2
FAIL
901
impl20
FAIL
901
flipflop-10-c
FAIL
901
cf_5_8x9_w_
FAIL
901
comp.blif_0.10_1.00_0_0_out_exact
FAIL
901
k_poly_n-11
FAIL
901
C432.blif_0.10_0.20_0_1_inp_exact
FAIL
901
cf_5_6x9_r_
FAIL
901
Adder2-16-c
FAIL
901
szymanski-4-s
FAIL
901
cf_5_5x6_w_
FAIL
901
cf_7_8x8_w_
FAIL
901
cf_4_8x8_w_
FAIL
901
BLOCKS4ii.6.3
FAIL
901
s820_d8_s
FAIL
901
comp.blif_0.10_0.20_0_0_out_exact
FAIL
901
C880.blif_0.10_0.20_0_0_out_exact
FAIL
901
cf_3_8x8_w_
FAIL
901
s3330_d8_s
FAIL
901
cf_6_6x8_w_
FAIL
901
cf_6_6x9_r_
FAIL
901
CHAIN16v.17
FAIL
901
comp.blif_0.10_0.20_0_1_inp_exact
FAIL
901
szymanski-18-s
FAIL
901
comp.blif_0.10_0.20_0_0_inp_exact
FAIL
901
adder-10-sat
FAIL
901
s1196_d6_u
FAIL
901
s1196_d5_u
FAIL
901
TOILET10.1.iv.20
FAIL
901
k_path_p-16
FAIL
901
cf_8_9x9_r_
FAIL
901
C880.blif_0.10_0.20_0_1_out_exact
FAIL
901
lognBWLARGEA1
FAIL
901
cf_7_9x7_w_
FAIL
901
k_branch_p-8
FAIL
901
BLOCKS4i.6.4
FAIL
901
test3_quant_squaring2
FAIL
901
cf_6_8x8_r_
FAIL
901
comp.blif_0.10_1.00_0_0_inp_exact
FAIL
901
cf_5_5x5_r_
FAIL
901
s3330_d4_s
FAIL
901
BLOCKS4ii.7.2
FAIL
901
s820_d4_s
FAIL
901
impl14
FAIL
901
term1.blif_0.10_1.00_0_0_inp_exact
FAIL
901
cnt06
FAIL
901
test1_quant2
FAIL
901
cnt04e
FAIL
901
s1269_d10_s
FAIL
901
vonNeumann-ripple-carry-13-c
FAIL
901
cnt16re
FAIL
901
uclid-pipe3b
FAIL
901
test2_quant_squaring3
FAIL
901
term1.blif_0.10_0.20_0_0_inp_exact
FAIL
901
cf_2_2x3_w_
FAIL
901
cnt09e
FAIL
901
s3330_d2_s
FAIL
901
cnt09re
FAIL
901
robots_1_5_5_18.5
FAIL
901
robots_1_5_5_59.5
FAIL
901
s1269_d4_s
FAIL
901
C432.blif_0.10_0.20_0_1_out_exact
FAIL
901
test5_quant7
FAIL
901
MB2qbf-5cnf-100var-600cl.1
FAIL
901.01
CHAIN14v.15
FAIL
901.01
MB2qbf-5cnf-100var-400cl.1
FAIL
901.01
C5315.blif_0.10_1.00_0_1_inp_exact
FAIL
901.01
C499.blif_0.10_0.20_0_0_out_exact
FAIL
901.01
MB2qbf-5cnf-150var-900cl.2
FAIL
901.01
C6288.blif_0.10_1.00_0_1_out_exact
FAIL
901.01
s298_d19_u
FAIL
901.01
MB2qbf-5cnf-50var-200cl.1
FAIL
901.01
MB2qbf-5cnf-100var-1800cl.1
FAIL
901.01
MB2qbf-5cnf-50var-200cl.2
FAIL
901.01
MB2qbf-5cnf-50var-300cl.1
FAIL
901.01
k_path_p-20
FAIL
901.01
4qbf-5cnf-150var-1500cl.1
FAIL
901.01
MB2qbf-5cnf-100var-200cl.2
FAIL
901.01
k_ph_n-8
FAIL
901.01
MB2qbf-5cnf-100var-600cl.2
FAIL
901.01
MB2qbf-5cnf-50var-400cl.1
FAIL
901.01
MB2qbf-5cnf-150var-1200cl.1
FAIL
901.01
vonNeumann-ripple-carry-10-c
FAIL
901.01
s1196_d2_s
FAIL
901.01
MB2qbf-5cnf-150var-1500cl.1
FAIL
901.01
k_branch_n-16
FAIL
901.01
test4_quant_squaring4
FAIL
901.01
C5315.blif_0.10_0.20_0_1_out_exact
FAIL
901.01
szymanski-6-s
FAIL
901.01
Adder2-2-c
FAIL
901.01
s510_d46_s
FAIL
901.01
Adder2-12-s
FAIL
901.01
MB2qbf-5cnf-50var-600cl.2
FAIL
901.01
flipflop-7-c
FAIL
901.01
MB2qbf-5cnf-50var-400cl.2
FAIL
901.01
MB2qbf-5cnf-100var-800cl.1
FAIL
901.01
MB2qbf-5cnf-100var-800cl.2
FAIL
901.01
MB3qbf-5cnf-100var-400cl.2
FAIL
901.01
MB2qbf-5cnf-50var-500cl.1
FAIL
901.01
szymanski-12-s
FAIL
901.01
MB3qbf-5cnf-100var-200cl.2
FAIL
901.01
MB2qbf-5cnf-150var-300cl.2
FAIL
901.01
test3_quant2
FAIL
901.01
MB2qbf-5cnf-150var-1200cl.2
FAIL
901.01
test5_quant_squaring4
FAIL
901.01
lognBWLARGEB1
FAIL
901.01
MB4qbf-5cnf-50var-100cl.1
FAIL
901.01
CHAIN13v.14
FAIL
901.01
s713_d4_s
FAIL
901.01
MB5qbf-5cnf-100var-1000cl.1
FAIL
901.01
vonNeumann-ripple-carry-9-c
FAIL
901.01
s386_d7_s
FAIL
901.01
test2_quant_squaring2
FAIL
901.01
MB5qbf-5cnf-100var-200cl.2
FAIL
901.01
MB5qbf-5cnf-100var-400cl.2
FAIL
901.01
MB4qbf-5cnf-50var-800cl.1
FAIL
901.01
s386_d4_s
FAIL
901.01
MB4qbf-5cnf-50var-600cl.1
FAIL
901.01
MB4qbf-5cnf-50var-100cl.2
FAIL
901.01
MB4qbf-5cnf-50var-200cl.1
FAIL
901.01
C5315.blif_0.10_0.20_0_1_inp_exact
FAIL
901.01
CHAIN20v.21
FAIL
901.01
MB4qbf-5cnf-50var-300cl.2
FAIL
901.01
MB4qbf-5cnf-50var-400cl.1
FAIL
901.01
C880.blif_0.10_0.20_0_1_inp_exact
FAIL
901.01
adder-6-unsat
FAIL
901.01
MB5qbf-5cnf-100var-600cl.1
FAIL
901.01
MB5qbf-5cnf-100var-600cl.2
FAIL
901.01
flipflop-5-c
FAIL
901.01
MB5qbf-5cnf-150var-900cl.2
FAIL
901.01
k_branch_p-16
FAIL
901.01
MB5qbf-5cnf-50var-200cl.1
FAIL
901.01
MB5qbf-5cnf-50var-200cl.2
FAIL
901.01
C6288.blif_0.10_0.20_0_0_out_exact
FAIL
901.01
adder-6-sat
FAIL
901.01
MB5qbf-5cnf-50var-600cl.1
FAIL
901.01
MB5qbf-5cnf-50var-600cl.2
FAIL
901.01
vonNeumann-ripple-carry-12-c
FAIL
901.01
MB5qbf-5cnf-150var-600cl.1
FAIL
901.01
adder-8-unsat
FAIL
901.01
MB5qbf-5cnf-100var-800cl.2
FAIL
901.01
C6288.blif_0.10_1.00_0_0_out_exact
FAIL
901.01
MB5qbf-5cnf-150var-1200cl.1
FAIL
901.01
MB5qbf-5cnf-150var-1500cl.2
FAIL
901.01
k_poly_n-4
FAIL
901.01
szymanski-10-s
FAIL
901.01
s713_d2_s
FAIL
901.01
C432.blif_0.10_1.00_0_0_out_exact
FAIL
901.01
term1.blif_0.10_1.00_0_0_out_exact
FAIL
901.01
impl18
FAIL
901.01
k_ph_n-21
FAIL
901.01
szymanski-22-s
FAIL
901.01
vonNeumann-ripple-carry-11-c
FAIL
901.01
k_ph_p-4
FAIL
901.01
test2_quant3
FAIL
901.01
MB4qbf-5cnf-100var-1000cl.1
FAIL
901.01
MB4qbf-5cnf-100var-1200cl.1
FAIL
901.01
impl16
FAIL
901.01
MB4qbf-5cnf-100var-1400cl.2
FAIL
901.01
CHAIN23v.24
FAIL
901.01
MB3qbf-5cnf-50var-300cl.2
FAIL
901.01
term1.blif_0.10_0.20_0_0_out_exact
FAIL
901.01
robots_1_5_4_91.4
FAIL
901.01
robots_1_5_4_73.2
FAIL
901.01
MB3qbf-5cnf-150var-300cl.2
FAIL
901.01
szymanski-14-s
FAIL
901.01
s298_d8_s
FAIL
901.01
C5315.blif_0.10_1.00_0_0_inp_exact
FAIL
901.01
s713_d7_u
FAIL
901.01
C5315.blif_0.10_0.20_0_0_out_exact
FAIL
901.01
MB4qbf-5cnf-100var-1600cl.1
FAIL
901.01
MB4qbf-5cnf-100var-1800cl.2
FAIL
901.01
MB4qbf-5cnf-100var-1800cl.1
FAIL
901.01
MB4qbf-5cnf-150var-1800cl.1
FAIL
901.01
MB4qbf-5cnf-150var-2100cl.2
FAIL
901.01
MB4qbf-5cnf-150var-2100cl.1
FAIL
901.01
k_branch_n-20
FAIL
901.01
C5315.blif_0.10_1.00_0_0_out_exact
FAIL
901.01
MB4qbf-5cnf-150var-2700cl.2
FAIL
901.01
MB4qbf-5cnf-150var-300cl.2
FAIL
901.01
MB4qbf-5cnf-150var-600cl.1
FAIL
901.01
MB4qbf-5cnf-150var-1800cl.2
FAIL
901.01
MB4qbf-5cnf-150var-1500cl.1
FAIL
901.01
MB4qbf-5cnf-150var-1500cl.2
FAIL
901.01
MB4qbf-5cnf-100var-200cl.1
FAIL
901.01
MB4qbf-5cnf-100var-200cl.2
FAIL
901.01
MB4qbf-5cnf-100var-400cl.1
FAIL
901.01
MB4qbf-5cnf-100var-600cl.1
FAIL
901.01
MB4qbf-5cnf-100var-600cl.2
FAIL
901.01
C499.blif_0.10_1.00_0_0_out_exact
FAIL
901.01
MB4qbf-5cnf-150var-1200cl.2
FAIL
901.01
MB4qbf-5cnf-150var-1200cl.1
FAIL
901.01
MB4qbf-5cnf-150var-900cl.1
FAIL
901.01
test5_quant5
FAIL
901.01
2qbf-5cnf-100var-800cl.2
FAIL
901.01
2qbf-5cnf-50var-200cl.1
FAIL
901.01
robots_1_5_3_27.9
FAIL
901.01
2qbf-5cnf-50var-300cl.1
FAIL
901.01
robots_1_5_3_84.7
FAIL
901.01
2qbf-5cnf-50var-400cl.2
FAIL
901.01
2qbf-5cnf-50var-500cl.1
FAIL
901.01
robots_1_5_3_16.7
FAIL
901.01
robots_1_5_3_62.4
FAIL
901.01
2qbf-5cnf-50var-800cl.1
FAIL
901.01
2qbf-5cnf-50var-800cl.2
FAIL
901.01
robots_1_5_4_21.2
FAIL
901.01
2qbf-5cnf-50var-100cl.1
FAIL
901.01
robots_1_5_4_31.8
FAIL
901.01
2qbf-5cnf-150var-1500cl.2
FAIL
901.01
robots_1_5_5_4.9
FAIL
901.01
robots_1_5_5_55.6
FAIL
901.01
2qbf-5cnf-150var-1800cl.1
FAIL
901.01
robots_1_5_5_34.6
FAIL
901.01
2qbf-5cnf-150var-2400cl.1
FAIL
901.01
robots_1_5_5_75.3
FAIL
901.01
2qbf-5cnf-150var-2700cl.1
FAIL
901.01
robots_1_5_4_87.8
FAIL
901.01
2qbf-5cnf-150var-600cl.1
FAIL
901.01
2qbf-5cnf-50var-900cl.2
FAIL
901.01
robots_1_5_2_42.7
FAIL
901.01
3qbf-5cnf-150var-1200cl.1
FAIL
901.01
s298_d5_s
FAIL
901.01
k_poly_p-11
FAIL
901.01
3qbf-5cnf-150var-2100cl.2
FAIL
901.01
k_poly_p-7
FAIL
901.01
k_poly_n-15
FAIL
901.01
k_poly_n-3
FAIL
901.01
s510_d31_s
FAIL
901.01
k_poly_n-18
FAIL
901.01
3qbf-5cnf-150var-900cl.2
FAIL
901.01
3qbf-5cnf-150var-1200cl.2
FAIL
901.01
k_poly_p-17
FAIL
901.01
3qbf-5cnf-100var-800cl.1
FAIL
901.01
3qbf-5cnf-100var-1200cl.1
FAIL
901.01
3qbf-5cnf-100var-1400cl.1
FAIL
901.01
3qbf-5cnf-100var-1600cl.2
FAIL
901.01
3qbf-5cnf-100var-1600cl.1
FAIL
901.01
3qbf-5cnf-100var-1800cl.1
FAIL
901.01
3qbf-5cnf-100var-200cl.1
FAIL
901.01
3qbf-5cnf-100var-400cl.1
FAIL
901.01
3qbf-5cnf-100var-400cl.2
FAIL
901.01
robots_1_5_2_38.1
FAIL
901.01
3qbf-5cnf-100var-600cl.2
FAIL
901.01
3qbf-5cnf-50var-100cl.1
FAIL
901.01
2qbf-5cnf-100var-600cl.1
FAIL
901.01
s1196_d7_u
FAIL
901.01
cf_7_9x8_w_
FAIL
901.01
s3330_d12_u
FAIL
901.01
s3330_d13_u
FAIL
901.01
cf_7_9x7_r_
FAIL
901.01
s386_d5_s
FAIL
901.01
cf_6_8x6_r_
FAIL
901.01
s386_d3_s
FAIL
901.01
s499_d19_s
FAIL
901.01
cf_6_6x6_r_
FAIL
901.01
s499_d18_s
FAIL
901.01
cf_8_8x8_r_
FAIL
901.01
cf_8_8x8_w_
FAIL
901.01
cf_8_8x9_r_
FAIL
901.01
s1269_d6_s
FAIL
901.01
s1269_d9_s
FAIL
901.01
s1269_d15_u
FAIL
901.01
s1269_d3_s
FAIL
901.01
s298_d14_s
FAIL
901.01
s298_d10_s
FAIL
901.01
cf_9_9x9_w_
FAIL
901.01
cf_9_9x9_r_
FAIL
901.01
cf_8_9x9_w_
FAIL
901.01
cf_8_8x9_w_
FAIL
901.01
s510_d13_s
FAIL
901.01
s510_d42_s
FAIL
901.01
2qbf-5cnf-100var-1000cl.2
FAIL
901.01
cf_3_5x4_r_
FAIL
901.01
2qbf-5cnf-100var-1200cl.2
FAIL
901.01
2qbf-5cnf-100var-1200cl.1
FAIL
901.01
cf_2_9x5_w_
FAIL
901.01
cf_2_8x5_r_
FAIL
901.01
cf_2_5x4_r_
FAIL
901.01
cf_2_4x8_r_
FAIL
901.01
cf_2_3x2_r_
FAIL
901.01
2qbf-5cnf-100var-200cl.2
FAIL
901.01
cf_3_6x4_w_
FAIL
901.01
cf_3_7x9_w_
FAIL
901.01
cf_3_9x5_r_
FAIL
901.01
s510_d48_u
FAIL
901.01
s510_d51_u
FAIL
901.01
s510_d12_s
FAIL
901.01
cf_5_6x5_w_
FAIL
901.01
cf_4_5x9_r_
FAIL
901.01
cf_4_5x6_w_
FAIL
901.01
s713_d9_u
FAIL
901.01
cf_3_9x9_w_
FAIL
901.01
s713_d3_s
FAIL
901.01
s820_d5_s
FAIL
901.01
cnt12e
FAIL
901.01
3qbf-5cnf-50var-100cl.2
FAIL
901.01
4qbf-5cnf-50var-500cl.1
FAIL
901.01
5qbf-5cnf-100var-200cl.2
FAIL
901.01
5qbf-5cnf-100var-400cl.1
FAIL
901.01
flipflop-11-c
FAIL
901.01
C499.blif_0.10_1.00_0_0_inp_exact
FAIL
901.01
5qbf-5cnf-150var-1200cl.2
FAIL
901.01
5qbf-5cnf-150var-1500cl.1
FAIL
901.01
C499.blif_0.10_0.20_0_1_inp_exact
FAIL
901.01
5qbf-5cnf-150var-1800cl.1
FAIL
901.01
comp.blif_0.10_0.20_0_1_out_exact
FAIL
901.01
k_branch_n-6
FAIL
901.01
5qbf-5cnf-100var-1800cl.2
FAIL
901.01
k_branch_n-7
FAIL
901.01
4qbf-5cnf-50var-600cl.2
FAIL
901.01
4qbf-5cnf-50var-700cl.2
FAIL
901.01
4qbf-5cnf-50var-900cl.1
FAIL
901.01
k_branch_p-15
FAIL
901.01
k_branch_p-19
FAIL
901.01
5qbf-5cnf-100var-1000cl.1
FAIL
901.01
5qbf-5cnf-100var-1400cl.2
FAIL
901.01
5qbf-5cnf-100var-1400cl.1
FAIL
901.01
5qbf-5cnf-100var-1600cl.2
FAIL
901.01
5qbf-5cnf-150var-2400cl.2
FAIL
901.01
cf_2_8x3_r_
FAIL
901.01
5qbf-5cnf-50var-600cl.2
FAIL
901.01
5qbf-5cnf-50var-700cl.2
FAIL
901.01
k_poly_p-8
FAIL
901.01
5qbf-5cnf-50var-800cl.2
FAIL
901.01
5qbf-5cnf-50var-900cl.1
FAIL
901.01
5qbf-5cnf-50var-900cl.2
FAIL
901.01
MB2qbf-5cnf-100var-1000cl.2
FAIL
901.01
MB2qbf-5cnf-100var-1000cl.1
FAIL
901.01
C5315.blif_0.10_0.20_0_0_inp_exact
FAIL
901.01
5qbf-5cnf-50var-600cl.1
FAIL
901.01
5qbf-5cnf-50var-400cl.2
FAIL
901.01
s820_d11_u
FAIL
901.01
5qbf-5cnf-150var-2700cl.1
FAIL
901.01
4qbf-5cnf-50var-700cl.1
FAIL
901.01
adder-4-unsat
FAIL
901.01
5qbf-5cnf-150var-900cl.1
FAIL
901.01
5qbf-5cnf-50var-100cl.1
FAIL
901.01
5qbf-5cnf-50var-100cl.2
FAIL
901.01
5qbf-5cnf-50var-200cl.1
FAIL
901.01
5qbf-5cnf-50var-200cl.2
FAIL
901.01
5qbf-5cnf-50var-300cl.2
FAIL
901.01
MB2qbf-5cnf-100var-1200cl.1
FAIL
901.01
3qbf-5cnf-50var-200cl.1
FAIL
901.01
4qbf-5cnf-100var-1000cl.1
FAIL
901.01
4qbf-5cnf-100var-1600cl.1
FAIL
901.01
k_path_n-6
FAIL
901.01
robots_1_5_3_15.6
FAIL
901.01
4qbf-5cnf-100var-400cl.2
FAIL
901.01
k_lin_p-6
FAIL
901.01
4qbf-5cnf-100var-800cl.2
FAIL
901.01
4qbf-5cnf-150var-1200cl.1
FAIL
901.01
4qbf-5cnf-150var-1500cl.2
FAIL
901.01
4qbf-5cnf-150var-2100cl.1
FAIL
901.01
4qbf-5cnf-150var-1200cl.2
FAIL
901.01
k_ph_n-7
FAIL
901.01
k_ph_p-7
FAIL
901.01
3qbf-5cnf-50var-300cl.1
FAIL
901.01
3qbf-5cnf-50var-400cl.1
FAIL
901.01
3qbf-5cnf-50var-400cl.2
FAIL
901.01
3qbf-5cnf-50var-500cl.1
FAIL
901.01
3qbf-5cnf-50var-500cl.2
FAIL
901.01
k_ph_p-17
FAIL
901.01
3qbf-5cnf-50var-600cl.2
FAIL
901.01
3qbf-5cnf-50var-700cl.1
FAIL
901.01
3qbf-5cnf-50var-800cl.1
FAIL
901.01
4qbf-5cnf-100var-1600cl.2
FAIL
901.01
k_lin_n-15
FAIL
901.01
4qbf-5cnf-150var-900cl.2
FAIL
901.01
4qbf-5cnf-50var-100cl.1
FAIL
901.01
4qbf-5cnf-50var-100cl.2
FAIL
901.01
4qbf-5cnf-50var-200cl.2
FAIL
901.01
4qbf-5cnf-150var-600cl.2
FAIL
901.01
k_grz_p-14
FAIL
901.01
k_grz_p-9
FAIL
901.01
k_lin_n-3
FAIL
901.01
4qbf-5cnf-150var-300cl.2
FAIL
901.01
k_lin_n-6
FAIL
901.01
4qbf-5cnf-50var-400cl.2
FAIL
901.01
4qbf-5cnf-150var-300cl.1
FAIL
901.01
k_poly_n-1
FAIL
901.02
k_grz_p-17
FAIL
901.02
k_grz_n-17
FAIL
901.02
k_path_n-8
FAIL
901.02
k_grz_p-16
FAIL
901.02
k_grz_p-3
FAIL
901.02
MB2qbf-5cnf-100var-1600cl.2
FAIL
901.02
k_path_p-6
FAIL
901.02
k_path_n-7
FAIL
901.02
MB2qbf-5cnf-50var-600cl.1
FAIL
901.02
C880.blif_0.10_1.00_0_0_out_exact
FAIL
901.02
MB2qbf-5cnf-50var-700cl.1
FAIL
901.02
MB2qbf-5cnf-150var-2400cl.1
FAIL
901.02
MB2qbf-5cnf-150var-2100cl.2
FAIL
901.02
toilet_c_10_01.9
FAIL
901.03
C880.blif_0.10_1.00_0_1_out_exact
FAIL
901.03
k_path_p-3
FAIL
901.03
MB2qbf-5cnf-150var-2100cl.1
FAIL
901.03
C6288.blif_0.10_0.20_0_1_inp_exact
FAIL
901.03
k_path_n-5
FAIL
901.03
k_path_p-2
FAIL
901.03
k_path_n-3
FAIL
901.03
C6288.blif_0.10_0.20_0_0_inp_exact
FAIL
901.03
k_path_n-4
FAIL
901.03
k_dum_p-20
FAIL
901.06
Contact
|
Organization
|
Links
|
Citing QBFLIB