Benchmark

non-incremental/QF_BV/asp/GraphPartitioning/rand_30_300_1235855358_0_k=6_v=6_e=30_sat.gph.smt2 

Benchmark without description.
Benchmark
Size2550117
Compressed Size276471
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 2550109
Compressed Size276473
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants29328
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true1238 not9157 or5401 and16555
=>10800 =34548 bvsub5133 bvugt3600
bvuge87

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2012 4Simp 4Simp sat ✅ 55.40000 —
Abziz AbzizPortfolio+BOOLECTOR+MATHSAT+SONOLAR+STP2+Z3_6 sat ✅ 573.00000 —
Boolector Boolector sat ✅ 383.50000 —
CVC3 CVC3 v2.4.2 sat ✅ 75.90000 —
CVC4 1.0rc.3931 unknown ❌ 1200.00000 —
MathSAT MathSAT-HeavyBV sat ✅ 241.10000 —
SONOLAR SONOLAR sat ✅ 42.80000 —
Z3 Z3 sat ✅ 91.50000 —
SMT Evaluation 2013 0.11 (8/9) 4Simp 4Simp-SMT-COMP-2012 default sat ✅ 23.64670 —
Abziz abziz_portfolio_2011_minfeatures_2 default unknown ❌ — —
abziz_portfolio_2011_solvers_2 default sat ✅ 64.18170 —
abziz_portfolio_2012_minfeatures default sat ✅ 41.57350 —
abziz_portfolio_2012_solvers default sat ✅ 33.02150 —
AbzizPortfolio-SMT-COMP-2012 default sat ✅ 90.01820 —
Boolector Boolector-1.5.118-SMT-EVAL-2013 default sat ✅ 160.97700 —
Boolector-SMT-COMP-2011 default sat ✅ 451.95700 —
Boolector-SMT-COMP-2012 default sat ✅ 92.90040 —
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 ✅ 117.09700 —
MathSAT MathSAT5-5.2.6-SMT-EVAL-2013 default sat ✅ 169.81900 —
MathSAT5-HeavyBV-SMT-COMP-2012 default sat ✅ 132.80200 —
MathSAT5-SMT-COMP-2011 default sat ✅ 229.68900 —
MathSAT5-SMT-COMP-2012 default sat ✅ 148.20600 —
SONOLAR SONOLAR-2013-05-15-SMT-EVAL-2013 default sat ✅ 20.70740 —
SONOLAR-SMT-COMP-2010 default sat ✅ 121.18700 —
SONOLAR-SMT-COMP-2011 default unknown ❌ — —
SONOLAR-SMT-COMP-2012 default sat ✅ 32.00110 —
STP STP2-SMT-COMP-2011 default sat ✅ 80.06090 —
STP2-SMT-COMP-2012 default sat ✅ 26.50140 —
simplifyingSTP-SMT-COMP-2010 default unknown ❌ 15.06100 —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ 17.70990 —
Z3-SMT-COMP-2011 default sat ✅ 54.58070 —
SMT-COMP 2015 0.14 (6/7) Boolector Boolector SMT15 QF_BV final boolector_qf_bv sat ✅ 314.31400 314.43900
CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 46.20130 91.23310
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 44.40500 87.60370
MathSAT MathSat 5.3.6 main smtcomp2015_main sat ✅ 147.84600 147.90600
SMT-RAT SMT-RAT-final default unknown ❌ 2400.01000 2400.84000
STP stp-cryptominisat4 default sat ✅ 115.74600 115.78700
stp-cmsat4-v15 default sat ✅ 68.39510 68.42760
stp-cmsat4-mt-v15 default unknown ❌ 8.48671 8.48771
stp-minisat-v15 default sat ✅ 82.96600 82.99940
Yices2 Yices default sat ✅ 88.09560 88.09060
Z3 z3 4.4.0 default sat ✅ 20.54590 20.55390
SMT-COMP 2016 0.10 (9/10) ABC ABC_default default_abc unknown ❌ 92.27580 87.17320
ABC_glucose glucose sat ✅ 70.48110 70.51760
Boolector Boolector boolector sat ✅ 298.22400 298.38600
Boolector preprop boolector sat ✅ 298.84100 299.01300
CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 82.27520 163.67100
MapleSTP MapleSTP default sat ✅ 479.16600 479.36900
MapleSTP-mt default sat ✅ 214.74500 807.70700
MathSAT mathsat-5.3.11-linux-x86_64-Main default sat ✅ 155.00200 155.05400
MinkeyRink Minkeyrink 2016 default sat ✅ 42.22620 92.05620
Q3B Q3B default unknown ❌ 2400.10000 7203.09000
STP stp-cms-exp-2016 default sat ✅ 79.45930 79.47950
stp-cms-mt-2016 default sat ✅ 31.79300 98.60200
stp-cms-st-2016 default sat ✅ 141.25200 141.31400
stp-minisat-st-2016 default sat ✅ 294.31800 294.42300
Yices2 Yices-2.4.2 default sat ✅ 131.95500 131.96000
Z3 z3-4.4.1 default sat ✅ 27.01550 27.03080
SMT-COMP 2017 0.12 (7/8) Boolector Boolector+CaDiCaL SMT17 final boolector sat ✅ 59.48410 59.47690
Boolector SMT17 final boolector sat ✅ 278.60400 278.45100
CVC4 CVC4-smtcomp2017-main default sat ✅ 73.20720 143.81300
MathSAT mathsat-5.4.1-linux-x86_64-Main default sat ✅ 192.96400 192.91400
MinkeyRink MinkeyRink 2017.3a default sat ✅ 26.87570 41.75000
Q3B Q3B default unknown ❌ 600.05300 1649.50000
STP stp_st default sat ✅ 100.74300 100.71500
stp_mt default sat ✅ 48.23920 96.07940
Yices2 Yices2-Main default sat ✅ 114.75200 114.74000
Z3 z3-4.5.0 default sat ✅ 59.32750 47.78460
SMT-COMP 2018 Boolector Boolector_default sat ✅ 19.60070 19.60030
CVC4 master-2018-06-10-b19c840-competition-default_default sat ✅ 42.09010 42.09170
MathSAT mathsat-5.5.2-linux-x86_64-Main_default sat ✅ 209.81600 209.75200
MinkeyRink Minkeyrink MT_mt sat ✅ 98.62480 339.46200
Minkeyrink ST_st sat ✅ 581.41700 581.39000
STP STP-CMS-st-2018_default-no-stderr sat ✅ 84.77740 84.75410
STP-CMS-mt-2018_multicore-no-stderr sat ✅ 113.02300 421.57200
STP-Riss-st-2018_riss-no-stderr sat ✅ 61.63740 61.62330
Yices2 Yices 2.6.0_default sat ✅ 128.32800 128.31200
Z3 z3-4.7.1_default sat ✅ 69.07330 69.06660
SMT-COMP 2019 Boolector Boolector-wrapped-sq_default sat ✅ 24.65290 24.65410
Poolector-wrapped-sq_default sat ✅ 32.10700 127.08000
Boolector-ReasonLS boolector-ReasonLS-wrapped-sq_default sat ✅ 61.84900 61.84380
CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 34.31970 34.31980
MinkeyRink MinkeyRink MT-wrapped-sq_default sat ✅ 103.28100 385.54200
MinkeyRink ST-wrapped-sq_default sat ✅ 90.52290 90.52640
Par4 Par4-wrapped-sq_default sat ✅ 29.52120 88.37000
STP STP-2019-wrapped-sq_default sat ✅ 69.76830 69.71090
stp-mergesat-fixed-wrapped-sq_default sat ✅ 91.71200 91.66330
stp-minisat-wrapped-sq_default sat ✅ 27.19850 27.18380
stp-mt-wrapped-sq_default sat ✅ 101.99800 360.71900
stp-portfolio-fixed-wrapped-sq_default sat ✅ 103.97100 200.17900
stp-riss-wrapped-sq_default unknown ❌ 9.63570 9.09794
Yices2 Yices 2.6.2-wrapped-sq_default sat ✅ 92.66040 92.65400
Yices 2.6.2 Cadical-wrapped-sq_default sat ✅ 34.44190 34.44120
Yices 2.6.2 Cryptominisat-wrapped-sq_default sat ✅ 181.83600 181.82200
Yices 2.6.2 MCSAT BV-wrapped-sq_default unknown ❌ 2400.08000 2399.62000
Yices 2.6.2 new bvsolver-wrapped-sq_default sat ✅ 147.01800 147.00600
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 56.30030 56.30000
SMT-COMP 2020 0.11 (8/9) Bitwuzla Bitwuzla-fixed_default sat ✅ 26.20540 26.20220
Boolector Boolector-wrapped-sq_default sat ✅ 27.29150 27.29170
Poolector-wrapped-sq_default sat ✅ 34.37850 135.79600
CVC4 CVC4-sq-final_default sat ✅ 41.70800 41.70390
LazyBV2Int LazyBV2Int20200523_default.sh unknown ❌ 1200.10000 1199.90000
MathSAT MathSAT5_default.sh sat ✅ 286.39100 286.34500
MinkeyRink MinkeyRink Solver 2020.3.1_default unknown ❌ 8.30878 8.30905
MinkeyRink Solver 2020.3_default sat ✅ 32.14070 98.91670
STP STP_default sat ✅ 27.39630 85.28700
STP ++ Mergsat v1_default sat ✅ 78.07330 78.07260
Yices2 Yices 2.6.2 bug fix_default sat ✅ 8.71341 8.71280
Z3 z3-4.8.8_default sat ✅ 410.08500 409.97800
SMT-COMP 2023 0.17 (5/6) Bitwuzla Bitwuzla-fixed_default sat ✅ 34.11480 34.11170
cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 45.28380 45.27900
STP STP 2022.4_default sat ✅ 22.40220 22.39980
STP 2022.4_default sat ✅ 22.39700 22.39290
UltimateEliminator UltimateIntBlastingWrapper+SMTInterpol_default unknown ❌ 1200.02000 1218.80000
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 101.16900 101.14900
Z3-Owl z3-Owl-Final_default sat ✅ 141.04300 141.01600
z3-Owl-Final_default sat ✅ 129.45400 129.40600
SMT-COMP 2024 0.17 (5/6) Bitwuzla Bitwuzla sat ✅ 19.94285 19.84252
cvc5 cvc5 sat ✅ 72.50544 72.35023
SMTInterpol SMTInterpol unknown ❌ 1201.71697 1434.04307
STP STP sat ✅ 15.18485 15.07676
Yices2 Yices2 sat ✅ 14.29638 14.19580
Z3alpha Z3-alpha sat ✅ 265.95859 265.82800
SMT-COMP 2025 0.22 (7/9) Bitwuzla Bitwuzla sat ✅ 14.35095 14.23192
Bitwuzla-MachBV-base sat ✅ 18.20894 18.06423
Bitwuzla-MachBV Bitwuzla-MachBV sat ✅ 18.90824 18.77865
BVDecide bv_decide unknown ❌ 1201.38677 1201.05897
bv_decide-nokernel unknown ❌ 1201.76512 1201.06110
cvc5 cvc5 sat ✅ 29.54046 29.41618
SMTInterpol SMTInterpol unknown ❌ 1201.48427 1242.90614
Yices2 Yices2 sat ✅ 12.91387 12.79025
Z3alpha Z3-alpha sat ✅ 17.14688 63.92860
Z3 Z3-alpha-base sat ✅ 13.65692 13.52667
Z3-Owl-base sat ✅ 45.91559 45.78250
z3siri-base sat ✅ 14.65715 14.53204
Z3-Owl Z3-Owl sat ✅ 66.76103 66.62878