Benchmark

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

Benchmark without description.
Benchmark
Size2142870
Compressed Size233556
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 2142862
Compressed Size233562
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 and21075
=>2450 =25531 bvsub980 bvuge245

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.22 (7/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 149.35600 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 74.05030 —
abziz_portfolio_2011_solvers_2 default sat ✅ 29.39620 —
abziz_portfolio_2012_minfeatures default sat ✅ 462.93500 —
abziz_portfolio_2012_solvers default sat ✅ 162.31900 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 30.02200 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 283.28300 —
Boolector-SMT-COMP-2011 default sat ✅ 13.46390 —
Boolector-SMT-COMP-2012 default sat ✅ 90.80490 —
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 sat ✅ 1203.37000 —
MathSAT5-SMT-COMP-2011 default sat ✅ 240.25600 —
MathSAT5-SMT-COMP-2012 default sat ✅ 37.41900 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 24.43080 —
SONOLAR-SMT-COMP-2010 default unknown ❌ — —
SONOLAR-SMT-COMP-2011 default unknown ❌ — —
SONOLAR-SMT-COMP-2012 default sat ✅ 45.33320 —
STP STP2-SMT-COMP-2011 default sat ✅ 10.27190 —
STP2-SMT-COMP-2012 default sat ✅ 45.47560 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 491.55900 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 793.82200 —
Z3-SMT-COMP-2011 default sat ✅ 457.57100 —
SMT-COMP 2015 0.29 (5/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 4.29304 4.29335
CVC4 CVC4-master-2015-06-15-9b32405-main default unknown ❌ 2400.11000 4817.56000
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 405.93000 813.51400
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 33.89130 33.90380
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2400.88000
STP stp-cryptominisat4 default sat ✅ 115.44100 115.48300
stp-cmsat4-v15 default sat ✅ 682.20400 682.48800
stp-cmsat4-mt-v15 default unknown ❌ 2.57630 2.57561
stp-minisat-v15 default sat ✅ 429.54100 429.69500
Yices2 Yices default unknown ❌ 2400.01000 2400.73000
Z3 z3 4.4.0 default sat ✅ 305.47100 305.60800
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc unknown ❌ 49.55970 48.16370
ABC_glucose glucose sat ✅ 41.19260 41.21350
Boolector Boolector boolector sat ✅ 31.09090 31.10880
Boolector preprop boolector sat ✅ 31.24110 31.25680
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 60.61930 120.69300
MapleSTP MapleSTP default unknown ❌ 2400.03000 2401.40000
MapleSTP-mt default sat ✅ 99.75810 388.43100
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 2108.85000 2109.84000
MinkeyRink Minkeyrink 2016 default sat ✅ 209.35600 818.11600
Q3B Q3B default unknown ❌ 2400.04000 7203.58000
STP stp-cms-exp-2016 default sat ✅ 106.20800 106.24400
stp-cms-mt-2016 default sat ✅ 10.63920 34.57980
stp-cms-st-2016 default sat ✅ 18.59760 18.60830
stp-minisat-st-2016 default sat ✅ 89.77440 89.82750
Yices2 Yices-2.4.2 default sat ✅ 1832.38000 1833.44000
Z3 z3-4.4.1 default sat ✅ 773.63700 774.08100
SMT-COMP 2017 0.38 (5/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 129.31900 129.29700
Boolector SMT17 final boolector sat ✅ 69.79130 69.76040
CVC4 CVC4-smtcomp2017-main default unknown ❌ 600.05400 1204.95000
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 56.58510 56.58540
MinkeyRink MinkeyRink 2017.3a default sat ✅ 71.55150 136.80000
Q3B Q3B default unknown ❌ 600.02200 1799.51000
STP stp_st default sat ✅ 14.87910 14.87640
stp_mt default sat ✅ 24.48640 69.52010
Yices2 Yices2-Main default sat ✅ 19.61850 19.61780
Z3 z3-4.5.0 default unknown ❌ 600.02200 599.99000
SMT-COMP 2018 0.14 (6/7) Boolector Boolector_default sat ✅ 13.68930 13.68810
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 142.06400 142.05100
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 145.74000 145.70600
MinkeyRink Minkeyrink MT_mt sat ✅ 55.64860 203.87100
Minkeyrink ST_st sat ✅ 83.79010 83.75540
STP STP-CMS-st-2018_default-no-stderr sat ✅ 42.45120 42.44770
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 87.56360 339.13800
STP-Riss-st-2018_riss-no-stderr sat ✅ 48.12060 48.11700
Yices2 Yices 2.6.0_default unknown ❌ 1200.12000 1200.03000
Z3 z3-4.7.1_default sat ✅ 148.56400 148.56600
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 107.55900 107.51500
Poolector-wrapped-sq_default sat ✅ 17.36600 68.43000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 84.28580 84.26880
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 75.57170 75.56130
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 37.65710 137.02500
MinkeyRink ST-wrapped-sq_default sat ✅ 508.04100 508.03700
Par4 Par4-wrapped-sq_default sat ✅ 16.03310 47.89000
STP STP-2019-wrapped-sq_default sat ✅ 190.34300 190.33000
stp-mergesat-fixed-wrapped-sq_default sat ✅ 362.54200 362.51100
stp-minisat-wrapped-sq_default sat ✅ 504.97400 504.91500
stp-mt-wrapped-sq_default sat ✅ 24.53740 88.25970
stp-portfolio-fixed-wrapped-sq_default sat ✅ 585.06800 1206.80000
stp-riss-wrapped-sq_default unknown ❌ 3.05208 3.05235
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 1428.80000 1428.77000
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 90.71820 90.70700
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 369.90600 369.89400
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.02000 2399.86000
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 40.62090 40.61770
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 29.79070 29.78830
SMT-COMP 2020 0.11 (8/9) Bitwuzla Bitwuzla-fixed_default sat ✅ 84.00160 83.96020
Boolector Boolector-wrapped-sq_default sat ✅ 8.15988 8.15955
Poolector-wrapped-sq_default sat ✅ 11.32740 44.17560
CVC4 CVC4-sq-final_default sat ✅ 30.08610 30.07110
LazyBV2Int LazyBV2Int20200523_default.sh unknown ❌ 1200.09000 1199.73000
MathSAT MathSAT5_default.sh sat ✅ 608.86200 608.73800
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 4.23556 4.23568
MinkeyRink Solver 2020.3_default sat ✅ 78.81520 299.68000
STP STP_default sat ✅ 275.45100 1085.64000
STP ++ Mergsat v1_default sat ✅ 297.51000 297.48300
Yices2 Yices 2.6.2 bug fix_default sat ✅ 96.29140 96.27990
Z3 z3-4.8.8_default sat ✅ 169.17400 169.13400
SMT-COMP 2022 0.14 (6/7) Bitwuzla Bitwuzla-fixed_default sat ✅ 17.77710 17.77650
Bitwuzla-wrapped_default sat ✅ 5.45487 5.45457
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 221.86100 221.86000
MathSAT MathSAT-5.6.8_default unknown ❌ 1200.04000 1199.82000
STP STP 2022.4_default sat ✅ 13.03860 13.03770
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 8.81294 8.80914
Z3++BV z3++bv_0702_default sat ✅ 23.70130 23.69810
Z3 z3-4.8.17_default sat ✅ 48.96670 48.96900
SMT-COMP 2025 0.22 (7/9) Bitwuzla Bitwuzla sat ✅ 7.70893 7.58137
Bitwuzla-MachBV-base sat ✅ 7.60749 7.47571
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 7.72443 7.59321
BVDecide bv_decide unknown ❌ 1201.38946 1201.02473
bv_decide-nokernel unknown ❌ 1201.38897 1200.88658
cvc5 cvc5 sat ✅ 30.27750 30.14484
SMTInterpol SMTInterpol unknown ❌ 1201.58891 1239.02749
Yices2 Yices2 sat ✅ 43.00778 42.88005
Z3alpha Z3-alpha sat ✅ 9.08589 33.78691
Z3 Z3-alpha-base sat ✅ 5.77309 5.63961
Z3-Owl-base sat ✅ 22.63304 22.50784
z3siri-base sat ✅ 5.83034 5.70165
Z3-Owl Z3-Owl sat ✅ 213.90824 213.74913