Benchmark

non-incremental/QF_BV/asp/Fastfood/a7.3.3.tweaked.3.asp.smt2 

Benchmark without description.
Benchmark
Size5665227
Compressed Size396500
License Creative Commons Attribution 4.0 International (CC-BY-4.0)
Categoryindustrial
First Occurrence2011-06-30
Generated By—
Generated On—
Generator—
Dolmen OK1
strict Dolmen OK1
check-sat calls1
Query 1
Status sat
Inferred Status sat
Size 5665219
Compressed Size396508
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants82030
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true491 not3303 or3119 and1534
=>3254 =83657 bvsub1624 bvuge3

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 1.00 (0/9) 4Simp 4Simp-SMT-COMP-2012 default unknown ❌ — —
Abziz abziz_portfolio_2011_minfeatures_2 default unknown ❌ — —
abziz_portfolio_2011_solvers_2 default unknown ❌ — —
abziz_portfolio_2012_minfeatures default unknown ❌ — —
abziz_portfolio_2012_solvers default unknown ❌ — —
AbzizPortfolio-SMT-COMP-2012 default unknown ❌ — —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default unknown ❌ — —
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 unknown ❌ — —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unknown ❌ — —
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 unknown ❌ — —
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 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 84.61460 84.64010
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 44.55760 86.49290
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 134.88300 268.09200
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 43.64190 43.66340
SMT-RAT SMT-RAT-final default sat ✅ 148.39900 148.45800
STP stp-cryptominisat4 default sat ✅ 5.92463 5.92610
stp-cmsat4-v15 default sat ✅ 7.86546 7.86580
stp-cmsat4-mt-v15 default unknown ❌ 3.98921 3.98939
stp-minisat-v15 default sat ✅ 10.55990 10.56340
Yices2 Yices default sat ✅ 5.73571 5.73713
Z3 z3 4.4.0 default sat ✅ 11.08780 11.09130
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 21.02960 21.04020
ABC_glucose glucose sat ✅ 84.97180 85.02060
Boolector Boolector boolector sat ✅ 106.55200 106.60000
Boolector preprop boolector sat ✅ 108.63800 108.70000
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 114.59800 227.61000
MapleSTP MapleSTP default sat ✅ 10.16440 10.17020
MapleSTP-mt default sat ✅ 11.89250 33.05720
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 47.40360 47.43640
MinkeyRink Minkeyrink 2016 default sat ✅ 30.79540 41.19810
Q3B Q3B default unknown ❌ 2400.05000 7203.64000
STP stp-cms-exp-2016 default sat ✅ 9.27318 9.27857
stp-cms-mt-2016 default sat ✅ 9.94516 26.41580
stp-cms-st-2016 default sat ✅ 9.83912 9.84516
stp-minisat-st-2016 default sat ✅ 48.03960 48.07000
Yices2 Yices-2.4.2 default sat ✅ 4.17609 4.17843
Z3 z3-4.4.1 default sat ✅ 12.87330 12.88110
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 43.58130 43.57700
Boolector SMT17 final boolector sat ✅ 134.93500 134.90500
CVC4 CVC4-smtcomp2017-main default sat ✅ 16.16130 29.17630
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 46.38310 46.37600
MinkeyRink MinkeyRink 2017.3a default sat ✅ 29.17280 29.27410
Q3B Q3B default unknown ❌ 600.03800 1799.49000
STP stp_st default sat ✅ 15.34210 15.33530
stp_mt default sat ✅ 10.98840 29.44310
Yices2 Yices2-Main default sat ✅ 4.39174 4.39095
Z3 z3-4.5.0 default sat ✅ 9.31839 9.31661
SMT-COMP 2018 Boolector Boolector_default sat ✅ 34.77150 34.77040
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 100.11200 100.10500
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 28.83150 28.83230
MinkeyRink Minkeyrink MT_mt sat ✅ 23.36690 30.73710
Minkeyrink ST_st sat ✅ 24.32310 24.32390
STP STP-CMS-st-2018_default-no-stderr sat ✅ 15.86840 15.86770
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 9.34807 21.95600
STP-Riss-st-2018_riss-no-stderr sat ✅ 25.33410 25.33420
Yices2 Yices 2.6.0_default sat ✅ 3.02449 3.02417
Z3 z3-4.7.1_default sat ✅ 10.40060 10.40060
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 33.40900 33.40740
Poolector-wrapped-sq_default sat ✅ 28.61040 112.99000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 56.56240 56.55640
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 22.58840 22.58950
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 22.91710 30.13410
MinkeyRink ST-wrapped-sq_default sat ✅ 23.84240 23.84010
Par4 Par4-wrapped-sq_default sat ✅ 3.28622 9.63000
STP STP-2019-wrapped-sq_default sat ✅ 11.64270 11.63200
stp-mergesat-fixed-wrapped-sq_default sat ✅ 71.47470 71.47060
stp-minisat-wrapped-sq_default sat ✅ 10.52880 10.52810
stp-mt-wrapped-sq_default sat ✅ 6.41318 11.41100
stp-portfolio-fixed-wrapped-sq_default sat ✅ 71.72440 87.59090
stp-riss-wrapped-sq_default unknown ❌ 4.55073 4.55086
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 3.25901 3.25774
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 11.32370 11.32270
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 22.01460 22.01320
Yices 2.6.2 MCSAT BV-wrapped-sq_default sat ✅ 403.18200 403.17300
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 1.98072 1.98064
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 16.40390 16.40150
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 17.33776 17.23721
cvc5 cvc5 sat ✅ 32.06792 31.96698
SMTInterpol SMTInterpol unknown ❌ 1201.72107 1284.01640
STP STP sat ✅ 6.37578 6.27573
Yices2 Yices2 sat ✅ 4.66161 4.56059
Z3alpha Z3-alpha sat ✅ 22.96589 22.86546
SMT-COMP 2025 0.22 (7/9) Bitwuzla Bitwuzla sat ✅ 11.74198 11.62170
Bitwuzla-MachBV-base sat ✅ 14.67482 14.54954
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 16.66155 16.52793
BVDecide bv_decide unknown ❌ 1201.40248 1200.91932
bv_decide-nokernel unknown ❌ 1201.37697 1201.04322
cvc5 cvc5 sat ✅ 23.72013 23.59546
SMTInterpol SMTInterpol unknown ❌ 1201.58712 1247.13641
Yices2 Yices2 sat ✅ 6.03920 5.92173
Z3alpha Z3-alpha sat ✅ 7.44953 21.83974
Z3 Z3-alpha-base sat ✅ 4.51368 4.38612
Z3-Owl-base sat ✅ 15.55145 15.41995
z3siri-base sat ✅ 4.62016 4.49153
Z3-Owl Z3-Owl sat ✅ 24.36315 24.23723