Benchmark

non-incremental/QF_BV/asp/GraphColouring/graph-colouring-nodes=125-density=0.1-instance=7.smt2 

Benchmark without description.
Benchmark
Size662536
Compressed Size64225
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 662528
Compressed Size64213
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants8556
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true1680 not2626 or1 and3876
=>2500 =9806 bvsub1000 bvuge250

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2012 0.14 (6/7) 4Simp 4Simp sat ✅ 10.20000 —
Abziz AbzizPortfolio+BOOLECTOR+MATHSAT+SONOLAR+STP2+Z3_6 sat ✅ 14.00000 —
Boolector Boolector sat ✅ 25.40000 —
CVC3 CVC3 v2.4.2 unknown ❌ 1200.60000 —
CVC4 1.0rc.3931 unknown ❌ 1200.00000 —
MathSAT MathSAT-HeavyBV sat ✅ 193.10000 —
SONOLAR SONOLAR sat ✅ 98.60000 —
Z3 Z3 sat ✅ 123.80000 —
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 10.11860 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 1.07461 —
abziz_portfolio_2011_solvers_2 default sat ✅ 1.02558 —
abziz_portfolio_2012_minfeatures default sat ✅ 1.05909 —
abziz_portfolio_2012_solvers default sat ✅ 1.04894 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 1.03871 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 15.31390 —
Boolector-SMT-COMP-2011 default sat ✅ 39.10580 —
Boolector-SMT-COMP-2012 default sat ✅ 16.86260 —
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 ✅ 86.23440 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 52.99260 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 192.32000 —
MathSAT5-SMT-COMP-2011 default sat ✅ 276.28200 —
MathSAT5-SMT-COMP-2012 default sat ✅ 27.16100 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 9.37284 —
SONOLAR-SMT-COMP-2010 default sat ✅ 53.84260 —
SONOLAR-SMT-COMP-2011 default sat ✅ 86.44850 —
SONOLAR-SMT-COMP-2012 default sat ✅ 12.62750 —
STP STP2-SMT-COMP-2011 default sat ✅ 124.01500 —
STP2-SMT-COMP-2012 default sat ✅ 12.93360 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 1.40673 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 1.84770 —
Z3-SMT-COMP-2011 default sat ✅ 1.07323 —
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 20.43570 20.44490
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 707.93900 1421.32000
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 6.32021 12.32210
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 123.72700 123.77700
SMT-RAT SMT-RAT-final default sat ✅ 716.39300 716.56500
STP stp-cryptominisat4 default sat ✅ 43.79850 43.81530
stp-cmsat4-v15 default sat ✅ 38.40570 76.61320
stp-cmsat4-mt-v15 default unknown ❌ 0.84250 0.84187
stp-minisat-v15 default sat ✅ 10.17830 10.18150
Yices2 Yices default sat ✅ 31.99300 32.00810
Z3 z3 4.4.0 default sat ✅ 4.82372 4.82527
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 144.20100 144.24200
ABC_glucose glucose sat ✅ 14.79340 14.79800
Boolector Boolector boolector sat ✅ 7.78682 15.53840
Boolector preprop boolector sat ✅ 7.82928 7.83402
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 24.02280 47.87170
MapleSTP MapleSTP default sat ✅ 5.01719 5.02003
MapleSTP-mt default sat ✅ 3.00544 9.47399
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 23.29370 23.30710
MinkeyRink Minkeyrink 2016 default sat ✅ 12.79130 45.72390
Q3B Q3B default unknown ❌ 2400.03000 7204.41000
STP stp-cms-exp-2016 default sat ✅ 23.26590 23.28150
stp-cms-mt-2016 default sat ✅ 9.04300 33.25030
stp-cms-st-2016 default sat ✅ 32.23610 32.24570
stp-minisat-st-2016 default sat ✅ 420.86800 421.08600
Yices2 Yices-2.4.2 default sat ✅ 30.22880 30.24860
Z3 z3-4.4.1 default sat ✅ 7.39252 7.39799
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 15.95220 15.94990
Boolector SMT17 final boolector sat ✅ 7.35776 7.35611
CVC4 CVC4-smtcomp2017-main default sat ✅ 67.86590 136.08700
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 154.65700 154.65800
MinkeyRink MinkeyRink 2017.3a default sat ✅ 8.18162 10.69600
Q3B Q3B default unknown ❌ 600.08800 1787.34000
STP stp_st default sat ✅ 9.06112 9.06013
stp_mt default sat ✅ 8.07678 22.98510
Yices2 Yices2-Main default sat ✅ 14.34150 14.33820
Z3 z3-4.5.0 default sat ✅ 11.38220 11.38130
SMT-COMP 2018 Boolector Boolector_default sat ✅ 37.03270 37.03090
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 3.15380 3.15398
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 42.68650 42.68700
MinkeyRink Minkeyrink MT_mt sat ✅ 26.10360 101.48000
Minkeyrink ST_st sat ✅ 15.87750 15.86970
STP STP-CMS-st-2018_default-no-stderr sat ✅ 55.28880 55.27740
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 23.66750 91.34090
STP-Riss-st-2018_riss-no-stderr sat ✅ 30.53570 30.53640
Yices2 Yices 2.6.0_default sat ✅ 1.16099 1.16042
Z3 z3-4.7.1_default sat ✅ 42.14800 42.14660
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 4.70655 4.70638
Poolector-wrapped-sq_default sat ✅ 4.12509 15.79230
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 1.17564 1.17451
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 4.97766 4.97750
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 9.11022 34.10800
MinkeyRink ST-wrapped-sq_default sat ✅ 18.24120 18.24000
Par4 Par4-wrapped-sq_default sat ✅ 6.58200 19.51000
STP STP-2019-wrapped-sq_default sat ✅ 61.47690 61.47430
stp-mergesat-fixed-wrapped-sq_default sat ✅ 33.62330 33.62120
stp-minisat-wrapped-sq_default sat ✅ 4.17835 4.17829
stp-mt-wrapped-sq_default sat ✅ 24.29930 93.53610
stp-portfolio-fixed-wrapped-sq_default sat ✅ 67.67810 109.11500
stp-riss-wrapped-sq_default unknown ❌ 0.89643 0.89654
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 45.50950 45.51000
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 5.27720 5.27624
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 36.72920 36.72650
Yices 2.6.2 MCSAT BV-wrapped-sq_default sat ✅ 1056.47000 1056.49000
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 7.31637 7.31592
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 3.95845 3.95846
SMT-COMP 2020 0.11 (8/9) Bitwuzla Bitwuzla-fixed_default sat ✅ 3.76340 3.76350
Boolector Boolector-wrapped-sq_default sat ✅ 11.04450 11.04390
Poolector-wrapped-sq_default sat ✅ 3.59432 13.63000
CVC4 CVC4-sq-final_default sat ✅ 6.22985 6.22937
LazyBV2Int LazyBV2Int20200523_default.sh unknown ❌ 1200.01000 1199.93000
MathSAT MathSAT5_default.sh sat ✅ 275.45600 275.40800
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 0.71381 0.71403
MinkeyRink Solver 2020.3_default sat ✅ 36.27530 141.65000
STP STP_default sat ✅ 10.83120 40.58240
STP ++ Mergsat v1_default sat ✅ 70.30040 70.29940
Yices2 Yices 2.6.2 bug fix_default sat ✅ 12.88000 12.87740
Z3 z3-4.8.8_default sat ✅ 16.26300 16.25700
SMT-COMP 2022 Bitwuzla Bitwuzla-fixed_default sat ✅ 4.75892 4.75700
Bitwuzla-wrapped_default sat ✅ 3.11116 3.11094
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 15.18870 15.18960
MathSAT MathSAT-5.6.8_default sat ✅ 476.68300 476.61900
STP STP 2022.4_default sat ✅ 12.10900 12.10900
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 3.09315 3.09322
Z3++BV z3++bv_0702_default sat ✅ 3.51390 3.51387
Z3 z3-4.8.17_default sat ✅ 14.48900 14.49010
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 5.24425 5.14433
cvc5 cvc5 sat ✅ 10.05924 9.95625
SMTInterpol SMTInterpol unknown ❌ 1201.74430 1257.70676
STP STP sat ✅ 4.31841 4.21352
Yices2 Yices2 sat ✅ 5.05206 4.95045
Z3alpha Z3-alpha sat ✅ 134.41261 134.31019