Benchmark

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

Benchmark without description.
Benchmark
Size458230
Compressed Size59673
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 458222
Compressed Size59681
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants5378
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true532 not3540 or509 and796
=>3550 =6840 bvsub1057 bvugt396
bvuge653

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 4.14354 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 1.93523 —
abziz_portfolio_2011_solvers_2 default sat ✅ 2.05881 —
abziz_portfolio_2012_minfeatures default sat ✅ 1.95488 —
abziz_portfolio_2012_solvers default sat ✅ 2.04864 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 2.02950 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 6.70462 —
Boolector-SMT-COMP-2011 default sat ✅ 7.01585 —
Boolector-SMT-COMP-2012 default sat ✅ 10.30690 —
CVC3 CVC3-SMT-COMP-2010 default sat ✅ 306.81600 —
CVC3-SMT-COMP-2011 default sat ✅ 285.10000 —
CVC3-SMT-COMP-2012 default sat ✅ 294.09100 —
CVC4 CVC4-SMT-COMP-2012-Resubmission default sat ✅ 355.69100 —
CVC4-SMT-EVAL-2013 default sat ✅ 40.39380 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 37.41260 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 3.73908 —
MathSAT5-SMT-COMP-2011 default sat ✅ 16.35270 —
MathSAT5-SMT-COMP-2012 default sat ✅ 13.94230 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 4.42267 —
SONOLAR-SMT-COMP-2010 default sat ✅ 15.18370 —
SONOLAR-SMT-COMP-2011 default sat ✅ 31.12680 —
SONOLAR-SMT-COMP-2012 default sat ✅ 4.10082 —
STP STP2-SMT-COMP-2011 default sat ✅ 7.92382 —
STP2-SMT-COMP-2012 default sat ✅ 3.59852 —
simplifyingSTP-SMT-COMP-2010 default sat ✅ 12.09870 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 5.75232 —
Z3-SMT-COMP-2011 default sat ✅ 1.93547 —
SMT-COMP 2015 Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 7.96858 7.96979
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 5.60932 10.98030
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 12.34330 24.47830
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 22.60050 22.60060
SMT-RAT SMT-RAT-final default sat ✅ 485.99400 486.15200
STP stp-cryptominisat4 default sat ✅ 9.23458 9.23759
stp-cmsat4-v15 default sat ✅ 18.42100 18.42420
stp-cmsat4-mt-v15 default unknown ❌ 0.83599 0.83487
stp-minisat-v15 default sat ✅ 7.42466 7.42487
Yices2 Yices default sat ✅ 9.18127 9.18360
Z3 z3 4.4.0 default sat ✅ 3.19296 3.19451
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc sat ✅ 23.60850 23.62190
ABC_glucose glucose sat ✅ 7.00760 7.01283
Boolector Boolector boolector sat ✅ 4.60229 4.60529
Boolector preprop boolector sat ✅ 4.63150 4.63393
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 10.30180 20.40330
MapleSTP MapleSTP default sat ✅ 26.42510 26.44040
MapleSTP-mt default sat ✅ 12.71880 48.02690
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 19.66400 19.67430
MinkeyRink Minkeyrink 2016 default sat ✅ 5.36174 14.98330
Q3B Q3B default unknown ❌ 2400.06000 7204.31000
STP stp-cms-exp-2016 default sat ✅ 19.61920 19.62480
stp-cms-mt-2016 default sat ✅ 11.92680 44.88650
stp-cms-st-2016 default sat ✅ 10.92330 10.92880
stp-minisat-st-2016 default sat ✅ 27.31410 54.52870
Yices2 Yices-2.4.2 default sat ✅ 11.67910 11.68590
Z3 z3-4.4.1 default sat ✅ 3.16035 3.16343
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 8.70257 8.59653
Boolector SMT17 final boolector sat ✅ 9.82419 9.82202
CVC4 CVC4-smtcomp2017-main default sat ✅ 17.32200 25.24920
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 40.80180 32.71200
MinkeyRink MinkeyRink 2017.3a default sat ✅ 8.27593 10.94000
Q3B Q3B default unknown ❌ 600.07400 1787.28000
STP stp_st default sat ✅ 15.93750 15.92390
stp_mt default sat ✅ 16.06810 47.61380
Yices2 Yices2-Main default sat ✅ 26.93620 26.93470
Z3 z3-4.5.0 default sat ✅ 3.52695 3.52521
SMT-COMP 2018 Boolector Boolector_default sat ✅ 6.14815 6.14794
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 4.32181 4.32180
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 15.74100 15.74210
MinkeyRink Minkeyrink MT_mt sat ✅ 8.48896 31.64200
Minkeyrink ST_st sat ✅ 12.82380 12.81770
STP STP-CMS-st-2018_default-no-stderr sat ✅ 15.06510 15.06330
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 12.91710 48.56060
STP-Riss-st-2018_riss-no-stderr sat ✅ 5.97392 5.97321
Yices2 Yices 2.6.0_default sat ✅ 12.30120 12.29950
Z3 z3-4.7.1_default sat ✅ 6.56388 6.56377
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 1.91163 1.91161
Poolector-wrapped-sq_default sat ✅ 2.60852 9.91000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 4.05182 4.05178
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 3.86025 3.86071
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 13.89950 52.97950
MinkeyRink ST-wrapped-sq_default sat ✅ 14.60360 14.60150
Par4 Par4-wrapped-sq_default sat ✅ 4.85723 14.45000
STP STP-2019-wrapped-sq_default sat ✅ 20.41980 20.41860
stp-mergesat-fixed-wrapped-sq_default sat ✅ 9.19026 9.19046
stp-minisat-wrapped-sq_default sat ✅ 2.11812 2.11827
stp-mt-wrapped-sq_default sat ✅ 8.84754 32.37120
stp-portfolio-fixed-wrapped-sq_default sat ✅ 21.26210 31.54930
stp-riss-wrapped-sq_default unknown ❌ 0.90493 0.90514
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 16.32900 16.32910
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 3.08137 3.08118
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 9.80240 19.58180
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.02000 2399.88000
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 3.38215 3.38181
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 3.84492 3.84497
SMT-COMP 2022 Bitwuzla Bitwuzla-fixed_default sat ✅ 1.71312 1.71305
Bitwuzla-wrapped_default sat ✅ 3.01408 3.01331
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 4.92937 4.92978
MathSAT MathSAT-5.6.8_default sat ✅ 17.39350 17.39220
STP STP 2022.4_default sat ✅ 2.75026 2.75019
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 1.59876 1.59869
Z3++BV z3++bv_0702_default sat ✅ 3.10733 3.10684
Z3 z3-4.8.17_default sat ✅ 2.13261 2.13416