Benchmark

non-incremental/QF_BV/asp/HamiltonianPath/gryzzles.48.lp.smt2 

Benchmark without description.
Benchmark
Size527762
Compressed Size68279
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 527754
Compressed Size68267
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants6074
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true586 not4064 or525 and899
=>4253 =7876 bvsub1348 bvugt448
bvuge712

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 5.62951 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 13.81390 —
abziz_portfolio_2011_solvers_2 default sat ✅ 13.84000 —
abziz_portfolio_2012_minfeatures default sat ✅ 10.99800 —
abziz_portfolio_2012_solvers default sat ✅ 11.99630 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 11.84900 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 9.67434 —
Boolector-SMT-COMP-2011 default sat ✅ 8.43041 —
Boolector-SMT-COMP-2012 default sat ✅ 10.79230 —
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 sat ✅ 75.77220 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 69.14410 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 5.98370 —
MathSAT5-SMT-COMP-2011 default sat ✅ 73.20520 —
MathSAT5-SMT-COMP-2012 default sat ✅ 32.84760 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 10.32490 —
SONOLAR-SMT-COMP-2010 default sat ✅ 35.74220 —
SONOLAR-SMT-COMP-2011 default sat ✅ 48.08310 —
SONOLAR-SMT-COMP-2012 default sat ✅ 7.14687 —
STP STP2-SMT-COMP-2011 default sat ✅ 12.10870 —
STP2-SMT-COMP-2012 default sat ✅ 6.57787 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 9.93818 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 5.27841 —
Z3-SMT-COMP-2011 default sat ✅ 6.68273 —
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 6.95987 6.96194
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 11.61950 22.98850
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 12.96370 25.68710
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 34.74060 34.74570
SMT-RAT SMT-RAT-final default sat ✅ 671.92200 672.12700
STP stp-cryptominisat4 default sat ✅ 13.93840 13.94390
stp-cmsat4-v15 default sat ✅ 33.75810 33.75890
stp-cmsat4-mt-v15 default unknown ❌ 1.16219 1.16182
stp-minisat-v15 default sat ✅ 13.02700 13.03000
Yices2 Yices default sat ✅ 17.67060 17.67630
Z3 z3 4.4.0 default sat ✅ 3.10666 3.10753
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 140.12300 140.16200
ABC_glucose glucose sat ✅ 10.18200 10.18760
Boolector Boolector boolector sat ✅ 7.14129 14.16480
Boolector preprop boolector sat ✅ 7.15129 7.15522
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 14.19720 28.17600
MapleSTP MapleSTP default sat ✅ 119.60200 119.67200
MapleSTP-mt default sat ✅ 20.11150 76.61400
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 38.87390 38.90060
MinkeyRink Minkeyrink 2016 default sat ✅ 14.91230 51.39960
Q3B Q3B default unknown ❌ 2400.05000 7204.49000
STP stp-cms-exp-2016 default sat ✅ 12.13110 12.13810
stp-cms-mt-2016 default sat ✅ 19.09550 72.41710
stp-cms-st-2016 default sat ✅ 25.81780 25.83120
stp-minisat-st-2016 default sat ✅ 106.87900 106.94000
Yices2 Yices-2.4.2 default sat ✅ 32.91140 32.93000
Z3 z3-4.4.1 default sat ✅ 9.81986 9.82642
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 9.90413 9.89944
Boolector SMT17 final boolector sat ✅ 14.47750 14.47380
CVC4 CVC4-smtcomp2017-main default sat ✅ 13.67650 27.09070
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 51.20340 51.15460
MinkeyRink MinkeyRink 2017.3a default sat ✅ 10.45840 14.95000
Q3B Q3B default unknown ❌ 600.04200 1788.47000
STP stp_st default sat ✅ 16.91780 16.90810
stp_mt default sat ✅ 29.82070 63.01610
Yices2 Yices2-Main default sat ✅ 63.62140 50.64660
Z3 z3-4.5.0 default sat ✅ 10.12170 7.97727
SMT-COMP 2018 Boolector Boolector_default sat ✅ 9.22112 9.22141
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 7.00238 7.00279
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 27.91790 27.91960
MinkeyRink Minkeyrink MT_mt sat ✅ 17.72140 68.04010
Minkeyrink ST_st sat ✅ 15.60780 15.60660
STP STP-CMS-st-2018_default-no-stderr sat ✅ 31.82690 31.82260
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 39.16150 152.32200
STP-Riss-st-2018_riss-no-stderr sat ✅ 11.94260 11.94210
Yices2 Yices 2.6.0_default sat ✅ 20.24350 20.24160
Z3 z3-4.7.1_default sat ✅ 9.90654 9.90571
SMT-COMP 2020 0.11 (8/9) Bitwuzla Bitwuzla-fixed_default sat ✅ 3.40691 3.40643
Boolector Boolector-wrapped-sq_default sat ✅ 3.29937 3.29924
Poolector-wrapped-sq_default sat ✅ 4.38967 16.78600
CVC4 CVC4-sq-final_default sat ✅ 4.93325 4.93339
LazyBV2Int LazyBV2Int20200523_default.sh unknown ❌ 1200.10000 1200.02000
MathSAT MathSAT5_default.sh sat ✅ 22.42130 22.41870
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 0.85564 0.85589
MinkeyRink Solver 2020.3_default sat ✅ 11.10860 41.43170
STP STP_default sat ✅ 13.53820 50.74030
STP ++ Mergsat v1_default sat ✅ 23.03660 23.03690
Yices2 Yices 2.6.2 bug fix_default sat ✅ 0.97316 0.97308
Z3 z3-4.8.8_default sat ✅ 2.20121 2.20106
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 3.82656 7.60615
MathSAT mathsat-5.6.6_default sat ✅ 60.29440 60.28530
STP STP 2021.0_default sat ✅ 16.89510 63.89490
Z3 z3-4.8.11_default sat ✅ 4.30074 4.30012
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 3.40268 3.30288
cvc5 cvc5 sat ✅ 4.73665 4.63549
SMTInterpol SMTInterpol unknown ❌ 1201.71925 1271.27044
STP STP sat ✅ 3.77904 3.67768
Yices2 Yices2 sat ✅ 2.24769 2.14777
Z3alpha Z3-alpha sat ✅ 209.54301 209.38519
SMT-COMP 2025 0.11 (8/9) Bitwuzla Bitwuzla sat ✅ 2.25215 2.12647
Bitwuzla-MachBV-base sat ✅ 3.09690 2.97962
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 2.41833 2.30471
BVDecide bv_decide sat ✅ 257.89165 257.71555
bv_decide-nokernel sat ✅ 75.28552 75.11128
cvc5 cvc5 sat ✅ 4.87845 4.76143
SMTInterpol SMTInterpol unknown ❌ 1201.48869 1237.23074
Yices2 Yices2 sat ✅ 1.58684 1.46121
Z3alpha Z3-alpha sat ✅ 2.60064 8.77451
Z3 Z3-alpha-base sat ✅ 5.90203 5.77593
Z3-Owl-base sat ✅ 23.22117 23.09563
z3siri-base sat ✅ 5.91907 5.79397
Z3-Owl Z3-Owl sat ✅ 12.16335 12.03111