Benchmark

non-incremental/QF_BV/asp/GeneralizedSlitherlink/trisquares.19.asp.smt2 

Benchmark without description.
Benchmark
Size5638433
Compressed Size351612
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 5638425
Compressed Size351600
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants19795
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true2380 not276456 or2136 and7640
=>8596 =23753 bvsub3045 bvugt1550
bvuge913

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 12.70130 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 18.57170 —
abziz_portfolio_2011_solvers_2 default sat ✅ 44.69220 —
abziz_portfolio_2012_minfeatures default sat ✅ 43.55810 —
abziz_portfolio_2012_solvers default sat ✅ 21.68140 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 18.73940 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 26.35510 —
Boolector-SMT-COMP-2011 default sat ✅ 47.32180 —
Boolector-SMT-COMP-2012 default sat ✅ 17.88580 —
CVC3 CVC3-SMT-COMP-2010 default sat ✅ 1250.64000 —
CVC3-SMT-COMP-2011 default sat ✅ 1130.14000 —
CVC3-SMT-COMP-2012 default sat ✅ 1128.02000 —
CVC4 CVC4-SMT-COMP-2012-Resubmission default sat ✅ 81.34860 —
CVC4-SMT-EVAL-2013 default sat ✅ 92.25500 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 46.75280 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 34.51210 —
MathSAT5-SMT-COMP-2011 default sat ✅ 36.51450 —
MathSAT5-SMT-COMP-2012 default sat ✅ 21.27840 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 20.44050 —
SONOLAR-SMT-COMP-2010 default sat ✅ 36.45880 —
SONOLAR-SMT-COMP-2011 default unknown ❌ — —
SONOLAR-SMT-COMP-2012 default sat ✅ 18.49240 —
STP STP2-SMT-COMP-2011 default sat ✅ 22.41710 —
STP2-SMT-COMP-2012 default sat ✅ 12.60520 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 29.50700 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 9.14968 —
Z3-SMT-COMP-2011 default sat ✅ 9.65543 —
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 30.93850 30.95030
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 24.29180 46.40090
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 29.28380 56.35240
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 34.93770 34.95170
SMT-RAT SMT-RAT-final default sat ✅ 1438.82000 1439.28000
STP stp-cryptominisat4 default sat ✅ 34.88310 34.88970
stp-cmsat4-v15 default sat ✅ 36.71480 36.72140
stp-cmsat4-mt-v15 default unknown ❌ 7.84436 7.84481
stp-minisat-v15 default sat ✅ 23.32830 23.33250
Yices2 Yices default sat ✅ 10.88130 10.88230
Z3 z3 4.4.0 default sat ✅ 8.82153 8.82466
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 794.78000 795.10700
ABC_glucose glucose sat ✅ 29.07180 29.08920
Boolector Boolector boolector sat ✅ 39.33950 39.36200
Boolector preprop boolector sat ✅ 49.95810 49.98630
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 28.89150 55.62430
MapleSTP MapleSTP default sat ✅ 39.40300 39.42510
MapleSTP-mt default sat ✅ 37.39640 123.42800
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 28.11500 28.13440
MinkeyRink Minkeyrink 2016 default sat ✅ 17.34230 34.02440
Q3B Q3B default unknown ❌ 2400.07000 7203.97000
STP stp-cms-exp-2016 default sat ✅ 24.08350 24.09720
stp-cms-mt-2016 default sat ✅ 19.23870 43.88500
stp-cms-st-2016 default sat ✅ 24.87540 24.88990
stp-minisat-st-2016 default sat ✅ 62.77010 62.81230
Yices2 Yices-2.4.2 default sat ✅ 14.18860 14.19660
Z3 z3-4.4.1 default sat ✅ 8.90020 8.90659
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 135.15300 134.69300
Boolector SMT17 final boolector sat ✅ 144.50600 144.45000
CVC4 CVC4-smtcomp2017-main default sat ✅ 35.69520 68.38080
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 50.65980 50.64170
MinkeyRink MinkeyRink 2017.3a default sat ✅ 14.42510 19.77000
Q3B Q3B default unknown ❌ 600.04400 1198.66000
STP stp_st default sat ✅ 26.08730 26.06790
stp_mt default sat ✅ 68.68970 49.44960
Yices2 Yices2-Main default sat ✅ 14.03520 14.03510
Z3 z3-4.5.0 default sat ✅ 11.10410 11.09420
SMT-COMP 2018 Boolector Boolector_default sat ✅ 121.43200 121.42200
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 17.99780 17.99690
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 30.31830 30.31120
MinkeyRink Minkeyrink MT_mt sat ✅ 20.19680 66.94080
Minkeyrink ST_st sat ✅ 20.69530 20.69190
STP STP-CMS-st-2018_default-no-stderr sat ✅ 36.92550 36.91890
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 36.43250 102.14400
STP-Riss-st-2018_riss-no-stderr sat ✅ 23.22870 23.22590
Yices2 Yices 2.6.0_default sat ✅ 12.62110 12.62040
Z3 z3-4.7.1_default sat ✅ 13.70810 13.70540
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 153.97000 153.97700
Poolector-wrapped-sq_default sat ✅ 36.29710 143.46000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 33.12930 33.12780
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 17.86080 17.86010
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 24.96170 68.05000
MinkeyRink ST-wrapped-sq_default sat ✅ 28.11380 28.11170
Par4 Par4-wrapped-sq_default sat ✅ 16.09370 48.20000
STP STP-2019-wrapped-sq_default sat ✅ 39.48560 39.48360
stp-mergesat-fixed-wrapped-sq_default sat ✅ 69.41170 69.39370
stp-minisat-wrapped-sq_default sat ✅ 17.16690 17.14770
stp-mt-wrapped-sq_default sat ✅ 36.31930 93.98390
stp-portfolio-fixed-wrapped-sq_default sat ✅ 70.55130 116.97100
stp-riss-wrapped-sq_default unknown ❌ 8.42776 8.42295
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 15.12690 15.12500
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 7.76353 7.76369
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 18.56580 18.56300
Yices 2.6.2 MCSAT BV-wrapped-sq_default sat ✅ 1104.64000 1104.62000
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 12.29080 12.29080
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 11.55180 11.55160
SMT-COMP 2020 0.11 (8/9) Bitwuzla Bitwuzla-fixed_default sat ✅ 18.22270 18.22200
Boolector Boolector-wrapped-sq_default sat ✅ 151.32300 151.31700
Poolector-wrapped-sq_default sat ✅ 25.23400 99.64000
CVC4 CVC4-sq-final_default sat ✅ 20.24230 20.24180
LazyBV2Int LazyBV2Int20200523_default.sh unknown ❌ 1200.08000 1199.87000
MathSAT MathSAT5_default.sh sat ✅ 28.65370 28.65450
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 9.92954 9.92967
MinkeyRink Solver 2020.3_default sat ✅ 20.30850 51.95080
STP STP_default sat ✅ 21.87650 64.85540
STP ++ Mergsat v1_default sat ✅ 26.24080 26.23770
Yices2 Yices 2.6.2 bug fix_default sat ✅ 3.43866 3.43871
Z3 z3-4.8.8_default sat ✅ 10.76070 10.75940
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 18.26610 18.26430
MathSAT mathsat-5.6.6_default sat ✅ 21.80680 21.80570
STP STP 2021.0_default sat ✅ 23.94140 68.65070
Z3 z3-4.8.11_default sat ✅ 9.79901 9.79752
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 25.99460 25.97970
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 24.78070 24.77460
STP STP 2022.4_default sat ✅ 11.39630 11.39720
STP 2022.4_default sat ✅ 11.41180 11.41050
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.02000 1245.03000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 16.84910 16.84880
Z3-Owl z3-Owl-Final_default sat ✅ 48.25180 48.25080
z3-Owl-Final_default sat ✅ 47.94830 47.94180
SMT-COMP 2025 0.22 (7/9) Bitwuzla Bitwuzla sat ✅ 9.95634 9.83477
Bitwuzla-MachBV-base sat ✅ 14.85218 14.72019
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 18.59240 18.46934
BVDecide bv_decide unknown ❌ 1201.41205 1201.04831
bv_decide-nokernel unknown ❌ 1201.39998 1200.95403
cvc5 cvc5 sat ✅ 16.43119 16.30285
SMTInterpol SMTInterpol unknown ❌ 1201.56830 1239.86321
Yices2 Yices2 sat ✅ 5.10454 4.98347
Z3alpha Z3-alpha sat ✅ 11.16121 41.05982
Z3 Z3-alpha-base sat ✅ 6.02096 5.89944
Z3-Owl-base sat ✅ 22.56935 22.44554
z3siri-base sat ✅ 6.11383 5.98446
Z3-Owl Z3-Owl sat ✅ 22.15186 22.01391