Benchmark

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

Benchmark without description.
Benchmark
Size684604
Compressed Size50948
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 684596
Compressed Size50957
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants10192
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true6808 not2808 or1 and1
=>4054 =12219 bvsub1691 bvuge336

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default unsat ✅ 97.86690 —
Abziz abziz_portfolio_2011_minfeatures_2 default unsat ✅ 48.42020 —
abziz_portfolio_2011_solvers_2 default unknown ❌ — —
abziz_portfolio_2012_minfeatures default unsat ✅ 27.03410 —
abziz_portfolio_2012_solvers default unsat ✅ 28.63270 —
AbzizPortfolio-SMT-COMP-2012 default unsat ✅ 635.85900 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default unsat ✅ 23.27030 —
Boolector-SMT-COMP-2011 default unsat ✅ 42.64690 —
Boolector-SMT-COMP-2012 default unsat ✅ 35.24320 —
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 ✅ 665.54400 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unsat ✅ 1223.69000 —
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 unsat ✅ 396.26400 —
SONOLAR-SMT-COMP-2010 default unknown ❌ 512.85200 —
SONOLAR-SMT-COMP-2011 default unsat ✅ 637.94800 —
SONOLAR-SMT-COMP-2012 default unsat ✅ 746.32300 —
STP STP2-SMT-COMP-2011 default unsat ✅ 301.15500 —
STP2-SMT-COMP-2012 default unsat ✅ 134.53600 —
simplifyingSTP-SMT-COMP-2010 default unsat ✅ 125.27600 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default unsat ✅ 23.21700 —
Z3-SMT-COMP-2011 default unsat ✅ 22.62240 —
SMT-COMP 2015 0.14 (6/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv unsat ✅ 52.59950 52.61100
CVC4 CVC4-master-2015-06-15-9b32405-main default unsat ✅ 2368.21000 4753.41000
CVC4-experimental-2015-06-15-ff5745a-main default unsat ✅ 97.28660 194.68900
MathSAT MathSat 5.3.6 main smtcomp2015_main unsat ✅ 884.89800 885.27100
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2400.71000
STP stp-cryptominisat4 default unsat ✅ 98.19230 98.21310
stp-cmsat4-v15 default unsat ✅ 96.55250 96.59030
stp-cmsat4-mt-v15 default unknown ❌ 0.92838 0.92786
stp-minisat-v15 default unsat ✅ 669.02700 669.29500
Yices2 Yices default unsat ✅ 451.35500 451.52800
Z3 z3 4.4.0 default unsat ✅ 27.45500 27.46580
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc unsat ✅ 718.39600 718.70800
ABC_glucose glucose unsat ✅ 63.20200 63.23340
Boolector Boolector boolector unsat ✅ 24.15060 24.16650
Boolector preprop boolector unsat ✅ 24.16420 24.17830
CVC4 CVC4-master-2016-05-27-cfef263-main default unsat ✅ 91.38460 183.00300
MapleSTP MapleSTP default unsat ✅ 447.36000 447.60900
MapleSTP-mt default unsat ✅ 268.39100 1063.68000
MathSAT mathsat-5.3.11-linux-x86_64-Main default unsat ✅ 704.44200 704.83800
MinkeyRink Minkeyrink 2016 default unsat ✅ 37.93520 142.64400
Q3B Q3B default unknown ❌ 2400.08000 7203.64000
STP stp-cms-exp-2016 default unknown ❌ 29.32040 29.09490
stp-cms-mt-2016 default unsat ✅ 57.13430 224.27100
stp-cms-st-2016 default unsat ✅ 85.68070 85.72560
stp-minisat-st-2016 default unknown ❌ 2400.11000 2401.31000
Yices2 Yices-2.4.2 default unsat ✅ 377.13300 377.34700
Z3 z3-4.4.1 default unsat ✅ 27.78440 27.80070
SMT-COMP 2017 0.25 (6/8) Boolector Boolector+CaDiCaL SMT17 final boolector unsat ✅ 40.84970 40.84270
Boolector SMT17 final boolector unsat ✅ 24.67850 24.67690
CVC4 CVC4-smtcomp2017-main default unsat ✅ 111.96100 221.70800
MathSAT mathsat-5.4.1-linux-x86_64-Main default unknown ❌ 600.01800 599.95000
MinkeyRink MinkeyRink 2017.3a default unsat ✅ 41.06180 75.92550
Q3B Q3B default unknown ❌ 600.04200 1785.95000
STP stp_st default unsat ✅ 60.60740 60.59560
stp_mt default unsat ✅ 85.79110 225.43400
Yices2 Yices2-Main default unsat ✅ 528.40800 528.27500
Z3 z3-4.5.0 default unsat ✅ 30.58160 30.57500
SMT-COMP 2018 Boolector Boolector_default unsat ✅ 18.52780 18.52670
CVC4 master-2018-06-10-b19c840-competition-default_default unsat ✅ 11.98790 11.98530
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unsat ✅ 1023.34000 1023.24000
MinkeyRink Minkeyrink MT_mt unsat ✅ 72.40710 285.65100
Minkeyrink ST_st unsat ✅ 53.54220 53.54020
STP STP-CMS-st-2018_default-no-stderr unsat ✅ 89.60090 89.60250
STP-CMS-mt-2018_multicore-no-stderr unsat ✅ 127.98400 499.72600
STP-Riss-st-2018_riss-no-stderr unsat ✅ 110.99300 110.98900
Yices2 Yices 2.6.0_default unsat ✅ 456.47900 456.44400
Z3 z3-4.7.1_default unsat ✅ 43.68780 43.68610
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default unsat ✅ 8.96704 8.96631
Poolector-wrapped-sq_default unsat ✅ 10.18270 39.74070
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default unsat ✅ 9.52665 9.52355
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default unsat ✅ 9.19522 9.19372
MinkeyRink MinkeyRink MT-wrapped-sq_default unsat ✅ 74.96820 295.84800
MinkeyRink ST-wrapped-sq_default unsat ✅ 58.19220 116.27400
Par4 Par4-wrapped-sq_default unsat ✅ 15.93480 47.61000
STP STP-2019-wrapped-sq_default unsat ✅ 89.49830 89.49420
stp-mergesat-fixed-wrapped-sq_default unsat ✅ 15.66990 15.66800
stp-minisat-wrapped-sq_default unsat ✅ 340.45100 340.43800
stp-mt-wrapped-sq_default unsat ✅ 120.88900 475.45700
stp-portfolio-fixed-wrapped-sq_default unsat ✅ 377.71500 502.57900
stp-riss-wrapped-sq_default unknown ❌ 1.00104 1.00135
Yices2 Yices 2.6.2-wrapped-sq_default unsat ✅ 1332.87000 1332.63000
Yices 2.6.2 Cadical-wrapped-sq_default unsat ✅ 11.95470 11.95490
Yices 2.6.2 Cryptominisat-wrapped-sq_default unsat ✅ 62.57670 62.54630
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.01000 2399.99000
Yices 2.6.2 new bvsolver-wrapped-sq_default unsat ✅ 97.70680 97.70150
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default unsat ✅ 15.40080 15.40050
SMT-COMP 2021 0.25 (3/4) Bitwuzla Bitwuzla-fixed_default unsat ✅ 8.50965 8.50930
MathSAT mathsat-5.6.6_default unknown ❌ 1200.09000 1199.84000
STP STP 2021.0_default unsat ✅ 131.31400 503.41000
Z3 z3-4.8.11_default unsat ✅ 29.04540 29.04590
SMT-COMP 2022 0.14 (6/7) Bitwuzla Bitwuzla-fixed_default unsat ✅ 8.03986 8.03907
Bitwuzla-wrapped_default unsat ✅ 8.04548 8.04502
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq unsat ✅ 23.59770 23.59670
MathSAT MathSAT-5.6.8_default unknown ❌ 1200.02000 1199.91000
STP STP 2022.4_default unsat ✅ 8.78648 17.48560
Yices2 Yices 2.6.2 for SMTCOMP 2021_default unsat ✅ 7.92946 7.92919
Z3++BV z3++bv_0702_default unsat ✅ 6.27957 6.27846
Z3 z3-4.8.17_default unsat ✅ 28.84320 28.84200
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default unsat ✅ 9.09923 9.09795
cvc5 cvc5-default-2023-05-16-ea045f305_sq unsat ✅ 22.16970 22.16410
STP STP 2022.4_default unsat ✅ 8.07602 8.07611
STP 2022.4_default unsat ✅ 8.07528 8.07465
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.12000 1242.69000
Yices2 Yices 2 for SMTCOMP 2023_default unsat ✅ 464.00600 463.89300
Z3-Owl z3-Owl-Final_default unsat ✅ 264.91600 264.86900
z3-Owl-Final_default unsat ✅ 20.11590 20.03650
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla unsat ✅ 7.70458 7.59709
cvc5 cvc5 unsat ✅ 18.58695 18.48136
SMTInterpol SMTInterpol unknown ❌ 1201.71729 1267.15074
STP STP unsat ✅ 7.72030 7.61872
Yices2 Yices2 unsat ✅ 5.06509 4.96346
Z3alpha Z3-alpha unsat ✅ 239.75946 239.65013
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla unsat ✅ 5.12574 4.99121
Bitwuzla-MachBV-base unsat ✅ 5.76241 5.63816
Bitwuzla-MachBV Bitwuzla-MachBV unsat ✅ 4.26172 4.14499
BVDecide bv_decide unsat ✅ 923.69009 923.40158
bv_decide-nokernel unsat ✅ 95.25393 95.10366
cvc5 cvc5 unsat ✅ 13.84649 13.70873
SMTInterpol SMTInterpol unknown ❌ 1201.77017 1241.28786
Yices2 Yices2 unsat ✅ 4.08232 3.95708
Z3alpha Z3-alpha unsat ✅ 44.98087 178.16370
Z3 Z3-alpha-base unsat ✅ 22.01776 21.89855
Z3-Owl-base unsat ✅ 82.77561 82.63400
z3siri-base unsat ✅ 22.31127 22.18264
Z3-Owl Z3-Owl unsat ✅ 261.66451 261.49666