Benchmark

non-incremental/QF_BV/spear/wget_v1.10.2/src_wget_vc18511.smt2 

Benchmarks generated by the Calysto static checker.  Provided by Domagoj
Babic.  See http://www.cs.ubc.ca/~babic/index_benchmarks.htm.  Translated using
Spear Sf2Smt translator.
Benchmark
Size31387
Compressed Size4742
License Creative Commons Attribution 4.0 International (CC-BY-4.0)
Categoryindustrial
First Occurrence2007-07-03
Generated By—
Generated On—
Generator—
Dolmen OK1
strict Dolmen OK1
check-sat calls1
Query 1
Status sat
Inferred Status sat
Size 31379
Compressed Size4755
Max. Term Depth4
Asserts 298
Declared Functions0
Declared Constants320
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

ite46 =>2 =436 distinct7
extract94 bvand49 bvadd9 bvmul5
bvsub7 bvsdiv7 bvslt29 bvsle34
sign_extend12

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2010 0.33 (2/3) CVC3 CVC3 2.3 unknown ❌ 1200.30000 —
SONOLAR SONOLAR r252 sat ✅ 191.70000 —
STP simplifyingSTP sat ✅ 78.40000 —
SMT-COMP 2011 0.17 (5/6) Boolector Boolector 1.5.23-833 sat ✅ 32.60000 —
CVC3 CVC3 v2.4 unknown ❌ 1105.10000 —
MathSAT MathSAT5 sat ✅ 12.20000 —
SONOLAR SONOLAR sat ✅ 26.60000 —
STP simplifyingSTP sat ✅ 6.60000 —
STP2 sat ✅ 6.70000 —
Z3 Z3 sat ✅ 22.60000 —
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 3.00992 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 9.20719 —
abziz_portfolio_2011_solvers_2 default sat ✅ 10.71090 —
abziz_portfolio_2012_minfeatures default sat ✅ 108.07000 —
abziz_portfolio_2012_solvers default sat ✅ 11.98890 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 9.21187 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 11.51460 —
Boolector-SMT-COMP-2011 default sat ✅ 19.20110 —
Boolector-SMT-COMP-2012 default sat ✅ 6.89060 —
CVC3 CVC3-SMT-COMP-2010 default unknown ❌ 962.38700 —
CVC3-SMT-COMP-2011 default unknown ❌ — —
CVC3-SMT-COMP-2012 default unknown ❌ — —
CVC4 CVC4-SMT-COMP-2012-Resubmission default sat ✅ 410.40600 —
CVC4-SMT-EVAL-2013 default sat ✅ 157.03500 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 7.83430 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 20.19490 —
MathSAT5-SMT-COMP-2011 default sat ✅ 5.19401 —
MathSAT5-SMT-COMP-2012 default sat ✅ 8.61109 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 5.65554 —
SONOLAR-SMT-COMP-2010 default sat ✅ 79.33420 —
SONOLAR-SMT-COMP-2011 default sat ✅ 5.55550 —
SONOLAR-SMT-COMP-2012 default sat ✅ 7.25084 —
STP STP2-SMT-COMP-2011 default sat ✅ 4.13631 —
STP2-SMT-COMP-2012 default sat ✅ 102.28100 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 52.62520 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 24.81670 —
Z3-SMT-COMP-2011 default sat ✅ 23.10740 —
SMT-COMP 2014 4Simp 4Simp - 2014 default sat ✅ 3.45074 3.44848
Abziz abziz_portfolio_all_features default sat ✅ 7.86915 7.75557
abziz_portfolio_min_features default sat ✅ 13.79170 13.67270
Boolector Boolector boolector sat ✅ 25.59700 25.59810
CVC4 CVC4 f7118b2 default sat ✅ 22.10480 44.27830
MathSAT MathSAT-5.2.12-Main default sat ✅ 54.64720 54.65070
SONOLAR sonolar_smtcomp-2014 default sat ✅ 6.60783 6.60699
STP stp-cryptominisat4 default sat ✅ 2.95405 2.95355
Yices2 Yices-2.2.1-smtcomp2014 default sat ✅ 4.84901 4.84126
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default sat ✅ 24.33750 24.33930
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 2.74309 2.74178
Boolector SMT17 final boolector sat ✅ 28.41150 28.40800
CVC4 CVC4-smtcomp2017-main default sat ✅ 22.66480 45.41160
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 14.85990 14.85960
MinkeyRink MinkeyRink 2017.3a default sat ✅ 4.21399 4.27352
Q3B Q3B default unknown ❌ 600.05800 1786.73000
STP stp_st default sat ✅ 6.63299 6.63204
stp_mt default sat ✅ 10.57640 29.69100
Yices2 Yices2-Main default sat ✅ 3.00321 3.00159
Z3 z3-4.5.0 default sat ✅ 45.24930 45.24590
SMT-COMP 2018 Boolector Boolector_default sat ✅ 1.28570 1.28555
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 28.76600 28.75970
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 8.17291 8.17361
MinkeyRink Minkeyrink MT_mt sat ✅ 8.22497 28.92010
Minkeyrink ST_st sat ✅ 7.45657 7.45632
STP STP-CMS-st-2018_default-no-stderr sat ✅ 11.85210 11.85210
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 13.84780 51.03040
STP-Riss-st-2018_riss-no-stderr sat ✅ 5.18465 5.17799
Yices2 Yices 2.6.0_default sat ✅ 3.02577 3.02555
Z3 z3-4.7.1_default sat ✅ 27.43660 27.43660
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 9.09281 9.09146
Poolector-wrapped-sq_default sat ✅ 3.31149 12.61000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 70.42880 70.41240
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 108.93300 108.92400
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 11.55350 42.59400
MinkeyRink ST-wrapped-sq_default sat ✅ 3.49656 3.49677
Par4 Par4-wrapped-sq_default sat ✅ 1.28268 3.65000
STP STP-2019-wrapped-sq_default sat ✅ 6.22444 6.22447
stp-mergesat-fixed-wrapped-sq_default sat ✅ 42.43240 42.41760
stp-minisat-wrapped-sq_default sat ✅ 2.46391 2.46419
stp-mt-wrapped-sq_default sat ✅ 7.99567 27.67260
stp-portfolio-fixed-wrapped-sq_default sat ✅ 43.01370 50.85650
stp-riss-wrapped-sq_default unknown ❌ 1.15349 1.15362
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 6.82019 6.81759
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 6.49232 6.49238
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 26.23010 26.22880
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.03000 2398.62000
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 4.08521 4.08484
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 10.94610 10.94540
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 11.27170 11.27140
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 112.51200 112.49300
STP STP 2022.4_default sat ✅ 5.40381 5.40333
STP 2022.4_default sat ✅ 5.32028 5.32054
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 4.58206 12.57470
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 2.25547 2.25270
Z3-Owl z3-Owl-Final_default sat ✅ 43.85220 43.85240
z3-Owl-Final_default sat ✅ 49.63560 49.63820
SMT-COMP 2025 0.22 (7/9) Bitwuzla Bitwuzla sat ✅ 5.55762 5.43498
Bitwuzla-MachBV-base sat ✅ 4.25625 4.13632
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 1.75259 1.62624
BVDecide bv_decide sat ✅ 37.76879 37.66761
bv_decide-nokernel sat ✅ 36.76780 36.66207
cvc5 cvc5 sat ✅ 30.76748 30.64263
SMTInterpol SMTInterpol unknown ❌ 10.17947 25.41418
Yices2 Yices2 sat ✅ 3.85278 3.73200
Z3alpha Z3-alpha sat ✅ 5.79830 21.01180
Z3 Z3-alpha-base unknown ❌ 1201.28210 1200.96852
Z3-Owl-base unknown ❌ 1201.27920 1201.03938
z3siri-base unknown ❌ 1201.30131 1201.01718
Z3-Owl Z3-Owl sat ✅ 23.85283 23.72173