Benchmark

non-incremental/QF_BV/asp/MazeGeneration/maze-generation-width=21-height=21-density=0.01-run=1.smt2 

Benchmark without description.
Benchmark
Size742773
Compressed Size83374
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 742765
Compressed Size83377
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants9722
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true2330 not5238 or1447 and4784
=>440 =9086 bvugt1354

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 144.90700 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 31.50400 —
abziz_portfolio_2011_solvers_2 default sat ✅ 31.60870 —
abziz_portfolio_2012_minfeatures default sat ✅ 155.30600 —
abziz_portfolio_2012_solvers default sat ✅ 92.95990 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 31.63240 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 48.42400 —
Boolector-SMT-COMP-2011 default sat ✅ 25.62760 —
Boolector-SMT-COMP-2012 default sat ✅ 87.48740 —
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 sat ✅ 7.32319 —
CVC4-SMT-EVAL-2013 default sat ✅ 2.99357 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unknown ❌ — —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 705.52100 —
MathSAT5-SMT-COMP-2011 default unknown ❌ — —
MathSAT5-SMT-COMP-2012 default sat ✅ 1093.47000 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 373.29100 —
SONOLAR-SMT-COMP-2010 default sat ✅ 140.27900 —
SONOLAR-SMT-COMP-2011 default sat ✅ 400.35200 —
SONOLAR-SMT-COMP-2012 default sat ✅ 594.12000 —
STP STP2-SMT-COMP-2011 default sat ✅ 353.22300 —
STP2-SMT-COMP-2012 default sat ✅ 124.75500 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 109.10200 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 75.26410 —
Z3-SMT-COMP-2011 default sat ✅ 72.64420 —
SMT-COMP 2015 0.14 (6/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 20.36280 20.36590
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 2.75422 5.15022
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 2.67483 4.98224
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 1342.65000 1343.07000
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2400.45000
STP stp-cryptominisat4 default sat ✅ 143.80400 143.81400
stp-cmsat4-v15 default sat ✅ 1042.15000 1042.54000
stp-cmsat4-mt-v15 default unknown ❌ 0.77628 0.77488
stp-minisat-v15 default sat ✅ 626.78700 627.02200
Yices2 Yices default sat ✅ 767.33200 767.51400
Z3 z3 4.4.0 default sat ✅ 63.00010 63.02540
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 1251.29000 1252.00000
ABC_glucose glucose sat ✅ 78.61200 78.65180
Boolector Boolector boolector sat ✅ 40.07690 40.09950
Boolector preprop boolector sat ✅ 40.21290 40.23620
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 43.13720 86.17210
MapleSTP MapleSTP default sat ✅ 18.20500 18.21440
MapleSTP-mt default sat ✅ 13.35800 50.78030
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 1357.91000 1358.52000
MinkeyRink Minkeyrink 2016 default sat ✅ 66.73820 257.63500
Q3B Q3B default unknown ❌ 2400.05000 7203.50000
STP stp-cms-exp-2016 default sat ✅ 1839.56000 1840.75000
stp-cms-mt-2016 default sat ✅ 162.95500 641.16400
stp-cms-st-2016 default sat ✅ 229.24900 229.38300
stp-minisat-st-2016 default sat ✅ 890.88500 891.36200
Yices2 Yices-2.4.2 default sat ✅ 319.62400 319.78600
Z3 z3-4.4.1 default sat ✅ 60.15930 60.19630
SMT-COMP 2017 0.25 (6/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 19.28310 19.28280
Boolector SMT17 final boolector sat ✅ 49.40930 49.40930
CVC4 CVC4-smtcomp2017-main default sat ✅ 2.79127 5.18174
MathSAT mathsat-5.4.1-linux-x86_64-Main default unknown ❌ 600.06600 599.89000
MinkeyRink MinkeyRink 2017.3a default sat ✅ 27.94290 50.64000
Q3B Q3B default unknown ❌ 600.05900 1787.12000
STP stp_st default sat ✅ 273.80900 273.79600
stp_mt default sat ✅ 237.39900 752.42200
Yices2 Yices2-Main default sat ✅ 433.44200 433.29700
Z3 z3-4.5.0 default sat ✅ 80.51500 80.51270
SMT-COMP 2018 0.14 (6/7) Boolector Boolector_default sat ✅ 16.54780 16.54700
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 13.79900 13.79880
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unknown ❌ 1200.01000 1199.92000
MinkeyRink Minkeyrink MT_mt sat ✅ 31.13760 121.22500
Minkeyrink ST_st sat ✅ 29.03970 29.03850
STP STP-CMS-st-2018_default-no-stderr sat ✅ 29.56200 29.55860
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 29.14310 113.46000
STP-Riss-st-2018_riss-no-stderr sat ✅ 182.63800 182.63800
Yices2 Yices 2.6.0_default sat ✅ 126.32000 126.32700
Z3 z3-4.7.1_default sat ✅ 96.29520 96.29330
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 23.05940 23.05990
MathSAT mathsat-5.6.6_default sat ✅ 420.63000 420.52500
STP STP 2021.0_default sat ✅ 27.95020 108.56100
Z3 z3-4.8.11_default sat ✅ 58.58810 58.56930
SMT-COMP 2025 Bitwuzla Bitwuzla sat ✅ 14.39020 14.25603
Bitwuzla-MachBV-base sat ✅ 9.38432 9.25631
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 4.42527 4.29821
BVDecide bv_decide sat ✅ 478.38053 478.17846
bv_decide-nokernel sat ✅ 95.86023 95.70709
cvc5 cvc5 sat ✅ 15.73426 15.61518
SMTInterpol SMTInterpol sat ✅ 3.72993 10.46896
Yices2 Yices2 sat ✅ 5.57977 5.45019
Z3alpha Z3-alpha sat ✅ 32.03739 126.26405
Z3 Z3-alpha-base sat ✅ 2.43604 2.30676
Z3-Owl-base sat ✅ 9.39497 9.26832
z3siri-base sat ✅ 2.46675 2.33968
Z3-Owl Z3-Owl sat ✅ 1014.63628 1014.40838