Benchmark

non-incremental/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352895.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
Size1048455
Compressed Size148322
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 1048447
Compressed Size148329
Max. Term Depth5
Asserts 8954
Declared Functions0
Declared Constants9511
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

ite5340 =>5 =16556 distinct51
concat9 extract2477 bvand285 bvadd158
bvurem9 bvsub10 bvult422 bvule28
bvslt3 bvsle1 bvshl9 sign_extend272

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 11.44760 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 35.67050 —
abziz_portfolio_2011_solvers_2 default sat ✅ 12.94220 —
abziz_portfolio_2012_minfeatures default sat ✅ 35.53500 —
abziz_portfolio_2012_solvers default sat ✅ 6.05131 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 8.22994 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 9.14247 —
Boolector-SMT-COMP-2011 default sat ✅ 30.10370 —
Boolector-SMT-COMP-2012 default sat ✅ 0.57076 —
CVC3 CVC3-SMT-COMP-2010 default unknown ❌ 259.22400 —
CVC3-SMT-COMP-2011 default unknown ❌ — —
CVC3-SMT-COMP-2012 default unknown ❌ — —
CVC4 CVC4-SMT-COMP-2012-Resubmission default sat ✅ 42.49510 —
CVC4-SMT-EVAL-2013 default sat ✅ 27.35360 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 238.49800 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 137.72500 —
MathSAT5-SMT-COMP-2011 default sat ✅ 34.93090 —
MathSAT5-SMT-COMP-2012 default sat ✅ 29.81970 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 5.61009 —
SONOLAR-SMT-COMP-2010 default sat ✅ 17.30480 —
SONOLAR-SMT-COMP-2011 default sat ✅ 17.11810 —
SONOLAR-SMT-COMP-2012 default sat ✅ 15.01500 —
STP STP2-SMT-COMP-2011 default sat ✅ 2.78072 —
STP2-SMT-COMP-2012 default sat ✅ 16.27430 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 39.91940 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 8.85457 —
Z3-SMT-COMP-2011 default sat ✅ 7.42810 —
SMT-COMP 2014 4Simp 4Simp - 2014 default sat ✅ 14.44510 14.45180
Abziz abziz_portfolio_all_features default sat ✅ 50.51790 50.42910
abziz_portfolio_min_features default sat ✅ 50.54410 50.46410
Boolector Boolector boolector sat ✅ 25.36970 25.37310
CVC4 CVC4 f7118b2 default sat ✅ 47.67700 95.01460
MathSAT MathSAT-5.2.12-Main default sat ✅ 582.03100 582.11100
SONOLAR sonolar_smtcomp-2014 default sat ✅ 6.92004 6.90795
STP stp-cryptominisat4 default sat ✅ 6.67129 6.66499
Yices2 Yices-2.2.1-smtcomp2014 default sat ✅ 0.56222 0.55392
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default sat ✅ 9.31440 9.30858
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 0.30309 0.30221
Boolector SMT17 final boolector sat ✅ 0.36956 0.36944
CVC4 CVC4-smtcomp2017-main default sat ✅ 60.09370 120.03300
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 176.51900 176.45700
MinkeyRink MinkeyRink 2017.3a default sat ✅ 8.02336 8.13340
Q3B Q3B default unknown ❌ 600.11000 1799.87000
STP stp_st default sat ✅ 8.60267 8.60314
stp_mt default sat ✅ 12.03780 30.41610
Yices2 Yices2-Main default sat ✅ 0.55396 0.55282
Z3 z3-4.5.0 default sat ✅ 9.62004 9.61882
SMT-COMP 2018 Boolector Boolector_default sat ✅ 0.40369 0.40356
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 62.68310 62.67930
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 327.00300 326.91600
MinkeyRink Minkeyrink MT_mt sat ✅ 10.38090 33.17600
Minkeyrink ST_st sat ✅ 11.24120 11.24020
STP STP-CMS-st-2018_default-no-stderr sat ✅ 3.00364 3.00374
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 3.22640 4.29182
STP-Riss-st-2018_riss-no-stderr sat ✅ 26.50900 26.50810
Yices2 Yices 2.6.0_default sat ✅ 0.49363 0.49354
Z3 z3-4.7.1_default sat ✅ 11.32830 11.32730
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 0.41515 0.41515
Poolector-wrapped-sq_default sat ✅ 0.69386 2.16000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 5.98359 5.98136
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 39.92600 39.92570
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 6.44201 18.53410
MinkeyRink ST-wrapped-sq_default sat ✅ 5.58340 5.58294
Par4 Par4-wrapped-sq_default sat ✅ 0.38053 0.00584
STP STP-2019-wrapped-sq_default sat ✅ 8.52337 8.52324
stp-mergesat-fixed-wrapped-sq_default sat ✅ 28.28640 28.28400
stp-minisat-wrapped-sq_default sat ✅ 11.07930 11.07780
stp-mt-wrapped-sq_default sat ✅ 11.54810 36.21860
stp-portfolio-fixed-wrapped-sq_default sat ✅ 28.68140 43.68780
stp-riss-wrapped-sq_default unknown ❌ 2.96025 2.93996
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 0.57713 0.57710
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 1.52018 1.52025
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 44.38920 44.38640
Yices 2.6.2 MCSAT BV-wrapped-sq_default sat ✅ 545.54500 545.48600
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 2.06225 2.06216
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 8.84563 8.84494
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 1.34709 1.34291
MathSAT mathsat-5.6.6_default sat ✅ 53.81800 53.80970
STP STP 2021.0_default sat ✅ 2.80021 3.55743
Z3 z3-4.8.11_default sat ✅ 13.22530 26.32420
SMT-COMP 2022 Bitwuzla Bitwuzla-fixed_default sat ✅ 1.09502 1.09491
Bitwuzla-wrapped_default sat ✅ 1.86719 1.86686
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 66.76500 66.75970
MathSAT MathSAT-5.6.8_default sat ✅ 69.35680 69.35380
STP STP 2022.4_default sat ✅ 2.67315 2.67304
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 1.35758 1.35742
Z3++BV z3++bv_0702_default sat ✅ 4.85507 4.84748
Z3 z3-4.8.17_default sat ✅ 13.59290 13.59410
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 3.79479 3.69344
cvc5 cvc5 sat ✅ 48.21279 48.10258
SMTInterpol SMTInterpol unknown ❌ 1201.74364 1299.23435
STP STP sat ✅ 2.66144 2.56149
Yices2 Yices2 sat ✅ 2.50703 2.40566
Z3alpha Z3-alpha sat ✅ 6.72139 6.62070