Benchmark

non-incremental/QF_BV/asp/SchurNumbers/20.17.schur.lp.smt2 

Benchmark without description.
Benchmark
Size2134397
Compressed Size232717
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 2134389
Compressed Size232727
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants24281
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true155 not2611 or21 and21044
=>2400 =25481 bvsub960 bvuge240

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default unsat ✅ 1.56181 —
Abziz abziz_portfolio_2011_minfeatures_2 default unsat ✅ 1.08727 —
abziz_portfolio_2011_solvers_2 default unsat ✅ 1.12907 —
abziz_portfolio_2012_minfeatures default unsat ✅ 1.05932 —
abziz_portfolio_2012_solvers default unsat ✅ 1.11848 —
AbzizPortfolio-SMT-COMP-2012 default unsat ✅ 1.12375 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default unsat ✅ 5.48126 —
Boolector-SMT-COMP-2011 default unsat ✅ 5.57249 —
Boolector-SMT-COMP-2012 default unsat ✅ 4.25718 —
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 ✅ 106.99800 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unsat ✅ 5.14677 —
MathSAT5-HeavyBV-SMT-COMP-2012 default unsat ✅ 4.35737 —
MathSAT5-SMT-COMP-2011 default unsat ✅ 3.50136 —
MathSAT5-SMT-COMP-2012 default unsat ✅ 3.73320 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default unsat ✅ 2.17896 —
SONOLAR-SMT-COMP-2010 default unknown ❌ 4.16763 —
SONOLAR-SMT-COMP-2011 default unknown ❌ — —
SONOLAR-SMT-COMP-2012 default unsat ✅ 2.20254 —
STP STP2-SMT-COMP-2011 default unsat ✅ 3.26059 —
STP2-SMT-COMP-2012 default unsat ✅ 3.71239 —
simplifyingSTP-SMT-COMP-2010 default unsat ✅ 3.27857 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default unsat ✅ 1.13873 —
Z3-SMT-COMP-2011 default unsat ✅ 1.08510 —
SMT-COMP 2015 0.14 (6/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv unsat ✅ 3.81682 3.81642
CVC4 CVC4-master-2015-06-15-9b32405-main default unsat ✅ 22.16180 43.44940
CVC4-experimental-2015-06-15-ff5745a-main default unsat ✅ 25.94680 51.07420
MathSAT MathSat 5.3.6 main smtcomp2015_main unsat ✅ 3.87052 3.87141
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2401.17000
STP stp-cryptominisat4 default unsat ✅ 3.70815 3.70844
stp-cmsat4-v15 default unsat ✅ 3.88168 3.88241
stp-cmsat4-mt-v15 default unknown ❌ 2.33459 2.33464
stp-minisat-v15 default unsat ✅ 3.21338 3.20551
Yices2 Yices default unsat ✅ 0.94203 0.94086
Z3 z3 4.4.0 default unsat ✅ 1.15862 1.15882
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc unknown ❌ 86.62700 85.25850
ABC_glucose glucose unsat ✅ 26.15780 26.17230
Boolector Boolector boolector unsat ✅ 3.41337 3.41495
Boolector preprop boolector unsat ✅ 3.51360 3.51513
CVC4 CVC4-master-2016-05-27-cfef263-main default unsat ✅ 25.10470 49.38020
MapleSTP MapleSTP default unsat ✅ 3.37056 3.37298
MapleSTP-mt default unsat ✅ 3.33673 6.61686
MathSAT mathsat-5.3.11-linux-x86_64-Main default unsat ✅ 3.79991 3.80278
MinkeyRink Minkeyrink 2016 default unsat ✅ 5.72922 8.42259
Q3B Q3B default unknown ❌ 2400.07000 7203.54000
STP stp-cms-exp-2016 default unsat ✅ 3.26072 3.26307
stp-cms-mt-2016 default unsat ✅ 3.30500 6.44477
stp-cms-st-2016 default unsat ✅ 3.18217 3.18397
stp-minisat-st-2016 default unsat ✅ 8.08457 8.08913
Yices2 Yices-2.4.2 default unsat ✅ 1.32887 1.32983
Z3 z3-4.4.1 default unsat ✅ 1.22602 1.22782
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector unsat ✅ 5.67615 5.55578
Boolector SMT17 final boolector unsat ✅ 4.53562 4.53390
CVC4 CVC4-smtcomp2017-main default unsat ✅ 33.88000 67.13190
MathSAT mathsat-5.4.1-linux-x86_64-Main default unsat ✅ 4.54423 4.54408
MinkeyRink MinkeyRink 2017.3a default unsat ✅ 3.63252 3.64059
Q3B Q3B default unknown ❌ 600.05600 1786.32000
STP stp_st default unsat ✅ 4.53204 4.53191
stp_mt default unsat ✅ 5.76325 8.07698
Yices2 Yices2-Main default unsat ✅ 1.17539 1.17375
Z3 z3-4.5.0 default unsat ✅ 1.44972 1.44901
SMT-COMP 2018 Boolector Boolector_default unsat ✅ 2.87644 2.87644
CVC4 master-2018-06-10-b19c840-competition-default_default unsat ✅ 22.73740 22.73540
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unsat ✅ 3.24670 3.24749
MinkeyRink Minkeyrink MT_mt unsat ✅ 8.86726 13.80360
Minkeyrink ST_st unsat ✅ 8.53652 8.53171
STP STP-CMS-st-2018_default-no-stderr unsat ✅ 4.15344 4.15297
STP-CMS-mt-2018_multicore-no-stderr unsat ✅ 4.36776 8.76307
STP-Riss-st-2018_riss-no-stderr unsat ✅ 4.41788 4.41806
Yices2 Yices 2.6.0_default unsat ✅ 1.15206 1.15176
Z3 z3-4.7.1_default unsat ✅ 2.30903 2.30869
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default unsat ✅ 4.59180 4.59152
Poolector-wrapped-sq_default unsat ✅ 2.72488 10.26250
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default unsat ✅ 2.38859 2.38858
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default unsat ✅ 21.70130 21.70080
MinkeyRink MinkeyRink MT-wrapped-sq_default unsat ✅ 6.22697 10.94130
MinkeyRink ST-wrapped-sq_default unsat ✅ 6.05972 6.05981
Par4 Par4-wrapped-sq_default unsat ✅ 1.33375 3.90000
STP STP-2019-wrapped-sq_default unsat ✅ 3.87151 3.87120
stp-mergesat-fixed-wrapped-sq_default unsat ✅ 13.00620 25.92610
stp-minisat-wrapped-sq_default unsat ✅ 3.48157 3.48170
stp-mt-wrapped-sq_default unsat ✅ 4.25648 8.09064
stp-portfolio-fixed-wrapped-sq_default unsat ✅ 12.71780 14.59000
stp-riss-wrapped-sq_default unknown ❌ 2.88600 2.88615
Yices2 Yices 2.6.2-wrapped-sq_default unsat ✅ 1.24320 1.24313
Yices 2.6.2 Cadical-wrapped-sq_default unsat ✅ 1.12324 1.12316
Yices 2.6.2 Cryptominisat-wrapped-sq_default unsat ✅ 1.47770 1.47770
Yices 2.6.2 MCSAT BV-wrapped-sq_default unsat ✅ 19.74930 19.74890
Yices 2.6.2 new bvsolver-wrapped-sq_default unsat ✅ 0.83407 0.83413
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default unsat ✅ 1.16336 1.16331
SMT-COMP 2023 Bitwuzla Bitwuzla-fixed_default unsat ✅ 11.96520 11.96330
cvc5 cvc5-default-2023-05-16-ea045f305_sq unsat ✅ 26.34570 26.34250
STP STP 2022.4_default unsat ✅ 5.51984 5.51958
STP 2022.4_default unsat ✅ 5.50503 5.50366
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unsat ✅ 992.26300 1031.22000
Yices2 Yices 2 for SMTCOMP 2023_default unsat ✅ 1.15831 1.15822
Z3-Owl z3-Owl-Final_default unsat ✅ 9.67907 9.62816
z3-Owl-Final_default unsat ✅ 9.90367 9.90222
SMT-COMP 2024 Bitwuzla Bitwuzla unsat ✅ 8.61178 8.50902
cvc5 cvc5 unsat ✅ 18.51439 18.40577
SMTInterpol SMTInterpol unsat ✅ 75.69267 121.71802
STP STP unsat ✅ 3.15960 3.05785
Yices2 Yices2 unsat ✅ 1.24004 1.13997
Z3alpha Z3-alpha unsat ✅ 2.98774 2.88657
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla unsat ✅ 4.86835 4.74100
Bitwuzla-MachBV-base unsat ✅ 6.50766 6.37852
Bitwuzla-MachBV Bitwuzla-MachBV unsat ✅ 5.26519 5.13908
BVDecide bv_decide unknown ❌ 1201.39092 1201.04634
bv_decide-nokernel unknown ❌ 1201.39653 1201.01264
cvc5 cvc5 unsat ✅ 14.67349 14.54938
SMTInterpol SMTInterpol unsat ✅ 111.69897 139.43675
Yices2 Yices2 unsat ✅ 0.92820 0.80876
Z3alpha Z3-alpha unsat ✅ 1.72751 4.37152
Z3 Z3-alpha-base unsat ✅ 1.36020 1.23043
Z3-Owl-base unsat ✅ 5.18711 5.06837
z3siri-base unsat ✅ 1.37038 1.25580
Z3-Owl Z3-Owl unsat ✅ 4.80867 4.67462