Benchmark

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

Benchmark without description.
Benchmark
Size213989
Compressed Size23706
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 213981
Compressed Size22629
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants2839
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true1284 not1248 or71 and96
=>1704 =3691 bvsub686 bvuge166

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 43.10690 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 2.31763 —
abziz_portfolio_2011_solvers_2 default sat ✅ 2.35742 —
abziz_portfolio_2012_minfeatures default sat ✅ 2.30591 —
abziz_portfolio_2012_solvers default sat ✅ 2.18444 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 2.18073 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 26.20460 —
Boolector-SMT-COMP-2011 default sat ✅ 39.32910 —
Boolector-SMT-COMP-2012 default sat ✅ 34.50930 —
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 ✅ 344.52000 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 135.54900 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 115.64900 —
MathSAT5-SMT-COMP-2011 default sat ✅ 348.49900 —
MathSAT5-SMT-COMP-2012 default sat ✅ 241.68100 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 100.49900 —
SONOLAR-SMT-COMP-2010 default sat ✅ 31.45520 —
SONOLAR-SMT-COMP-2011 default sat ✅ 48.45660 —
SONOLAR-SMT-COMP-2012 default sat ✅ 89.91010 —
STP STP2-SMT-COMP-2011 default sat ✅ 71.35250 —
STP2-SMT-COMP-2012 default sat ✅ 44.93120 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 287.28300 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 8.65135 —
Z3-SMT-COMP-2011 default sat ✅ 2.38921 —
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 22.85100 22.85850
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 149.85000 300.73600
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 47.27800 94.69160
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 47.94130 47.95970
SMT-RAT SMT-RAT-final default sat ✅ 289.76400 289.90700
STP stp-cryptominisat4 default sat ✅ 22.83300 22.83050
stp-cmsat4-v15 default sat ✅ 32.26010 32.26610
stp-cmsat4-mt-v15 default unknown ❌ 0.57783 0.57691
stp-minisat-v15 default sat ✅ 45.83520 45.85300
Yices2 Yices default sat ✅ 16.60400 16.60950
Z3 z3 4.4.0 default sat ✅ 11.91100 11.91620
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 25.75250 51.43690
ABC_glucose glucose sat ✅ 12.76980 12.77360
Boolector Boolector boolector sat ✅ 48.30890 48.33140
Boolector preprop boolector sat ✅ 49.19020 49.21880
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 41.20660 82.56170
MapleSTP MapleSTP default sat ✅ 965.44400 966.07200
MapleSTP-mt default sat ✅ 393.93000 1564.28000
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 95.35380 95.41840
MinkeyRink Minkeyrink 2016 default sat ✅ 6.63551 21.17870
Q3B Q3B default unknown ❌ 2400.03000 7204.41000
STP stp-cms-exp-2016 default sat ✅ 43.48790 43.51370
stp-cms-mt-2016 default sat ✅ 39.15320 153.75400
stp-cms-st-2016 default sat ✅ 50.34850 50.37750
stp-minisat-st-2016 default sat ✅ 295.26800 295.41300
Yices2 Yices-2.4.2 default sat ✅ 18.31450 18.32370
Z3 z3-4.4.1 default sat ✅ 2.57257 2.57526
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 37.47270 37.46390
Boolector SMT17 final boolector sat ✅ 33.04420 33.02950
CVC4 CVC4-smtcomp2017-main default sat ✅ 45.33930 89.31080
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 107.46000 107.45000
MinkeyRink MinkeyRink 2017.3a default sat ✅ 11.10710 16.80000
Q3B Q3B default unknown ❌ 600.03300 1740.29000
STP stp_st default sat ✅ 54.41180 54.40850
stp_mt default sat ✅ 60.21790 189.45400
Yices2 Yices2-Main default sat ✅ 45.55820 45.54860
Z3 z3-4.5.0 default sat ✅ 1.88916 1.88852
SMT-COMP 2018 Boolector Boolector_default sat ✅ 11.16090 11.16080
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 8.05854 8.05756
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 86.27010 86.27020
MinkeyRink Minkeyrink MT_mt sat ✅ 13.29610 51.65060
Minkeyrink ST_st sat ✅ 19.18090 19.17520
STP STP-CMS-st-2018_default-no-stderr sat ✅ 42.76640 42.76330
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 35.45520 138.89500
STP-Riss-st-2018_riss-no-stderr sat ✅ 74.70450 74.70100
Yices2 Yices 2.6.0_default sat ✅ 26.79180 26.78940
Z3 z3-4.7.1_default sat ✅ 6.67021 6.66931
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 3.82956 3.82857
MathSAT mathsat-5.6.6_default sat ✅ 198.58000 198.55300
STP STP 2021.0_default sat ✅ 32.48210 127.43100
Z3 z3-4.8.11_default sat ✅ 3.68514 3.68480
SMT-COMP 2022 Bitwuzla Bitwuzla-fixed_default sat ✅ 3.94982 3.94941
Bitwuzla-wrapped_default sat ✅ 1.74830 1.74803
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 37.66140 37.65670
MathSAT MathSAT-5.6.8_default sat ✅ 253.01600 252.98600
STP STP 2022.4_default sat ✅ 3.99038 3.99054
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 14.18110 14.18020
Z3++BV z3++bv_0702_default sat ✅ 15.03830 15.03650
Z3 z3-4.8.17_default sat ✅ 18.71710 18.71670
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 5.10474 5.10450
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 76.40980 76.40590
STP STP 2022.4_default sat ✅ 4.02474 4.02450
STP 2022.4_default sat ✅ 4.02645 4.02607
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.03000 1247.37000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 15.08570 15.08520
Z3-Owl z3-Owl-Final_default sat ✅ 17.09920 17.09790
z3-Owl-Final_default sat ✅ 20.86850 20.86700
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla sat ✅ 8.11790 7.99942
Bitwuzla-MachBV-base sat ✅ 2.85046 2.73335
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 3.23920 3.12118
BVDecide bv_decide sat ✅ 51.36247 51.22500
bv_decide-nokernel sat ✅ 21.21295 21.06844
cvc5 cvc5 sat ✅ 46.51748 46.38195
SMTInterpol SMTInterpol unknown ❌ 1201.48369 1270.25487
Yices2 Yices2 sat ✅ 5.10477 4.98438
Z3alpha Z3-alpha sat ✅ 23.27862 91.69768
Z3 Z3-alpha-base sat ✅ 2.55993 2.43484
Z3-Owl-base sat ✅ 9.66769 9.53003
z3siri-base sat ✅ 2.58203 2.45879
Z3-Owl Z3-Owl sat ✅ 6.54682 6.41619