Benchmark

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

Benchmark without description.
Benchmark
Size463200
Compressed Size60307
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 463192
Compressed Size60316
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants5442
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true540 not3576 or517 and808
=>3568 =6908 bvsub1055 bvugt402
bvuge663

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 2.34842 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 2.73500 —
abziz_portfolio_2011_solvers_2 default sat ✅ 2.65877 —
abziz_portfolio_2012_minfeatures default sat ✅ 2.71423 —
abziz_portfolio_2012_solvers default sat ✅ 2.56766 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 2.59756 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 6.63421 —
Boolector-SMT-COMP-2011 default sat ✅ 5.43233 —
Boolector-SMT-COMP-2012 default sat ✅ 7.80057 —
CVC3 CVC3-SMT-COMP-2010 default sat ✅ 698.46100 —
CVC3-SMT-COMP-2011 default sat ✅ 605.67900 —
CVC3-SMT-COMP-2012 default sat ✅ 604.68300 —
CVC4 CVC4-SMT-COMP-2012-Resubmission default sat ✅ 363.99000 —
CVC4-SMT-EVAL-2013 default sat ✅ 25.73800 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 20.73320 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 7.56681 —
MathSAT5-SMT-COMP-2011 default sat ✅ 18.86090 —
MathSAT5-SMT-COMP-2012 default sat ✅ 24.14140 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 3.60018 —
SONOLAR-SMT-COMP-2010 default sat ✅ 12.18010 —
SONOLAR-SMT-COMP-2011 default sat ✅ 32.50240 —
SONOLAR-SMT-COMP-2012 default sat ✅ 4.90340 —
STP STP2-SMT-COMP-2011 default sat ✅ 10.06690 —
STP2-SMT-COMP-2012 default sat ✅ 2.90851 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 10.65030 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 4.57854 —
Z3-SMT-COMP-2011 default sat ✅ 2.59090 —
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 5.72260 5.71813
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 10.00470 19.79300
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 10.71060 21.20980
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 14.02570 14.03190
SMT-RAT SMT-RAT-final default sat ✅ 216.25500 216.29600
STP stp-cryptominisat4 default sat ✅ 8.39478 8.39672
stp-cmsat4-v15 default sat ✅ 8.80859 8.80966
stp-cmsat4-mt-v15 default unknown ❌ 0.86616 0.86487
stp-minisat-v15 default sat ✅ 7.78562 7.78781
Yices2 Yices default sat ✅ 13.06610 13.07000
Z3 z3 4.4.0 default sat ✅ 3.66509 3.66644
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 42.39120 42.41920
ABC_glucose glucose sat ✅ 5.88105 5.87842
Boolector Boolector boolector sat ✅ 4.45180 4.45472
Boolector preprop boolector sat ✅ 4.50168 4.50462
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 10.65830 21.11470
MapleSTP MapleSTP default sat ✅ 15.28000 15.29000
MapleSTP-mt default sat ✅ 21.19050 81.27700
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 11.86330 11.87090
MinkeyRink Minkeyrink 2016 default sat ✅ 9.21790 29.75590
Q3B Q3B default unknown ❌ 2400.05000 7203.72000
STP stp-cms-exp-2016 default sat ✅ 20.57380 20.58590
stp-cms-mt-2016 default sat ✅ 6.74335 23.99940
stp-cms-st-2016 default sat ✅ 11.55340 11.55850
stp-minisat-st-2016 default sat ✅ 38.52840 38.55080
Yices2 Yices-2.4.2 default sat ✅ 16.47370 16.48450
Z3 z3-4.4.1 default sat ✅ 4.29304 4.29672
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 6.86529 6.86002
Boolector SMT17 final boolector sat ✅ 4.62278 4.62095
CVC4 CVC4-smtcomp2017-main default sat ✅ 10.70350 21.18460
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 20.99700 20.99290
MinkeyRink MinkeyRink 2017.3a default sat ✅ 4.38525 4.45897
Q3B Q3B default unknown ❌ 600.06900 1434.60000
STP stp_st default sat ✅ 8.57646 8.57538
stp_mt default sat ✅ 6.95683 18.95980
Yices2 Yices2-Main default sat ✅ 11.64640 11.64250
Z3 z3-4.5.0 default sat ✅ 5.07545 4.24875
SMT-COMP 2018 Boolector Boolector_default sat ✅ 3.08457 3.08447
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 4.15658 4.15630
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 15.18580 15.18520
MinkeyRink Minkeyrink MT_mt sat ✅ 12.63260 48.22140
Minkeyrink ST_st sat ✅ 10.68300 10.68150
STP STP-CMS-st-2018_default-no-stderr sat ✅ 14.42870 14.42630
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 9.81284 36.26830
STP-Riss-st-2018_riss-no-stderr sat ✅ 5.54171 5.54203
Yices2 Yices 2.6.0_default sat ✅ 9.36790 9.36811
Z3 z3-4.7.1_default sat ✅ 10.11200 10.11190
SMT-COMP 2020 0.11 (8/9) Bitwuzla Bitwuzla-fixed_default sat ✅ 2.01343 2.01316
Boolector Boolector-wrapped-sq_default sat ✅ 2.85635 2.85618
Poolector-wrapped-sq_default sat ✅ 3.79025 14.37220
CVC4 CVC4-sq-final_default sat ✅ 4.15515 4.15509
LazyBV2Int LazyBV2Int20200523_default.sh unknown ❌ 1200.01000 1199.92000
MathSAT MathSAT5_default.sh sat ✅ 18.83600 18.83540
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 0.68416 0.68435
MinkeyRink Solver 2020.3_default sat ✅ 7.40617 27.19150
STP STP_default sat ✅ 7.16597 25.96360
STP ++ Mergsat v1_default sat ✅ 20.94750 20.94640
Yices2 Yices 2.6.2 bug fix_default sat ✅ 0.79194 0.79184
Z3 z3-4.8.8_default sat ✅ 2.09065 2.09037
SMT-COMP 2021 Bitwuzla Bitwuzla-fixed_default sat ✅ 3.07777 3.07780
MathSAT mathsat-5.6.6_default sat ✅ 18.81360 18.81250
STP STP 2021.0_default sat ✅ 10.36200 38.67570
Z3 z3-4.8.11_default sat ✅ 2.37446 2.37410
SMT-COMP 2023 Bitwuzla Bitwuzla-fixed_default sat ✅ 5.17968 5.17939
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 4.46111 4.46121
STP STP 2022.4_default sat ✅ 2.98121 2.98092
STP 2022.4_default sat ✅ 3.03717 3.03690
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default sat ✅ 1177.19000 1218.97000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 21.20200 21.20010
Z3-Owl z3-Owl-Final_default sat ✅ 13.05690 13.05690
z3-Owl-Final_default sat ✅ 11.93630 11.93600