Benchmark

non-incremental/QF_BV/bruttomesso/lfsr/lfsr_002_095_048.smt2 

Generated by Roberto Bruttomesso
Benchmark
Size19443
Compressed Size1212
License Creative Commons Attribution 4.0 International (CC-BY-4.0)
Categorycrafted
First Occurrence2009-08-02
Generated By—
Generated On—
Generator—
Dolmen OK1
strict Dolmen OK1
check-sat calls1
Query 1
Status unsat
Inferred Status unsat
Size 19435
Compressed Size1204
Max. Term Depth7
Asserts 1
Declared Functions0
Declared Constants147
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

ite96 not51 and2 =197
concat96 extract288 bvxor96

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default unsat ✅ 0.50952 —
Abziz abziz_portfolio_2011_minfeatures_2 default unsat ✅ 0.25551 —
abziz_portfolio_2011_solvers_2 default unsat ✅ 0.25488 —
abziz_portfolio_2012_minfeatures default unsat ✅ 0.25180 —
abziz_portfolio_2012_solvers default unsat ✅ 0.25305 —
AbzizPortfolio-SMT-COMP-2012 default unsat ✅ 0.26304 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default unsat ✅ 2.93751 —
Boolector-SMT-COMP-2011 default unsat ✅ 0.91922 —
Boolector-SMT-COMP-2012 default unsat ✅ 1.69464 —
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 unsat ✅ 0.35779 —
CVC4-SMT-EVAL-2013 default unsat ✅ 5.23817 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unsat ✅ 1.72842 —
MathSAT5-HeavyBV-SMT-COMP-2012 default unsat ✅ 4.79408 —
MathSAT5-SMT-COMP-2011 default unsat ✅ 1.30786 —
MathSAT5-SMT-COMP-2012 default unsat ✅ 1.18922 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default unsat ✅ 0.31384 —
SONOLAR-SMT-COMP-2010 default unsat ✅ 3.69195 —
SONOLAR-SMT-COMP-2011 default unsat ✅ 0.31066 —
SONOLAR-SMT-COMP-2012 default unsat ✅ 0.31620 —
STP STP2-SMT-COMP-2011 default unsat ✅ 0.71181 —
STP2-SMT-COMP-2012 default unsat ✅ 10.20720 —
simplifyingSTP-SMT-COMP-2010 default unsat ✅ 0.92533 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default unsat ✅ 0.81903 —
Z3-SMT-COMP-2011 default unsat ✅ 0.24526 —
SMT-COMP 2014 4Simp 4Simp - 2014 default unsat ✅ 0.39173 0.38194
Abziz abziz_portfolio_all_features default unsat ✅ 0.33818 0.32395
abziz_portfolio_min_features default unsat ✅ 0.33263 0.31595
Boolector Boolector boolector unsat ✅ 2.47364 2.46562
CVC4 CVC4 f7118b2 default unsat ✅ 0.37474 0.70889
MathSAT MathSAT-5.2.12-Main default unsat ✅ 1.15846 1.14982
SONOLAR sonolar_smtcomp-2014 default unsat ✅ 0.45152 0.43993
STP stp-cryptominisat4 default unsat ✅ 0.83536 0.82687
Yices2 Yices-2.2.1-smtcomp2014 default unsat ✅ 0.26262 0.25396
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default unsat ✅ 3.66216 3.65544
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv unsat ✅ 3.77427 3.77443
CVC4 CVC4-master-2015-06-15-9b32405-main default unsat ✅ 0.38127 0.73789
CVC4-experimental-2015-06-15-ff5745a-main default unsat ✅ 0.37095 0.71689
MathSAT MathSat 5.3.6 main smtcomp2015_main unsat ✅ 0.97978 0.97885
SMT-RAT SMT-RAT-final default unsat ✅ 11.10750 11.11130
STP stp-cryptominisat4 default unsat ✅ 0.86478 0.86387
stp-cmsat4-v15 default unsat ✅ 0.79156 0.79088
stp-cmsat4-mt-v15 default unknown ❌ 0.14814 0.14698
stp-minisat-v15 default unsat ✅ 1.04812 1.04684
Yices2 Yices default unsat ✅ 0.24740 0.24596
Z3 z3 4.4.0 default unsat ✅ 2.82409 2.82557
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc unsat ✅ 9.78239 9.78785
ABC_glucose glucose unsat ✅ 3.09295 3.09448
Boolector Boolector boolector unsat ✅ 1.79381 1.79490
Boolector preprop boolector unsat ✅ 1.80757 1.80898
CVC4 CVC4-master-2016-05-27-cfef263-main default unsat ✅ 0.36255 0.70134
MapleSTP MapleSTP default unsat ✅ 0.67226 0.67262
MapleSTP-mt default unsat ✅ 0.79514 2.67067
MathSAT mathsat-5.3.11-linux-x86_64-Main default unsat ✅ 1.10952 1.11119
MinkeyRink Minkeyrink 2016 default unsat ✅ 1.29963 3.57485
Q3B Q3B default unknown ❌ 2400.05000 7204.37000
STP stp-cms-exp-2016 default unsat ✅ 0.63021 0.63076
stp-cms-mt-2016 default unsat ✅ 0.76138 2.52100
stp-cms-st-2016 default unsat ✅ 0.66812 0.66847
stp-minisat-st-2016 default unsat ✅ 6.22181 6.22533
Yices2 Yices-2.4.2 default unsat ✅ 0.25853 0.25864
Z3 z3-4.4.1 default unsat ✅ 2.57501 2.57778
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector unsat ✅ 2.43264 2.43093
Boolector SMT17 final boolector unsat ✅ 2.16015 2.15920
CVC4 CVC4-smtcomp2017-main default unsat ✅ 0.39526 0.76339
MathSAT mathsat-5.4.1-linux-x86_64-Main default unsat ✅ 0.76291 0.76170
MinkeyRink MinkeyRink 2017.3a default unsat ✅ 0.82217 0.81682
Q3B Q3B default unknown ❌ 600.05300 1697.30000
STP stp_st default unsat ✅ 0.80821 0.80824
stp_mt default unsat ✅ 1.15071 2.57026
Yices2 Yices2-Main default unsat ✅ 0.23462 0.23383
Z3 z3-4.5.0 default unsat ✅ 2.41094 2.41013
SMT-COMP 2018 Boolector Boolector_default unsat ✅ 1.83512 1.83491
CVC4 master-2018-06-10-b19c840-competition-default_default unsat ✅ 2.93100 2.93101
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unsat ✅ 3.37130 3.37186
MinkeyRink Minkeyrink MT_mt unsat ✅ 0.74347 2.45924
Minkeyrink ST_st unsat ✅ 0.61625 0.61463
STP STP-CMS-st-2018_default-no-stderr unsat ✅ 0.76500 0.76517
STP-CMS-mt-2018_multicore-no-stderr unsat ✅ 0.85041 2.88446
STP-Riss-st-2018_riss-no-stderr unsat ✅ 6.30268 6.30297
Yices2 Yices 2.6.0_default unsat ✅ 0.23261 0.23256
Z3 z3-4.7.1_default unsat ✅ 2.56697 2.56656
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla unsat ✅ 1.57431 1.47347
cvc5 cvc5 unsat ✅ 0.86038 0.76077
SMTInterpol SMTInterpol unknown ❌ 1201.71975 1230.64521
STP STP unsat ✅ 1.16255 1.06232
Yices2 Yices2 unsat ✅ 0.58993 0.49026
Z3alpha Z3-alpha unsat ✅ 69.21283 69.10958
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla unsat ✅ 1.37952 1.25136
Bitwuzla-MachBV-base unsat ✅ 1.22301 1.09216
Bitwuzla-MachBV Bitwuzla-MachBV unsat ✅ 0.86584 0.74912
BVDecide bv_decide unsat ✅ 5.01632 4.85671
bv_decide-nokernel unsat ✅ 3.36553 3.19725
cvc5 cvc5 unsat ✅ 0.72364 0.59543
SMTInterpol SMTInterpol unknown ❌ 1201.38725 1230.03717
Yices2 Yices2 unsat ✅ 0.28148 0.16214
Z3alpha Z3-alpha unsat ✅ 1.48107 4.50753
Z3 Z3-alpha-base unsat ✅ 0.91589 0.79273
Z3-Owl-base unsat ✅ 3.69369 3.57544
z3siri-base unsat ✅ 1.00275 0.87536
Z3-Owl Z3-Owl unsat ✅ 3.67725 3.55286