Benchmark

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

Benchmark without description.
Benchmark
Size684738
Compressed Size51617
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 684730
Compressed Size51624
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants10193
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true6808 not2809 or1 and1
=>4056 =12221 bvsub1692 bvuge336

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 42.41670 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 39.84080 —
abziz_portfolio_2011_solvers_2 default unknown ❌ — —
abziz_portfolio_2012_minfeatures default sat ✅ 16.58040 —
abziz_portfolio_2012_solvers default sat ✅ 16.41910 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 348.36900 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 15.72490 —
Boolector-SMT-COMP-2011 default sat ✅ 33.92650 —
Boolector-SMT-COMP-2012 default sat ✅ 32.56680 —
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 sat ✅ 260.88300 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unknown ❌ — —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 895.10200 —
MathSAT5-SMT-COMP-2011 default unknown ❌ — —
MathSAT5-SMT-COMP-2012 default unknown ❌ — —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 62.69720 —
SONOLAR-SMT-COMP-2010 default sat ✅ 177.32200 —
SONOLAR-SMT-COMP-2011 default sat ✅ 345.66600 —
SONOLAR-SMT-COMP-2012 default sat ✅ 222.26400 —
STP STP2-SMT-COMP-2011 default sat ✅ 320.02100 —
STP2-SMT-COMP-2012 default sat ✅ 45.04050 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 72.95280 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 17.86930 —
Z3-SMT-COMP-2011 default sat ✅ 10.52020 —
SMT-COMP 2015 0.14 (6/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 41.04080 41.04880
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 730.54900 1466.28000
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 91.65540 183.40800
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 681.17000 681.46500
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2400.96000
STP stp-cryptominisat4 default sat ✅ 89.11150 89.10150
stp-cmsat4-v15 default sat ✅ 93.45400 93.49080
stp-cmsat4-mt-v15 default unknown ❌ 0.92202 0.92086
stp-minisat-v15 default sat ✅ 656.46600 656.58700
Yices2 Yices default sat ✅ 361.70300 361.80900
Z3 z3 4.4.0 default sat ✅ 9.84208 9.84550
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 571.41400 571.65000
ABC_glucose glucose sat ✅ 44.31020 44.33640
Boolector Boolector boolector sat ✅ 22.38980 22.39950
Boolector preprop boolector sat ✅ 22.41490 22.42760
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 78.98260 158.09400
MapleSTP MapleSTP default sat ✅ 259.24300 259.41600
MapleSTP-mt default sat ✅ 206.51800 817.96000
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 491.32100 491.60500
MinkeyRink Minkeyrink 2016 default sat ✅ 23.01360 83.31890
Q3B Q3B default unknown ❌ 2400.05000 7204.31000
STP stp-cms-exp-2016 default sat ✅ 77.21970 77.24600
stp-cms-mt-2016 default sat ✅ 46.97930 184.03900
stp-cms-st-2016 default sat ✅ 37.37190 37.39660
stp-minisat-st-2016 default sat ✅ 2183.95000 2185.22000
Yices2 Yices-2.4.2 default sat ✅ 183.03000 183.12100
Z3 z3-4.4.1 default sat ✅ 16.32220 16.33270
SMT-COMP 2017 0.25 (6/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 31.69360 31.03660
Boolector SMT17 final boolector sat ✅ 19.93120 19.92420
CVC4 CVC4-smtcomp2017-main default sat ✅ 104.14800 163.95600
MathSAT mathsat-5.4.1-linux-x86_64-Main default unknown ❌ 600.07100 599.92000
MinkeyRink MinkeyRink 2017.3a default sat ✅ 61.27250 60.06980
Q3B Q3B default unknown ❌ 600.06900 1433.95000
STP stp_st default sat ✅ 135.54800 84.48550
stp_mt default sat ✅ 113.86500 196.01700
Yices2 Yices2-Main default sat ✅ 446.81200 442.75100
Z3 z3-4.5.0 default sat ✅ 20.84340 9.21649
SMT-COMP 2018 Boolector Boolector_default sat ✅ 15.77850 15.77720
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 11.66670 11.66570
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 595.49300 595.42800
MinkeyRink Minkeyrink MT_mt sat ✅ 48.50970 190.32300
Minkeyrink ST_st sat ✅ 48.41620 48.41880
STP STP-CMS-st-2018_default-no-stderr sat ✅ 82.95640 82.94330
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 126.67600 490.91900
STP-Riss-st-2018_riss-no-stderr sat ✅ 71.15230 71.14800
Yices2 Yices 2.6.0_default sat ✅ 67.91330 67.91200
Z3 z3-4.7.1_default sat ✅ 35.38850 35.38580
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 7.02916 7.02925
Poolector-wrapped-sq_default sat ✅ 7.36322 28.76000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 8.08325 8.08204
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 8.97841 8.96004
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 55.08710 216.44600
MinkeyRink ST-wrapped-sq_default sat ✅ 52.34260 52.34190
Par4 Par4-wrapped-sq_default sat ✅ 11.62780 34.72000
STP STP-2019-wrapped-sq_default sat ✅ 80.13260 80.13310
stp-mergesat-fixed-wrapped-sq_default sat ✅ 11.77610 11.76060
stp-minisat-wrapped-sq_default sat ✅ 116.78900 116.78500
stp-mt-wrapped-sq_default sat ✅ 98.78040 389.11600
stp-portfolio-fixed-wrapped-sq_default sat ✅ 138.92400 249.78800
stp-riss-wrapped-sq_default unknown ❌ 0.99711 0.99730
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 268.35600 268.30500
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 9.27910 9.27702
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 65.22300 65.20030
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.02000 2399.81000
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 74.93240 74.92600
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 7.80594 7.80590
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 7.02901 7.02027
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 19.95260 19.95060
STP STP 2022.4_default sat ✅ 7.97544 7.97509
STP 2022.4_default sat ✅ 7.96753 7.96704
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.03000 1243.14000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 481.54000 481.47300
Z3-Owl z3-Owl-Final_default sat ✅ 994.70700 994.71100
z3-Owl-Final_default sat ✅ 18.89090 18.88840
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 4.98235 4.88239
cvc5 cvc5 sat ✅ 18.50185 18.38750
SMTInterpol SMTInterpol unknown ❌ 1201.74755 1257.09476
STP STP sat ✅ 2.15891 2.05921
Yices2 Yices2 sat ✅ 5.05770 4.95495
Z3alpha Z3-alpha sat ✅ 229.66269 229.44499
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla sat ✅ 3.55126 3.42196
Bitwuzla-MachBV-base sat ✅ 3.47628 3.34695
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 4.87229 4.74154
BVDecide bv_decide sat ✅ 566.12412 565.83065
bv_decide-nokernel sat ✅ 95.50344 95.37082
cvc5 cvc5 sat ✅ 9.29019 9.17436
SMTInterpol SMTInterpol unknown ❌ 1201.48971 1239.98764
Yices2 Yices2 sat ✅ 2.75002 2.63127
Z3alpha Z3-alpha sat ✅ 4.74952 17.28355
Z3 Z3-alpha-base sat ✅ 21.95849 21.83710
Z3-Owl-base sat ✅ 81.59848 81.46599
z3siri-base sat ✅ 22.05750 21.94054
Z3-Owl Z3-Owl sat ✅ 112.29511 112.15733