Benchmark

non-incremental/QF_BV/asp/ConnectedDominatingSet/rand_80_500_1235848939_0_k=9_sat.gph.smt2 

Benchmark without description.
Benchmark
Size408788
Compressed Size43338
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 408780
Compressed Size43323
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants5045
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true1081 not3723 or401 and2160
=>320 =5125 bvsub79 bvugt1000
bvuge1

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 11.17970 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 34.88740 —
abziz_portfolio_2011_solvers_2 default sat ✅ 54.96550 —
abziz_portfolio_2012_minfeatures default sat ✅ 39.14000 —
abziz_portfolio_2012_solvers default sat ✅ 16.35080 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 31.73250 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 15.61130 —
Boolector-SMT-COMP-2011 default sat ✅ 48.16350 —
Boolector-SMT-COMP-2012 default sat ✅ 20.94720 —
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 ✅ 98.48930 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 27.79820 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 32.91820 —
MathSAT5-SMT-COMP-2011 default sat ✅ 90.99460 —
MathSAT5-SMT-COMP-2012 default sat ✅ 44.05300 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 29.69730 —
SONOLAR-SMT-COMP-2010 default sat ✅ 25.15810 —
SONOLAR-SMT-COMP-2011 default sat ✅ 833.36200 —
SONOLAR-SMT-COMP-2012 default sat ✅ 19.49750 —
STP STP2-SMT-COMP-2011 default sat ✅ 7.92996 —
STP2-SMT-COMP-2012 default sat ✅ 7.72435 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 29.65210 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 136.08500 —
Z3-SMT-COMP-2011 default sat ✅ 24.75410 —
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 86.10110 86.13690
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 16.19470 32.27410
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 18.63180 37.16040
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 16.33180 16.33350
SMT-RAT SMT-RAT-final default sat ✅ 213.19000 213.20700
STP stp-cryptominisat4 default sat ✅ 20.65460 20.66190
stp-cmsat4-v15 default sat ✅ 23.48810 23.49240
stp-cmsat4-mt-v15 default unknown ❌ 0.66306 0.66190
stp-minisat-v15 default sat ✅ 8.30834 8.30874
Yices2 Yices default sat ✅ 7.62305 7.62484
Z3 z3 4.4.0 default sat ✅ 58.06140 58.08520
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 65.87070 65.89040
ABC_glucose glucose sat ✅ 21.84000 21.85080
Boolector Boolector boolector sat ✅ 52.20030 52.23070
Boolector preprop boolector sat ✅ 52.73650 52.76680
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 26.32470 52.61120
MapleSTP MapleSTP default sat ✅ 64.45630 64.49850
MapleSTP-mt default sat ✅ 51.75970 203.50800
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 31.31420 31.33540
MinkeyRink Minkeyrink 2016 default sat ✅ 5.31007 16.86880
Q3B Q3B default unknown ❌ 2400.04000 7203.69000
STP stp-cms-exp-2016 default sat ✅ 9.71550 9.72184
stp-cms-mt-2016 default sat ✅ 13.39050 51.10600
stp-cms-st-2016 default sat ✅ 19.86510 19.87510
stp-minisat-st-2016 default sat ✅ 119.98000 120.03900
Yices2 Yices-2.4.2 default sat ✅ 31.68760 31.70590
Z3 z3-4.4.1 default sat ✅ 46.45630 46.48150
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 50.97090 50.95520
Boolector SMT17 final boolector sat ✅ 53.93790 53.92380
CVC4 CVC4-smtcomp2017-main default sat ✅ 23.55180 47.06400
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 21.06940 21.06820
MinkeyRink MinkeyRink 2017.3a default sat ✅ 2.34417 2.37000
Q3B Q3B default unknown ❌ 600.03800 1785.95000
STP stp_st default sat ✅ 22.54150 17.42570
stp_mt default sat ✅ 25.33290 53.16090
Yices2 Yices2-Main default sat ✅ 19.77780 15.77170
Z3 z3-4.5.0 default sat ✅ 15.38850 15.37590
SMT-COMP 2018 Boolector Boolector_default sat ✅ 20.96220 20.96300
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 7.07499 7.07539
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 60.86910 60.86720
MinkeyRink Minkeyrink MT_mt sat ✅ 3.55200 12.43120
Minkeyrink ST_st sat ✅ 21.09740 21.09900
STP STP-CMS-st-2018_default-no-stderr sat ✅ 55.14440 55.14450
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 5.98094 21.80120
STP-Riss-st-2018_riss-no-stderr sat ✅ 43.49090 43.48630
Yices2 Yices 2.6.0_default sat ✅ 53.99620 53.99330
Z3 z3-4.7.1_default sat ✅ 35.46560 35.46460
SMT-COMP 2020 0.11 (8/9) Bitwuzla Bitwuzla-fixed_default sat ✅ 17.46050 17.45670
Boolector Boolector-wrapped-sq_default sat ✅ 11.16790 11.16760
Poolector-wrapped-sq_default sat ✅ 4.98982 19.19000
CVC4 CVC4-sq-final_default sat ✅ 6.37030 6.36912
LazyBV2Int LazyBV2Int20200523_default.sh unknown ❌ 1200.02000 1199.87000
MathSAT MathSAT5_default.sh sat ✅ 33.80470 33.80380
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 0.66457 0.66183
MinkeyRink Solver 2020.3_default sat ✅ 3.89241 13.48080
STP STP_default sat ✅ 9.86498 37.34980
STP ++ Mergsat v1_default sat ✅ 34.03370 34.02270
Yices2 Yices 2.6.2 bug fix_default sat ✅ 2.42896 2.42867
Z3 z3-4.8.8_default sat ✅ 26.18700 26.18620
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 8.58455 8.58395
MathSAT mathsat-5.6.6_default sat ✅ 23.04450 23.04250
STP STP 2021.0_default sat ✅ 29.37570 114.05100
Z3 z3-4.8.11_default sat ✅ 11.16640 11.16550
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 6.05849 6.05811
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 22.00820 22.00550
STP STP 2022.4_default sat ✅ 4.51158 4.51136
STP 2022.4_default sat ✅ 4.54077 4.54039
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.03000 1245.41000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 52.10560 52.09810
Z3-Owl z3-Owl-Final_default sat ✅ 9.51274 9.51312
z3-Owl-Final_default sat ✅ 12.65820 12.65700
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla sat ✅ 3.14566 3.02636
Bitwuzla-MachBV-base sat ✅ 6.66965 6.54775
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 9.06636 8.94271
BVDecide bv_decide sat ✅ 128.14543 127.95069
bv_decide-nokernel sat ✅ 37.49468 37.33134
cvc5 cvc5 sat ✅ 10.75314 10.63592
SMTInterpol SMTInterpol unknown ❌ 1201.78861 1879.50205
Yices2 Yices2 sat ✅ 2.27952 2.16039
Z3alpha Z3-alpha sat ✅ 16.16771 63.17068
Z3 Z3-alpha-base sat ✅ 34.48431 34.36236
Z3-Owl-base sat ✅ 151.12199 150.97521
z3siri-base sat ✅ 34.50944 34.38109
Z3-Owl Z3-Owl sat ✅ 6.28258 6.14935