Benchmark

non-incremental/QF_BV/asp/BlockedNQueens/156.48.1960.36.1721277539.dat.smt2 

Benchmark without description.
Benchmark
Size683093
Compressed Size51371
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 683085
Compressed Size51380
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants10175
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true6808 not2801 or1 and1
=>4040 =12195 bvsub1689 bvuge331

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default unsat ✅ 77.33510 —
Abziz abziz_portfolio_2011_minfeatures_2 default unsat ✅ 45.20670 —
abziz_portfolio_2011_solvers_2 default unknown ❌ — —
abziz_portfolio_2012_minfeatures default unsat ✅ 25.23600 —
abziz_portfolio_2012_solvers default unsat ✅ 22.97000 —
AbzizPortfolio-SMT-COMP-2012 default unsat ✅ 750.57700 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default unsat ✅ 16.45100 —
Boolector-SMT-COMP-2011 default unsat ✅ 40.18610 —
Boolector-SMT-COMP-2012 default unsat ✅ 29.13610 —
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 ✅ 493.77100 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unsat ✅ 1404.18000 —
MathSAT5-HeavyBV-SMT-COMP-2012 default unsat ✅ 663.45900 —
MathSAT5-SMT-COMP-2011 default unknown ❌ — —
MathSAT5-SMT-COMP-2012 default unknown ❌ — —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default unsat ✅ 185.56600 —
SONOLAR-SMT-COMP-2010 default unknown ❌ 1120.36000 —
SONOLAR-SMT-COMP-2011 default unsat ✅ 747.44300 —
SONOLAR-SMT-COMP-2012 default unsat ✅ 462.04300 —
STP STP2-SMT-COMP-2011 default unsat ✅ 301.10200 —
STP2-SMT-COMP-2012 default unsat ✅ 83.67190 —
simplifyingSTP-SMT-COMP-2010 default unsat ✅ 100.46100 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default unsat ✅ 18.47950 —
Z3-SMT-COMP-2011 default unsat ✅ 19.61280 —
SMT-COMP 2015 0.14 (6/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv unsat ✅ 28.68070 28.69160
CVC4 CVC4-master-2015-06-15-9b32405-main default unsat ✅ 1673.91000 3361.17000
CVC4-experimental-2015-06-15-ff5745a-main default unsat ✅ 72.61350 145.22800
MathSAT MathSat 5.3.6 main smtcomp2015_main unsat ✅ 748.50600 748.75200
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2400.77000
STP stp-cryptominisat4 default unsat ✅ 100.13400 100.16800
stp-cmsat4-v15 default unsat ✅ 91.58480 91.61410
stp-cmsat4-mt-v15 default unknown ❌ 0.94372 0.92386
stp-minisat-v15 default unsat ✅ 476.13900 476.33100
Yices2 Yices default unsat ✅ 246.83600 246.93800
Z3 z3 4.4.0 default unsat ✅ 18.14870 18.15620
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc unsat ✅ 721.84000 722.17900
ABC_glucose glucose unsat ✅ 49.56330 49.57790
Boolector Boolector boolector unsat ✅ 22.59380 22.60880
Boolector preprop boolector unsat ✅ 22.71000 22.72340
CVC4 CVC4-master-2016-05-27-cfef263-main default unsat ✅ 75.98610 151.73000
MapleSTP MapleSTP default unsat ✅ 331.78600 331.95500
MapleSTP-mt default unsat ✅ 248.33700 983.19100
MathSAT mathsat-5.3.11-linux-x86_64-Main default unsat ✅ 631.42300 631.71600
MinkeyRink Minkeyrink 2016 default unsat ✅ 34.34390 128.65800
Q3B Q3B default unknown ❌ 2400.11000 7203.89000
STP stp-cms-exp-2016 default unknown ❌ 64.85310 64.49120
stp-cms-mt-2016 default unsat ✅ 50.47310 197.39000
stp-cms-st-2016 default unsat ✅ 55.07830 55.08240
stp-minisat-st-2016 default unknown ❌ 2400.11000 2401.48000
Yices2 Yices-2.4.2 default unsat ✅ 258.01500 258.13800
Z3 z3-4.4.1 default unsat ✅ 16.51990 16.53230
SMT-COMP 2017 0.25 (6/8) Boolector Boolector+CaDiCaL SMT17 final boolector unsat ✅ 43.25750 42.82290
Boolector SMT17 final boolector unsat ✅ 22.75230 22.74040
CVC4 CVC4-smtcomp2017-main default unsat ✅ 119.79800 192.14700
MathSAT mathsat-5.4.1-linux-x86_64-Main default unknown ❌ 600.01900 599.68000
MinkeyRink MinkeyRink 2017.3a default unsat ✅ 33.54320 94.06800
Q3B Q3B default unknown ❌ 600.04300 1427.71000
STP stp_st default unsat ✅ 78.79510 78.63710
stp_mt default unsat ✅ 121.99900 177.22200
Yices2 Yices2-Main default unsat ✅ 334.41300 314.86200
Z3 z3-4.5.0 default unsat ✅ 18.72480 18.33380
SMT-COMP 2018 Boolector Boolector_default unsat ✅ 11.31450 11.31250
CVC4 master-2018-06-10-b19c840-competition-default_default unsat ✅ 10.96760 10.96570
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unsat ✅ 863.26100 863.21700
MinkeyRink Minkeyrink MT_mt unsat ✅ 66.65720 262.72600
Minkeyrink ST_st unsat ✅ 50.78100 50.78020
STP STP-CMS-st-2018_default-no-stderr unsat ✅ 89.02510 89.01800
STP-CMS-mt-2018_multicore-no-stderr unsat ✅ 125.70500 480.95900
STP-Riss-st-2018_riss-no-stderr unsat ✅ 76.38240 76.38110
Yices2 Yices 2.6.0_default unsat ✅ 425.24000 425.24400
Z3 z3-4.7.1_default unsat ✅ 37.36290 37.36350
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default unsat ✅ 5.77168 5.77103
Poolector-wrapped-sq_default unsat ✅ 6.75710 26.37000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default unsat ✅ 8.17559 8.17076
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default unsat ✅ 6.99728 6.99775
MinkeyRink MinkeyRink MT-wrapped-sq_default unsat ✅ 69.64610 274.64000
MinkeyRink ST-wrapped-sq_default unsat ✅ 54.36400 54.35590
Par4 Par4-wrapped-sq_default unsat ✅ 11.24280 33.43000
STP STP-2019-wrapped-sq_default unsat ✅ 86.12120 86.11810
stp-mergesat-fixed-wrapped-sq_default unsat ✅ 14.20300 14.20220
stp-minisat-wrapped-sq_default unsat ✅ 268.53100 268.53400
stp-mt-wrapped-sq_default unsat ✅ 121.35700 472.67000
stp-portfolio-fixed-wrapped-sq_default unsat ✅ 303.75800 419.98000
stp-riss-wrapped-sq_default unknown ❌ 0.99674 0.99691
Yices2 Yices 2.6.2-wrapped-sq_default unsat ✅ 402.06500 402.02800
Yices 2.6.2 Cadical-wrapped-sq_default unsat ✅ 11.02430 11.02110
Yices 2.6.2 Cryptominisat-wrapped-sq_default unsat ✅ 63.79010 63.77760
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.02000 2399.84000
Yices 2.6.2 new bvsolver-wrapped-sq_default unsat ✅ 89.25240 89.25340
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default unsat ✅ 12.00000 11.99920
SMT-COMP 2020 0.22 (7/9) Bitwuzla Bitwuzla-fixed_default unsat ✅ 5.85952 5.85864
Boolector Boolector-wrapped-sq_default unsat ✅ 5.77788 5.77748
Poolector-wrapped-sq_default unsat ✅ 6.86079 26.51950
CVC4 CVC4-sq-final_default unsat ✅ 7.22366 7.22294
LazyBV2Int LazyBV2Int20200523_default.sh unknown ❌ 1200.06000 1200.04000
MathSAT MathSAT5_default.sh unknown ❌ 1200.03000 1199.85000
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 0.77912 0.77940
MinkeyRink Solver 2020.3_default unsat ✅ 77.65840 305.56200
STP STP_default unsat ✅ 128.59900 500.49900
STP ++ Mergsat v1_default unsat ✅ 307.03100 306.99500
Yices2 Yices 2.6.2 bug fix_default unsat ✅ 4.10054 4.09935
Z3 z3-4.8.8_default unsat ✅ 27.65150 27.64720
SMT-COMP 2022 0.14 (6/7) Bitwuzla Bitwuzla-fixed_default unsat ✅ 5.35898 5.35880
Bitwuzla-wrapped_default unsat ✅ 5.39954 5.39932
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq unsat ✅ 19.74460 19.74370
MathSAT MathSAT-5.6.8_default unknown ❌ 1200.08000 1199.87000
STP STP 2022.4_default unsat ✅ 5.96044 5.95974
Yices2 Yices 2.6.2 for SMTCOMP 2021_default unsat ✅ 6.41372 6.41312
Z3++BV z3++bv_0702_default unsat ✅ 5.19249 5.19198
Z3 z3-4.8.17_default unsat ✅ 26.93930 26.93830
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default unsat ✅ 7.20149 7.20006
cvc5 cvc5-default-2023-05-16-ea045f305_sq unsat ✅ 20.85710 20.85820
STP STP 2022.4_default unsat ✅ 5.75209 5.75161
STP 2022.4_default unsat ✅ 5.73812 5.73828
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.03000 1245.53000
Yices2 Yices 2 for SMTCOMP 2023_default unsat ✅ 208.22600 208.19400
Z3-Owl z3-Owl-Final_default unsat ✅ 281.09500 281.07600
z3-Owl-Final_default unsat ✅ 17.32650 17.32580
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla unsat ✅ 3.69173 3.56217
Bitwuzla-MachBV-base unsat ✅ 4.34444 4.22713
Bitwuzla-MachBV Bitwuzla-MachBV unsat ✅ 3.42214 3.30462
BVDecide bv_decide unsat ✅ 876.20721 875.83232
bv_decide-nokernel unsat ✅ 98.00605 97.84804
cvc5 cvc5 unsat ✅ 14.14220 14.01859
SMTInterpol SMTInterpol unknown ❌ 1201.49037 1241.47575
Yices2 Yices2 unsat ✅ 3.36665 3.24519
Z3alpha Z3-alpha unsat ✅ 43.24525 171.05393
Z3 Z3-alpha-base unsat ✅ 19.79397 19.67316
Z3-Owl-base unsat ✅ 73.13724 73.00593
z3siri-base unsat ✅ 20.14253 20.01446
Z3-Owl Z3-Owl unsat ✅ 291.42810 291.27898