Benchmark

non-incremental/QF_BV/asp/WeightBoundedDominatingSet/rand_100_400_1159666138_19.lp.smt2 

Benchmark without description.
Benchmark
Size215032
Compressed Size23968
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 215024
Compressed Size22900
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants2858
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true1294 not1249 or73 and98
=>1702 =3709 bvsub681 bvuge170

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 28.60270 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 2.09468 —
abziz_portfolio_2011_solvers_2 default sat ✅ 1.91998 —
abziz_portfolio_2012_minfeatures default sat ✅ 2.09449 —
abziz_portfolio_2012_solvers default sat ✅ 2.07230 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 1.91364 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 23.24770 —
Boolector-SMT-COMP-2011 default sat ✅ 33.12210 —
Boolector-SMT-COMP-2012 default sat ✅ 29.20620 —
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 ✅ 199.02200 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 70.85400 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 104.53000 —
MathSAT5-SMT-COMP-2011 default sat ✅ 162.89600 —
MathSAT5-SMT-COMP-2012 default sat ✅ 94.55760 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 74.94240 —
SONOLAR-SMT-COMP-2010 default sat ✅ 14.31770 —
SONOLAR-SMT-COMP-2011 default sat ✅ 91.77730 —
SONOLAR-SMT-COMP-2012 default sat ✅ 112.45500 —
STP STP2-SMT-COMP-2011 default sat ✅ 34.32910 —
STP2-SMT-COMP-2012 default sat ✅ 27.78170 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 101.21500 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 2.59703 —
Z3-SMT-COMP-2011 default sat ✅ 2.09596 —
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 22.13690 22.14460
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 141.39700 283.74800
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 29.42580 58.88100
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 53.11520 53.13490
SMT-RAT SMT-RAT-final default sat ✅ 276.21700 276.23000
STP stp-cryptominisat4 default sat ✅ 18.78880 18.79110
stp-cmsat4-v15 default sat ✅ 21.88660 21.89070
stp-cmsat4-mt-v15 default unknown ❌ 0.57197 0.57091
stp-minisat-v15 default sat ✅ 46.83050 46.84790
Yices2 Yices default sat ✅ 9.74298 9.74352
Z3 z3 4.4.0 default sat ✅ 4.82897 4.83126
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 25.18920 25.20300
ABC_glucose glucose sat ✅ 5.69306 5.69663
Boolector Boolector boolector sat ✅ 23.27370 23.28690
Boolector preprop boolector sat ✅ 23.60870 47.17430
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 35.48420 71.08380
MapleSTP MapleSTP default sat ✅ 714.60500 715.00700
MapleSTP-mt default sat ✅ 696.62800 2765.09000
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 48.83670 48.86570
MinkeyRink Minkeyrink 2016 default sat ✅ 6.99803 22.49320
Q3B Q3B default unknown ❌ 2400.09000 7204.21000
STP stp-cms-exp-2016 default sat ✅ 55.99770 56.03140
stp-cms-mt-2016 default sat ✅ 46.59120 183.45100
stp-cms-st-2016 default sat ✅ 42.90760 42.93200
stp-minisat-st-2016 default sat ✅ 221.57500 221.69400
Yices2 Yices-2.4.2 default sat ✅ 9.07712 9.08227
Z3 z3-4.4.1 default sat ✅ 1.41712 1.41965
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 17.89920 17.89870
Boolector SMT17 final boolector sat ✅ 25.23490 25.23170
CVC4 CVC4-smtcomp2017-main default sat ✅ 37.81340 75.85620
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 54.20140 54.19940
MinkeyRink MinkeyRink 2017.3a default sat ✅ 2.88491 2.90425
Q3B Q3B default unknown ❌ 600.06100 1786.95000
STP stp_st default sat ✅ 75.15680 75.12490
stp_mt default sat ✅ 64.51350 204.57400
Yices2 Yices2-Main default sat ✅ 11.26410 11.26440
Z3 z3-4.5.0 default sat ✅ 2.30441 2.30355
SMT-COMP 2018 Boolector Boolector_default sat ✅ 2.48031 2.48024
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 4.52452 4.52445
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 32.58390 32.58290
MinkeyRink Minkeyrink MT_mt sat ✅ 6.47725 24.54690
Minkeyrink ST_st sat ✅ 8.46444 8.46335
STP STP-CMS-st-2018_default-no-stderr sat ✅ 27.15210 27.14920
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 29.93940 117.09400
STP-Riss-st-2018_riss-no-stderr sat ✅ 45.24820 45.24680
Yices2 Yices 2.6.0_default sat ✅ 6.90104 6.90041
Z3 z3-4.7.1_default sat ✅ 3.91591 3.91559
SMT-COMP 2020 0.11 (8/9) Bitwuzla Bitwuzla-fixed_default sat ✅ 3.16289 3.16280
Boolector Boolector-wrapped-sq_default sat ✅ 2.60302 2.60266
Poolector-wrapped-sq_default sat ✅ 3.28464 12.50000
CVC4 CVC4-sq-final_default sat ✅ 4.43228 4.43249
LazyBV2Int LazyBV2Int20200523_default.sh unknown ❌ 1200.08000 1200.00000
MathSAT MathSAT5_default.sh sat ✅ 179.78900 179.70900
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 0.38028 0.38052
MinkeyRink Solver 2020.3_default sat ✅ 5.10784 19.06070
STP STP_default sat ✅ 15.78160 59.17980
STP ++ Mergsat v1_default sat ✅ 18.57440 18.57700
Yices2 Yices 2.6.2 bug fix_default sat ✅ 2.03841 2.03822
Z3 z3-4.8.8_default sat ✅ 5.15201 5.14760
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 3.50628 3.50598
MathSAT mathsat-5.6.6_default sat ✅ 166.03700 165.97500
STP STP 2021.0_default sat ✅ 13.97220 53.00540
Z3 z3-4.8.11_default sat ✅ 1.91050 1.91044
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla sat ✅ 2.08168 1.96031
Bitwuzla-MachBV-base sat ✅ 2.49639 2.36858
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 2.93667 2.80483
BVDecide bv_decide sat ✅ 48.78034 48.64524
bv_decide-nokernel sat ✅ 17.48917 17.36447
cvc5 cvc5 sat ✅ 17.09047 16.95901
SMTInterpol SMTInterpol unknown ❌ 1201.48816 1273.01978
Yices2 Yices2 sat ✅ 4.06740 3.93857
Z3alpha Z3-alpha sat ✅ 2.42197 8.36335
Z3 Z3-alpha-base sat ✅ 1.31167 1.18534
Z3-Owl-base sat ✅ 4.73710 4.60605
z3siri-base sat ✅ 1.36644 1.23660
Z3-Owl Z3-Owl sat ✅ 6.17370 6.04235