Benchmark

non-incremental/QF_BV/asp/Solitaire/solitaire-edge-time=28.smt2 

Benchmark without description.
Benchmark
Size1987014
Compressed Size228788
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 1987006
Compressed Size228793
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants24698
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true206 not14270 or2325 and7073
=>8512 =28953 bvsub4200 bvuge56

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 ✅ 186.15700 186.19800
CVC4 CVC4-master-2015-06-15-9b32405-main default unknown ❌ 2400.16000 4823.13000
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 324.05000 649.36100
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 1242.07000 1242.35000
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2400.93000
STP stp-cryptominisat4 default sat ✅ 180.09100 180.16500
stp-cmsat4-v15 default sat ✅ 112.63900 112.68500
stp-cmsat4-mt-v15 default unknown ❌ 4.10375 4.10438
stp-minisat-v15 default unknown ❌ 2400.01000 2400.93000
Yices2 Yices default sat ✅ 202.41400 202.47400
Z3 z3 4.4.0 default sat ✅ 51.14400 51.17020
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc unknown ❌ 61.84890 58.26500
ABC_glucose glucose sat ✅ 68.33650 68.37290
Boolector Boolector boolector sat ✅ 312.04700 312.24400
Boolector preprop boolector sat ✅ 316.73000 316.89800
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 424.04800 850.64600
MapleSTP MapleSTP default sat ✅ 385.25700 385.48300
MapleSTP-mt default unknown ❌ 2400.07000 9530.58000
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 919.02100 919.44700
MinkeyRink Minkeyrink 2016 default sat ✅ 19.12530 37.17390
Q3B Q3B default unknown ❌ 2400.05000 7204.40000
STP stp-cms-exp-2016 default sat ✅ 114.99400 115.03300
stp-cms-mt-2016 default sat ✅ 55.07190 205.01300
stp-cms-st-2016 default sat ✅ 140.84700 140.93000
stp-minisat-st-2016 default unknown ❌ 2400.11000 2401.46000
Yices2 Yices-2.4.2 default sat ✅ 205.33800 205.45700
Z3 z3-4.4.1 default sat ✅ 31.56060 31.58060
SMT-COMP 2017 0.25 (6/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 229.02800 229.03500
Boolector SMT17 final boolector sat ✅ 386.99800 386.88600
CVC4 CVC4-smtcomp2017-main default sat ✅ 373.28900 737.90900
MathSAT mathsat-5.4.1-linux-x86_64-Main default unknown ❌ 600.06000 599.82000
MinkeyRink MinkeyRink 2017.3a default sat ✅ 23.66680 37.45000
Q3B Q3B default unknown ❌ 600.09900 1191.42000
STP stp_st default sat ✅ 138.27400 138.25600
stp_mt default sat ✅ 18.34340 53.61170
Yices2 Yices2-Main default sat ✅ 125.12200 125.11600
Z3 z3-4.5.0 default sat ✅ 59.41680 59.41550
SMT-COMP 2018 Boolector Boolector_default sat ✅ 21.02040 21.01970
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 35.78100 35.78230
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 737.95800 737.75900
MinkeyRink Minkeyrink MT_mt sat ✅ 28.36030 98.84890
Minkeyrink ST_st sat ✅ 37.95400 37.94870
STP STP-CMS-st-2018_default-no-stderr sat ✅ 422.18200 422.17700
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 153.75900 593.38400
STP-Riss-st-2018_riss-no-stderr sat ✅ 370.73400 370.70400
Yices2 Yices 2.6.0_default sat ✅ 149.31800 149.31100
Z3 z3-4.7.1_default sat ✅ 85.90660 85.89230
SMT-COMP 2021 0.25 (3/4) Bitwuzla Bitwuzla-fixed_default sat ✅ 11.30180 11.30190
MathSAT mathsat-5.6.6_default unknown ❌ 1200.02000 1199.88000
STP STP 2021.0_default sat ✅ 53.52710 198.01700
Z3 z3-4.8.11_default sat ✅ 120.67700 120.62700
SMT-COMP 2022 0.14 (6/7) Bitwuzla Bitwuzla-fixed_default sat ✅ 10.47290 10.47310
Bitwuzla-wrapped_default sat ✅ 24.22280 24.22150
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 182.33800 182.31500
MathSAT MathSAT-5.6.8_default unknown ❌ 1200.02000 1199.79000
STP STP 2022.4_default sat ✅ 15.56160 15.56230
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 46.73590 46.72970
Z3++BV z3++bv_0702_default sat ✅ 18.77060 18.76770
Z3 z3-4.8.17_default sat ✅ 120.17100 120.16800
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 44.25900 44.25550
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 170.02900 170.03600
STP STP 2022.4_default sat ✅ 18.93480 18.93440
STP 2022.4_default sat ✅ 18.90180 37.70260
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.03000 1221.21000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 5.31536 5.31517
Z3-Owl z3-Owl-Final_default sat ✅ 85.20830 85.21580
z3-Owl-Final_default sat ✅ 60.40250 60.39700
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla sat ✅ 17.85282 17.73114
Bitwuzla-MachBV-base sat ✅ 11.18670 11.06747
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 11.77319 11.64770
BVDecide bv_decide unknown ❌ 1201.38681 1200.88854
bv_decide-nokernel sat ✅ 855.10592 854.78267
cvc5 cvc5 sat ✅ 116.08392 115.94690
SMTInterpol SMTInterpol unknown ❌ 1201.46733 1253.59391
Yices2 Yices2 sat ✅ 28.00035 27.87391
Z3alpha Z3-alpha sat ✅ 14.96795 56.76800
Z3 Z3-alpha-base sat ✅ 6.15560 6.03086
Z3-Owl-base sat ✅ 23.02245 22.90438
z3siri-base sat ✅ 6.42583 6.29661
Z3-Owl Z3-Owl sat ✅ 34.33388 34.20959