Benchmark

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

Benchmark without description.
Benchmark
Size528036
Compressed Size58658
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 unsat
Inferred Status unsat
Size 528028
Compressed Size58645
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants6965
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true1726 not3707 or1030 and3375
=>320 =6518 bvugt954

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default unsat ✅ 63.02540 —
Abziz abziz_portfolio_2011_minfeatures_2 default unsat ✅ 38.28230 —
abziz_portfolio_2011_solvers_2 default unsat ✅ 102.57400 —
abziz_portfolio_2012_minfeatures default unsat ✅ 69.42500 —
abziz_portfolio_2012_solvers default unsat ✅ 68.22320 —
AbzizPortfolio-SMT-COMP-2012 default unsat ✅ 100.50900 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default unsat ✅ 117.56700 —
Boolector-SMT-COMP-2011 default unsat ✅ 95.09970 —
Boolector-SMT-COMP-2012 default unsat ✅ 108.48800 —
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 ✅ 1172.00000 —
CVC4-SMT-EVAL-2013 default unsat ✅ 338.72400 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unsat ✅ 168.32400 —
MathSAT5-HeavyBV-SMT-COMP-2012 default unsat ✅ 414.56500 —
MathSAT5-SMT-COMP-2011 default unsat ✅ 98.12190 —
MathSAT5-SMT-COMP-2012 default unsat ✅ 414.84300 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default unsat ✅ 143.24600 —
SONOLAR-SMT-COMP-2010 default unknown ❌ 299.44300 —
SONOLAR-SMT-COMP-2011 default unsat ✅ 100.97700 —
SONOLAR-SMT-COMP-2012 default unsat ✅ 122.82000 —
STP STP2-SMT-COMP-2011 default unsat ✅ 32.69710 —
STP2-SMT-COMP-2012 default unsat ✅ 217.38600 —
simplifyingSTP-SMT-COMP-2010 default unsat ✅ 381.65700 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default unsat ✅ 227.08300 —
Z3-SMT-COMP-2011 default unsat ✅ 248.95600 —
SMT-COMP 2015 0.14 (6/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv unsat ✅ 53.56130 53.57290
CVC4 CVC4-master-2015-06-15-9b32405-main default unsat ✅ 80.93370 162.05400
CVC4-experimental-2015-06-15-ff5745a-main default unsat ✅ 207.63800 416.32700
MathSAT MathSat 5.3.6 main smtcomp2015_main unsat ✅ 229.99300 230.07100
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2400.56000
STP stp-cryptominisat4 default unsat ✅ 117.62400 117.65800
stp-cmsat4-v15 default unsat ✅ 105.94900 105.96800
stp-cmsat4-mt-v15 default unknown ❌ 0.56414 0.56291
stp-minisat-v15 default unsat ✅ 70.95100 70.97220
Yices2 Yices default unsat ✅ 1074.38000 1074.87000
Z3 z3 4.4.0 default unsat ✅ 241.45200 241.55500
SMT-COMP 2016 0.20 (8/10) ABC ABC_default default_abc unsat ✅ 472.42400 472.71900
ABC_glucose glucose unsat ✅ 48.27050 48.29780
Boolector Boolector boolector unsat ✅ 109.63800 109.70100
Boolector preprop boolector unsat ✅ 111.02700 111.09200
CVC4 CVC4-master-2016-05-27-cfef263-main default unsat ✅ 109.79900 220.13600
MapleSTP MapleSTP default unknown ❌ 2400.02000 2401.37000
MapleSTP-mt default unknown ❌ 2400.06000 9532.04000
MathSAT mathsat-5.3.11-linux-x86_64-Main default unsat ✅ 124.34400 124.40000
MinkeyRink Minkeyrink 2016 default unsat ✅ 75.26810 294.57900
Q3B Q3B default unknown ❌ 2400.05000 7203.90000
STP stp-cms-exp-2016 default unsat ✅ 254.29900 254.44300
stp-cms-mt-2016 default unsat ✅ 96.87240 380.37300
stp-cms-st-2016 default unsat ✅ 327.82400 328.04500
stp-minisat-st-2016 default unsat ✅ 705.85900 706.32000
Yices2 Yices-2.4.2 default unsat ✅ 184.31200 184.42200
Z3 z3-4.4.1 default unsat ✅ 218.61400 218.74200
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector unsat ✅ 60.41660 47.35700
Boolector SMT17 final boolector unsat ✅ 47.46780 47.45820
CVC4 CVC4-smtcomp2017-main default unsat ✅ 401.65500 594.52800
MathSAT mathsat-5.4.1-linux-x86_64-Main default unsat ✅ 197.68300 195.12700
MinkeyRink MinkeyRink 2017.3a default unsat ✅ 50.32850 96.19000
Q3B Q3B default unknown ❌ 600.04000 1799.06000
STP stp_st default unsat ✅ 55.88610 55.87280
stp_mt default unsat ✅ 159.87700 506.20500
Yices2 Yices2-Main default unsat ✅ 187.21500 187.21300
Z3 z3-4.5.0 default unsat ✅ 249.98500 249.96100
SMT-COMP 2018 Boolector Boolector_default unsat ✅ 29.16870 29.16950
CVC4 master-2018-06-10-b19c840-competition-default_default unsat ✅ 26.52270 26.51890
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unsat ✅ 101.42500 101.41600
MinkeyRink Minkeyrink MT_mt unsat ✅ 38.12600 149.93900
Minkeyrink ST_st unsat ✅ 42.62680 42.62830
STP STP-CMS-st-2018_default-no-stderr unsat ✅ 57.49110 57.48000
STP-CMS-mt-2018_multicore-no-stderr unsat ✅ 86.90390 344.00600
STP-Riss-st-2018_riss-no-stderr unsat ✅ 196.00600 196.00400
Yices2 Yices 2.6.0_default unsat ✅ 526.98900 526.98000
Z3 z3-4.7.1_default unsat ✅ 203.76100 203.73900
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default unsat ✅ 28.87820 28.87650
Poolector-wrapped-sq_default unsat ✅ 34.72930 137.16000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default unsat ✅ 75.70780 75.70860
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default unsat ✅ 61.39580 61.39250
MinkeyRink MinkeyRink MT-wrapped-sq_default unsat ✅ 54.90090 216.66100
MinkeyRink ST-wrapped-sq_default unsat ✅ 49.83270 49.82530
Par4 Par4-wrapped-sq_default unsat ✅ 25.20890 75.47000
STP STP-2019-wrapped-sq_default unsat ✅ 53.53510 53.52440
stp-mergesat-fixed-wrapped-sq_default unsat ✅ 110.53200 110.52700
stp-minisat-wrapped-sq_default unsat ✅ 82.90990 82.89530
stp-mt-wrapped-sq_default unsat ✅ 59.93700 236.26800
stp-portfolio-fixed-wrapped-sq_default unsat ✅ 111.66100 257.24300
stp-riss-wrapped-sq_default unknown ❌ 0.57649 0.57670
Yices2 Yices 2.6.2-wrapped-sq_default unsat ✅ 163.47700 163.47600
Yices 2.6.2 Cadical-wrapped-sq_default unsat ✅ 50.67910 50.66660
Yices 2.6.2 Cryptominisat-wrapped-sq_default unsat ✅ 51.73730 51.72720
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.10000 2400.02000
Yices 2.6.2 new bvsolver-wrapped-sq_default unsat ✅ 28.63970 28.63650
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default unsat ✅ 83.69210 83.64550
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default unsat ✅ 48.36640 48.35370
MathSAT mathsat-5.6.6_default unsat ✅ 316.24500 316.14100
STP STP 2021.0_default unsat ✅ 80.51650 318.28800
Z3 z3-4.8.11_default unsat ✅ 137.37500 137.31400