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
Caqe-bloqqer-qdo
Prenex CNF Track
Instance
Result
Time
falsequ_query71_1344n
UNSAT
0
s01423_PR_4_75
UNSAT
0
s01423_PR_4_90
UNSAT
0
exquery_query42_1344n
UNSAT
0
eequery_query64_1344
UNSAT
0
axquery_query71_1344
SAT
0
axquery_query71_1344n
UNSAT
0
falsequ_query64_1344n
UNSAT
0
axquery_query42_1344n
UNSAT
0
ceiling128
SAT
0
decomposition256
SAT
0
equalization32
SAT
0
floor256
SAT
0
kenflashp12
SAT
0
exquery_query71_1344n
UNSAT
0
k_ph_n-11
SAT
0
falsequ_query71_1344
SAT
0
falsequ_query64_1344
SAT
0
nxquery_query42_1344n
UNSAT
0
nxquery_query71_1344n
UNSAT
0
nxquery_query71_1344
SAT
0
exquery_query64_1344
SAT
0
falsequ_query60_1344n
UNSAT
0
exquery_query71_1344
SAT
0
trueque_query60_1344n
UNSAT
0
trueque_query64_1344n
UNSAT
0
trueque_query64_1344
SAT
0
trueque_query71_1344n
UNSAT
0
trueque_query71_1344
SAT
0
pdtpmsmiim
SAT
0
stmt124_966_965
SAT
0
pdtpmsrotate32
SAT
0
small-synabs-fixpoint-3
UNSAT
0
add20y.sat
SAT
0
stmt9_445_446
SAT
0
kenflashp04
SAT
0
stmt16_818_819
SAT
0
stmt44_554_604
SAT
0
stmt5_731_730
SAT
0
bobtuint31neg
SAT
0
decomposition128
SAT
0
equalization128
SAT
0
floor128
SAT
0
exquery_query64_1344n
UNSAT
0.52
stmt41_262_275
SAT
0.55
nxquery_query50_1344n
SAT
0.62
axquery_query64_1344
SAT
0.7
driver_d9y.sat
SAT
0.7
driver_c9y.sat
SAT
0.76
nxquery_query64_1344n
UNSAT
0.8
axquery_query64_1344n
UNSAT
0.82
ceiling256
SAT
0.85
stmt25_52_53
SAT
0.88
p20-1.pddl_planlen=48
SAT
0.89
p20-1.pddl_planlen=49
SAT
0.9
small-swap1-fixpoint-5
SAT
0.9
ntrivil_query71_1344
SAT
0.91
trivial_query71_1344
SAT
0.91
itc-b13-fixpoint-2
UNSAT
0.93
s05378_PR_5_20
SAT
0.99
p10-5.pddl_planlen=24
SAT
1
trivial_query71_1344n
UNSAT
1.05
p10-5.pddl_planlen=25
SAT
1.06
s05378_PR_5_2
SAT
1.06
ntrivil_query64_1344n
UNSAT
1.07
ntrivil_query71_1344n
UNSAT
1.07
eijkbs4863
SAT
1.07
trivial_query60_1344n
UNSAT
1.07
cycle_sched_12_2_1.sat
SAT
1.07
small-swap1-fixpoint-4
SAT
1.1
trivial_query64_1344n
UNSAT
1.12
driver_c9n.sat
SAT
1.12
small-swap1-fixpoint-6
SAT
1.18
trivial_query64_1344
SAT
1.19
ntrivil_query64_1344
SAT
1.2
s09234_PR_7_20
SAT
1.23
s09234_PR_7_2
SAT
1.29
eequery_query42_1344
UNSAT
1.36
ltl2dba_C2-6_comp3_REAL.sat
SAT
1.36
ntrivil_query42_1344n
UNSAT
1.36
small-swap1-fixpoint-7
SAT
1.38
arbiter-05-comp-error01-qbf-hardness-depth-8
UNSAT
1.44
rankfunc42_signed_64
SAT
1.48
small-pipeline-fixpoint-1
UNSAT
1.5
small-synabs-fixpoint-10
UNSAT
1.52
small-swap1-fixpoint-8
SAT
1.67
sortnetsort8.v.stepl.007
SAT
1.68
rankfunc18_unsigned_64
SAT
1.8
ethernet-fixpoint-1
UNSAT
1.85
itc-b13-fixpoint-3
SAT
1.9
s38584_PR_9_50
SAT
2.38
small-swap1-fixpoint-10
SAT
2.39
rankfunc21_signed_64
SAT
2.4
stmt27_93_98
SAT
2.43
small-swap1-fixpoint-9
SAT
2.44
k_ph_n-15
SAT
2.5
rankfunc21_unsigned_64
SAT
2.55
rankfunc30_signed_64
SAT
2.57
s38584_PR_9_5
SAT
2.58
rankfunc30_unsigned_64
SAT
2.62
itc-b13-fixpoint-4
SAT
2.66
cycle_sched_2_10_1.sat
SAT
2.67
driver_a10y.sat
SAT
2.88
rankfunc19_unsigned_64
SAT
3
rankfunc19_signed_64
SAT
3.02
eequery_query64_1344n
SAT
3.1
arbiter-08-comp-error02-qbf-hardness-depth-9
SAT
3.24
cycle_sched_4_4_2.sat
SAT
3.46
rankfunc3_signed_64
SAT
3.63
rankfunc3_unsigned_64
SAT
3.63
cache-coherence-3-fixpoint-1
UNSAT
3.69
Adder2-8-c
UNSAT
3.76
itc-b13-fixpoint-5
SAT
3.89
irst.dme6.B-d4
SAT
3.92
stmt1_79_80
SAT
4.16
add4_CHOOSE
SAT
4.37
small-pipeline-fixpoint-2
UNSAT
4.37
arbiter-06-comp-error01-qbf-hardness-depth-11
UNSAT
4.46
filesys_smbmrx_midatlas.c
UNSAT
4.49
cache-coherence-2-fixpoint-2
UNSAT
4.76
vis.prodcell^01.E-d4
SAT
4.77
unit9_2_b
SAT
5.08
itc-b13-fixpoint-6
SAT
5.24
s15850_PR_0_50
SAT
5.3
k_branch_n-11
SAT
5.6
s15850_PR_6_10
SAT
5.67
p10-10.pddl_planlen=19
SAT
5.79
p10-10.pddl_planlen=20
SAT
6.2
usb-phy-fixpoint-3
UNSAT
6.34
ethernet-fixpoint-2
UNSAT
6.41
arbiter-06-comp-error01-qbf-hardness-depth-15
UNSAT
6.82
itc-b13-fixpoint-7
SAT
6.83
ltl2dpa_C26_comp2_REAL.sat
SAT
7.39
k_branch_n-12
SAT
7.58
driver_a9n.sat
SAT
7.59
mult_bool_matrix_10_9_11.sat
SAT
7.98
itc-b13-fixpoint-8
SAT
8.18
k_branch_p-16
UNSAT
8.38
eequery_query42_1344n
SAT
8.5
k_branch_p-14
UNSAT
8.69
cache-coherence-3-fixpoint-2
UNSAT
8.72
gttt_2_2_000111_4x4_torus_w_2020
UNSAT
8.78
gttt_2_2_000111_4x4_w_2020
UNSAT
9.04
eequery_query71_1344n
SAT
9.29
gttt_2_2_000111_4x4_torus_b_2020
SAT
9.46
itc-b13-fixpoint-9
SAT
9.68
sortnetsort9.v.stepl.005
UNSAT
9.91
cache-coherence-2-fixpoint-4
UNSAT
10.12
gttt_2_2_000111_4x4_b_2020
SAT
10.41
fpu-10Xh-correct04-nonuniform-depth-14
UNSAT
10.82
gttt_2_1_001020_4x4_torus_w_2020
UNSAT
10.88
amba2c7n.sat
SAT
10.96
k_branch_n-17
SAT
11
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
11.3
itc-b13-fixpoint-10
SAT
12.33
usb-phy-fixpoint-4
UNSAT
12.68
k_branch_p-18
UNSAT
12.85
fpu-10Xh-correct04-uniform-depth-18
UNSAT
13
fpu-01Xh-error02-nonuniform-depth-18
UNSAT
13.07
load_3c_comp_comp7_REAL.unsat
UNSAT
13.08
cache-coherence-3-fixpoint-3
UNSAT
13.29
arbiter-09-comp-error01-qbf-hardness-depth-15
UNSAT
13.49
sortnetsort10.v.stepl.005
UNSAT
13.97
cache-coherence-2-fixpoint-5
UNSAT
14.87
incrementer-enc09-uniform-depth-17
SAT
14.98
fpu-10Xh-error01-uniform-depth-20
UNSAT
15.06
tlc05-uniform-depth-40
UNSAT
15.1
gttt_2_1_00011020_4x4_b_2020
UNSAT
15.96
fpu-01Xh-error02-uniform-depth-24
UNSAT
17.39
fpu-10Xh-error01-uniform-depth-25
UNSAT
17.69
arbiter-07-comp-error01-qbf-hardness-depth-20
UNSAT
17.87
tlc05-uniform-depth-45
UNSAT
18.09
k_ph_n-20
SAT
19.13
cache-coherence-2-fixpoint-6
UNSAT
19.49
incrementer-enc09-nonuniform-depth-15
UNSAT
19.7
tlc05-uniform-depth-50
UNSAT
20.52
nreachq_query71_1344
SAT
20.53
incrementer-enc07-uniform-depth-25
UNSAT
20.93
sortnetsort9.AE.stepl.009
UNSAT
21.13
Adder2-16-c
UNSAT
22.16
k_branch_n-21
SAT
22.5
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
UNSAT
23.17
pi-bus-fixpoint-1
UNSAT
23.57
tlc05-uniform-depth-55
UNSAT
23.59
b17_PR_2_50
SAT
23.83
mult_bool_matrix_12_13_11.sat
SAT
23.96
incrementer-enc08-uniform-depth-33
SAT
23.98
Adder2-8-s
SAT
24.54
incrementer-enc06-uniform-depth-24
UNSAT
25.94
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-006
UNSAT
26.34
add5_REDUCED
SAT
26.43
tlc05-uniform-depth-60
UNSAT
26.98
sortnetsort9.v.stepl.007
SAT
27.05
driverlog10_6
UNSAT
27.1
gttt_1_1_000111_4x4_torus_w_2020
UNSAT
27.11
stmt39_285_335
UNSAT
27.75
network_trans_sys_notify.c
UNSAT
28.31
stmt29_226_376
UNSAT
29.38
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
29.73
tlc05-uniform-depth-65
UNSAT
30.08
incrementer-enc07-nonuniform-depth-25
UNSAT
31.5
k_ph_n-18
SAT
31.53
incrementer-enc08-nonuniform-depth-32
UNSAT
31.69
b22_PR_9_90
UNSAT
32.38
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009
UNSAT
32.79
k_branch_p-19
UNSAT
32.92
tlc05-uniform-depth-70
UNSAT
34.33
arbiter-09-comp-error01-qbf-hardness-depth-21
UNSAT
34.71
amba2f9n.sat
SAT
36.16
stmt19_83_412
UNSAT
37.2
gttt_2_1_00102030_4x4_torus_b_2020
UNSAT
37.39
driverlog13_7
UNSAT
37.41
tlc05-uniform-depth-75
UNSAT
37.59
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
UNSAT
37.67
filesys_smbmrx_cvsndrcv.c
UNSAT
38.46
Adder2-10-s
SAT
38.81
driverlog10_7
SAT
38.92
k_ph_n-19
SAT
39.02
stmt32_329_378
UNSAT
41.14
tlc05-uniform-depth-80
UNSAT
42.85
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
UNSAT
43.58
tlc05-uniform-depth-85
UNSAT
45.32
sortnetsort9.AE.stepl.008
UNSAT
45.42
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
46.97
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-010
UNSAT
51.47
test5_quant7
SAT
54.06
sortnetsort9.AE.stepl.007
UNSAT
55.2
c5_BMC_p1_k32
SAT
55.6
incrementer-enc02-uniform-depth-58
UNSAT
56.2
genbuf9b4n.unsat
UNSAT
58.11
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
UNSAT
59.29
small-pipeline-fixpoint-3
UNSAT
60.68
arbiter-10-comp-error01-qbf-hardness-depth-22
UNSAT
61.15
Core1108_tbm_21.tex.module.000008
SAT
62.1
incrementer-enc06-nonuniform-depth-33
SAT
63.96
stmt21_181_369
UNSAT
64.96
k_branch_p-21
UNSAT
65.98
incrementer-enc02-uniform-depth-63
UNSAT
66.03
stmt19_313_412
UNSAT
67.72
load_full_4_comp3_REAL.unsat
UNSAT
68.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009
UNSAT
77.18
Core1108_tbm_21.tex.module.000030
SAT
82.89
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
UNSAT
83.4
add5_CHOOSE
SAT
85.69
c3_BMC_p1_k256
SAT
88.02
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
90.25
kmdf_osrusbfx2_exe_dump.c
UNSAT
90.55
c6_BMC_p1_k512
SAT
90.62
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
97.52
sortnetsort9.AE.stepl.012
UNSAT
102.01
cycle_sched_6_6_2.sat
SAT
104.86
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
108.76
reachqu_query60_1344n
UNSAT
111.31
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-010
UNSAT
111.68
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
113.36
Adder2-14-s
SAT
124.38
freecell01_6
SAT
127.47
ltl2dba_C2-8_comp4_REAL.sat
SAT
132.09
gttt_1_1_000111_4x4_torus_b_2020
SAT
135.72
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
UNSAT
137.75
driverlog12_8
UNSAT
138.34
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
SAT
140.18
p20-10.pddl_planlen=39
SAT
144.7
s820_d10_s
SAT
148.04
p20-10.pddl_planlen=40
SAT
149.93
test3_quant_squaring2
UNSAT
152.79
test3_quant2
UNSAT
153
stmt21_310_360
UNSAT
153.92
arbiter-10-comp-error01-qbf-hardness-depth-23
UNSAT
155.54
genbuf10b4n.unsat
UNSAT
162.31
arbiter-10-comp-error01-qbf-hardness-depth-24
UNSAT
162.39
reachqu_query60_1344
SAT
164.39
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
167.47
amba4b9y.unsat
UNSAT
173.31
query71_query36_1344n
UNSAT
180.88
mult9.sat
SAT
190.18
depots08_6
UNSAT
192.43
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
SAT
196.97
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
UNSAT
203.75
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
UNSAT
204.03
sortnetsort10.AE.stepl.008
UNSAT
208.9
mult_bool_matrix_17_17_17.sat
SAT
215.63
Umbrella_tbm_05.tex.module.000039
SAT
223.16
add5_COMPLETE
SAT
248.58
add6_REDUCED
SAT
251.27
reachqu_query64_1344
SAT
257.86
adder-10-sat
SAT
259.09
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
SAT
298.97
unit6_3_b
UNSAT
301.73
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
SAT
314.97
query64_query11_1344n
SAT
323.67
nreachq_query54_1344
UNSAT
332.88
nreachq_query71_1344n
UNSAT
349.47
depots16_5
UNSAT
384.51
s820_d11_u
UNSAT
396.92
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
450.49
kmdf_pcidrv_sys_hw_physet.c
SAT
453.08
gttt_1_1_00101121_4x4_torus_w_2020
UNSAT
462.26
query71_query31_1344n
SAT
489.33
reachqu_query71_1344
UNSAT
523.06
ev-pr-8x8-15-7-0-1-2-lg
FAIL
586.5
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
UNSAT
606.17
mult_bool_matrix_18_18_18.sat
SAT
628.39
amba3b5y.sat
SAT
654.57
freecell02_4
UNSAT
673.77
freecell02_5
UNSAT
685.21
stay24n.sat
SAT
688.55
k_ph_p-11
UNSAT
718.66
cycle_sched_4_7_1.sat
SAT
796.94
c6_BMC_p1_k1024
SAT
891.18
query64_query42_1344n
FAIL
900
k_ph_p-18
FAIL
900
nusmv.reactor^3.C-d4
FAIL
900
reachqu_query64_1344n
FAIL
900
ev-pr-6x6-19-5-0-1-2-lg
FAIL
900
ev-pr-6x6-15-5-0-1-2-s
FAIL
900
load_2c_comp_comp7_REAL.sat
FAIL
900
ev-pr-8x8-17-7-0-1-2-lg
FAIL
900
cmu.dme1.B-f3
FAIL
900
eijk.bs3330.S-d3
FAIL
900
beemskbn1f1_c0to7.sat
FAIL
900
test2_quant_squaring2
FAIL
900
C5315.blif_0.10_0.20_0_0_inp_exact
FAIL
900
nusmv.tcas-t^1.B-d2
FAIL
900
k_ph_p-19
FAIL
900
k_ph_p-15
FAIL
900
C6288.blif_0.10_0.20_0_0_out_exact
FAIL
900
ev-pr-6x6-11-5-0-1-2-s
FAIL
900
bobsmfpu
FAIL
900
ken.flash^09.C-d4
FAIL
900
bs128y.sat
FAIL
900
bs128n.sat
FAIL
900
ev-pr-6x6-17-5-0-1-2-s
FAIL
900
mult_bool_matrix_dyn_9_5.sat
FAIL
900
ken.flash^08.C-d4
FAIL
900
ken.flash^05.C-d3
FAIL
900
eijk.bs4863.S-d4
FAIL
900
cmu.gigamax.B-d4
FAIL
900
s1269_d15_u
FAIL
900
ev-pr-6x6-13-5-0-1-2-s
FAIL
900
add7_COMPLETE
FAIL
900
neclaftp2002
FAIL
900
Adder2-16-s
FAIL
900
k_branch_n-20
FAIL
900
ConcreteActivityService
FAIL
900
beemldelec4b1_c0to127.sat
FAIL
900
IssueServiceImpl
FAIL
900
IterationService
FAIL
900
szymanski-20-s
FAIL
900
GuidanceService
FAIL
900
cycle_sched_6_7_1.sat
FAIL
900
cycle_sched_4_7_1.unsat
FAIL
900
test4_quant4
FAIL
900
s3330_d9_s
FAIL
900
mult_bool_matrix_10_9_11.unsat
FAIL
900
add7_CHOOSE
FAIL
900
add7_REDUCED
FAIL
900
C6288.blif_0.10_0.20_0_1_inp_exact
FAIL
900
add6_COMPLETE
FAIL
900
k_ph_p-20
FAIL
900
test2_quant3
FAIL
900
intermediate256
FAIL
900
C5315.blif_0.10_0.20_0_0_out_exact
FAIL
900
add6_CHOOSE
FAIL
900
s3330_d10_u
FAIL
900
eijkbs3330
FAIL
900
GuidanceService2
FAIL
900
ProjectService3
FAIL
900
unit12_2_b
FAIL
900
unit11_3_b
FAIL
900
ev-pr-8x8-19-7-0-1-2-lg
FAIL
900
b21_PR_8_20
FAIL
900
b18_PR_4_2
FAIL
900
test4_quant_squaring2
FAIL
900
s1269_d10_s
FAIL
900
b14_PR_1_50
FAIL
900
adder-12-unsat
FAIL
900
test2_quant_squaring3
FAIL
900
driver_b8n.sat
FAIL
900
unit8_2_b
FAIL
900
szymanski-24-s
FAIL
900
test1_quant3
FAIL
900
ProcessBean
FAIL
900
ev-pr-6x6-19-5-0-1-2-s
FAIL
900
LoginService
FAIL
900
PhaseService
FAIL
900
NotificationServiceImpl2
FAIL
900
C6288.blif_0.10_0.20_0_1_out_exact
FAIL
900
neclaftp4001
FAIL
900
C6288.blif_0.10_1.00_0_0_inp_exact
FAIL
900
intermediate128
FAIL
900
C5315.blif_0.10_0.20_0_1_out_exact
FAIL
900
test5_quant_squaring5
FAIL
900
C6288.blif_0.10_0.20_0_0_inp_exact
FAIL
900
b20_C_3_2
FAIL
900
c6_BMC_p2_k1024
FAIL
900
stmt19_64_99
FAIL
900
audio_ddksynth_csynth2.cpp
FAIL
900
input_mouser_detect.c
FAIL
900
network_irda_miniport_nscirda_comm.c
FAIL
900
filesys_fastfat_cachesup.c
FAIL
900
stmt17_62_98
FAIL
900
input_pnpi8042_moudep.c
FAIL
900
network_ndis_rtlnwifi_hw_hw_ccmp.c
FAIL
900
small-seq-fixpoint-5
FAIL
900
stmt17_70_98
FAIL
900
stmt23_72_76
FAIL
900
ethernet-fixpoint-3
FAIL
900
c6_BMC_p1_k2048
FAIL
900
ev-pr-6x6-17-5-0-1-2-lg
FAIL
900
fpu-01Xh-error02-nonuniform-depth-27
FAIL
900
c2_Debug_s3_f1_e1_v2
FAIL
900
c2_Debug_s3_f2_e1_v3
FAIL
900
c4_Debug_s3_f1_e2_v3
FAIL
900
c4_Debug_s3_f2_e2_v2
FAIL
900
c4_Debug_s3_f2_e2_v3
FAIL
900
c4_Debug_s5_f2_e2_v1
FAIL
900
c1_BMC_p1_k2048
FAIL
900
c1_BMC_p2_k1024
FAIL
900
c1_BMC_p2_k2048
FAIL
900
fpu-10Xh-error01-nonuniform-depth-27
FAIL
900
fpu-10Xh-correct04-uniform-depth-28
FAIL
900
c2_BMC_p1_k2048
FAIL
900
fpu-10Xh-correct04-nonuniform-depth-28
FAIL
900
stmt28_68_81
FAIL
900
stmt17_82_98
FAIL
900
sdlx-fixpoint-9
FAIL
900
sdlx-fixpoint-8
FAIL
900
sdlx-fixpoint-5
FAIL
900
sdlx-fixpoint-6
FAIL
900
pi-bus-fixpoint-3
FAIL
900
s1269_d13_u
FAIL
900
s1269_d12_u
FAIL
900
s3330_d14_u
FAIL
900
s1269_d14_u
FAIL
900
small-seq-fixpoint-3
FAIL
900
pi-bus-fixpoint-2
FAIL
900
small-seq-fixpoint-7
FAIL
900
sdlx-fixpoint-4
FAIL
900
small-seq-fixpoint-8
FAIL
900
sdlx-fixpoint-10
FAIL
900
sdlx-fixpoint-3
FAIL
900
stmt41_160_235
FAIL
900
stmt23_66_96
FAIL
900
ethernet-fixpoint-4
FAIL
900
stmt17_70_90
FAIL
900
small-seq-fixpoint-10
FAIL
900
stmt17_63_82
FAIL
900
AR-fixpoint-1
FAIL
900
stmt17_86_98
FAIL
900
usb-phy-fixpoint-5
FAIL
900
stmt2_976_999
FAIL
900
AR-fixpoint-5
FAIL
900
stmt21_319_418
FAIL
900
stmt52_295_394
FAIL
900
sdlx-fixpoint-7
FAIL
900
small-seq-fixpoint-9
FAIL
900
b20_PR_7_20
FAIL
900
cmu.dme2.B-f3
FAIL
900
freecell04_9
FAIL
900
freecell04_8
FAIL
900
freecell04_7
FAIL
900
freecell03_7
FAIL
900
freecell03_6
FAIL
900
freecell03_5
FAIL
900
freecell02_6
FAIL
900
driverlog14_9
FAIL
900
driverlog14_8
FAIL
900
driverlog13_8
FAIL
900
driverlog12_9
FAIL
900
driverlog11_9
FAIL
900
driverlog11_8
FAIL
900
pipesnotankage15_10
FAIL
900
pipesnotankage16_10
FAIL
900
pipesnotankage17_5
FAIL
900
eijk.bs1512.S-f4
FAIL
900
eijk.S1196.S-f2
FAIL
900
nusmv.tcas^2.B-f2
FAIL
900
nusmv.tcas^3.B-f2
FAIL
900
nusmv.tcas^4.B-f3
FAIL
900
nusmv.tcas^6.B-f4
FAIL
900
texas.PI_main^05.E-f3
FAIL
900
texas.PI_main^08.E-f3
FAIL
900
sortnetsort10.AE.stepl.006
FAIL
900
pipesnotankage19_9
FAIL
900
pipesnotankage19_7
FAIL
900
pipesnotankage17_7
FAIL
900
pipesnotankage17_6
FAIL
900
depots16_7
FAIL
900
depots13_9
FAIL
900
depots10_8
FAIL
900
c1_Debug_s3_f2_e1_v1
FAIL
900
query71_query34_1344n
FAIL
900
c1_Debug_s3_f2_e1_v2
FAIL
900
nreachq_query54_1344n
FAIL
900
nreachq_query11_1344n
FAIL
900
c1_Debug_s5_f1_e1_v2
FAIL
900
pipesnotankage18_8
FAIL
900
pipesnotankage18_7
FAIL
900
pipesnotankage14_10
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=65
FAIL
900
depots03_9
FAIL
900
b22_PR_8_20
FAIL
900
b22_C_2_12
FAIL
900
c1_Debug_s3_f1_e1_v1
FAIL
900
p20-20.pddl_planlen=29
FAIL
900
p20-20.pddl_planlen=30
FAIL
900
depots09_13
FAIL
900
depots09_12
FAIL
900
depots09_11
FAIL
900
depots07_8
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=98
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=92
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=86
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=81
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=59
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=200
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=199
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=198
FAIL
900
dungeon_i25-m12-u5-v0.pddl_planlen=197
FAIL
900
b21_C_3_206
FAIL
900
Contact
|
Organization
|
Links
|
Citing QBFLIB