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
quabs-minisat
QBFEVAL'16 - Prenex non-CNF Track.
Instance
Result
Time
irst.dme6.B-d2
SAT
0
semaphore_3
SAT
0
semaphore_2
SAT
0
z4ml.blif_0.10_0.20_0_1_out_exact
SAT
0
counter7_2
SAT
0
s27_d5_u
UNSAT
0
semaphore3_2
SAT
0
stmt44_107_108
SAT
0
incrementer-enc05-uniform-depth-2
UNSAT
0
ring4_4
SAT
0
counter6_2
SAT
0
counter4_4
SAT
0
counter4_2
SAT
0
counter4_3
SAT
0
counter5_2
SAT
0
ring4_2
SAT
0
z4ml.blif_0.10_1.00_0_1_out_exact
SAT
0
counter4_5
SAT
0
tree-exa10-10
SAT
0
counter4_6
SAT
0
qshifter_3
SAT
0
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003
UNSAT
0
ring6_2
SAT
0
counter8_2
SAT
0
rewriting_k_10
UNSAT
0
rewriting_k_17
UNSAT
0
z4ml.blif_0.10_1.00_0_0_inp_exact
UNSAT
0
ring4_3
SAT
0
flipflop-3-c
UNSAT
0
toilet_g_04_01.2
SAT
0
ring5_2
SAT
0
rewriting_k_21
UNSAT
0
s27_d4_u
UNSAT
0
toilet_g_08_01.2
SAT
0
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001
UNSAT
0
semaphore5_4
SAT
0.01
semaphore5_2
SAT
0.01
semaphore6_3
SAT
0.01
dmeSmall_4
SAT
0.01
semaphore6_2
SAT
0.01
C5315.blif_0.10_1.00_0_0_out_exact
UNSAT
0.01
semaphore6_4
SAT
0.01
counter7_4
SAT
0.01
C499.blif_0.10_1.00_0_1_inp_exact
SAT
0.01
dmeSmall_2
SAT
0.01
counter7_8
SAT
0.01
Core1108_tbm_21.tex.module.000017
UNSAT
0.01
counter6_8
SAT
0.01
s510_d3_s
SAT
0.01
k_ph_p-3
UNSAT
0.01
k_ph_n-6
SAT
0.01
k_path_p-2
UNSAT
0.01
k_lin_p-2
UNSAT
0.01
k_d4_n-1
SAT
0.01
z4ml.blif_0.10_0.20_0_1_inp_exact
SAT
0.01
toilet_g_20_01.2
SAT
0.01
toilet_g_15_01.2
SAT
0.01
toilet_c_06_01.4
UNSAT
0.01
C432.blif_0.10_1.00_0_1_out_exact
SAT
0.01
stmt27_16_97
UNSAT
0.01
eijk.S382.S-d4
SAT
0.01
counter6_4
SAT
0.01
C5315.blif_0.10_1.00_0_0_inp_exact
UNSAT
0.01
term1.blif_0.10_1.00_0_1_out_exact
SAT
0.01
counter5_32
SAT
0.01
counter5_16
SAT
0.01
counter5_8
SAT
0.01
counter5_4
SAT
0.01
stmt19_90_266
UNSAT
0.01
stmt21_79_304
UNSAT
0.01
toilet_a_04_01.4
UNSAT
0.01
semaphore5_3
SAT
0.01
ring6_4
SAT
0.01
ring5_8
SAT
0.01
ring4_7
SAT
0.01
ring4_8
SAT
0.01
counter4_12
SAT
0.01
counter4_13
SAT
0.01
vis.4-arbit^2.E-f2
SAT
0.01
counter4_14
SAT
0.01
counter4_15
SAT
0.01
ring4_5
SAT
0.01
s713_d2_s
SAT
0.01
semaphore_5
SAT
0.01
ring6_8
SAT
0.01
ring6_16
SAT
0.01
semaphore4_4
SAT
0.01
semaphore4_2
SAT
0.01
semaphore4_3
SAT
0.01
semaphore3_4
SAT
0.01
ring5_16
SAT
0.01
semaphore_4
SAT
0.01
counter4_16
SAT
0.01
counter4_7
SAT
0.01
counter8_4
SAT
0.01
counter8_8
SAT
0.01
par8-1-c-50
UNSAT
0.01
rewriting_k_19
UNSAT
0.01
ring4_6
SAT
0.01
term1.blif_0.10_1.00_0_0_out_exact
UNSAT
0.01
semaphore3_3
SAT
0.01
rewriting_k_100
UNSAT
0.01
counter4_11
SAT
0.01
counter4_9
SAT
0.01
ring5_4
SAT
0.01
counter4_10
SAT
0.01
counter4_8
SAT
0.01
s641_d2_s
SAT
0.01
Umbrella_tbm_05.tex.module.000079
UNSAT
0.02
k_ph_p-5
UNSAT
0.02
toilet_a_04_01.6
UNSAT
0.02
s1196_d2_s
SAT
0.02
Umbrella_tbm_05.tex.module.000065
UNSAT
0.02
counter_e_2
SAT
0.02
ring5_33
SAT
0.02
Core1108_tbm_21.tex.module.000014
UNSAT
0.02
k_lin_p-4
UNSAT
0.02
k_dum_n-1
SAT
0.02
ring5_32
SAT
0.02
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
SAT
0.02
Core1108_tbm_21.tex.module.000091
UNSAT
0.02
dme1_4
SAT
0.02
counter6_16
SAT
0.02
dme1_2
SAT
0.02
s820_d3_s
SAT
0.02
dme1_3
SAT
0.02
s386_d3_s
SAT
0.02
par8-4-50
UNSAT
0.02
s386_d4_s
SAT
0.02
k_ph_n-9
SAT
0.02
counter7_16
SAT
0.02
counter8_16
SAT
0.02
stmt52_244_394
UNSAT
0.02
dme1_5
SAT
0.03
Core1108_tbm_03.tex.module.000039
UNSAT
0.03
k_poly_n-2
SAT
0.03
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
SAT
0.03
counter7_32
SAT
0.03
ring6_32
SAT
0.03
k_dum_p-3
UNSAT
0.03
k_dum_p-2
UNSAT
0.03
Umbrella_tbm_24.tex.module.000103
UNSAT
0.03
nusmv.tcas-t^1.B-d2
SAT
0.03
Core1108_tbm_03.tex.module.000003
UNSAT
0.03
Core1108_tbm_03.tex.module.000048
UNSAT
0.03
k_branch_n-2
SAT
0.03
dmeSmall_8
SAT
0.03
BLOCKS3ii.4.3
UNSAT
0.03
Core1108_tbm_21.tex.module.000010
UNSAT
0.03
Core1108_tbm_03.tex.module.000034
UNSAT
0.03
impl08
SAT
0.03
Core1108_tbm_03.tex.module.000090
UNSAT
0.03
Core1108_tbm_03.tex.module.000058
UNSAT
0.03
Core1108_tbm_03.tex.module.000038
UNSAT
0.03
Core1108_tbm_03.tex.module.000057
UNSAT
0.03
Core1108_tbm_03.tex.module.000037
UNSAT
0.03
Umbrella_tbm_29.tex.module.000009
UNSAT
0.03
Core1108_tbm_03.tex.module.000065
UNSAT
0.03
dmeSmall_9
SAT
0.03
Core1108_tbm_03.tex.module.000064
UNSAT
0.03
Core1108_tbm_03.tex.module.000021
UNSAT
0.03
Core1108_tbm_21.tex.module.000009
UNSAT
0.03
Umbrella_tbm_29.tex.module.000010
UNSAT
0.03
Core1108_tbm_03.tex.module.000031
UNSAT
0.03
impl10
SAT
0.03
Core1108_tbm_03.tex.module.000056
UNSAT
0.03
Core1108_tbm_21.tex.module.000023
UNSAT
0.03
k_ph_n-11
SAT
0.03
Core1108_tbm_03.tex.module.000092
UNSAT
0.03
Core1108_tbm_21.tex.module.000030
UNSAT
0.03
Core1108_tbm_21.tex.module.000008
UNSAT
0.03
Umbrella_tbm_05.tex.module.000043
UNSAT
0.03
mutex-2-s
SAT
0.04
Core1108_tbm_03.tex.module.000019
UNSAT
0.04
Umbrella_tbm_29.tex.module.000078
UNSAT
0.04
Umbrella_tbm_24.tex.module.000066
UNSAT
0.04
k_path_p-5
UNSAT
0.04
s713_d4_s
SAT
0.04
Core1108_tbm_03.tex.module.000023
UNSAT
0.04
Umbrella_tbm_21.tex.module.000139
UNSAT
0.04
arbiter-07-comp-error01-qbf-hardness-depth-4
UNSAT
0.04
Core1108_tbm_21.tex.module.000026
UNSAT
0.04
ii32b1-00
SAT
0.04
s641_d4_s
SAT
0.04
tree-exa2-20
UNSAT
0.04
toilet_a_06_01.6
UNSAT
0.04
impl12
SAT
0.04
tlc03-uniform-depth-21
UNSAT
0.04
dme1_6
SAT
0.04
Umbrella_tbm_21.tex.module.000129
UNSAT
0.05
flipflop-5-c
UNSAT
0.05
toilet_a_08_05.2
UNSAT
0.05
k_lin_n-3
SAT
0.05
s1269_d3_s
SAT
0.05
Core1108_tbm_09.tex.module.000009
UNSAT
0.05
s499_d7_s
SAT
0.05
Umbrella_tbm_26.tex.module.000004
UNSAT
0.05
dme1_7
SAT
0.05
Core1108_tbm_09.tex.module.000033
UNSAT
0.05
Core1108_tbm_09.tex.module.000028
UNSAT
0.05
Umbrella_tbm_21.tex.module.000044
UNSAT
0.05
k_d4_n-2
SAT
0.05
counter5_33
SAT
0.05
Core1108_tbm_09.tex.module.000010
UNSAT
0.05
Umbrella_tbm_21.tex.module.000134
UNSAT
0.05
Umbrella_tbm_21.tex.module.000069
UNSAT
0.05
Core1108_tbm_09.tex.module.000008
UNSAT
0.05
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003
UNSAT
0.05
Umbrella_tbm_05.tex.module.000064
UNSAT
0.05
k_path_n-5
SAT
0.05
ring6_65
SAT
0.05
dme1_8
SAT
0.06
Umbrella_tbm_21.tex.module.000056
UNSAT
0.06
tree-exa2-25
UNSAT
0.06
k_grz_n-2
SAT
0.06
s3330_d2_s
SAT
0.06
ring6_64
SAT
0.06
Umbrella_tbm_21.tex.module.000024
UNSAT
0.06
Umbrella_tbm_21.tex.module.000149
UNSAT
0.06
counter7_64
SAT
0.06
Umbrella_tbm_25.tex.module.000099
UNSAT
0.06
Umbrella_tbm_05.tex.module.000030
UNSAT
0.06
Umbrella_tbm_21.tex.module.000029
UNSAT
0.06
Umbrella_tbm_05.tex.module.000053
UNSAT
0.06
impl16
SAT
0.06
k_lin_p-9
UNSAT
0.06
k_lin_p-10
UNSAT
0.06
k_dum_p-6
UNSAT
0.07
s298_d12_s
SAT
0.07
Umbrella_tbm_21.tex.module.000049
UNSAT
0.07
k_dum_n-5
SAT
0.07
Umbrella_tbm_25.tex.module.000106
UNSAT
0.07
Umbrella_tbm_05.tex.module.000011
UNSAT
0.07
k_grz_n-5
SAT
0.07
Umbrella_tbm_26.tex.module.000041
UNSAT
0.07
Umbrella_tbm_26.tex.module.000021
UNSAT
0.07
nusmv.tcas^3.B-f2
SAT
0.07
Umbrella_tbm_25.tex.module.000087
UNSAT
0.07
counter6_32
SAT
0.07
Umbrella_tbm_26.tex.module.000061
UNSAT
0.07
tlc01-uniform-depth-73
UNSAT
0.08
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
UNSAT
0.08
Umbrella_tbm_25.tex.module.000003
UNSAT
0.08
impl20
SAT
0.08
k_branch_n-3
SAT
0.08
tree-exa2-35
UNSAT
0.09
k_poly_p-4
UNSAT
0.09
Core1108_tbm_21.tex.moduleQ3.2S.000011
UNSAT
0.1
Umbrella_tbm_05.tex.module.000088
UNSAT
0.1
term1.blif_0.10_0.20_0_1_inp_exact
SAT
0.1
Umbrella_tbm_25.tex.module.000084
UNSAT
0.1
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
UNSAT
0.1
s298_d14_s
SAT
0.1
Adder2-2-c
UNSAT
0.1
counter8_32
SAT
0.1
Core1108_tbm_28.tex.moduleQ2.2S.000003
UNSAT
0.1
stmt17_18_19
SAT
0.1
Core1108_tbm_21.tex.moduleQ3.2S.000002
UNSAT
0.11
texas.PI_main^05.E-f3
SAT
0.11
Core1108_tbm_21.tex.moduleQ3.2S.000014
UNSAT
0.11
query01_ntrivil_1344
UNSAT
0.11
lut4_XOR_fOR
UNSAT
0.11
k_t4p_n-2
SAT
0.11
ring_r4_ser--opt-11_
UNSAT
0.11
Core1108_tbm_21.tex.moduleQ3.2S.000015
UNSAT
0.11
Core1108_tbm_03.tex.moduleQ3.2S.000018
UNSAT
0.12
Core1108_tbm_21.tex.moduleQ3.2S.000019
UNSAT
0.12
tree-exa2-45
UNSAT
0.12
s386_d8_u
UNSAT
0.12
Core1108_tbm_21.tex.moduleQ3.2S.000027
UNSAT
0.12
Core1108_tbm_03.tex.moduleQ3.2S.000009
UNSAT
0.12
Core1108_tbm_21.tex.moduleQ3.2S.000024
UNSAT
0.12
Core1108_tbm_03.tex.moduleQ3.2S.000011
UNSAT
0.12
Core1108_tbm_21.tex.moduleQ3.2S.000007
UNSAT
0.12
Umbrella_tbm_25.tex.module.000041
UNSAT
0.12
Core1108_tbm_03.tex.moduleQ3.2S.000002
UNSAT
0.13
k_path_p-10
UNSAT
0.13
k3_1_1
SAT
0.13
Core1108_tbm_03.tex.moduleQ3.2S.000048
UNSAT
0.13
tlc03-uniform-depth-52
UNSAT
0.13
arbiter-06-comp-error02-qbf-hardness-depth-5
UNSAT
0.14
k_path_n-9
SAT
0.14
Umbrella_tbm_05.tex.module.000025
UNSAT
0.14
Core1108_tbm_02.tex.moduleQ3.2S.000095
UNSAT
0.14
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
SAT
0.14
Umbrella_tbm_05.tex.module.000015
UNSAT
0.14
k_grz_p-10
UNSAT
0.14
texas.PI_main^08.E-f3
SAT
0.14
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
UNSAT
0.14
Core1108_tbm_03.tex.moduleQ3.2S.000003
UNSAT
0.14
counter8_128
SAT
0.15
toilet_c_08_05.4
SAT
0.15
Core1108_tbm_02.tex.moduleQ3.2S.000026
UNSAT
0.15
counter7_128
SAT
0.15
Core1108_tbm_02.tex.moduleQ3.2S.000099
UNSAT
0.15
k_poly_n-7
SAT
0.15
k_lin_n-5
SAT
0.16
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
UNSAT
0.16
k_grz_p-11
UNSAT
0.16
Core1108_tbm_02.tex.moduleQ3.2S.000007
UNSAT
0.16
k_grz_n-10
SAT
0.16
k_ph_n-16
SAT
0.16
ken.flash^10.C-f3
UNSAT
0.16
Umbrella_tbm_25.tex.module.000121
UNSAT
0.17
k_t4p_p-4
UNSAT
0.17
k_grz_p-13
UNSAT
0.17
Core1108_tbm_02.tex.moduleQ3.2S.000077
UNSAT
0.17
s386_d10_u
UNSAT
0.17
Umbrella_tbm_25.tex.module.000031
UNSAT
0.17
lut4_2_fXOR
SAT
0.17
k_dum_p-12
UNSAT
0.18
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
UNSAT
0.18
k_lin_p-19
UNSAT
0.18
s510_d11_s
SAT
0.19
Core1108_tbm_02.tex.moduleQ3.2S.000108
UNSAT
0.19
Core1108_tbm_02.tex.moduleQ3.2S.000098
UNSAT
0.2
s820_d8_s
SAT
0.2
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
UNSAT
0.21
Umbrella_tbm_29.tex.moduleQ2.2S.000001
UNSAT
0.21
k_poly_p-7
UNSAT
0.21
counter7_129
SAT
0.21
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
UNSAT
0.21
counter6_64
SAT
0.21
counter6_65
SAT
0.23
k_path_n-12
SAT
0.23
flipflop-6-c
UNSAT
0.24
Umbrella_tbm_24.tex.moduleQ2.1S.000022
UNSAT
0.24
Umbrella_tbm_24.tex.moduleQ2.1S.000188
UNSAT
0.24
Umbrella_tbm_26.tex.moduleQ3.2S.000009
UNSAT
0.25
Umbrella_tbm_26.tex.moduleQ3.2S.000041
UNSAT
0.25
s386_d12_u
UNSAT
0.25
k_lin_n-6
SAT
0.26
Umbrella_tbm_26.tex.moduleQ3.2S.000020
UNSAT
0.26
Umbrella_tbm_26.tex.moduleQ3.2S.000037
UNSAT
0.26
k_path_n-13
SAT
0.26
Umbrella_tbm_24.tex.moduleQ2.1S.000136
UNSAT
0.26
k_path_p-14
UNSAT
0.26
Umbrella_tbm_26.tex.moduleQ3.2S.000014
UNSAT
0.27
k_d4_p-8
UNSAT
0.28
k_dum_n-12
SAT
0.28
k_poly_p-8
UNSAT
0.29
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
UNSAT
0.29
Umbrella_tbm_21.tex.module.000079
UNSAT
0.29
k_dum_p-16
UNSAT
0.3
s499_d15_s
SAT
0.3
cnt05
SAT
0.3
k_grz_p-17
UNSAT
0.32
s3330_d3_s
SAT
0.32
gttt_1_1_000111_3x3_torus_w
UNSAT
0.32
Umbrella_tbm_23.tex.moduleQ1.2S.000001
UNSAT
0.33
k_path_p-16
UNSAT
0.34
tlc03-nonuniform-depth-17
UNSAT
0.36
s713_d6_s
SAT
0.37
counter8_64
SAT
0.38
query48_query15_1344
UNSAT
0.39
s499_d17_s
SAT
0.39
k_path_n-16
SAT
0.41
s641_d6_s
SAT
0.42
Core1108_tbm_09.tex.moduleQ3.2S.000011
UNSAT
0.43
Core1108_tbm_09.tex.moduleQ3.10S.000001
UNSAT
0.44
Core1108_tbm_09.tex.moduleQ3.9S.000001
UNSAT
0.44
Core1108_tbm_02.tex.moduleQ3.2S.000056
UNSAT
0.45
k_grz_p-18
UNSAT
0.45
k_branch_p-5
UNSAT
0.46
stmt41_160_235
UNSAT
0.46
Umbrella_tbm_14.tex.moduleQ2.1S.000720
UNSAT
0.46
Umbrella_tbm_14.tex.moduleQ2.2S.000002
UNSAT
0.46
Core1108_tbm_09.tex.moduleQ3.2S.000003
UNSAT
0.47
Umbrella_tbm_14.tex.moduleQ2.2S.000003
UNSAT
0.48
Umbrella_tbm_14.tex.moduleQ2.1S.000792
UNSAT
0.49
Umbrella_tbm_14.tex.moduleQ2.1S.000812
UNSAT
0.49
Umbrella_tbm_14.tex.moduleQ2.1S.000749
UNSAT
0.49
Umbrella_tbm_14.tex.moduleQ2.1S.000757
UNSAT
0.5
Umbrella_tbm_14.tex.moduleQ2.2S.000001
UNSAT
0.5
k_grz_n-21
SAT
0.51
k_lin_n-8
SAT
0.51
k_d4_p-11
UNSAT
0.52
Umbrella_tbm_14.tex.moduleQ2.1S.000773
UNSAT
0.52
toilet_c_08_01.11
UNSAT
0.52
s1269_d8_s
SAT
0.53
Umbrella_tbm_14.tex.moduleQ2.1S.000808
UNSAT
0.54
Umbrella_tbm_14.tex.moduleQ2.1S.000787
UNSAT
0.54
k_dum_n-17
SAT
0.54
gttt_2_1_000111_3x3_torus_b
SAT
0.56
k_dum_n-18
SAT
0.59
k_grz_n-20
SAT
0.61
gttt_1_1_001020_3x3_w
UNSAT
0.61
s820_d11_u
UNSAT
0.63
s3330_d4_s
SAT
0.63
k_t4p_n-5
SAT
0.71
s499_d22_u
UNSAT
0.73
k_d4_p-13
UNSAT
0.75
k_poly_n-17
SAT
0.75
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
SAT
0.77
k_branch_p-6
UNSAT
0.8
k_poly_n-18
SAT
0.81
lights3_035_0_027
UNSAT
0.82
lights3_035_0_051
UNSAT
0.84
s820_d12_u
UNSAT
0.84
fpu-10Xh-error01-uniform-depth-5
UNSAT
0.88
s298_d19_u
UNSAT
0.89
s499_d24_u
UNSAT
0.93
k_poly_p-16
UNSAT
1.1
C432.blif_0.10_1.00_0_0_out_exact
UNSAT
1.13
s298_d22_u
UNSAT
1.14
toilet_c_10_01.12
UNSAT
1.15
k_poly_n-21
SAT
1.17
s820_d15_u
UNSAT
1.24
Core1108_tbm_09.tex.moduleQ3.2S.000007
UNSAT
1.29
connect_6x5_5_D
UNSAT
1.3
s510_d24_s
SAT
1.34
k_d4_p-17
UNSAT
1.34
k_t4p_p-12
UNSAT
1.41
s298_d25_u
UNSAT
1.41
Core1108_tbm_21.tex.module.000027
UNSAT
1.5
k_poly_p-19
UNSAT
1.53
fpu-10Xe-correct01-nonuniform-depth-6
UNSAT
1.84
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
SAT
1.84
dungeon_i10-m5-u10-v0.pddl_planlen=23
UNSAT
1.85
k_d4_p-20
UNSAT
1.93
k_d4_n-14
SAT
1.93
ring_r3_ser--opt-8_
SAT
2.05
k_t4p_p-15
UNSAT
2.28
k_d4_n-15
SAT
2.3
k_t4p_p-16
UNSAT
2.62
BLOCKS3ii.5.3
SAT
2.72
s510_d31_s
SAT
2.92
k_t4p_p-18
UNSAT
3.39
k_lin_n-17
SAT
3.45
s641_d7_u
UNSAT
3.66
toilet_a_10_05.3
UNSAT
3.8
assertion11_0_1
UNSAT
3.85
assertion12_0_1
UNSAT
3.92
vonNeumann-ripple-carry-5-c
UNSAT
3.92
s510_d36_s
SAT
4.08
k_d4_n-20
SAT
4.11
s1196_d3_u
UNSAT
4.15
lut4_3_fAND
SAT
4.32
s641_d8_u
UNSAT
4.38
s713_d7_u
UNSAT
4.75
assertion5_0_1
UNSAT
4.96
Umbrella_tbm_25.tex.moduleQ3.2S.000052
UNSAT
5.33
k_t4p_n-13
SAT
5.43
connect_7x6_4_W
UNSAT
5.62
BLOCKS3iii.5
SAT
5.79
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005
UNSAT
6.2
incrementer-enc03-nonuniform-depth-24
UNSAT
6.24
k_t4p_n-14
SAT
6.42
Umbrella_tbm_25.tex.moduleQ3.2S.000063
UNSAT
6.43
s713_d8_u
UNSAT
6.57
Umbrella_tbm_25.tex.moduleQ3.2S.000075
UNSAT
6.61
Core1108_tbm_09.tex.moduleQ3.2S.000010
UNSAT
6.77
Umbrella_tbm_25.tex.moduleQ3.2S.000120
UNSAT
7
assertion7_0_1
UNSAT
7.48
s1196_d5_u
UNSAT
7.48
k_t4p_n-15
SAT
7.52
assertion6_0_1
UNSAT
7.98
par16-1-50
UNSAT
8.25
p10-10.pddl_planlen=6
UNSAT
8.59
c4_BMC_p1_k32
SAT
8.66
Core1108_tbm_09.tex.moduleQ3.2S.000005
UNSAT
9.14
counter8_257
SAT
9.35
toilet_c_10_01.17
UNSAT
9.41
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005
UNSAT
11.26
term1.blif_0.10_0.20_0_0_out_exact
UNSAT
11.87
c4_BMC_p2_k128
UNSAT
12.2
lognBWLARGEA1
UNSAT
12.21
dungeon_i10-m10-u10-v0.pddl_planlen=187
UNSAT
12.33
fpu-10Xe-correct01-uniform-depth-22
UNSAT
13.01
connect_8x7_7_W
UNSAT
13.35
vonNeumann-ripple-carry-6-c
UNSAT
14.58
BLOCKS3i.5.3
UNSAT
15.65
counter8_256
SAT
15.93
query51_query50_1344
UNSAT
16.75
C880.blif_0.10_1.00_0_0_out_exact
UNSAT
20.88
possibility6_0_2
FAIL
21.32
possibility4_0_2
FAIL
21.33
possibility11_0_2
FAIL
21.33
possibility3_0_2
FAIL
21.43
possibility1_0_2
FAIL
21.43
possibility7_0_2
FAIL
21.43
consistency_0_2
FAIL
21.43
assertion11_0_2
FAIL
21.52
possibility9_0_2
FAIL
21.53
assertion3_0_2
FAIL
21.53
possibility8_0_2
FAIL
21.63
assertion7_0_2
FAIL
21.63
assertion6_0_2
FAIL
21.63
assertion10_0_2
FAIL
21.74
assertion8_0_2
FAIL
21.74
possibility10_0_2
FAIL
21.74
possibility2_0_2
FAIL
21.84
assertion1_0_2
FAIL
21.84
possibility12_0_2
FAIL
21.84
possibility5_0_2
FAIL
22.03
assertion9_0_2
FAIL
22.03
assertion5_0_2
FAIL
22.03
assertion12_0_2
FAIL
22.03
assertion4_0_2
FAIL
22.13
assertion2_0_2
FAIL
22.13
CHAIN14v.15
SAT
25.35
k_branch_n-8
SAT
29.55
arbiter-08-comp-error02-qbf-hardness-depth-9
SAT
33.49
gttt_2_1_00102030_4x4_torus_b
UNSAT
39.89
possibility8_0_3
FAIL
40.94
consistency_0_3
FAIL
41.03
possibility1_0_3
FAIL
41.13
possibility11_0_3
FAIL
41.22
assertion6_0_3
FAIL
41.23
possibility4_0_3
FAIL
41.23
assertion3_0_3
FAIL
41.23
assertion7_0_3
FAIL
41.23
possibility9_0_3
FAIL
41.23
possibility3_0_3
FAIL
41.32
possibility7_0_3
FAIL
41.33
possibility6_0_3
FAIL
41.43
assertion11_0_3
FAIL
41.54
possibility2_0_3
FAIL
41.64
possibility10_0_3
FAIL
41.73
assertion10_0_3
FAIL
41.73
assertion1_0_3
FAIL
41.83
possibility12_0_3
FAIL
41.83
assertion8_0_3
FAIL
42.03
possibility5_0_3
FAIL
42.23
assertion12_0_3
FAIL
42.33
assertion9_0_3
FAIL
42.33
assertion5_0_3
FAIL
42.33
assertion2_0_3
FAIL
42.33
assertion4_0_3
FAIL
42.43
gttt_2_2_001020_4x4_w
UNSAT
42.62
vonNeumann-ripple-carry-7-c
UNSAT
43.68
tlc04-nonuniform-depth-56
UNSAT
44.13
arbiter-10-comp-error01-qbf-hardness-depth-10
UNSAT
44.41
C432.blif_0.10_0.20_0_0_out_exact
UNSAT
45.64
k_branch_p-10
UNSAT
48.25
k_ph_p-10
UNSAT
48.26
ev-pr-4x4-7-3-0-0-1-lg
SAT
49.68
flipflop-10-c
UNSAT
54.17
cnt10
SAT
56.18
possibility8_0_4
FAIL
59.73
fpu-10Xe-correct01-nonuniform-depth-24
FAIL
59.73
possibility9_0_4
FAIL
60.63
assertion3_0_4
FAIL
60.63
assertion7_0_4
FAIL
60.73
possibility11_0_4
FAIL
60.82
possibility3_0_4
FAIL
60.83
assertion6_0_4
FAIL
60.93
possibility6_0_4
FAIL
61.03
consistency_0_4
FAIL
61.03
possibility4_0_4
FAIL
61.03
possibility7_0_4
FAIL
61.13
possibility1_0_4
FAIL
61.23
assertion1_0_4
FAIL
61.34
assertion11_0_4
FAIL
61.34
possibility12_0_4
FAIL
61.44
assertion10_0_4
FAIL
61.63
assertion8_0_4
FAIL
61.72
possibility2_0_4
FAIL
61.82
possibility10_0_4
FAIL
61.93
possibility5_0_4
FAIL
62.23
assertion9_0_4
FAIL
62.32
assertion2_0_4
FAIL
62.33
assertion12_0_4
FAIL
62.44
assertion5_0_4
FAIL
62.54
assertion4_0_4
FAIL
62.63
fpu-10Xh-correct04-nonuniform-depth-27
FAIL
65.63
possibility8_0_5
FAIL
80.83
possibility9_0_5
FAIL
81.34
assertion3_0_5
FAIL
81.63
possibility7_0_5
FAIL
81.92
possibility3_0_5
FAIL
81.93
possibility6_0_5
FAIL
82.03
possibility4_0_5
FAIL
82.13
assertion6_0_5
FAIL
82.13
possibility11_0_5
FAIL
82.13
assertion7_0_5
FAIL
82.24
possibility12_0_5
FAIL
82.34
consistency_0_5
FAIL
82.43
possibility1_0_5
FAIL
82.53
assertion11_0_5
FAIL
82.53
assertion8_0_5
FAIL
82.73
assertion1_0_5
FAIL
83.03
assertion10_0_5
FAIL
83.03
possibility2_0_5
FAIL
83.03
possibility10_0_5
FAIL
83.34
C432.blif_0.10_0.20_0_1_inp_exact
SAT
83.63
assertion2_0_5
FAIL
83.83
assertion4_0_5
FAIL
84.03
possibility5_0_5
FAIL
84.23
assertion12_0_5
FAIL
84.32
assertion5_0_5
FAIL
84.43
assertion9_0_5
FAIL
84.44
k_branch_p-11
UNSAT
99.78
possibility8_0_6
FAIL
104.23
possibility9_0_6
FAIL
104.53
assertion11_0_6
FAIL
104.63
consistency_0_6
FAIL
104.63
possibility1_0_6
FAIL
104.63
possibility4_0_6
FAIL
104.83
possibility7_0_6
FAIL
104.93
possibility3_0_6
FAIL
105.03
assertion7_0_6
FAIL
105.23
assertion6_0_6
FAIL
105.23
assertion3_0_6
FAIL
105.26
possibility11_0_6
FAIL
105.48
possibility12_0_6
FAIL
105.93
possibility2_0_6
FAIL
106.03
assertion8_0_6
FAIL
106.13
possibility10_0_6
FAIL
106.22
possibility6_0_6
FAIL
106.23
assertion1_0_6
FAIL
106.32
assertion10_0_6
FAIL
106.33
possibility5_0_6
FAIL
107.64
assertion12_0_6
FAIL
107.83
assertion4_0_6
FAIL
107.83
assertion5_0_6
FAIL
108.03
assertion2_0_6
FAIL
108.15
assertion9_0_6
FAIL
109.23
lognBWLARGEB1
UNSAT
111.48
lut4_AND_fXOR
UNSAT
115.25
possibility8_0_7
FAIL
121.43
possibility1_0_7
FAIL
121.63
consistency_0_7
FAIL
121.73
possibility9_0_7
FAIL
121.73
possibility4_0_7
FAIL
121.83
assertion11_0_7
FAIL
121.83
assertion7_0_7
FAIL
122.02
possibility11_0_7
FAIL
122.03
assertion6_0_7
FAIL
122.03
assertion3_0_7
FAIL
122.03
possibility6_0_7
FAIL
122.04
possibility3_0_7
FAIL
122.12
possibility7_0_7
FAIL
122.53
possibility12_0_7
FAIL
123.04
assertion8_0_7
FAIL
123.33
possibility2_0_7
FAIL
123.43
possibility10_0_7
FAIL
123.43
assertion1_0_7
FAIL
123.63
assertion10_0_7
FAIL
123.63
assertion2_0_7
FAIL
124.83
assertion4_0_7
FAIL
124.93
assertion12_0_7
FAIL
125.02
assertion5_0_7
FAIL
125.13
assertion9_0_7
FAIL
125.14
possibility5_0_7
FAIL
125.24
lut4_2_f2
UNSAT
137.42
possibility8_0_8
FAIL
146.22
possibility12_0_8
FAIL
148.83
assertion8_0_8
FAIL
152.03
possibility9_0_8
FAIL
153.23
assertion3_0_8
FAIL
155.03
assertion7_0_8
FAIL
155.13
possibility3_0_8
FAIL
155.13
consistency_0_8
FAIL
155.23
possibility11_0_8
FAIL
155.33
assertion11_0_8
FAIL
155.33
assertion6_0_8
FAIL
155.42
possibility6_0_8
FAIL
155.43
possibility7_0_8
FAIL
155.43
possibility1_0_8
FAIL
155.53
possibility4_0_8
FAIL
155.53
assertion1_0_8
FAIL
156.83
assertion10_0_8
FAIL
157.14
possibility10_0_8
FAIL
157.43
possibility2_0_8
FAIL
157.43
possibility5_0_8
FAIL
159.02
assertion4_0_8
FAIL
159.12
assertion2_0_8
FAIL
159.13
assertion5_0_8
FAIL
159.13
assertion12_0_8
FAIL
159.23
assertion9_0_8
FAIL
159.24
possibility8_0_9
FAIL
168.73
possibility9_0_9
FAIL
170.02
assertion7_0_9
FAIL
170.13
assertion3_0_9
FAIL
170.13
possibility6_0_9
FAIL
170.24
possibility7_0_9
FAIL
170.24
possibility11_0_9
FAIL
170.24
possibility3_0_9
FAIL
170.42
assertion6_0_9
FAIL
170.43
possibility1_0_9
FAIL
170.53
possibility4_0_9
FAIL
170.54
consistency_0_9
FAIL
170.72
assertion11_0_9
FAIL
170.73
assertion1_0_9
FAIL
171.93
assertion10_0_9
FAIL
172.13
possibility12_0_9
FAIL
172.13
possibility10_0_9
FAIL
172.32
assertion8_0_9
FAIL
172.44
possibility2_0_9
FAIL
172.63
assertion9_0_9
FAIL
174.12
assertion5_0_9
FAIL
174.13
assertion12_0_9
FAIL
174.13
assertion2_0_9
FAIL
174.53
possibility5_0_9
FAIL
174.64
assertion4_0_9
FAIL
174.74
flipflop-11-c
UNSAT
182.36
possibility8_0_10
FAIL
188.63
possibility9_0_10
FAIL
189.04
assertion3_0_10
FAIL
189.62
possibility12_0_10
FAIL
191.03
assertion8_0_10
FAIL
191.03
assertion2_0_10
FAIL
193.12
assertion7_0_10
FAIL
194.93
assertion4_0_10
FAIL
197.63
assertion1_0_10
FAIL
200.93
possibility11_0_10
FAIL
202.33
possibility3_0_10
FAIL
202.33
assertion6_0_10
FAIL
202.42
consistency_0_10
FAIL
202.43
possibility4_0_10
FAIL
202.43
possibility6_0_10
FAIL
202.53
Umbrella_tbm_24.tex.module.000131
SAT
202.55
possibility7_0_10
FAIL
202.63
possibility5_0_10
FAIL
202.73
assertion11_0_10
FAIL
202.85
possibility1_0_10
FAIL
202.93
possibility10_0_10
FAIL
204.03
possibility2_0_10
FAIL
204.13
assertion10_0_10
FAIL
204.63
assertion12_0_10
FAIL
206.64
assertion5_0_10
FAIL
206.73
assertion9_0_10
FAIL
206.74
CHAIN16v.17
SAT
222.12
k_branch_n-10
SAT
233.04
sortnetsort8.v.stepl.009
SAT
244.11
ken.flash^08.C-d4
UNSAT
248.48
stmt27_296_297
SAT
343.41
ev-pr-4x4-9-3-0-0-1-lg
SAT
381.04
driverlog03_7
SAT
595.5
sortnetsort9.v.stepl.005
FAIL
599.71
c4_Debug_s3_f2_e2_v2
FAIL
599.71
possibility2_0_1
FAIL
599.71
C499.blif_0.10_0.20_0_0_out_exact
FAIL
599.71
c3_Debug_s3_f2_e2_v2
FAIL
599.71
ev-pr-6x6-17-5-0-1-2-lg
FAIL
599.71
cube_c7_ser--opt-24_
FAIL
599.71
c4_Debug_s5_f2_e2_v1
FAIL
599.71
emptyroom_e3_ser--opt-20_
FAIL
599.71
c5_BMC_p2_k64
FAIL
599.71
CHAIN22v.23
FAIL
599.71
test3_quant_squaring4
FAIL
599.71
test3_quant_squaring2
FAIL
599.71
szymanski-8-s
FAIL
599.71
rankfunc5_unsigned_64
FAIL
599.71
szymanski-16-s
FAIL
599.71
c5_BMC_p2_k128
FAIL
599.71
ring_r6_ser--opt-17_
FAIL
599.71
emptyroom_e4_ser--opt-44_
FAIL
599.71
possibility12_0_1
FAIL
599.71
possibility9_0_1
FAIL
599.71
ev-pr-8x8-15-7-0-1-2-lg
FAIL
599.71
k_ph_n-21
FAIL
599.71
szymanski-6-s
FAIL
599.71
adder-12-unsat
FAIL
599.71
f600-50
FAIL
599.71
rankfunc14_signed_64
FAIL
599.71
k12_4_2
FAIL
599.71
stmt41_738_749
FAIL
599.71
stmt16_950_951
FAIL
599.71
possibility7_0_1
FAIL
599.71
ev-pr-4x4-15-3-0-0-1-s
FAIL
599.71
possibility5_0_1
FAIL
599.71
ken.oop^2.C-d4
FAIL
599.71
s3330_d12_u
FAIL
599.71
stmt17_63_82
FAIL
599.71
stmt17_70_90
FAIL
599.71
stmt28_68_81
FAIL
599.71
stmt19_64_99
FAIL
599.71
s1269_d15_u
FAIL
599.71
cnt16r
FAIL
599.71
cnt14
FAIL
599.71
sortnetsort10.v.stepl.005
FAIL
599.71
k8_2_3
FAIL
599.71
k14_2_3
FAIL
599.71
rankfunc33_signed_32
FAIL
599.71
rankfunc17_unsigned_16
FAIL
599.71
c2_Debug_s3_f1_e1_v2
FAIL
599.71
possibility8_0_1
FAIL
599.71
stmt17_86_98
FAIL
599.71
possibility3_0_1
FAIL
599.71
rankfunc13_unsigned_64
FAIL
599.71
p20-5.pddl_planlen=32
FAIL
599.71
k_ph_p-19
FAIL
599.71
c1_Debug_s5_f1_e1_v2
FAIL
599.71
s1269_d12_u
FAIL
599.71
sortnetsort9.v.stepl.007
FAIL
599.71
s1269_d13_u
FAIL
599.71
sortnetsort9.AE.stepl.012
FAIL
599.71
possibility4_0_1
FAIL
599.71
possibility6_0_1
FAIL
599.71
qshifter_7
FAIL
599.71
audio_ddksynth_csynth2.cpp
FAIL
599.71
incrementer-enc02-uniform-depth-58
FAIL
599.71
incrementer-enc07-uniform-depth-25
FAIL
599.71
assertion4_0_1
FAIL
599.71
incrementer-enc08-uniform-depth-33
FAIL
599.71
mutex-64-s
FAIL
599.71
k_branch_p-16
FAIL
599.71
C880.blif_0.10_0.20_0_1_out_exact
FAIL
599.71
C6288.blif_0.10_0.20_0_0_out_exact
FAIL
599.71
network_irda_miniport_nscirda_comm.c
FAIL
599.71
network_ndis_rtlnwifi_hw_hw_ccmp.c
FAIL
599.71
ev-pr-6x6-17-5-0-1-2-s
FAIL
599.71
ev-pr-6x6-13-5-0-1-2-s
FAIL
599.71
k_branch_n-12
FAIL
599.71
cache-coherence-2-fixpoint-6
FAIL
599.71
sdlx-fixpoint-3
FAIL
599.71
small-swap1-fixpoint-3
FAIL
599.71
small-synabs-fixpoint-9
FAIL
599.71
small-swap2-fixpoint-4
FAIL
599.71
filesys_smbmrx_cvsndrcv.c
FAIL
599.71
assertion3_0_1
FAIL
599.71
arbiter-10-comp-error01-qbf-hardness-depth-22
FAIL
599.71
pipesnotankage18_8
FAIL
599.71
adder-10-sat
FAIL
599.71
query42_query06_1344n
FAIL
599.71
query44_query26_1344n
FAIL
599.71
connect_8x7_6_R
FAIL
599.71
ev-pr-6x6-11-5-0-1-2-lg
FAIL
599.71
adder-14-sat
FAIL
599.71
assertion10_0_1
FAIL
599.71
s01238_PR_8_2
FAIL
599.71
p20-20.pddl_planlen=23
FAIL
599.71
p20-1.pddl_planlen=24
FAIL
599.71
b20_C_3_2
FAIL
599.71
b20_PR_7_20
FAIL
599.71
b21_C_3_206
FAIL
599.71
b22_PR_8_20
FAIL
599.71
assertion2_0_1
FAIL
599.71
dungeon_i15-m7-u4-v0.pddl_planlen=81
FAIL
599.71
dungeon_i25-m12-u3-v0.pddl_planlen=165
FAIL
599.71
dungeon_i25-m12-u3-v0.pddl_planlen=190
FAIL
599.71
p10-10.pddl_planlen=10
FAIL
599.71
s15850_PR_8_50
FAIL
599.71
ev-pr-8x8-13-7-0-1-2-lg
FAIL
599.71
possibility11_0_1
FAIL
599.71
connect_9x8_6_R
FAIL
599.71
ev-pr-4x4-13-3-0-0-1-s
FAIL
599.71
ev-pr-4x4-17-3-0-0-1-s
FAIL
599.71
ev-pr-8x8-7-7-0-1-2-lg
FAIL
599.71
uclid-pipe3a
FAIL
599.71
consistency_0_1
FAIL
599.71
C499.blif_0.10_1.00_0_0_out_exact
FAIL
599.71
uclid-pipe2
FAIL
599.71
C6288.blif_0.10_0.20_0_1_out_exact
FAIL
599.71
possibility1_0_1
FAIL
599.71
C499.blif_0.10_0.20_0_1_out_exact
FAIL
599.71
vonNeumann-ripple-carry-11-c
FAIL
599.71
C880.blif_0.10_1.00_0_0_inp_exact
FAIL
599.71
szymanski-14-s
FAIL
599.71
Adder2-16-s
FAIL
599.71
s3330_d9_s
FAIL
599.71
test1_quant_squaring3
FAIL
599.71
possibility10_0_1
FAIL
599.71
C5315.blif_0.10_0.20_0_0_out_exact
FAIL
599.71
ev-pr-4x4-11-3-0-0-1-lg
FAIL
599.71
CHAIN23v.24
FAIL
599.71
C5315.blif_0.10_0.20_0_1_inp_exact
FAIL
599.71
ev-pr-8x8-19-7-0-1-2-lg
FAIL
599.71
ev-pr-6x6-9-5-0-1-2-s
FAIL
599.71
test2_quant_squaring2
FAIL
599.71
ev-pr-4x4-7-3-0-0-1-s
FAIL
599.71
assertion8_0_1
FAIL
599.71
C6288.blif_0.10_0.20_0_0_inp_exact
FAIL
599.71
ev-pr-6x6-19-5-0-1-2-lg
FAIL
599.71
C6288.blif_0.10_1.00_0_0_out_exact
FAIL
599.71
ev-pr-6x6-9-5-0-1-2-lg
FAIL
599.71
szymanski-5-s
FAIL
599.71
ev-pr-4x4-13-3-0-0-1-lg
FAIL
599.71
CHAIN20v.21
FAIL
599.71
C880.blif_0.10_0.20_0_1_inp_exact
FAIL
599.71
mutex-32-s
FAIL
599.71
mutex-4-s
FAIL
599.71
Umbrella_tbm_05.tex.module.000039
FAIL
599.71
s09234_PR_8_2
FAIL
599.72
vonNeumann-ripple-carry-12-c
FAIL
599.72
BLOCKS4iii.6
FAIL
599.72
pipesnotankage14_10
FAIL
599.72
k5_2_3
FAIL
599.72
ev-pr-6x6-11-5-0-1-2-s
FAIL
599.72
test2_quant_squaring3
FAIL
599.72
k_ph_p-12
FAIL
599.81
assertion9_0_1
FAIL
599.81
b12_PR_9_2
FAIL
599.81
c2_BMC_p1_k2048
FAIL
599.81
qshifter_8
FAIL
599.81
Core1108_tbm_02.tex.moduleQ3.2S.000015
FAIL
599.81
input_pnpi8042_moudep.c
FAIL
599.81
assertion1_0_1
FAIL
599.81
Contact
|
Organization
|
Links
|
Citing QBFLIB