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
qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track
Instance
Result
Time
equalization32
SAT
0.1
s00400_PR_9_90
UNSAT
0.12
halfadder_match2.unsat
UNSAT
0.13
mvs16y.unsat
UNSAT
0.14
halfadder_match2.sat
SAT
0.14
tlc05-nonuniform-depth-6
UNSAT
0.16
small-bug1-fixpoint-7
SAT
0.17
floor256
SAT
0.22
eijk.bs3330.S-d3
SAT
0.23
tlc04-nonuniform-depth-8
UNSAT
0.24
rankfunc35_signed_32
SAT
0.26
rankfunc60_signed_32
SAT
0.27
decomposition256
SAT
0.28
incrementer-enc03-nonuniform-depth-5
UNSAT
0.29
dungeon_i20-m100-u4-v0.pddl_planlen=6
SAT
0.3
arbiter-05-comp-error01-qbf-hardness-depth-8
UNSAT
0.31
kenflashp12
SAT
0.34
tlc03-nonuniform-depth-19
UNSAT
0.35
incrementer-enc06-nonuniform-depth-10
UNSAT
0.39
s09234_PR_9_5
SAT
0.39
gttt_1_1_001020_3x3_torus_b
UNSAT
0.41
stay24n.unsat
UNSAT
0.43
stmt21_181_369
UNSAT
0.43
dungeon_i30-m30-u5-v0.pddl_planlen=4
UNSAT
0.45
tlc04-nonuniform-depth-27
UNSAT
0.51
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005
UNSAT
0.53
b20_PR_7_20
SAT
0.54
cf_4_7x4_d_
UNSAT
0.54
stmt29_226_376
UNSAT
0.55
cf_6_6x6_w_
UNSAT
0.65
driver_d9y.unsat
UNSAT
0.72
ev-pr-4x4-17-3-0-0-1-lg
SAT
0.73
s15850_PR_0_50
SAT
0.78
k_branch_p-10
UNSAT
0.8
C880.blif_0.10_0.20_0_0_out_exact
UNSAT
0.84
C880.blif_0.10_0.20_0_1_out_exact
UNSAT
0.87
incrementer-enc04-nonuniform-depth-17
SAT
0.88
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
UNSAT
0.89
C880.blif_0.10_1.00_0_0_out_exact
UNSAT
0.91
tlc01-nonuniform-depth-63
UNSAT
0.91
b15_PR_4_2
SAT
0.92
tlc03-nonuniform-depth-67
UNSAT
0.92
k_branch_p-11
UNSAT
1.04
k_branch_p-12
UNSAT
1.1
incrementer-enc08-nonuniform-depth-24
UNSAT
1.44
cf_8_8x8_d_
UNSAT
1.71
s05378_PR_9_75
UNSAT
1.88
ev-pr-4x4-5-3-0-0-1-s
SAT
1.89
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-007
UNSAT
1.9
cf_8_9x8_d_
UNSAT
2.29
fpu-10Xh-correct02-nonuniform-depth-2
UNSAT
2.36
k_branch_p-14
UNSAT
2.67
fpu-10Xh-correct04-uniform-depth-3
UNSAT
2.88
fpu-10Xh-correct03-uniform-depth-3
UNSAT
3.01
fpu-01Xh-error02-nonuniform-depth-3
UNSAT
3.04
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010
UNSAT
3.17
beemldelec4b1_c0to127.unsat
UNSAT
3.21
incrementer-enc05-nonuniform-depth-22
UNSAT
3.61
tlc04-nonuniform-depth-64
UNSAT
3.7
nusmv.tcas^4.B-f3
SAT
3.83
dungeon_i10-m10-u10-v0.pddl_planlen=166
UNSAT
4.04
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009
UNSAT
4.48
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007
UNSAT
4.67
k_branch_p-16
UNSAT
4.81
cf_5_9x9_d_
UNSAT
5.06
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010
UNSAT
5.19
fpu-10Xe-correct02-nonuniform-depth-6
UNSAT
5.81
fpu-01Xh-error02-nonuniform-depth-7
UNSAT
6.24
fpu-01Xh-error02-uniform-depth-8
UNSAT
6.58
k_branch_p-18
UNSAT
6.84
fpu-10Xh-correct02-nonuniform-depth-8
UNSAT
7.02
arbiter-06-comp-error01-qbf-hardness-depth-11
UNSAT
7.02
dungeon_i30-m30-u5-v0.pddl_planlen=8
UNSAT
7.17
b14_PR_1_50
SAT
7.31
tlc02-nonuniform-depth-73
UNSAT
7.56
C432.blif_0.10_0.20_0_1_out_exact
UNSAT
7.73
fpu-10Xh-correct03-uniform-depth-10
UNSAT
8.15
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007
UNSAT
8.33
ev-pr-4x4-7-3-0-0-1-s
SAT
8.47
oski3ub5i_c0to255.unsat
UNSAT
8.7
k_branch_p-19
UNSAT
9.73
sortnetsort8.v.stepl.007
SAT
10.32
fpu-10Xh-correct02-uniform-depth-13
UNSAT
10.43
nusmv.tcas^6.B-f4
SAT
11.01
fpu-01Xh-error02-nonuniform-depth-13
UNSAT
11.27
fpu-10Xh-correct03-uniform-depth-14
UNSAT
11.36
C432.blif_0.10_0.20_0_0_out_exact
UNSAT
11.55
fpu-10Xh-correct04-nonuniform-depth-13
UNSAT
11.74
incrementer-enc02-nonuniform-depth-58
UNSAT
11.96
k_branch_p-21
UNSAT
12.23
gttt_2_1_001020_4x4_torus_w
UNSAT
13.34
fpu-10Xe-correct02-nonuniform-depth-16
UNSAT
13.81
unit11_3_b
UNSAT
14.68
fpu-01Xh-error02-uniform-depth-18
UNSAT
14.81
cf_2_9x6_r_
SAT
15.31
incrementer-enc08-uniform-depth-33
SAT
15.55
fpu-10Xe-correct02-uniform-depth-20
UNSAT
16.01
fpu-10Xh-correct03-nonuniform-depth-22
UNSAT
18.17
fpu-01Xh-error02-nonuniform-depth-22
UNSAT
18.24
fpu-10Xh-correct04-uniform-depth-24
UNSAT
18.86
tlc05-nonuniform-depth-73
UNSAT
20.53
fpu-10Xh-correct03-nonuniform-depth-26
UNSAT
21.27
incrementer-enc02-nonuniform-depth-59
UNSAT
21.28
test5_quant_squaring5
SAT
22.08
stmt21_310_360
UNSAT
23.68
incrementer-enc02-nonuniform-depth-60
UNSAT
25.5
kmdf_pcidrv_sys_hw_physet.c
SAT
26.11
b18_PR_4_2
SAT
27.21
C5315.blif_0.10_1.00_0_0_out_exact
UNSAT
34.95
gttt_1_1_000111_4x4_torus_w
UNSAT
35.01
ev-pr-4x4-9-3-0-0-1-s
SAT
39.24
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
UNSAT
40.24
Core1108_tbm_21.tex.module.000030
SAT
41.71
add4_COMPLETE
SAT
42.84
gttt_2_1_00102030_4x4_torus_b
UNSAT
43.8
ltl2dba_C2-6_comp3_REAL.unsat
UNSAT
44.69
lights3_021_1_022
SAT
45.03
ev-pr-6x6-5-5-0-1-2-s
UNSAT
48.93
add4_CHOOSE
SAT
50.45
gttt_1_1_000111_4x4_torus_b
SAT
51.92
Core1108_tbm_21.tex.module.000008
SAT
52.14
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008
UNSAT
53.99
ev-pr-6x6-11-5-0-1-2-lg
UNSAT
55.34
Umbrella_tbm_05.tex.module.000039
SAT
55.69
pipesnotankage04_5
UNSAT
64.53
mvs16y.sat
SAT
72.32
small-synabs-fixpoint-3
UNSAT
72.42
pdtpmsmiim
SAT
72.51
small-dyn-partition-fixpoint-8
UNSAT
72.53
driver_d9y.sat
SAT
72.85
ceiling128
SAT
72.89
eijkbs4863
SAT
73.18
c1_BMC_p2_k1024
UNSAT
73.93
c1_BMC_p2_k2048
UNSAT
74.23
ltl2dba_C2-6_comp3_REAL.sat
SAT
74.34
unit9_2_b
SAT
75.46
itc-b13-fixpoint-5
SAT
75.68
cnt08e
SAT
75.79
k_branch_n-10
SAT
75.96
driverlog10_6
UNSAT
76.62
s38584_3_238
SAT
76.64
k_branch_n-11
SAT
77.02
ltl2dpa_C26_comp2_REAL.unsat
UNSAT
77.65
cnt16
SAT
77.65
sdlx-fixpoint-3
UNSAT
77.86
usb-phy-fixpoint-3
UNSAT
78.22
stmt19_83_412
UNSAT
78.4
driver_a9n.sat
SAT
78.42
stay24n.sat
SAT
78.47
k_branch_n-12
SAT
78.63
driver_a9n.unsat
UNSAT
78.66
small-seq-fixpoint-3
UNSAT
79.09
stmt21_319_418
SAT
79.31
ltl2dpa_C26_comp2_REAL.sat
SAT
79.39
nusmv.reactor^3.C-d4
SAT
79.62
stmt41_160_235
UNSAT
79.87
mult_bool_matrix_10_9_11.sat
SAT
82.17
cache-coherence-2-fixpoint-4
UNSAT
82.9
k5_2_3
SAT
83.92
stmt17_63_82
SAT
84.05
stmt28_68_81
SAT
84.4
cache-coherence-3-fixpoint-3
UNSAT
86.2
k5_3_2
SAT
88.65
k_branch_n-17
SAT
88.96
b17_PR_0_90
UNSAT
93.45
cache-coherence-2-fixpoint-6
UNSAT
95.47
tlc02-uniform-depth-151
UNSAT
97.61
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010
UNSAT
99.76
k_branch_n-20
SAT
102.63
driverlog12_7
UNSAT
103.41
b22_PR_8_20
SAT
103.62
dungeon_i30-m30-u5-v0.pddl_planlen=9
UNSAT
104.19
pi-bus-fixpoint-1
UNSAT
105.84
depots03_9
UNSAT
106.34
small-seq-fixpoint-5
UNSAT
106.68
incrementer-enc07-uniform-depth-25
UNSAT
106.75
k_branch_n-21
SAT
115.18
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
UNSAT
117.75
dungeon_i15-m7-u4-v0.pddl_planlen=81
UNSAT
118.56
cmu.dme2.B-f3
SAT
119.22
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009
UNSAT
124.7
load_3c_comp_comp7_REAL.unsat
UNSAT
125.53
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010
UNSAT
127.9
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008
UNSAT
128.56
incrementer-enc06-uniform-depth-24
UNSAT
130.05
driverlog13_6
UNSAT
131.86
depots07_8
UNSAT
134.36
amba2f9n.sat
SAT
137.4
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009
UNSAT
138.22
beemldelec4b1_c0to127.sat
SAT
145.68
s1196_1_5
SAT
146.72
c5_BMC_p1_k32
SAT
146.87
mult_bool_matrix_17_17_17.sat
SAT
148.97
dungeon_i25-m12-u5-v0.pddl_planlen=59
UNSAT
154.61
gttt_2_1_00011020_4x4_b
UNSAT
157.46
dungeon_i25-m12-u3-v0.pddl_planlen=72
UNSAT
159.05
dungeon_i25-m12-u5-v0.pddl_planlen=65
UNSAT
159.3
dungeon_i15-m7-u4-v0.pddl_planlen=168
UNSAT
161.21
oski3ub5i_c0to255.sat
SAT
162.96
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
UNSAT
163.1
dungeon_i25-m12-u5-v0.pddl_planlen=81
UNSAT
163.14
dungeon_i25-m12-u5-v0.pddl_planlen=86
UNSAT
163.22
dungeon_i25-m12-u5-v0.pddl_planlen=92
UNSAT
163.42
dungeon_i25-m12-u5-v0.pddl_planlen=98
UNSAT
169.05
dungeon_i25-m12-u3-v0.pddl_planlen=125
UNSAT
170.07
dungeon_i25-m12-u3-v0.pddl_planlen=130
UNSAT
171.58
pipesnotankage11_8
UNSAT
173.12
pipesnotankage13_5
UNSAT
173.69
dungeon_i25-m12-u5-v0.pddl_planlen=128
UNSAT
175.4
incrementer-enc02-uniform-depth-58
UNSAT
176.88
dungeon_i25-m12-u3-v0.pddl_planlen=146
UNSAT
180.64
arbiter-06-comp-error01-qbf-hardness-depth-15
UNSAT
183.13
small-seq-fixpoint-8
UNSAT
192.62
ev-pr-4x4-11-3-0-0-1-s
SAT
193.28
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008
UNSAT
203.49
ev-pr-4x4-13-3-0-0-1-s
SAT
204.95
amba2f9n.unsat
UNSAT
205.72
arbiter-09-comp-error01-qbf-hardness-depth-15
UNSAT
210.72
add5_CHOOSE
SAT
212.81
texas.PI_main^05.E-f3
SAT
218.21
ev-pr-4x4-17-3-0-0-1-s
SAT
219.27
ev-pr-4x4-15-3-0-0-1-s
SAT
219.42
sortnetsort9.AE.stepl.012
UNSAT
245.31
s641_d6_s
SAT
247.13
ken.flash^09.C-d4
UNSAT
266.98
C6288.blif_0.10_1.00_0_1_inp_exact
SAT
275.79
Adder2-8-c
UNSAT
294.25
C499.blif_0.10_0.20_0_0_inp_exact
UNSAT
318.61
sortnetsort9.AE.stepl.009
UNSAT
319.5
ev-pr-6x6-13-5-0-1-2-lg
UNSAT
331.72
ev-pr-6x6-7-5-0-1-2-s
UNSAT
341.93
c2_BMC_p1_k2048
SAT
398.24
ev-pr-8x8-11-7-0-1-2-lg
UNSAT
404.1
test4_quant_squaring2
UNSAT
454.87
ev-pr-8x8-13-7-0-1-2-lg
UNSAT
502.02
ev-pr-6x6-15-5-0-1-2-lg
UNSAT
715.8
arbiter-10-comp-error01-qbf-hardness-depth-23
FAIL
885.43
small-equiv-fixpoint-9
FAIL
885.51
hid_hclient_ecdisp.c
FAIL
885.53
input_pnpi8042_moudep.c
FAIL
885.57
network_ndis_coisdn_TpiParam.c
FAIL
885.64
input_mouser_cseries.c
FAIL
885.91
small-equiv-fixpoint-10
FAIL
886.02
C5315.blif_0.10_0.20_0_0_inp_exact
FAIL
886.06
add6_REDUCED
FAIL
886.3
add7_COMPLETE
FAIL
886.31
LoginService2
FAIL
886.48
b21_C_3_206
FAIL
886.69
add6_COMPLETE
FAIL
886.79
input_mouser_detect.c
FAIL
886.91
stmt23_72_76
FAIL
887.13
add7_REDUCED
FAIL
887.14
adder-12-sat
FAIL
887.2
adder-10-sat
FAIL
887.29
ActivityService2
FAIL
887.35
adder-14-sat
FAIL
887.43
uclid-pipe3b
FAIL
887.52
C6288.blif_0.10_0.20_0_0_inp_exact
FAIL
887.63
arbiter-10-comp-error01-qbf-hardness-depth-24
FAIL
887.66
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
FAIL
887.71
query31_reachqu_1344n
FAIL
887.75
audio_ddksynth_csynth2.cpp
FAIL
887.81
ProjectService3
FAIL
887.82
C6288.blif_0.10_0.20_0_1_inp_exact
FAIL
887.86
query42_query06_1344n
FAIL
887.87
counter_re_32
FAIL
888.09
unit12_2_b
FAIL
888.1
C5315.blif_0.10_0.20_0_1_inp_exact
FAIL
888.12
test2_quant_squaring2
FAIL
888.13
network_trans_sys_notify.c
FAIL
888.13
stmt19_64_99
FAIL
888.16
test1_quant_squaring3
FAIL
888.2
stmt17_86_98
FAIL
888.22
network_irda_miniport_nscirda_comm.c
FAIL
888.3
network_irda_miniport_nscirda_settings.c
FAIL
888.31
small-equiv-fixpoint-6
FAIL
888.32
eijk.bs3384.S-f4
FAIL
888.32
query10_query36_1344
FAIL
888.33
genbuf10b4n.sat
FAIL
888.36
eijk.bs1512.S-f4
FAIL
888.37
adder-12-unsat
FAIL
888.44
mult_bool_matrix_10_9_11.unsat
FAIL
888.47
C6288.blif_0.10_1.00_0_0_out_exact
FAIL
888.48
eijk.S1196.S-f2
FAIL
888.52
ken.flash^05.C-d3
FAIL
888.56
b22_C_2_12
FAIL
888.62
C5315.blif_0.10_0.20_0_0_out_exact
FAIL
888.64
stmt17_82_98
FAIL
888.71
kernel_agplib_intrface.c
FAIL
888.73
genbuf9b4n.sat
FAIL
888.74
C6288.blif_0.10_0.20_0_1_out_exact
FAIL
888.77
query03_query25_1344
FAIL
888.78
C880.blif_0.10_0.20_0_1_inp_exact
FAIL
888.8
eijk.S713.S-f2
FAIL
888.8
test4_quant_squaring4
FAIL
888.81
filesys_smbmrx_cvsndrcv.c
FAIL
888.87
network_ndis_rtlnwifi_hw_hw_ccmp.c
FAIL
888.93
test1_quant_squaring2
FAIL
888.95
stmt23_66_96
FAIL
888.95
ken.oop^2.C-d3
FAIL
889.08
C880.blif_0.10_1.00_0_0_inp_exact
FAIL
889.09
ProcessBean
FAIL
889.11
ii8d1-00
FAIL
889.14
nusmv.tcas^2.B-f2
FAIL
889.18
cnt16r
FAIL
889.21
nusmv.tcas^3.B-f2
FAIL
889.3
stmt17_70_90
FAIL
889.32
filesys_fastfat_easup.c
FAIL
889.37
kmdf_AMCC5933_sys_S5933DK1.c
FAIL
889.42
ken.oop^2.C-d4
FAIL
889.51
test2_quant_squaring3
FAIL
889.52
arbiter-08-comp-error02-qbf-hardness-depth-9
FAIL
889.58
ken.flash^08.C-d4
FAIL
889.61
stmt19_313_412
FAIL
889.62
cmu.dme1.B-f3
FAIL
889.72
hid_firefly_app_firefly.cpp
FAIL
889.78
k8_3_4
FAIL
889.82
neclaftp4001
FAIL
889.87
b20_C_3_2
FAIL
889.88
C6288.blif_0.10_0.20_0_0_out_exact
FAIL
889.89
blocks_enc_2_b4_ser--opt-26_
FAIL
889.9
C6288.blif_0.10_1.00_0_0_inp_exact
FAIL
889.9
nusmv.tcas-t^1.B-d2
FAIL
889.93
intermediate128
FAIL
890
add5_COMPLETE
FAIL
890.03
bobsmfpu
FAIL
890.06
small-pipeline-fixpoint-7
FAIL
890.09
stmt17_62_98
FAIL
890.11
test2_quant3
FAIL
890.23
cmu.gigamax.B-d4
FAIL
890.25
stmt32_329_378
FAIL
890.27
texas.PI_main^08.E-f3
FAIL
890.3
stmt39_285_335
FAIL
890.4
filesys_smbmrx_midatlas.c
FAIL
890.41
k8_3_2
FAIL
890.41
unit8_2_b
FAIL
890.48
C880.blif_0.10_0.20_0_0_inp_exact
FAIL
890.5
k8_4_3
FAIL
890.6
C5315.blif_0.10_0.20_0_1_out_exact
FAIL
890.6
Adder2-14-s
FAIL
890.6
UserServiceImpl
FAIL
890.61
Adder2-10-s
FAIL
890.64
network_usbnwifi_mp_util.c
FAIL
890.78
cycle_sched_4_7_1.sat
FAIL
890.83
freecell03_7
FAIL
890.85
eijk.bs4863.S-d4
FAIL
890.9
network_ndis_rtlnwifi_extsta_st_misc.c
FAIL
890.95
stmt17_70_98
FAIL
890.99
uclid-pipe2
FAIL
890.99
C499.blif_0.10_0.20_0_1_out_exact
FAIL
891.01
Adder2-16-c
FAIL
891.03
k_ph_p-13
FAIL
891.1
genbuf9b4n.unsat
FAIL
891.35
add4_REDUCED
FAIL
891.4
k6_2_3
FAIL
891.4
uclid-pipe3a
FAIL
891.5
emptyroom_e3_ser---19_
FAIL
891.54
gttt_1_1_00101121_4x4_torus_w
FAIL
891.63
ev-pr-6x6-19-5-0-1-2-lg
FAIL
891.64
amba4b9y.sat
FAIL
891.7
arbiter-07-comp-error01-qbf-hardness-depth-20
FAIL
891.72
add5_REDUCED
FAIL
891.73
cube_c7_ser---23_
FAIL
891.78
cube_c11_par---13_
FAIL
891.8
query44_query26_1344n
FAIL
891.86
amba4b9y.unsat
FAIL
891.86
cycle_sched_4_7_1.unsat
FAIL
891.93
Adder2-8-s
FAIL
892.01
add7_CHOOSE
FAIL
892.03
small-seq-fixpoint-9
FAIL
892.09
query21_query58_1344n
FAIL
892.18
k8_2_3
FAIL
892.2
test3_quant_squaring4
FAIL
892.31
f600-00
FAIL
892.43
ev-pr-6x6-17-5-0-1-2-lg
FAIL
892.52
counter_64
FAIL
892.71
k7_2_2
FAIL
892.74
arbiter-09-comp-error01-qbf-hardness-depth-21
FAIL
892.81
sortnetsort10.v.stepl.005
FAIL
892.82
k_ph_p-12
FAIL
892.83
k_ph_p-15
FAIL
892.93
emptyroom_e4_ser--opt-44_
FAIL
892.94
sortnetsort9.v.stepl.005
FAIL
892.99
cycle_sched_6_7_1.unsat
FAIL
893.01
arbiter-10-comp-error01-qbf-hardness-depth-22
FAIL
893.07
C499.blif_0.10_0.20_0_0_out_exact
FAIL
893.22
small-pipeline-fixpoint-6
FAIL
893.22
genbuf10b4n.unsat
FAIL
893.32
szymanski-20-s
FAIL
893.34
small-seq-fixpoint-7
FAIL
893.52
k_ph_p-21
FAIL
893.62
emptyroom_e4_par---21_
FAIL
893.62
pipesnotankage16_10
FAIL
893.62
cycle_sched_6_7_1.sat
FAIL
893.63
c4_Debug_s3_f2_e2_v3
FAIL
893.64
ken.flash^11.C-f3
FAIL
893.66
c4_Debug_s5_f2_e2_v1
FAIL
893.72
k_ph_p-14
FAIL
893.77
freecell02_6
FAIL
893.82
AVStream_hwsim.cpp
FAIL
893.86
connect_8x7_5_R
FAIL
893.89
k_ph_p-11
FAIL
893.9
connect_8x7_6_R
FAIL
894.05
ii8d1-90
FAIL
894.07
cf_7_8x7_r_
FAIL
894.09
sortnetsort9.v.stepl.007
FAIL
894.11
audio_ac97_wavepcistream.cpp
FAIL
894.12
filesys_cdfs_namesup.c
FAIL
894.26
connect_7x6_4_R
FAIL
894.52
Adder2-16-s
FAIL
894.55
load_full_4_comp3_REAL.sat
FAIL
894.73
pi-bus-fixpoint-3
FAIL
894.8
k7_4_4
FAIL
894.85
f600-50
FAIL
895.12
ev-pr-8x8-19-7-0-1-2-lg
FAIL
895.18
c5_BMC_p2_k64
FAIL
895.27
ssa7552-158-00
FAIL
895.32
load_3c_comp_comp7_REAL.sat
FAIL
895.37
c4_Debug_s3_f1_e2_v3
FAIL
895.47
k12_3_2
FAIL
895.85
c1_Debug_s5_f1_e1_v2
FAIL
896.35
cf_6_9x7_r_
FAIL
896.36
cf_7_8x8_r_
FAIL
896.4
ring_r6_ser--opt-17_
FAIL
896.42
cf_5_5x6_r_
FAIL
896.49
c4_Debug_s3_f1_e2_v2
FAIL
896.51
depots13_9
FAIL
896.71
c2_Debug_s3_f2_e1_v3
FAIL
896.75
unit6_3_b
FAIL
896.8
c5_BMC_p2_k256
FAIL
896.83
cube_c11_ser--opt-42_
FAIL
896.92
ev-pr-8x8-17-7-0-1-2-lg
FAIL
896.99
szymanski-24-s
FAIL
900
ev-pr-6x6-19-5-0-1-2-s
FAIL
900
pipesnotankage14_10
FAIL
900
connect_9x8_3_R
FAIL
900
k_ph_p-20
FAIL
900
ev-pr-8x8-15-7-0-1-2-lg
FAIL
900
pipesnotankage18_7
FAIL
900
k14_4_4
FAIL
900
k14_2_3
FAIL
900
s510_d36_s
FAIL
900
s820_d15_u
FAIL
900
s298_d25_u
FAIL
900
pipesnotankage18_8
FAIL
900
k_ph_p-18
FAIL
900
k_ph_p-17
FAIL
900
s713_d11_u
FAIL
900
s510_d41_s
FAIL
900
s641_d7_u
FAIL
900
ev-pr-6x6-15-5-0-1-2-s
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=143
FAIL
900
AR-fixpoint-3
FAIL
900
s1269_d10_s
FAIL
900
s3330_d4_s
FAIL
900
connect_8x7_4_R
FAIL
900
ev-pr-6x6-9-5-0-1-2-s
FAIL
900
ev-pr-6x6-17-5-0-1-2-s
FAIL
900
ev-pr-6x6-13-5-0-1-2-s
FAIL
900
s820_d10_s
FAIL
900
incrementer-enc02-uniform-depth-63
FAIL
900
ev-pr-6x6-11-5-0-1-2-s
FAIL
900
s499_d25_u
FAIL
900
add6_CHOOSE
FAIL
900
filesys_cdfs_allocsup.c
FAIL
900
AR-fixpoint-1
FAIL
900
load_full_4_comp3_REAL.unsat
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=170
FAIL
900
AR-fixpoint-5
FAIL
900
dungeon_i25-m12-u3-v0.pddl_planlen=190
FAIL
900
s713_d7_u
FAIL
900
dungeon_i25-m12-u3-v0.pddl_planlen=165
FAIL
900
s3330_d10_u
FAIL
900
mult_bool_matrix_17_17_17.unsat
FAIL
900
connect_9x8_6_R
FAIL
900
AR-fixpoint-7
FAIL
900
k_ph_p-19
FAIL
900
c5_BMC_p2_k512
FAIL
900
freecell02_4
FAIL
900
c1_BMC_p1_k2048
FAIL
900
ring_r7_ser--opt-20_
FAIL
900
ring_r7_ser---19_
FAIL
900
depots16_5
FAIL
900
depots09_13
FAIL
900
depots09_12
FAIL
900
depots09_11
FAIL
900
c4_Debug_s3_f2_e2_v2
FAIL
900
c3_BMC_p1_k256
FAIL
900
c5_BMC_p1_k128
FAIL
900
c5_BMC_p1_k64
FAIL
900
c5_BMC_p2_k128
FAIL
900
freecell03_6
FAIL
900
pipesnotankage15_10
FAIL
900
freecell03_5
FAIL
900
pipesnotankage17_5
FAIL
900
pipesnotankage17_6
FAIL
900
pipesnotankage17_7
FAIL
900
pipesnotankage19_7
FAIL
900
pipesnotankage19_9
FAIL
900
depots08_6
FAIL
900
c4_Debug_s3_f1_e1_v2
FAIL
900
s298_d17_s
FAIL
900
s1269_d5_s
FAIL
900
s1196_d7_u
FAIL
900
s1196_d5_u
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=199
FAIL
900
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009
FAIL
900
cf_4_9x9_r_
FAIL
900
cf_3_9x6_r_
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=198
FAIL
900
s499_d19_s
FAIL
900
c5_BMC_p2_k1024
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=200
FAIL
900
c3_Debug_s3_f2_e2_v3
FAIL
900
c3_Debug_s3_f2_e2_v2
FAIL
900
c2_Debug_s3_f1_e1_v2
FAIL
900
c1_Debug_s3_f2_e1_v2
FAIL
900
c1_Debug_s3_f2_e1_v1
FAIL
900
k12_4_2
FAIL
900
c1_Debug_s3_f1_e1_v1
FAIL
900
AR-fixpoint-9
FAIL
900
k10_4_3
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=197
FAIL
900
Contact
|
Organization
|
Links
|
Citing QBFLIB