Benchmark

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

Benchmark without description.
Benchmark
Size326015
Compressed Size35693
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 326007
Compressed Size35700
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants4292
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true1938 not1880 or109 and149
=>2562 =5573 bvsub1024 bvuge257

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.22 (7/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 193.15700 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 1099.66000 —
abziz_portfolio_2011_solvers_2 default sat ✅ 1101.71000 —
abziz_portfolio_2012_minfeatures default sat ✅ 1157.36000 —
abziz_portfolio_2012_solvers default sat ✅ 20.75120 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 571.89000 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 69.01710 —
Boolector-SMT-COMP-2011 default sat ✅ 62.19470 —
Boolector-SMT-COMP-2012 default sat ✅ 92.01380 —
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 unknown ❌ — —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 774.24100 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 894.10800 —
MathSAT5-SMT-COMP-2011 default sat ✅ 1089.64000 —
MathSAT5-SMT-COMP-2012 default sat ✅ 1153.02000 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 317.03000 —
SONOLAR-SMT-COMP-2010 default sat ✅ 163.65100 —
SONOLAR-SMT-COMP-2011 default sat ✅ 574.36200 —
SONOLAR-SMT-COMP-2012 default sat ✅ 315.01500 —
STP STP2-SMT-COMP-2011 default sat ✅ 356.34800 —
STP2-SMT-COMP-2012 default sat ✅ 176.19200 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 1214.99000 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 22.87570 —
Z3-SMT-COMP-2011 default sat ✅ 16.29180 —
SMT-COMP 2015 0.14 (6/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 126.76600 126.81300
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 1228.40000 2467.53000
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 61.76830 123.68600
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 397.95700 398.11800
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2401.02000
STP stp-cryptominisat4 default sat ✅ 184.77700 184.82100
stp-cmsat4-v15 default sat ✅ 45.61840 45.61310
stp-cmsat4-mt-v15 default unknown ❌ 0.88297 0.88187
stp-minisat-v15 default sat ✅ 464.95700 465.03200
Yices2 Yices default sat ✅ 214.31100 214.35700
Z3 z3 4.4.0 default sat ✅ 4.46781 4.46932
SMT-COMP 2016 0.20 (8/10) ABC ABC_default default_abc sat ✅ 209.27200 209.39300
ABC_glucose glucose sat ✅ 55.12500 55.15510
Boolector Boolector boolector sat ✅ 112.20000 112.26400
Boolector preprop boolector sat ✅ 110.02400 110.08500
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 100.55800 201.71900
MapleSTP MapleSTP default unknown ❌ 2400.03000 2401.34000
MapleSTP-mt default unknown ❌ 2400.07000 9537.03000
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 508.44700 508.66600
MinkeyRink Minkeyrink 2016 default sat ✅ 16.51880 57.48380
Q3B Q3B default unknown ❌ 2400.07000 7203.84000
STP stp-cms-exp-2016 default unknown ❌ 48.36700 47.30630
stp-cms-mt-2016 default sat ✅ 87.77910 345.77000
stp-cms-st-2016 default sat ✅ 83.51680 83.56810
stp-minisat-st-2016 default sat ✅ 906.88300 907.38700
Yices2 Yices-2.4.2 default sat ✅ 129.23400 129.30900
Z3 z3-4.4.1 default sat ✅ 3.94969 3.95386
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 242.86500 242.86500
Boolector SMT17 final boolector sat ✅ 152.08200 152.02400
CVC4 CVC4-smtcomp2017-main default sat ✅ 389.29300 478.55800
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 201.86400 201.83600
MinkeyRink MinkeyRink 2017.3a default sat ✅ 47.19620 73.06000
Q3B Q3B default unknown ❌ 600.05200 1183.23000
STP stp_st default sat ✅ 201.35600 201.32300
stp_mt default sat ✅ 83.57840 329.10500
Yices2 Yices2-Main default sat ✅ 91.83950 91.69410
Z3 z3-4.5.0 default sat ✅ 27.67750 27.67220
SMT-COMP 2018 Boolector Boolector_default sat ✅ 38.30830 38.30250
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 121.99100 121.98800
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 506.81400 506.73800
MinkeyRink Minkeyrink MT_mt sat ✅ 33.89510 132.92100
Minkeyrink ST_st sat ✅ 24.74570 24.74260
STP STP-CMS-st-2018_default-no-stderr sat ✅ 45.31500 45.31300
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 39.75010 155.39000
STP-Riss-st-2018_riss-no-stderr sat ✅ 96.72780 96.71810
Yices2 Yices 2.6.0_default sat ✅ 86.97660 86.96870
Z3 z3-4.7.1_default sat ✅ 35.83810 35.83470
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 20.02130 20.01800
Poolector-wrapped-sq_default sat ✅ 25.13170 99.06000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 88.03000 88.01960
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 30.07150 30.07030
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 36.65580 144.03800
MinkeyRink ST-wrapped-sq_default sat ✅ 27.28260 27.28430
Par4 Par4-wrapped-sq_default sat ✅ 18.02620 53.72000
STP STP-2019-wrapped-sq_default sat ✅ 154.62200 154.62100
stp-mergesat-fixed-wrapped-sq_default sat ✅ 67.15610 67.15340
stp-minisat-wrapped-sq_default sat ✅ 514.62000 514.57600
stp-mt-wrapped-sq_default sat ✅ 50.34730 197.09400
stp-portfolio-fixed-wrapped-sq_default sat ✅ 541.41400 789.45600
stp-riss-wrapped-sq_default unknown ❌ 0.92183 0.92193
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 47.67600 47.67750
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 24.39880 24.39350
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 206.94000 206.93100
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.01000 2399.71000
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 110.12800 110.12600
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 13.12350 13.12290
SMT-COMP 2020 0.11 (8/9) Bitwuzla Bitwuzla-fixed_default sat ✅ 25.33140 25.32950
Boolector Boolector-wrapped-sq_default sat ✅ 4.88608 4.88547
Poolector-wrapped-sq_default sat ✅ 5.99186 23.20000
CVC4 CVC4-sq-final_default sat ✅ 20.37830 20.37790
LazyBV2Int LazyBV2Int20200523_default.sh unknown ❌ 1200.02000 1199.82000
MathSAT MathSAT5_default.sh sat ✅ 487.74200 487.74400
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 0.59121 0.59139
MinkeyRink Solver 2020.3_default sat ✅ 24.68830 96.31900
STP STP_default sat ✅ 48.82800 191.78200
STP ++ Mergsat v1_default sat ✅ 147.82600 147.80400
Yices2 Yices 2.6.2 bug fix_default sat ✅ 7.28647 7.28528
Z3 z3-4.8.8_default sat ✅ 44.64450 44.63940
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 5.99696 5.99179
MathSAT mathsat-5.6.6_default sat ✅ 767.07400 766.89700
STP STP 2021.0_default sat ✅ 76.74270 302.57700
Z3 z3-4.8.11_default sat ✅ 43.74320 43.73630
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 7.54436 7.54414
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 167.20300 167.13300
STP STP 2022.4_default sat ✅ 22.93950 22.93920
STP 2022.4_default sat ✅ 22.87430 22.87410
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.03000 1245.71000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 130.32300 130.30100
Z3-Owl z3-Owl-Final_default sat ✅ 54.56370 54.55680
z3-Owl-Final_default sat ✅ 32.57940 32.55490
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla sat ✅ 9.98595 9.86040
Bitwuzla-MachBV-base sat ✅ 11.82440 11.68642
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 17.60307 17.47596
BVDecide bv_decide sat ✅ 118.05340 117.87821
bv_decide-nokernel sat ✅ 42.94105 42.77955
cvc5 cvc5 sat ✅ 103.88941 103.75937
SMTInterpol SMTInterpol unknown ❌ 1201.49033 1245.01627
Yices2 Yices2 sat ✅ 6.54195 6.42150
Z3alpha Z3-alpha sat ✅ 21.10700 81.70328
Z3 Z3-alpha-base sat ✅ 12.85135 12.73131
Z3-Owl-base sat ✅ 50.60145 50.46945
z3siri-base sat ✅ 13.10514 12.97694
Z3-Owl Z3-Owl sat ✅ 48.24875 48.11810