Benchmark

non-incremental/QF_BV/asp/ConnectedDominatingSet/rand_60_400_1235843083_0_k=7_sat.gph.smt2 

Benchmark without description.
Benchmark
Size310641
Compressed Size33525
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 310633
Compressed Size33530
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants3985
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true861 not2193 or301 and1720
=>240 =4045 bvsub59 bvugt800
bvuge1

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 2.01178 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 1.51563 —
abziz_portfolio_2011_solvers_2 default sat ✅ 1.51877 —
abziz_portfolio_2012_minfeatures default sat ✅ 1.51727 —
abziz_portfolio_2012_solvers default sat ✅ 1.49054 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 1.50928 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 7.94231 —
Boolector-SMT-COMP-2011 default sat ✅ 5.39470 —
Boolector-SMT-COMP-2012 default sat ✅ 6.43991 —
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 ✅ 72.21570 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 13.08040 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 3.88101 —
MathSAT5-SMT-COMP-2011 default sat ✅ 9.82285 —
MathSAT5-SMT-COMP-2012 default sat ✅ 12.98010 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 2.08246 —
SONOLAR-SMT-COMP-2010 default sat ✅ 2.35790 —
SONOLAR-SMT-COMP-2011 default sat ✅ 249.82000 —
SONOLAR-SMT-COMP-2012 default sat ✅ 2.21593 —
STP STP2-SMT-COMP-2011 default sat ✅ 1.36543 —
STP2-SMT-COMP-2012 default sat ✅ 2.23845 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 7.98045 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 0.93336 —
Z3-SMT-COMP-2011 default sat ✅ 1.51045 —
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 5.04678 5.04823
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 2.97291 5.79312
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 5.39225 10.64240
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 2.49417 2.49462
SMT-RAT SMT-RAT-final default sat ✅ 23.64450 23.64840
STP stp-cryptominisat4 default sat ✅ 4.62823 4.62929
stp-cmsat4-v15 default sat ✅ 2.33931 2.33864
stp-cmsat4-mt-v15 default unknown ❌ 0.50140 0.49992
stp-minisat-v15 default sat ✅ 2.73011 2.72958
Yices2 Yices default sat ✅ 0.44969 0.44893
Z3 z3 4.4.0 default sat ✅ 0.90599 0.90586
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 6.38927 6.39277
ABC_glucose glucose sat ✅ 3.43336 3.43549
Boolector Boolector boolector sat ✅ 6.15630 6.16028
Boolector preprop boolector sat ✅ 6.60592 6.61024
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 2.92196 5.69369
MapleSTP MapleSTP default sat ✅ 25.17780 25.18660
MapleSTP-mt default sat ✅ 26.90480 105.37700
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 2.97813 2.98070
MinkeyRink Minkeyrink 2016 default sat ✅ 1.64220 3.67660
Q3B Q3B default unknown ❌ 2400.07000 7203.78000
STP stp-cms-exp-2016 default sat ✅ 3.75150 3.75362
stp-cms-mt-2016 default sat ✅ 2.54620 8.51746
stp-cms-st-2016 default sat ✅ 4.70147 4.70453
stp-minisat-st-2016 default sat ✅ 7.19646 7.20052
Yices2 Yices-2.4.2 default sat ✅ 0.67216 0.67255
Z3 z3-4.4.1 default sat ✅ 0.69539 0.69704
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 8.64708 8.64089
Boolector SMT17 final boolector sat ✅ 9.50187 9.50088
CVC4 CVC4-smtcomp2017-main default sat ✅ 6.18116 12.12810
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 2.51457 2.50707
MinkeyRink MinkeyRink 2017.3a default sat ✅ 1.07482 1.01361
Q3B Q3B default unknown ❌ 600.05600 1785.14000
STP stp_st default sat ✅ 2.62068 2.61563
stp_mt default sat ✅ 5.12175 9.98280
Yices2 Yices2-Main default sat ✅ 0.98947 0.60784
Z3 z3-4.5.0 default sat ✅ 1.06750 1.06773
SMT-COMP 2018 Boolector Boolector_default sat ✅ 4.62045 4.61995
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 1.63641 1.63648
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 2.69697 2.69745
MinkeyRink Minkeyrink MT_mt sat ✅ 0.85266 2.23962
Minkeyrink ST_st sat ✅ 1.00473 1.00472
STP STP-CMS-st-2018_default-no-stderr sat ✅ 2.67360 2.67245
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 2.04437 13.23840
STP-Riss-st-2018_riss-no-stderr sat ✅ 4.52171 4.52156
Yices2 Yices 2.6.0_default sat ✅ 0.76686 0.76681
Z3 z3-4.7.1_default sat ✅ 2.67649 2.67621
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 6.58611 6.58534
Poolector-wrapped-sq_default sat ✅ 2.42437 9.02052
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 2.01251 2.01232
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 1.65973 1.65998
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 0.76238 1.85443
MinkeyRink ST-wrapped-sq_default sat ✅ 0.65194 0.65202
Par4 Par4-wrapped-sq_default sat ✅ 0.50083 0.00635
STP STP-2019-wrapped-sq_default sat ✅ 1.88184 1.88233
stp-mergesat-fixed-wrapped-sq_default sat ✅ 10.50550 10.50430
stp-minisat-wrapped-sq_default sat ✅ 1.61505 1.61509
stp-mt-wrapped-sq_default sat ✅ 1.62980 9.98246
stp-portfolio-fixed-wrapped-sq_default sat ✅ 10.85080 13.56170
stp-riss-wrapped-sq_default unknown ❌ 0.44570 0.44590
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 0.50186 0.50184
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 0.64047 0.64031
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 0.65004 0.65007
Yices 2.6.2 MCSAT BV-wrapped-sq_default sat ✅ 168.23700 168.20700
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 0.84269 0.84263
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 0.69953 0.69954
SMT-COMP 2022 Bitwuzla Bitwuzla-fixed_default sat ✅ 3.11971 3.11948
Bitwuzla-wrapped_default sat ✅ 2.84899 2.84887
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 3.99579 7.86626
MathSAT MathSAT-5.6.8_default sat ✅ 4.20462 4.20430
STP STP 2022.4_default sat ✅ 1.20675 1.20668
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 0.91758 0.91755
Z3++BV z3++bv_0702_default sat ✅ 1.31778 1.31750
Z3 z3-4.8.17_default sat ✅ 0.98138 0.98311
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla sat ✅ 1.13434 1.00456
Bitwuzla-MachBV-base sat ✅ 1.28281 1.16254
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 1.67592 1.54720
BVDecide bv_decide sat ✅ 69.96639 69.80751
bv_decide-nokernel sat ✅ 16.87871 16.74064
cvc5 cvc5 sat ✅ 1.63600 1.51639
SMTInterpol SMTInterpol unknown ❌ 1201.77020 1850.25000
Yices2 Yices2 sat ✅ 1.31493 1.18422
Z3alpha Z3-alpha sat ✅ 1.76357 5.75386
Z3 Z3-alpha-base sat ✅ 1.05083 0.92824
Z3-Owl-base sat ✅ 3.69106 3.57707
z3siri-base sat ✅ 1.11137 0.97983
Z3-Owl Z3-Owl sat ✅ 3.26151 3.14463