Benchmark

non-incremental/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331205.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
Size570258
Compressed Size78555
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 570250
Compressed Size78562
Max. Term Depth5
Asserts 4967
Declared Functions0
Declared Constants5225
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

ite2589 =>4 =8981 distinct38
concat14 extract1375 bvand131 bvor3
bvadd130 bvurem21 bvult278 bvule10
bvslt25 bvshl14 sign_extend237

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 7.30410 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 9.08323 —
abziz_portfolio_2011_solvers_2 default sat ✅ 11.51050 —
abziz_portfolio_2012_minfeatures default sat ✅ 12.48790 —
abziz_portfolio_2012_solvers default sat ✅ 5.81157 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 9.04684 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 2.01079 —
Boolector-SMT-COMP-2011 default sat ✅ 36.27990 —
Boolector-SMT-COMP-2012 default sat ✅ 0.47291 —
CVC3 CVC3-SMT-COMP-2010 default unknown ❌ — —
CVC3-SMT-COMP-2011 default unknown ❌ — —
CVC3-SMT-COMP-2012 default unknown ❌ — —
CVC4 CVC4-SMT-COMP-2012-Resubmission default unknown ❌ — —
CVC4-SMT-EVAL-2013 default sat ✅ 58.78620 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 509.50300 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 64.47970 —
MathSAT5-SMT-COMP-2011 default sat ✅ 18.13820 —
MathSAT5-SMT-COMP-2012 default sat ✅ 12.22660 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 5.39126 —
SONOLAR-SMT-COMP-2010 default sat ✅ 36.52450 —
SONOLAR-SMT-COMP-2011 default sat ✅ 11.85020 —
SONOLAR-SMT-COMP-2012 default sat ✅ 14.90830 —
STP STP2-SMT-COMP-2011 default sat ✅ 3.76608 —
STP2-SMT-COMP-2012 default sat ✅ 7.17066 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 6.97929 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 7.35288 —
Z3-SMT-COMP-2011 default sat ✅ 6.13921 —
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 0.14764 0.14744
Boolector SMT17 final boolector sat ✅ 0.16897 0.16691
CVC4 CVC4-smtcomp2017-main default sat ✅ 42.16410 84.22390
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 71.37640 71.37150
MinkeyRink MinkeyRink 2017.3a default sat ✅ 5.65599 5.69398
Q3B Q3B default unknown ❌ 600.04200 1785.85000
STP stp_st default sat ✅ 5.60644 5.60490
stp_mt default sat ✅ 6.58460 18.56500
Yices2 Yices2-Main default sat ✅ 0.44062 0.43985
Z3 z3-4.5.0 default sat ✅ 8.52837 8.52589
SMT-COMP 2018 Boolector Boolector_default sat ✅ 0.13785 0.13779
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 39.59740 39.59720
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 106.59200 106.58900
MinkeyRink Minkeyrink MT_mt sat ✅ 7.99306 24.75730
Minkeyrink ST_st sat ✅ 6.72093 6.72094
STP STP-CMS-st-2018_default-no-stderr sat ✅ 3.53016 3.53004
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 4.28822 10.07220
STP-Riss-st-2018_riss-no-stderr sat ✅ 18.90240 18.89820
Yices2 Yices 2.6.0_default sat ✅ 0.39092 0.39078
Z3 z3-4.7.1_default sat ✅ 8.45104 8.45040
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 0.18272 0.18269
Poolector-wrapped-sq_default sat ✅ 0.38364 0.32215
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 13.54550 13.54260
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 10.13110 10.13020
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 4.41638 11.18160
MinkeyRink ST-wrapped-sq_default sat ✅ 5.23093 5.23030
Par4 Par4-wrapped-sq_default sat ✅ 0.15969 0.00587
STP STP-2019-wrapped-sq_default sat ✅ 5.95925 5.95884
stp-mergesat-fixed-wrapped-sq_default sat ✅ 8.98615 8.98560
stp-minisat-wrapped-sq_default sat ✅ 4.35183 4.35146
stp-mt-wrapped-sq_default sat ✅ 5.58517 15.21740
stp-portfolio-fixed-wrapped-sq_default sat ✅ 9.36820 16.31390
stp-riss-wrapped-sq_default unknown ❌ 2.29938 2.29954
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 0.45848 0.45841
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 1.04127 1.04117
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 28.71780 28.71080
Yices 2.6.2 MCSAT BV-wrapped-sq_default sat ✅ 1703.23000 1703.07000
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 1.43356 1.43347
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 11.61160 11.61080
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 0.78993 0.78974
MathSAT mathsat-5.6.6_default sat ✅ 63.30050 63.29460
STP STP 2021.0_default sat ✅ 2.60636 4.53004
Z3 z3-4.8.11_default sat ✅ 14.53400 14.53400
SMT-COMP 2022 Bitwuzla Bitwuzla-fixed_default sat ✅ 0.80353 0.80221
Bitwuzla-wrapped_default sat ✅ 0.82826 0.82826
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 13.05000 13.04770
MathSAT MathSAT-5.6.8_default sat ✅ 19.21080 19.20920
STP STP 2022.4_default sat ✅ 3.16455 3.16440
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 1.23785 1.23771
Z3++BV z3++bv_0702_default sat ✅ 4.91287 4.90891
Z3 z3-4.8.17_default sat ✅ 17.06150 17.06030
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 2.97911 2.97891
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 36.49480 36.48820
STP STP 2022.4_default sat ✅ 3.13008 3.12920
STP 2022.4_default sat ✅ 3.13419 3.13299
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 5.65343 15.74240
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 0.46792 0.46781
Z3-Owl z3-Owl-Final_default sat ✅ 75.22840 75.21020
z3-Owl-Final_default sat ✅ 74.06410 74.03540
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 1.89805 1.79834
cvc5 cvc5 sat ✅ 8.50125 8.39672
SMTInterpol SMTInterpol unknown ❌ 1201.71823 1284.87787
STP STP sat ✅ 2.66290 2.56223
Yices2 Yices2 sat ✅ 1.51148 1.41147
Z3alpha Z3-alpha sat ✅ 1.46660 1.36657
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla sat ✅ 0.79768 0.66695
Bitwuzla-MachBV-base sat ✅ 1.39076 1.27125
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 0.90936 0.78875
BVDecide bv_decide sat ✅ 153.72499 153.60910
bv_decide-nokernel sat ✅ 60.68879 60.59960
cvc5 cvc5 sat ✅ 30.76293 30.63459
SMTInterpol SMTInterpol unknown ❌ 1201.46860 1239.96351
Yices2 Yices2 sat ✅ 0.72987 0.60770
Z3alpha Z3-alpha sat ✅ 12.83588 48.59584
Z3 Z3-alpha-base sat ✅ 9.69465 9.56474
Z3-Owl-base sat ✅ 30.93391 30.79766
z3siri-base sat ✅ 9.83750 9.71634
Z3-Owl Z3-Owl sat ✅ 30.01652 29.88424