Benchmark

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

Benchmark without description.
Benchmark
Size2134373
Compressed Size232329
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 2134365
Compressed Size232335
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 and21040
=>2400 =25481 bvsub960 bvuge240

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 4Simp 4Simp-SMT-COMP-2012 default unsat ✅ 1.41099 —
Abziz abziz_portfolio_2011_minfeatures_2 default unsat ✅ 0.92539 —
abziz_portfolio_2011_solvers_2 default unsat ✅ 0.89529 —
abziz_portfolio_2012_minfeatures default unsat ✅ 0.92372 —
abziz_portfolio_2012_solvers default unsat ✅ 0.95918 —
AbzizPortfolio-SMT-COMP-2012 default unsat ✅ 0.92134 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default unsat ✅ 1.72970 —
Boolector-SMT-COMP-2011 default unsat ✅ 5.36735 —
Boolector-SMT-COMP-2012 default unsat ✅ 1.46555 —
CVC3 CVC3-SMT-COMP-2010 default unsat ✅ 53.60090 —
CVC3-SMT-COMP-2011 default unsat ✅ 49.85340 —
CVC3-SMT-COMP-2012 default unsat ✅ 49.88970 —
CVC4 CVC4-SMT-COMP-2012-Resubmission default unsat ✅ 62.78580 —
CVC4-SMT-EVAL-2013 default unsat ✅ 107.62300 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unsat ✅ 4.28928 —
MathSAT5-HeavyBV-SMT-COMP-2012 default unsat ✅ 3.74831 —
MathSAT5-SMT-COMP-2011 default unsat ✅ 1.62468 —
MathSAT5-SMT-COMP-2012 default unsat ✅ 1.85136 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default unsat ✅ 1.76573 —
SONOLAR-SMT-COMP-2010 default unknown ❌ 2.50086 —
SONOLAR-SMT-COMP-2011 default unknown ❌ — —
SONOLAR-SMT-COMP-2012 default unsat ✅ 1.71538 —
STP STP2-SMT-COMP-2011 default unsat ✅ 3.01448 —
STP2-SMT-COMP-2012 default unsat ✅ 2.38980 —
simplifyingSTP-SMT-COMP-2010 default unsat ✅ 2.61340 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default unsat ✅ 0.99940 —
Z3-SMT-COMP-2011 default unsat ✅ 0.88869 —
SMT-COMP 2015 0.14 (6/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv unsat ✅ 2.74554 2.74558
CVC4 CVC4-master-2015-06-15-9b32405-main default unsat ✅ 20.37850 39.91290
CVC4-experimental-2015-06-15-ff5745a-main default unsat ✅ 22.76490 44.65820
MathSAT MathSat 5.3.6 main smtcomp2015_main unsat ✅ 2.34935 2.34864
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2400.99000
STP stp-cryptominisat4 default unsat ✅ 2.74125 2.74158
stp-cmsat4-v15 default unsat ✅ 2.71596 2.71559
stp-cmsat4-mt-v15 default unknown ❌ 2.37793 2.37764
stp-minisat-v15 default unsat ✅ 2.50877 2.50862
Yices2 Yices default unsat ✅ 0.27216 0.27096
Z3 z3 4.4.0 default unsat ✅ 0.99766 0.99785
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc unsat ✅ 6.08181 6.08475
ABC_glucose glucose unsat ✅ 26.12720 26.14230
Boolector Boolector boolector unsat ✅ 3.07795 3.07933
Boolector preprop boolector unsat ✅ 3.21285 3.21476
CVC4 CVC4-master-2016-05-27-cfef263-main default unsat ✅ 22.99480 45.15020
MapleSTP MapleSTP default unsat ✅ 2.63672 2.63817
MapleSTP-mt default unsat ✅ 2.75079 4.33965
MathSAT mathsat-5.3.11-linux-x86_64-Main default unsat ✅ 2.01724 2.01947
MinkeyRink Minkeyrink 2016 default unsat ✅ 5.19388 6.37838
Q3B Q3B default unknown ❌ 2400.06000 7203.36000
STP stp-cms-exp-2016 default unsat ✅ 2.69226 2.69382
stp-cms-mt-2016 default unsat ✅ 2.80343 4.37385
stp-cms-st-2016 default unsat ✅ 2.68916 2.69070
stp-minisat-st-2016 default unsat ✅ 3.66383 3.66587
Yices2 Yices-2.4.2 default unsat ✅ 0.32578 0.32592
Z3 z3-4.4.1 default unsat ✅ 1.02824 1.03002
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector unsat ✅ 2.87078 2.86974
Boolector SMT17 final boolector unsat ✅ 3.86833 3.86751
CVC4 CVC4-smtcomp2017-main default unsat ✅ 32.63610 63.49150
MathSAT mathsat-5.4.1-linux-x86_64-Main default unsat ✅ 2.86848 2.85849
MinkeyRink MinkeyRink 2017.3a default unsat ✅ 3.09638 3.06337
Q3B Q3B default unknown ❌ 600.07200 1792.14000
STP stp_st default unsat ✅ 4.14178 4.14175
stp_mt default unsat ✅ 4.34015 5.71695
Yices2 Yices2-Main default unsat ✅ 0.42952 0.35210
Z3 z3-4.5.0 default unsat ✅ 1.28451 1.28245
SMT-COMP 2018 Boolector Boolector_default unsat ✅ 1.97769 1.97738
CVC4 master-2018-06-10-b19c840-competition-default_default unsat ✅ 22.57380 22.57190
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unsat ✅ 2.06840 2.06932
MinkeyRink Minkeyrink MT_mt unsat ✅ 7.10500 8.05348
Minkeyrink ST_st unsat ✅ 7.12490 7.12417
STP STP-CMS-st-2018_default-no-stderr unsat ✅ 3.19220 3.19192
STP-CMS-mt-2018_multicore-no-stderr unsat ✅ 3.27780 4.48394
STP-Riss-st-2018_riss-no-stderr unsat ✅ 4.14906 4.14921
Yices2 Yices 2.6.0_default unsat ✅ 0.27074 0.27060
Z3 z3-4.7.1_default unsat ✅ 1.69402 1.69395
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default unsat ✅ 2.64503 2.64494
MathSAT mathsat-5.6.6_default unsat ✅ 1.51310 1.51296
STP STP 2021.0_default unsat ✅ 3.19348 3.92895
Z3 z3-4.8.11_default unsat ✅ 1.27365 1.27347
SMT-COMP 2022 Bitwuzla Bitwuzla-fixed_default unsat ✅ 2.58648 2.58637
Bitwuzla-wrapped_default unsat ✅ 2.60961 2.60948
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq unsat ✅ 26.11190 26.11160
MathSAT MathSAT-5.6.8_default unsat ✅ 1.41049 1.41029
STP STP 2022.4_default unsat ✅ 4.29491 4.29442
Yices2 Yices 2.6.2 for SMTCOMP 2021_default unsat ✅ 0.47265 0.47240
Z3++BV z3++bv_0702_default unsat ✅ 1.32664 1.32648
Z3 z3-4.8.17_default unsat ✅ 1.46284 1.46465
SMT-COMP 2023 Bitwuzla Bitwuzla-fixed_default unsat ✅ 10.12630 10.12450
cvc5 cvc5-default-2023-05-16-ea045f305_sq unsat ✅ 25.00200 24.99160
STP STP 2022.4_default unsat ✅ 4.08528 4.08486
STP 2022.4_default unsat ✅ 4.11514 4.11119
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unsat ✅ 969.08600 1001.38000
Yices2 Yices 2 for SMTCOMP 2023_default unsat ✅ 0.28733 0.28725
Z3-Owl z3-Owl-Final_default unsat ✅ 8.75701 8.75586
z3-Owl-Final_default unsat ✅ 9.00915 9.00779
SMT-COMP 2024 Bitwuzla Bitwuzla unsat ✅ 6.07610 5.97628
cvc5 cvc5 unsat ✅ 19.04948 18.94860
SMTInterpol SMTInterpol unsat ✅ 48.55028 84.23401
STP STP unsat ✅ 2.92474 2.82434
Yices2 Yices2 unsat ✅ 0.60339 0.50352
Z3alpha Z3-alpha unsat ✅ 1.46453 1.36463
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla unsat ✅ 3.66836 3.54824
Bitwuzla-MachBV-base unsat ✅ 5.25064 5.12448
Bitwuzla-MachBV Bitwuzla-MachBV unsat ✅ 4.35628 4.23921
BVDecide bv_decide unknown ❌ 1201.38870 1201.01613
bv_decide-nokernel unknown ❌ 1201.38295 1201.02221
cvc5 cvc5 unsat ✅ 13.12171 13.00044
SMTInterpol SMTInterpol unsat ✅ 59.10141 86.91943
Yices2 Yices2 unsat ✅ 0.64548 0.52687
Z3alpha Z3-alpha unsat ✅ 1.57850 3.65872
Z3 Z3-alpha-base unsat ✅ 1.34211 1.20835
Z3-Owl-base unsat ✅ 4.55407 4.43035
z3siri-base unsat ✅ 1.24402 1.12209
Z3-Owl Z3-Owl unsat ✅ 4.44280 4.31844