Benchmark

non-incremental/QF_BV/Sage2/bench_5439.smt2 

Patrice Godefroid, SAGE (systematic dynamic test generation). For more information: http://research.microsoft.com/en-us/um/people/pg/public_psfiles/ndss2008.pdf
Benchmark
Size17568
Compressed Size2009
License Creative Commons Attribution 4.0 International (CC-BY-4.0)
Categoryindustrial
First Occurrence2015-07-02
Generated By—
Generated On—
Generator—
Dolmen OK1
strict Dolmen OK1
check-sat calls1
Query 1
Status sat
Inferred Status sat
Size 17560
Compressed Size1999
Max. Term Depth60
Asserts 121
Declared Functions0
Declared Constants19
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true1 not96 =101 let317
bvadd42 bvmul42 bvult19 zero_extend137

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 34.51890 34.51530
Boolector SMT17 final boolector sat ✅ 170.75700 170.74800
CVC4 CVC4-smtcomp2017-main default sat ✅ 13.23670 26.53660
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 18.35210 18.35090
MinkeyRink MinkeyRink 2017.3a default sat ✅ 5.96844 6.74000
Q3B Q3B default unknown ❌ 600.03200 1799.27000
STP stp_st default sat ✅ 3.58528 3.58374
stp_mt default sat ✅ 1.19664 4.39043
Yices2 Yices2-Main default sat ✅ 13.29950 13.29660
Z3 z3-4.5.0 default sat ✅ 122.68900 122.66900
SMT-COMP 2018 Boolector Boolector_default sat ✅ 10.38470 10.38410
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 329.52900 329.48700
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 34.34180 34.33960
MinkeyRink Minkeyrink MT_mt sat ✅ 0.40736 1.33818
Minkeyrink ST_st sat ✅ 0.39052 0.39012
STP STP-CMS-st-2018_default-no-stderr sat ✅ 2.44030 2.44020
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 4.94380 19.27530
STP-Riss-st-2018_riss-no-stderr sat ✅ 3.67248 3.67264
Yices2 Yices 2.6.0_default sat ✅ 102.81600 102.80400
Z3 z3-4.7.1_default sat ✅ 95.80910 95.78960
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 15.04100 15.04110
Poolector-wrapped-sq_default sat ✅ 16.39600 64.45100
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 106.05800 106.05400
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 11.32580 11.32530
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 3.31009 12.86690
MinkeyRink ST-wrapped-sq_default sat ✅ 5.14738 5.14745
Par4 Par4-wrapped-sq_default sat ✅ 46.19520 138.26000
STP STP-2019-wrapped-sq_default sat ✅ 4.86960 4.86962
stp-mergesat-fixed-wrapped-sq_default sat ✅ 6.90320 6.90073
stp-minisat-wrapped-sq_default sat ✅ 17.81160 17.80700
stp-mt-wrapped-sq_default sat ✅ 2.66000 10.21350
stp-portfolio-fixed-wrapped-sq_default sat ✅ 18.38000 30.31230
stp-riss-wrapped-sq_default unknown ❌ 0.10646 0.10665
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 254.64300 254.65300
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 64.74390 64.74010
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 17.69250 17.69320
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.01000 2399.76000
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 203.88600 203.85800
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 1155.72000 1155.60000
SMT-COMP 2020 0.11 (8/9) Bitwuzla Bitwuzla-fixed_default sat ✅ 4.69117 4.69121
Boolector Boolector-wrapped-sq_default sat ✅ 4.83318 4.83230
Poolector-wrapped-sq_default sat ✅ 5.39698 20.94000
CVC4 CVC4-sq-final_default sat ✅ 60.02830 60.01730
LazyBV2Int LazyBV2Int20200523_default.sh unknown ❌ 1200.04000 1199.98000
MathSAT MathSAT5_default.sh sat ✅ 16.58790 16.58600
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 0.08497 0.08520
MinkeyRink Solver 2020.3_default sat ✅ 5.66036 22.22140
STP STP_default sat ✅ 1.38749 5.24761
STP ++ Mergsat v1_default sat ✅ 8.00842 8.00656
Yices2 Yices 2.6.2 bug fix_default sat ✅ 25.00370 25.00510
Z3 z3-4.8.8_default sat ✅ 89.58240 89.57910
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 4.34994 4.34958
MathSAT mathsat-5.6.6_default sat ✅ 13.70060 13.69970
STP STP 2021.0_default sat ✅ 1.62267 12.12110
Z3 z3-4.8.11_default sat ✅ 31.54260 31.54250
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 8.90029 8.89972
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 87.29690 87.29540
STP STP 2022.4_default sat ✅ 1.90234 1.90248
STP 2022.4_default sat ✅ 1.90797 1.90785
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.13000 1236.00000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 94.35280 94.34780
Z3-Owl z3-Owl-Final_default sat ✅ 10.58990 10.58930
z3-Owl-Final_default sat ✅ 34.52990 34.52860