Benchmark

non-incremental/QF_BV/asp/ConnectedDominatingSet/rand_90_600_1235859689_0_k=6_unsat.gph.smt2 

Benchmark without description.
Benchmark
Size488879
Compressed Size50086
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 unsat
Inferred Status unsat
Size 488871
Compressed Size50092
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants5975
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true1291 not4638 or451 and2580
=>360 =6065 bvsub89 bvugt1200
bvuge1

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default unsat ✅ 9.52711 —
Abziz abziz_portfolio_2011_minfeatures_2 default unsat ✅ 3.86870 —
abziz_portfolio_2011_solvers_2 default unsat ✅ 3.82983 —
abziz_portfolio_2012_minfeatures default unsat ✅ 3.80859 —
abziz_portfolio_2012_solvers default unsat ✅ 3.75262 —
AbzizPortfolio-SMT-COMP-2012 default unsat ✅ 3.81427 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default unsat ✅ 17.84430 —
Boolector-SMT-COMP-2011 default unsat ✅ 17.80020 —
Boolector-SMT-COMP-2012 default unsat ✅ 16.47520 —
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 unsat ✅ 93.57570 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unsat ✅ 31.36800 —
MathSAT5-HeavyBV-SMT-COMP-2012 default unsat ✅ 20.15950 —
MathSAT5-SMT-COMP-2011 default unsat ✅ 39.64810 —
MathSAT5-SMT-COMP-2012 default unsat ✅ 42.02890 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default unsat ✅ 15.40290 —
SONOLAR-SMT-COMP-2010 default unknown ❌ 12.11170 —
SONOLAR-SMT-COMP-2011 default unsat ✅ 662.57400 —
SONOLAR-SMT-COMP-2012 default unsat ✅ 14.97000 —
STP STP2-SMT-COMP-2011 default unsat ✅ 15.81090 —
STP2-SMT-COMP-2012 default unsat ✅ 9.46630 —
simplifyingSTP-SMT-COMP-2010 default unsat ✅ 30.07610 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default unsat ✅ — —
Z3-SMT-COMP-2011 default unsat ✅ 3.79453 —
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv unsat ✅ 20.70930 20.71580
CVC4 CVC4-master-2015-06-15-9b32405-main default unsat ✅ 31.01270 61.98160
CVC4-experimental-2015-06-15-ff5745a-main default unsat ✅ 17.04900 33.92880
MathSAT MathSat 5.3.6 main smtcomp2015_main unsat ✅ 20.78720 20.79680
SMT-RAT SMT-RAT-final default unsat ✅ 91.28080 91.30110
STP stp-cryptominisat4 default unsat ✅ 16.22010 16.22550
stp-cmsat4-v15 default unsat ✅ 15.23720 15.23970
stp-cmsat4-mt-v15 default unknown ❌ 0.84420 0.84287
stp-minisat-v15 default unsat ✅ 26.28480 26.28900
Yices2 Yices default unsat ✅ 4.80412 4.80527
Z3 z3 4.4.0 default unsat ✅ 4.28641 4.28835
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc unsat ✅ 60.71080 60.74710
ABC_glucose glucose unsat ✅ 10.22160 10.22840
Boolector Boolector boolector unsat ✅ 21.52410 21.53340
Boolector preprop boolector unsat ✅ 22.20260 22.21560
CVC4 CVC4-master-2016-05-27-cfef263-main default unsat ✅ 18.39540 36.66680
MapleSTP MapleSTP default unsat ✅ 374.65700 374.85000
MapleSTP-mt default unsat ✅ 240.59100 952.21000
MathSAT mathsat-5.3.11-linux-x86_64-Main default unsat ✅ 14.78860 14.79880
MinkeyRink Minkeyrink 2016 default unsat ✅ 6.27434 19.73350
Q3B Q3B default unknown ❌ 2400.05000 7204.06000
STP stp-cms-exp-2016 default unsat ✅ 15.90670 15.91580
stp-cms-mt-2016 default unsat ✅ 16.05970 60.79000
stp-cms-st-2016 default unsat ✅ 18.79160 18.80400
stp-minisat-st-2016 default unsat ✅ 139.48200 139.56500
Yices2 Yices-2.4.2 default unsat ✅ 7.26917 7.27276
Z3 z3-4.4.1 default unsat ✅ 5.21944 5.22398
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector unsat ✅ 18.61200 18.60620
Boolector SMT17 final boolector unsat ✅ 24.29500 24.29350
CVC4 CVC4-smtcomp2017-main default unsat ✅ 24.87660 49.30890
MathSAT mathsat-5.4.1-linux-x86_64-Main default unsat ✅ 13.69190 13.69060
MinkeyRink MinkeyRink 2017.3a default unsat ✅ 3.74012 3.78133
Q3B Q3B default unknown ❌ 600.04900 1786.97000
STP stp_st default unsat ✅ 15.71210 15.70350
stp_mt default unsat ✅ 16.64000 49.70790
Yices2 Yices2-Main default unsat ✅ 5.71938 5.71625
Z3 z3-4.5.0 default unsat ✅ 5.79581 5.79541
SMT-COMP 2018 Boolector Boolector_default unsat ✅ 9.60100 9.60071
CVC4 master-2018-06-10-b19c840-competition-default_default unsat ✅ 4.72019 4.72017
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unsat ✅ 14.54460 14.54510
MinkeyRink Minkeyrink MT_mt unsat ✅ 5.93836 21.58530
Minkeyrink ST_st unsat ✅ 5.94316 5.94216
STP STP-CMS-st-2018_default-no-stderr unsat ✅ 8.54368 8.54384
STP-CMS-mt-2018_multicore-no-stderr unsat ✅ 10.95030 41.00590
STP-Riss-st-2018_riss-no-stderr unsat ✅ 10.10000 10.09980
Yices2 Yices 2.6.0_default unsat ✅ 6.90856 6.90769
Z3 z3-4.7.1_default unsat ✅ 7.14038 14.26010
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default unsat ✅ 11.80260 11.80210
Poolector-wrapped-sq_default unsat ✅ 9.88551 38.82900
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default unsat ✅ 8.63056 8.62892
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default unsat ✅ 5.32866 5.32863
MinkeyRink MinkeyRink MT-wrapped-sq_default unsat ✅ 5.15889 18.13170
MinkeyRink ST-wrapped-sq_default unsat ✅ 6.84125 6.83798
Par4 Par4-wrapped-sq_default unsat ✅ 4.41013 13.02000
STP STP-2019-wrapped-sq_default unsat ✅ 13.43470 13.43090
stp-mergesat-fixed-wrapped-sq_default unsat ✅ 23.57910 23.57800
stp-minisat-wrapped-sq_default unsat ✅ 16.85870 16.83890
stp-mt-wrapped-sq_default unsat ✅ 9.53112 35.40440
stp-portfolio-fixed-wrapped-sq_default unsat ✅ 23.44050 55.22010
stp-riss-wrapped-sq_default unknown ❌ 0.81468 0.81482
Yices2 Yices 2.6.2-wrapped-sq_default unsat ✅ 4.42077 4.42095
Yices 2.6.2 Cadical-wrapped-sq_default unsat ✅ 2.99506 2.99484
Yices 2.6.2 Cryptominisat-wrapped-sq_default unsat ✅ 5.29175 5.28879
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.03000 2399.70000
Yices 2.6.2 new bvsolver-wrapped-sq_default unsat ✅ 4.32823 4.32812
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default unsat ✅ 7.28511 7.28487
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default unsat ✅ 6.18869 6.18767
MathSAT mathsat-5.6.6_default unsat ✅ 36.40710 36.39160
STP STP 2021.0_default unsat ✅ 12.60910 47.56610
Z3 z3-4.8.11_default unsat ✅ 5.82291 5.81779
SMT-COMP 2022 Bitwuzla Bitwuzla-fixed_default unsat ✅ 6.58900 6.58833
Bitwuzla-wrapped_default unsat ✅ 6.77005 6.76998
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq unsat ✅ 15.72420 15.72380
MathSAT MathSAT-5.6.8_default unsat ✅ 47.95760 47.95740
STP STP 2022.4_default unsat ✅ 3.45079 3.45040
Yices2 Yices 2.6.2 for SMTCOMP 2021_default unsat ✅ 3.05342 3.05327
Z3++BV z3++bv_0702_default unsat ✅ 4.26524 4.26466
Z3 z3-4.8.17_default unsat ✅ 4.74527 4.74668
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default unsat ✅ 4.66936 4.66875
cvc5 cvc5-default-2023-05-16-ea045f305_sq unsat ✅ 15.43250 15.42450
STP STP 2022.4_default unsat ✅ 4.28256 4.28230
STP 2022.4_default unsat ✅ 4.30791 4.30754
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.03000 1246.57000
Yices2 Yices 2 for SMTCOMP 2023_default unsat ✅ 5.40934 5.38586
Z3-Owl z3-Owl-Final_default unsat ✅ 14.43690 14.43520
z3-Owl-Final_default unsat ✅ 13.52290 13.52220