Benchmark

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

Benchmark without description.
Benchmark
Size2142726
Compressed Size233785
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 2142718
Compressed Size233792
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants24306
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true150 not2641 or16 and21051
=>2450 =25531 bvsub980 bvuge245

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 1.00 (0/9) 4Simp 4Simp-SMT-COMP-2012 default unknown ❌ — —
Abziz abziz_portfolio_2011_minfeatures_2 default unknown ❌ — —
abziz_portfolio_2011_solvers_2 default unknown ❌ — —
abziz_portfolio_2012_minfeatures default unknown ❌ — —
abziz_portfolio_2012_solvers default unknown ❌ — —
AbzizPortfolio-SMT-COMP-2012 default unknown ❌ — —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default unknown ❌ — —
Boolector-SMT-COMP-2011 default unknown ❌ — —
Boolector-SMT-COMP-2012 default unknown ❌ — —
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 unknown ❌ — —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default unknown ❌ — —
MathSAT5-HeavyBV-SMT-COMP-2012 default unknown ❌ — —
MathSAT5-SMT-COMP-2011 default unknown ❌ — —
MathSAT5-SMT-COMP-2012 default unknown ❌ — —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default unknown ❌ — —
SONOLAR-SMT-COMP-2010 default unknown ❌ — —
SONOLAR-SMT-COMP-2011 default unknown ❌ — —
SONOLAR-SMT-COMP-2012 default unknown ❌ — —
STP STP2-SMT-COMP-2011 default unknown ❌ — —
STP2-SMT-COMP-2012 default unknown ❌ — —
simplifyingSTP-SMT-COMP-2010 default unknown ❌ — —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default unknown ❌ — —
Z3-SMT-COMP-2011 default unknown ❌ — —
SMT-COMP 2015 0.14 (6/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 9.26853 9.26959
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 1772.38000 3559.73000
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 32.06150 63.22240
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 870.69000 870.99500
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2401.03000
STP stp-cryptominisat4 default sat ✅ 45.21630 45.23410
stp-cmsat4-v15 default sat ✅ 7.33953 7.34088
stp-cmsat4-mt-v15 default unknown ❌ 2.70506 2.70459
stp-minisat-v15 default sat ✅ 491.67300 491.75300
Yices2 Yices default sat ✅ 63.41440 63.43640
Z3 z3 4.4.0 default sat ✅ 5.48297 5.48517
SMT-COMP 2016 0.30 (7/10) ABC ABC_default default_abc unknown ❌ 48.55500 46.61260
ABC_glucose glucose sat ✅ 41.86020 41.88370
Boolector Boolector boolector sat ✅ 9.08475 9.09000
Boolector preprop boolector sat ✅ 9.29656 9.30174
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 46.65660 92.58470
MapleSTP MapleSTP default sat ✅ 172.41900 172.51800
MapleSTP-mt default sat ✅ 39.72730 150.33600
MathSAT mathsat-5.3.11-linux-x86_64-Main default unknown ❌ 2400.11000 2401.36000
MinkeyRink Minkeyrink 2016 default sat ✅ 14.80990 45.58950
Q3B Q3B default unknown ❌ 2400.07000 7204.31000
STP stp-cms-exp-2016 default sat ✅ 22.31850 22.33120
stp-cms-mt-2016 default sat ✅ 7.00446 19.92840
stp-cms-st-2016 default sat ✅ 22.48530 22.50000
stp-minisat-st-2016 default sat ✅ 97.16630 97.20800
Yices2 Yices-2.4.2 default unknown ❌ 2400.03000 2401.40000
Z3 z3-4.4.1 default sat ✅ 2.64466 2.64732
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 16.61900 16.61640
Boolector SMT17 final boolector sat ✅ 31.20990 31.19970
CVC4 CVC4-smtcomp2017-main default sat ✅ 70.84950 141.31300
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 310.63400 304.57300
MinkeyRink MinkeyRink 2017.3a default sat ✅ 11.28620 14.66000
Q3B Q3B default unknown ❌ 600.08000 1197.80000
STP stp_st default sat ✅ 16.45520 16.45210
stp_mt default sat ✅ 12.97720 32.48450
Yices2 Yices2-Main default sat ✅ 379.14800 379.09200
Z3 z3-4.5.0 default sat ✅ 4.53794 4.53700
SMT-COMP 2018 Boolector Boolector_default sat ✅ 8.15367 8.15275
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 26.97230 26.97090
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 62.21280 62.21190
MinkeyRink Minkeyrink MT_mt sat ✅ 28.49600 94.03460
Minkeyrink ST_st sat ✅ 40.90220 40.90350
STP STP-CMS-st-2018_default-no-stderr sat ✅ 58.70220 58.69880
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 33.35880 123.57400
STP-Riss-st-2018_riss-no-stderr sat ✅ 19.45300 19.45170
Yices2 Yices 2.6.0_default sat ✅ 57.06070 57.05550
Z3 z3-4.7.1_default sat ✅ 202.98600 202.95100
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 6.84496 6.84498
Poolector-wrapped-sq_default sat ✅ 8.27047 32.32000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 3.38640 3.38607
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 34.42930 34.42900
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 32.76300 117.49300
MinkeyRink ST-wrapped-sq_default sat ✅ 28.28100 28.27960
Par4 Par4-wrapped-sq_default sat ✅ 7.81040 23.26000
STP STP-2019-wrapped-sq_default sat ✅ 72.47260 72.46230
stp-mergesat-fixed-wrapped-sq_default sat ✅ 216.96500 216.94800
stp-minisat-wrapped-sq_default sat ✅ 279.99500 279.97800
stp-mt-wrapped-sq_default sat ✅ 86.04200 332.52000
stp-portfolio-fixed-wrapped-sq_default sat ✅ 300.05900 622.80400
stp-riss-wrapped-sq_default unknown ❌ 3.07417 3.07428
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 1505.95000 1505.89000
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 1.51868 1.51856
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 30.26990 30.26860
Yices 2.6.2 MCSAT BV-wrapped-sq_default sat ✅ 376.77200 376.75100
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 43.76810 43.76300
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 4.73182 4.73157
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 7.53587 7.53435
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 31.67420 31.66870
STP STP 2022.4_default sat ✅ 10.51340 10.51240
STP 2022.4_default sat ✅ 10.50920 10.50950
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.03000 1242.31000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 26.49010 26.48730
Z3-Owl z3-Owl-Final_default sat ✅ 854.58100 854.40600
z3-Owl-Final_default sat ✅ 13.59220 13.59040
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 20.31970 20.21912
cvc5 cvc5 sat ✅ 25.84980 25.73981
SMTInterpol SMTInterpol unknown ❌ 1201.71703 1337.49358
STP STP sat ✅ 4.57005 4.46990
Yices2 Yices2 sat ✅ 5.59596 5.49360
Z3alpha Z3-alpha sat ✅ 115.73452 115.61618