Benchmark

non-incremental/QF_BV/asp/EdgeMatching/edge-matching-width=7-height=7-colours=14.smt2 

Benchmark without description.
Benchmark
Size5959663
Compressed Size650385
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 5959655
Compressed Size650392
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants70123
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true297 not20140 or5146 and44101
=>19992 =80119 bvsub9702 bvuge294

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 127.38100 —
Abziz abziz_portfolio_2011_minfeatures_2 default sat ✅ 209.26000 —
abziz_portfolio_2011_solvers_2 default sat ✅ 214.96300 —
abziz_portfolio_2012_minfeatures default sat ✅ 153.59400 —
abziz_portfolio_2012_solvers default sat ✅ 163.78700 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 217.53500 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 467.69700 —
Boolector-SMT-COMP-2011 default sat ✅ 613.40300 —
Boolector-SMT-COMP-2012 default sat ✅ 538.58300 —
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 ✅ 289.03800 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 1094.18000 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 463.75400 —
MathSAT5-SMT-COMP-2011 default sat ✅ 938.09100 —
MathSAT5-SMT-COMP-2012 default sat ✅ 890.51200 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 175.91900 —
SONOLAR-SMT-COMP-2010 default sat ✅ 333.27700 —
SONOLAR-SMT-COMP-2011 default unknown ❌ — —
SONOLAR-SMT-COMP-2012 default sat ✅ 196.43000 —
STP STP2-SMT-COMP-2011 default sat ✅ 176.28600 —
STP2-SMT-COMP-2012 default sat ✅ 117.08900 —
simplifyingSTP-SMT-COMP-2010 default unknown ❌ 20.62310 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 97.09850 —
Z3-SMT-COMP-2011 default sat ✅ 92.26190 —
SMT-COMP 2015 0.14 (6/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 420.95900 421.12100
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 573.94100 1148.27000
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 740.68400 1482.02000
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 1539.62000 1540.03000
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2400.74000
STP stp-cryptominisat4 default sat ✅ 1215.59000 1215.90000
stp-cmsat4-v15 default sat ✅ 1063.43000 1063.87000
stp-cmsat4-mt-v15 default unknown ❌ 14.90440 14.90670
stp-minisat-v15 default sat ✅ 691.39300 691.55100
Yices2 Yices default sat ✅ 198.87300 198.92200
Z3 z3 4.4.0 default sat ✅ 108.93700 108.98100
SMT-COMP 2016 0.20 (8/10) ABC ABC_default default_abc unknown ❌ 303.27000 294.59900
ABC_glucose glucose sat ✅ 153.88700 153.97500
Boolector Boolector boolector sat ✅ 682.54000 682.93900
Boolector preprop boolector sat ✅ 684.44900 684.86500
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 721.06200 1443.84000
MapleSTP MapleSTP default unknown ❌ 2400.12000 2401.38000
MapleSTP-mt default unknown ❌ 2400.08000 9502.66000
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 2155.97000 2157.04000
MinkeyRink Minkeyrink 2016 default sat ✅ 76.85240 202.69200
Q3B Q3B default unknown ❌ 2400.08000 7203.18000
STP stp-cms-exp-2016 default sat ✅ 1564.83000 1565.64000
stp-cms-mt-2016 default sat ✅ 665.63800 2591.42000
stp-cms-st-2016 default sat ✅ 1183.22000 1183.80000
stp-minisat-st-2016 default unknown ❌ 2400.11000 2401.38000
Yices2 Yices-2.4.2 default sat ✅ 177.15900 177.21600
Z3 z3-4.4.1 default sat ✅ 112.72700 112.78800
SMT-COMP 2017 0.50 (4/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 275.78600 275.77200
Boolector SMT17 final boolector unknown ❌ 600.06600 600.09000
CVC4 CVC4-smtcomp2017-main default unknown ❌ 600.11800 1200.19000
MathSAT mathsat-5.4.1-linux-x86_64-Main default unknown ❌ 600.07200 599.93000
MinkeyRink MinkeyRink 2017.3a default sat ✅ 82.29850 149.45000
Q3B Q3B default unknown ❌ 600.03900 1786.22000
STP stp_st default unknown ❌ 600.02200 599.85000
stp_mt default unknown ❌ 600.10700 1533.35000
Yices2 Yices2-Main default sat ✅ 453.88100 251.84900
Z3 z3-4.5.0 default sat ✅ 134.82300 132.10600
SMT-COMP 2018 0.14 (6/7) Boolector Boolector_default sat ✅ 49.32040 49.22790
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 120.13600 120.13800
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unknown ❌ 1200.04000 1199.73000
MinkeyRink Minkeyrink MT_mt sat ✅ 74.10190 256.90900
Minkeyrink ST_st sat ✅ 84.52000 84.51660
STP STP-CMS-st-2018_default-no-stderr sat ✅ 565.13200 565.13100
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 368.50100 1422.73000
STP-Riss-st-2018_riss-no-stderr sat ✅ 667.02000 666.95600
Yices2 Yices 2.6.0_default sat ✅ 172.11500 172.10800
Z3 z3-4.7.1_default sat ✅ 134.79300 134.79900
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 73.15250 73.14900
Poolector-wrapped-sq_default sat ✅ 87.26730 344.83000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 161.98000 161.94800
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 108.35000 108.34500
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 74.12770 259.98700
MinkeyRink ST-wrapped-sq_default sat ✅ 87.07440 87.06720
Par4 Par4-wrapped-sq_default sat ✅ 53.09860 158.98000
STP STP-2019-wrapped-sq_default sat ✅ 499.93700 499.87300
stp-mergesat-fixed-wrapped-sq_default sat ✅ 629.44600 629.40000
stp-minisat-wrapped-sq_default sat ✅ 448.31200 448.16100
stp-mt-wrapped-sq_default sat ✅ 328.74000 1261.05000
stp-portfolio-fixed-wrapped-sq_default sat ✅ 686.14300 1781.99000
stp-riss-wrapped-sq_default unknown ❌ 15.30250 14.66010
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 209.16000 209.07000
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 107.95300 107.93600
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 180.15500 180.15000
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.02000 2399.89000
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 758.30700 758.19200
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 101.37800 101.36400
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 79.70710 79.69610
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 496.31800 496.21400
STP STP 2022.4_default sat ✅ 84.17630 84.17570
STP 2022.4_default sat ✅ 84.13200 84.13150
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.12000 1223.33000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 218.07600 218.03400
Z3-Owl z3-Owl-Final_default sat ✅ 248.01600 247.97800
z3-Owl-Final_default sat ✅ 248.31200 248.27700
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 51.56318 51.42467
cvc5 cvc5 sat ✅ 413.32874 413.21726
SMTInterpol SMTInterpol unknown ❌ 1201.73852 1402.60313
STP STP sat ✅ 67.59070 67.47018
Yices2 Yices2 sat ✅ 68.56474 68.44100
Z3alpha Z3-alpha sat ✅ 287.73862 287.53733
SMT-COMP 2025 0.22 (7/9) Bitwuzla Bitwuzla sat ✅ 37.14471 37.01367
Bitwuzla-MachBV-base sat ✅ 53.45493 53.31758
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 48.75815 48.61351
BVDecide bv_decide unknown ❌ 1201.35263 1201.02172
bv_decide-nokernel unknown ❌ 1201.38525 1201.03462
cvc5 cvc5 sat ✅ 321.73796 321.55261
SMTInterpol SMTInterpol unknown ❌ 1201.75914 1248.21696
Yices2 Yices2 sat ✅ 59.21112 59.08695
Z3alpha Z3-alpha sat ✅ 98.72877 383.85686
Z3 Z3-alpha-base sat ✅ 43.97644 43.83882
Z3-Owl-base sat ✅ 153.97159 153.83401
z3siri-base sat ✅ 45.98628 45.84337
Z3-Owl Z3-Owl sat ✅ 137.52224 137.38542