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-hqspre
Prenex CNF Track
Instance
Result
Time
trueque_query64_1344n
UNSAT
0
stmt29_226_376
UNSAT
0
stmt124_966_965
SAT
0
k_ph_n-11
SAT
0
ntrivil_query71_1344n
UNSAT
0
falsequ_query71_1344
SAT
0
stmt5_731_730
SAT
0
falsequ_query71_1344n
UNSAT
0
irst.dme6.B-d4
SAT
0
nxquery_query42_1344n
UNSAT
0
nxquery_query64_1344n
UNSAT
0
trueque_query60_1344n
UNSAT
0
stmt19_83_412
UNSAT
0
stmt21_181_369
UNSAT
0
stmt41_160_235
UNSAT
0
trivial_query64_1344n
UNSAT
0
trivial_query60_1344n
UNSAT
0
nxquery_query71_1344
SAT
0
nxquery_query71_1344n
UNSAT
0
falsequ_query64_1344
SAT
0
falsequ_query64_1344n
UNSAT
0
falsequ_query60_1344n
UNSAT
0
eequery_query64_1344
UNSAT
0
axquery_query71_1344
SAT
0
axquery_query71_1344n
UNSAT
0
axquery_query64_1344
SAT
0
axquery_query64_1344n
UNSAT
0
stmt9_445_446
SAT
0
axquery_query42_1344n
UNSAT
0
small-pipeline-fixpoint-1
UNSAT
0
exquery_query42_1344n
UNSAT
0
exquery_query64_1344n
UNSAT
0
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
0
stmt44_554_604
SAT
0
vis.prodcell^01.E-d4
SAT
0
exquery_query71_1344
SAT
0
stmt16_818_819
SAT
0
exquery_query71_1344n
UNSAT
0
exquery_query64_1344
SAT
0
small-swap1-fixpoint-4
SAT
0
small-synabs-fixpoint-3
UNSAT
0
trueque_query64_1344
SAT
0
eijk.bs3330.S-d3
SAT
0
floor128
SAT
0
equalization128
SAT
0
decomposition128
SAT
0
rankfunc42_signed_64
SAT
0
rankfunc21_signed_64
SAT
0
mult_bool_matrix_10_9_11.sat
SAT
0
rankfunc18_unsigned_64
SAT
0
driver_d9y.sat
SAT
0
pdtpmsmiim
SAT
0
test5_quant7
SAT
0
kenflashp04
SAT
0
mult9.sat
SAT
0
itc-b13-fixpoint-2
UNSAT
0
itc-b13-fixpoint-3
SAT
0
rankfunc3_signed_64
SAT
0
mult_bool_matrix_12_13_11.sat
SAT
0
driver_c9y.sat
SAT
0
driver_c9n.sat
SAT
0
rankfunc21_unsigned_64
SAT
0
rankfunc19_signed_64
SAT
0
floor256
SAT
0
pdtpmsrotate32
SAT
0
rankfunc3_unsigned_64
SAT
0
s09234_PR_7_2
SAT
0
s09234_PR_7_20
SAT
0
rankfunc30_signed_64
SAT
0
s01423_PR_4_90
UNSAT
0
s01423_PR_4_75
UNSAT
0
trueque_query71_1344
SAT
0
trueque_query71_1344n
UNSAT
0
rankfunc19_unsigned_64
SAT
0
equalization32
SAT
0
decomposition256
SAT
0
rankfunc30_unsigned_64
SAT
0
s05378_PR_5_20
SAT
0.5
small-swap1-fixpoint-6
SAT
0.5
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
0.51
ntrivil_query64_1344n
UNSAT
0.52
s05378_PR_5_2
SAT
0.55
eequery_query42_1344
UNSAT
0.6
ntrivil_query42_1344n
UNSAT
0.65
ntrivil_query71_1344
SAT
0.66
trivial_query71_1344
SAT
0.69
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
0.76
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
0.83
itc-b13-fixpoint-4
SAT
0.85
tlc05-uniform-depth-40
UNSAT
0.9
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
0.91
small-swap1-fixpoint-5
SAT
0.91
small-swap1-fixpoint-8
SAT
0.93
Adder2-8-s
SAT
0.96
driver_b8n.sat
SAT
1.07
small-swap1-fixpoint-7
SAT
1.07
trivial_query71_1344n
UNSAT
1.1
p20-1.pddl_planlen=48
SAT
1.19
tlc05-uniform-depth-45
UNSAT
1.22
p20-1.pddl_planlen=49
SAT
1.24
itc-b13-fixpoint-5
SAT
1.28
nusmv.reactor^3.C-d4
SAT
1.29
kmdf_pcidrv_sys_hw_physet.c
SAT
1.3
p10-5.pddl_planlen=24
SAT
1.3
p10-5.pddl_planlen=25
SAT
1.31
stay24n.sat
SAT
1.32
nusmv.tcas-t^1.B-d2
SAT
1.35
ltl2dba_C2-6_comp3_REAL.sat
SAT
1.36
incrementer-enc09-nonuniform-depth-15
UNSAT
1.38
stmt39_285_335
UNSAT
1.46
small-swap1-fixpoint-10
SAT
1.5
stmt19_313_412
UNSAT
1.65
cycle_sched_12_2_1.sat
SAT
1.66
small-synabs-fixpoint-10
UNSAT
1.67
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
1.67
tlc05-uniform-depth-50
UNSAT
1.68
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
1.68
mult_bool_matrix_17_17_17.sat
SAT
1.79
trivial_query64_1344
SAT
1.8
k_ph_n-15
SAT
1.8
ntrivil_query64_1344
SAT
1.8
driver_a10y.sat
SAT
1.83
b21_PR_8_20
SAT
1.83
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
UNSAT
1.85
itc-b13-fixpoint-6
SAT
1.86
filesys_smbmrx_midatlas.c
UNSAT
1.88
tlc05-uniform-depth-55
UNSAT
2.05
small-pipeline-fixpoint-2
UNSAT
2.06
mult_bool_matrix_18_18_18.sat
SAT
2.17
s38584_PR_9_5
SAT
2.28
p10-10.pddl_planlen=20
SAT
2.28
cache-coherence-3-fixpoint-1
UNSAT
2.29
p10-10.pddl_planlen=19
SAT
2.32
driver_a9n.sat
SAT
2.38
b20_PR_7_20
SAT
2.39
bs128y.sat
SAT
2.4
bs128n.sat
SAT
2.4
tlc05-uniform-depth-60
UNSAT
2.47
small-swap1-fixpoint-9
SAT
2.5
itc-b13-fixpoint-7
SAT
2.65
fpu-10Xh-correct04-nonuniform-depth-14
UNSAT
2.68
s38584_PR_9_50
SAT
2.68
stmt21_310_360
UNSAT
2.75
tlc05-uniform-depth-65
UNSAT
2.75
ethernet-fixpoint-1
UNSAT
2.92
tlc05-uniform-depth-70
UNSAT
2.99
cache-coherence-2-fixpoint-2
UNSAT
3.1
fpu-01Xh-error02-nonuniform-depth-18
UNSAT
3.29
tlc05-uniform-depth-75
UNSAT
3.29
driverlog10_6
UNSAT
3.3
incrementer-enc09-uniform-depth-17
SAT
3.38
fpu-10Xh-correct04-uniform-depth-18
UNSAT
3.4
incrementer-enc08-nonuniform-depth-32
UNSAT
3.55
k_ph_n-18
SAT
3.63
incrementer-enc07-nonuniform-depth-25
UNSAT
3.64
s15850_PR_0_50
SAT
3.7
fpu-10Xh-error01-uniform-depth-20
UNSAT
3.91
arbiter-05-comp-error01-qbf-hardness-depth-8
UNSAT
3.95
stmt21_319_418
SAT
3.98
s15850_PR_6_10
SAT
4.01
stmt32_329_378
UNSAT
4.04
Adder2-10-s
SAT
4.09
fpu-01Xh-error02-uniform-depth-24
UNSAT
4.62
fpu-10Xh-error01-uniform-depth-25
UNSAT
4.69
driverlog11_8
UNSAT
4.69
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
4.89
sdlx-fixpoint-3
UNSAT
4.97
driverlog13_7
UNSAT
5.45
driverlog10_7
SAT
5.51
sortnetsort8.v.stepl.007
SAT
5.61
stmt41_262_275
SAT
5.65
tlc05-uniform-depth-85
UNSAT
6.01
driverlog12_8
UNSAT
6.08
itc-b13-fixpoint-8
SAT
6.12
nxquery_query50_1344n
SAT
6.2
incrementer-enc06-uniform-depth-24
UNSAT
6.69
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
UNSAT
6.91
k_ph_n-19
SAT
6.93
driverlog13_8
UNSAT
7.25
nusmv.tcas^2.B-f2
SAT
7.31
incrementer-enc08-uniform-depth-33
SAT
7.67
tlc05-uniform-depth-80
UNSAT
7.7
sdlx-fixpoint-4
UNSAT
7.88
k_ph_n-20
SAT
8.03
input_mouser_detect.c
SAT
8.16
cmu.dme2.B-f3
SAT
8.53
freecell01_6
SAT
8.6
incrementer-enc07-uniform-depth-25
UNSAT
8.69
load_3c_comp_comp7_REAL.unsat
UNSAT
8.76
driverlog14_8
UNSAT
9.2
Adder2-8-c
UNSAT
9.54
nusmv.tcas^3.B-f2
SAT
9.65
filesys_smbmrx_cvsndrcv.c
UNSAT
10.01
itc-b13-fixpoint-9
SAT
10.13
texas.PI_main^05.E-f3
SAT
10.54
stmt52_295_394
UNSAT
11.2
b18_PR_4_2
SAT
11.41
cache-coherence-3-fixpoint-2
UNSAT
11.62
filesys_fastfat_cachesup.c
SAT
12
amba2c7n.sat
SAT
12.47
network_trans_sys_notify.c
UNSAT
12.72
driverlog11_9
SAT
12.75
sdlx-fixpoint-5
UNSAT
12.89
depots07_8
UNSAT
13.51
nusmv.tcas^4.B-f3
SAT
13.56
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
UNSAT
13.66
itc-b13-fixpoint-10
SAT
13.74
k_branch_n-11
SAT
14.65
small-seq-fixpoint-3
UNSAT
15.26
driverlog12_9
UNSAT
15.41
depots03_9
UNSAT
15.71
arbiter-06-comp-error01-qbf-hardness-depth-11
UNSAT
15.8
small-pipeline-fixpoint-3
UNSAT
15.81
add5_REDUCED
SAT
16.07
cmu.dme1.B-f3
SAT
16.39
ethernet-fixpoint-2
UNSAT
16.5
Core1108_tbm_21.tex.module.000008
SAT
16.55
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007
UNSAT
16.58
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
16.71
dungeon_i25-m12-u5-v0.pddl_planlen=59
UNSAT
16.78
Core1108_tbm_21.tex.module.000030
SAT
17.28
dungeon_i25-m12-u5-v0.pddl_planlen=65
UNSAT
17.5
usb-phy-fixpoint-3
UNSAT
17.77
query71_query36_1344n
UNSAT
18.6
texas.PI_main^08.E-f3
SAT
19.18
dungeon_i25-m12-u5-v0.pddl_planlen=81
UNSAT
19.97
dungeon_i25-m12-u5-v0.pddl_planlen=86
UNSAT
20.79
dungeon_i25-m12-u5-v0.pddl_planlen=92
UNSAT
21.64
dungeon_i25-m12-u5-v0.pddl_planlen=98
UNSAT
22.26
incrementer-enc02-uniform-depth-58
UNSAT
22.39
c5_BMC_p1_k32
SAT
23.06
Adder2-14-s
SAT
23.07
k_branch_n-12
SAT
23.25
c6_BMC_p2_k1024
UNSAT
23.36
incrementer-enc02-uniform-depth-63
UNSAT
24.8
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
UNSAT
25.6
Umbrella_tbm_05.tex.module.000039
SAT
25.71
cmu.gigamax.B-d4
SAT
25.88
depots16_5
UNSAT
27.63
GuidanceService2
UNSAT
28.18
GuidanceService
UNSAT
28.19
kmdf_osrusbfx2_exe_dump.c
UNSAT
31.16
sdlx-fixpoint-6
UNSAT
31.47
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
31.96
eequery_query42_1344n
SAT
32.37
sortnetsort9.AE.stepl.009
UNSAT
32.78
amba2f9n.sat
SAT
33.17
pi-bus-fixpoint-1
UNSAT
34.92
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
UNSAT
35.28
depots08_6
UNSAT
36.37
freecell02_5
UNSAT
36.41
freecell02_4
UNSAT
36.45
dungeon_i25-m12-u5-v0.pddl_planlen=197
UNSAT
37.04
dungeon_i25-m12-u5-v0.pddl_planlen=199
UNSAT
37.55
dungeon_i25-m12-u5-v0.pddl_planlen=198
UNSAT
37.61
eequery_query71_1344n
SAT
37.82
ethernet-fixpoint-3
UNSAT
38.01
dungeon_i25-m12-u5-v0.pddl_planlen=200
UNSAT
38.17
sortnetsort9.v.stepl.007
SAT
39.2
depots13_9
SAT
39.22
c6_BMC_p1_k512
SAT
39.42
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
SAT
39.78
nusmv.tcas^6.B-f4
SAT
43.07
sortnetsort9.AE.stepl.008
UNSAT
43.32
k_branch_p-16
UNSAT
43.89
k_branch_p-14
UNSAT
45.12
usb-phy-fixpoint-4
UNSAT
46.25
cache-coherence-2-fixpoint-4
UNSAT
46.8
Adder2-16-s
SAT
47.29
pipesnotankage16_10
UNSAT
47.7
pipesnotankage15_10
UNSAT
48.54
sortnetsort9.AE.stepl.007
UNSAT
49.96
depots10_8
UNSAT
50.4
pipesnotankage14_10
UNSAT
50.58
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
UNSAT
52.56
arbiter-06-comp-error01-qbf-hardness-depth-15
UNSAT
52.88
beemldelec4b1_c0to127.sat
SAT
55.24
c3_BMC_p1_k256
SAT
55.84
cycle_sched_4_7_1.unsat
UNSAT
57.3
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
SAT
59.03
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
59.49
depots16_7
UNSAT
60.5
freecell02_6
UNSAT
60.59
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
61.29
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
61.83
b22_PR_9_90
UNSAT
61.96
pipesnotankage17_7
UNSAT
63.97
pipesnotankage17_5
UNSAT
64.21
pipesnotankage17_6
UNSAT
64.45
sortnetsort9.AE.stepl.012
UNSAT
68.46
cache-coherence-3-fixpoint-3
UNSAT
68.97
add5_COMPLETE
SAT
72.68
test5_quant_squaring5
SAT
79.19
szymanski-20-s
UNSAT
81.35
genbuf9b4n.unsat
UNSAT
83.54
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
SAT
83.59
neclaftp4001
UNSAT
83.96
usb-phy-fixpoint-5
UNSAT
86.29
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
88.47
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
SAT
89.08
sortnetsort10.AE.stepl.008
UNSAT
89.61
cache-coherence-2-fixpoint-5
UNSAT
90.56
ConcreteActivityService
UNSAT
102.69
sortnetsort9.v.stepl.005
UNSAT
103.99
freecell03_6
UNSAT
105.71
freecell03_5
UNSAT
105.91
c1_Debug_s3_f2_e1_v2
SAT
112.49
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
117.33
arbiter-09-comp-error01-qbf-hardness-depth-15
UNSAT
120.42
c4_Debug_s3_f2_e2_v2
SAT
122.37
pipesnotankage18_8
UNSAT
133.65
eequery_query64_1344n
SAT
133.79
adder-10-sat
SAT
134.48
pipesnotankage18_7
UNSAT
135.23
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
UNSAT
140.98
freecell03_7
SAT
144.82
nreachq_query54_1344
UNSAT
146.58
cache-coherence-2-fixpoint-6
UNSAT
147.06
c4_Debug_s3_f2_e2_v3
SAT
151.23
depots09_13
UNSAT
152.5
audio_ddksynth_csynth2.cpp
SAT
152.87
c1_BMC_p2_k1024
UNSAT
157.02
k_branch_n-17
SAT
160.39
pipesnotankage19_7
UNSAT
163.21
depots09_12
UNSAT
174
depots09_11
UNSAT
174.51
k_branch_p-19
UNSAT
177.75
reachqu_query71_1344
UNSAT
199.39
Adder2-16-c
UNSAT
204.26
pipesnotankage19_9
UNSAT
219.07
k_branch_p-18
UNSAT
221.65
k_branch_n-20
SAT
235.5
eijk.bs4863.S-d4
SAT
242.89
incrementer-enc06-nonuniform-depth-33
SAT
248.34
add6_REDUCED
SAT
248.37
arbiter-08-comp-error02-qbf-hardness-depth-9
SAT
267.34
cycle_sched_2_10_1.sat
SAT
276.06
nreachq_query71_1344
SAT
277.52
genbuf10b4n.unsat
UNSAT
280.51
AR-fixpoint-5
FAIL
295.32
k_branch_n-21
SAT
324.33
p20-10.pddl_planlen=39
SAT
337.66
k_branch_p-21
UNSAT
337.84
freecell04_9
UNSAT
345.3
load_full_4_comp3_REAL.unsat
UNSAT
348.37
c1_Debug_s3_f2_e1_v1
SAT
354.48
ethernet-fixpoint-4
UNSAT
354.79
s820_d11_u
UNSAT
364
p20-10.pddl_planlen=40
SAT
364.89
szymanski-24-s
UNSAT
428.66
fpu-10Xh-correct04-uniform-depth-28
SAT
449.89
reachqu_query60_1344
SAT
452.31
freecell04_7
UNSAT
456.83
freecell04_8
UNSAT
460.76
fpu-10Xh-correct04-nonuniform-depth-28
SAT
482.96
reachqu_query64_1344
SAT
518.07
fpu-10Xh-error01-nonuniform-depth-27
SAT
522.43
fpu-01Xh-error02-nonuniform-depth-27
SAT
532.95
c2_Debug_s3_f1_e1_v2
SAT
573.24
c1_BMC_p2_k2048
UNSAT
597.26
sdlx-fixpoint-7
SAT
621.11
c2_Debug_s3_f2_e1_v3
SAT
670.17
s820_d10_s
SAT
685.49
c6_BMC_p1_k2048
SAT
749.21
gttt_1_1_000111_4x4_torus_b_2020
FAIL
782.7
c1_Debug_s5_f1_e1_v2
SAT
828.11
unit6_3_b
UNSAT
844.7
c6_BMC_p1_k1024
SAT
849.59
ltl2dpa_C26_comp2_REAL.sat
SAT
868.82
amba4b9y.unsat
UNSAT
893.22
C6288.blif_0.10_0.20_0_1_inp_exact
FAIL
900
add7_CHOOSE
FAIL
900
add7_COMPLETE
FAIL
900
test2_quant3
FAIL
900
stmt1_79_80
FAIL
900
s3330_d14_u
FAIL
900
s1269_d14_u
FAIL
900
k_ph_p-20
FAIL
900
kenflashp12
FAIL
900
ProjectService3
FAIL
900
cycle_sched_6_7_1.sat
FAIL
900
add4_CHOOSE
FAIL
900
cycle_sched_4_7_1.sat
FAIL
900
s3330_d10_u
FAIL
900
test4_quant4
FAIL
900
reachqu_query60_1344n
FAIL
900
mult_bool_matrix_10_9_11.unsat
FAIL
900
s1269_d13_u
FAIL
900
C6288.blif_0.10_0.20_0_1_out_exact
FAIL
900
add6_CHOOSE
FAIL
900
s1269_d12_u
FAIL
900
ProcessBean
FAIL
900
add6_COMPLETE
FAIL
900
add5_CHOOSE
FAIL
900
add7_REDUCED
FAIL
900
ceiling256
FAIL
900
gttt_2_2_000111_4x4_w_2020
FAIL
900
add20y.sat
FAIL
900
mult_bool_matrix_dyn_9_5.sat
FAIL
900
small-seq-fixpoint-8
FAIL
900
ltl2dba_C2-8_comp4_REAL.sat
FAIL
900
load_2c_comp_comp7_REAL.sat
FAIL
900
beemskbn1f1_c0to7.sat
FAIL
900
small-seq-fixpoint-7
FAIL
900
ev-pr-6x6-13-5-0-1-2-s
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
small-seq-fixpoint-9
FAIL
900
gttt_2_2_000111_4x4_torus_w_2020
FAIL
900
gttt_2_2_000111_4x4_torus_b_2020
FAIL
900
gttt_2_2_000111_4x4_b_2020
FAIL
900
gttt_2_1_001020_4x4_torus_w_2020
FAIL
900
gttt_2_1_00102030_4x4_torus_b_2020
FAIL
900
gttt_2_1_00011020_4x4_b_2020
FAIL
900
gttt_1_1_00101121_4x4_torus_w_2020
FAIL
900
gttt_1_1_000111_4x4_torus_w_2020
FAIL
900
ev-pr-6x6-17-5-0-1-2-s
FAIL
900
cycle_sched_6_6_2.sat
FAIL
900
cycle_sched_4_4_2.sat
FAIL
900
test2_quant_squaring2
FAIL
900
neclaftp2002
FAIL
900
C6288.blif_0.10_0.20_0_0_inp_exact
FAIL
900
eijkbs3330
FAIL
900
bobtuint31neg
FAIL
900
intermediate256
FAIL
900
test2_quant_squaring3
FAIL
900
s1269_d10_s
FAIL
900
sdlx-fixpoint-10
FAIL
900
IssueServiceImpl
FAIL
900
IterationService
FAIL
900
ev-pr-6x6-19-5-0-1-2-lg
FAIL
900
amba3b5y.sat
FAIL
900
pi-bus-fixpoint-2
FAIL
900
NotificationServiceImpl2
FAIL
900
PhaseService
FAIL
900
LoginService
FAIL
900
pi-bus-fixpoint-3
FAIL
900
sdlx-fixpoint-8
FAIL
900
ev-pr-8x8-19-7-0-1-2-lg
FAIL
900
eijkbs4863
FAIL
900
query71_query34_1344n
FAIL
900
stmt28_68_81
FAIL
900
stmt23_72_76
FAIL
900
p20-20.pddl_planlen=30
FAIL
900
stmt17_70_98
FAIL
900
sortnetsort10.AE.stepl.006
FAIL
900
stmt17_62_98
FAIL
900
sortnetsort10.v.stepl.005
FAIL
900
stmt19_64_99
FAIL
900
network_irda_miniport_nscirda_comm.c
FAIL
900
stmt17_82_98
FAIL
900
small-seq-fixpoint-5
FAIL
900
ken.flash^05.C-d3
FAIL
900
ken.flash^08.C-d4
FAIL
900
ken.flash^09.C-d4
FAIL
900
network_ndis_rtlnwifi_hw_hw_ccmp.c
FAIL
900
eijk.bs1512.S-f4
FAIL
900
eijk.S1196.S-f2
FAIL
900
input_pnpi8042_moudep.c
FAIL
900
arbiter-10-comp-error01-qbf-hardness-depth-24
FAIL
900
arbiter-10-comp-error01-qbf-hardness-depth-23
FAIL
900
b20_C_3_2
FAIL
900
b21_C_3_206
FAIL
900
b22_C_2_12
FAIL
900
b22_PR_8_20
FAIL
900
nreachq_query11_1344n
FAIL
900
nreachq_query54_1344n
FAIL
900
query64_query11_1344n
FAIL
900
query71_query31_1344n
FAIL
900
arbiter-10-comp-error01-qbf-hardness-depth-22
FAIL
900
arbiter-07-comp-error01-qbf-hardness-depth-20
FAIL
900
arbiter-09-comp-error01-qbf-hardness-depth-21
FAIL
900
ev-pr-6x6-17-5-0-1-2-lg
FAIL
900
c2_BMC_p1_k2048
FAIL
900
small-seq-fixpoint-10
FAIL
900
c1_BMC_p1_k2048
FAIL
900
c4_Debug_s3_f1_e2_v3
FAIL
900
driverlog14_9
FAIL
900
c1_Debug_s3_f1_e1_v1
FAIL
900
stmt23_66_96
FAIL
900
nreachq_query71_1344n
FAIL
900
s1269_d15_u
FAIL
900
stmt2_976_999
FAIL
900
b17_PR_2_50
FAIL
900
b14_PR_1_50
FAIL
900
c4_Debug_s5_f2_e2_v1
FAIL
900
stmt25_52_53
FAIL
900
test3_quant_squaring2
FAIL
900
ev-pr-6x6-19-5-0-1-2-s
FAIL
900
sdlx-fixpoint-9
FAIL
900
stmt27_93_98
FAIL
900
unit11_3_b
FAIL
900
intermediate128
FAIL
900
AR-fixpoint-1
FAIL
900
C5315.blif_0.10_0.20_0_0_out_exact
FAIL
900
s3330_d9_s
FAIL
900
ceiling128
FAIL
900
unit9_2_b
FAIL
900
unit8_2_b
FAIL
900
unit12_2_b
FAIL
900
test3_quant2
FAIL
900
C6288.blif_0.10_1.00_0_0_inp_exact
FAIL
900
reachqu_query64_1344n
FAIL
900
query64_query42_1344n
FAIL
900
p20-20.pddl_planlen=29
FAIL
900
stmt17_70_90
FAIL
900
k_ph_p-18
FAIL
900
k_ph_p-19
FAIL
900
k_ph_p-15
FAIL
900
k_ph_p-11
FAIL
900
stmt17_63_82
FAIL
900
ev-pr-8x8-17-7-0-1-2-lg
FAIL
900
C5315.blif_0.10_0.20_0_1_out_exact
FAIL
900
stmt17_86_98
FAIL
900
test1_quant3
FAIL
900
ev-pr-8x8-15-7-0-1-2-lg
FAIL
900
test4_quant_squaring2
FAIL
900
adder-12-unsat
FAIL
900
ev-pr-6x6-15-5-0-1-2-s
FAIL
900
C5315.blif_0.10_0.20_0_0_inp_exact
FAIL
900
bobsmfpu
FAIL
900
Contact
|
Organization
|
Links
|
Citing QBFLIB