Benchmark

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

Generated by Roberto Bruttomesso
Benchmark
Size75498
Compressed Size2857
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 75490
Compressed Size2867
Max. Term Depth7
Asserts 1
Declared Functions0
Declared Constants485
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

ite384 not106 or1 and2
=785 concat384 extract1152 bvxor384

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.44 (5/9) 4Simp 4Simp-SMT-COMP-2012 default unknown ❌ — —
Abziz abziz_portfolio_2011_minfeatures_2 default unsat ✅ 2.04639 —
abziz_portfolio_2011_solvers_2 default unknown ❌ — —
abziz_portfolio_2012_minfeatures default unsat ✅ 2.09120 —
abziz_portfolio_2012_solvers default unknown ❌ — —
AbzizPortfolio-SMT-COMP-2012 default unknown ❌ — —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default unsat ✅ 26.70830 —
Boolector-SMT-COMP-2011 default unknown ❌ — —
Boolector-SMT-COMP-2012 default unknown ❌ — —
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 unsat ✅ 18.92510 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unsat ✅ 54.67570 —
MathSAT5-HeavyBV-SMT-COMP-2012 default unknown ❌ — —
MathSAT5-SMT-COMP-2011 default unknown ❌ — —
MathSAT5-SMT-COMP-2012 default unknown ❌ — —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default unknown ❌ — —
SONOLAR-SMT-COMP-2010 default unsat ✅ 194.04600 —
SONOLAR-SMT-COMP-2011 default unknown ❌ — —
SONOLAR-SMT-COMP-2012 default unknown ❌ — —
STP STP2-SMT-COMP-2011 default unknown ❌ — —
STP2-SMT-COMP-2012 default unknown ❌ — —
simplifyingSTP-SMT-COMP-2010 default unknown ❌ — —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default unknown ❌ — —
Z3-SMT-COMP-2011 default unknown ❌ — —
SMT-COMP 2014 4Simp 4Simp - 2014 default unsat ✅ 3.60995 3.60945
Abziz abziz_portfolio_all_features default unsat ✅ 2.65222 2.63860
abziz_portfolio_min_features default unsat ✅ 2.69317 2.68159
Boolector Boolector boolector unsat ✅ 46.65710 46.66690
CVC4 CVC4 f7118b2 default unsat ✅ 4.16062 8.26074
MathSAT MathSAT-5.2.12-Main default unsat ✅ 59.53170 59.54690
SONOLAR sonolar_smtcomp-2014 default unsat ✅ 4.70551 4.69529
STP stp-cryptominisat4 default unsat ✅ 26.63370 26.63590
Yices2 Yices-2.2.1-smtcomp2014 default unsat ✅ 26.99670 26.99390
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default unsat ✅ 26.77730 26.77490
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv unsat ✅ 20.55030 20.55290
CVC4 CVC4-master-2015-06-15-9b32405-main default unsat ✅ 3.94993 7.84681
CVC4-experimental-2015-06-15-ff5745a-main default unsat ✅ 3.86749 7.68683
MathSAT MathSat 5.3.6 main smtcomp2015_main unsat ✅ 18.78700 18.79510
SMT-RAT SMT-RAT-final default unsat ✅ 144.52900 144.55800
STP stp-cryptominisat4 default unsat ✅ 23.86640 23.87740
stp-cmsat4-v15 default unsat ✅ 7.85601 7.85781
stp-cmsat4-mt-v15 default unknown ❌ 0.64685 0.64590
stp-minisat-v15 default unsat ✅ 19.66910 19.66800
Yices2 Yices default unsat ✅ 21.92610 21.92970
Z3 z3 4.4.0 default unsat ✅ 24.16860 24.18030
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc unknown ❌ 91.95350 89.95340
ABC_glucose glucose unsat ✅ 29.47610 29.48480
Boolector Boolector boolector unsat ✅ 20.37430 20.38410
Boolector preprop boolector unsat ✅ 22.04270 22.05540
CVC4 CVC4-master-2016-05-27-cfef263-main default unsat ✅ 3.70722 7.37045
MapleSTP MapleSTP default unsat ✅ 87.32870 87.36690
MapleSTP-mt default unsat ✅ 80.28290 316.21000
MathSAT mathsat-5.3.11-linux-x86_64-Main default unsat ✅ 20.44870 20.46070
MinkeyRink Minkeyrink 2016 default unsat ✅ 13.76780 46.76960
Q3B Q3B default unknown ❌ 2400.05000 7204.56000
STP stp-cms-exp-2016 default unsat ✅ 7.56463 7.56892
stp-cms-mt-2016 default unsat ✅ 8.73535 32.32410
stp-cms-st-2016 default unsat ✅ 8.23500 8.23975
stp-minisat-st-2016 default unsat ✅ 159.02800 159.10500
Yices2 Yices-2.4.2 default unsat ✅ 28.67420 28.69060
Z3 z3-4.4.1 default unsat ✅ 23.14690 23.16120
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector unsat ✅ 22.48490 22.48360
Boolector SMT17 final boolector unsat ✅ 22.80240 22.80040
CVC4 CVC4-smtcomp2017-main default unsat ✅ 4.12308 8.19944
MathSAT mathsat-5.4.1-linux-x86_64-Main default unsat ✅ 15.91610 15.90650
MinkeyRink MinkeyRink 2017.3a default unsat ✅ 11.61760 17.76000
Q3B Q3B default unknown ❌ 600.02000 1799.68000
STP stp_st default unsat ✅ 9.14618 9.13961
stp_mt default unsat ✅ 9.27636 34.19540
Yices2 Yices2-Main default unsat ✅ 24.23030 24.22790
Z3 z3-4.5.0 default unsat ✅ 18.33950 18.33690
SMT-COMP 2018 Boolector Boolector_default unsat ✅ 22.56440 22.56250
CVC4 master-2018-06-10-b19c840-competition-default_default unsat ✅ 15.64210 15.64260
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unsat ✅ 14.55480 14.55540
MinkeyRink Minkeyrink MT_mt unsat ✅ 20.60150 79.55700
Minkeyrink ST_st unsat ✅ 15.03880 15.03890
STP STP-CMS-st-2018_default-no-stderr unsat ✅ 14.41690 14.41630
STP-CMS-mt-2018_multicore-no-stderr unsat ✅ 19.11310 73.22190
STP-Riss-st-2018_riss-no-stderr unsat ✅ 32.55080 32.54690
Yices2 Yices 2.6.0_default unsat ✅ 25.90580 25.90480
Z3 z3-4.7.1_default unsat ✅ 70.12180 70.12380
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default unsat ✅ 15.42050 15.41790
cvc5 cvc5-default-2023-05-16-ea045f305_sq unsat ✅ 13.03510 13.03570
STP STP 2022.4_default unsat ✅ 6.66761 6.66724
STP 2022.4_default unsat ✅ 6.67299 6.67267
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.03000 1234.34000
Yices2 Yices 2 for SMTCOMP 2023_default unsat ✅ 26.80430 26.80320
Z3-Owl z3-Owl-Final_default unsat ✅ 40.22660 40.20760
z3-Owl-Final_default unsat ✅ 41.07620 41.05650
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla unsat ✅ 8.21046 8.11069
cvc5 cvc5 unsat ✅ 7.96945 7.85952
SMTInterpol SMTInterpol unknown ❌ 1201.72034 1251.45693
STP STP unsat ✅ 4.14757 4.04716
Yices2 Yices2 unsat ✅ 5.31395 5.21141
Z3alpha Z3-alpha unsat ✅ 153.72329 153.59105