Benchmark

non-incremental/QF_IDL/asp/Fastfood/a7.3.4.tweaked.4.asp.smt2 

Benchmark without description.
Benchmark
Size5632379
Compressed Size399004
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 5632371
Compressed Size399007
Max. Term Depth4
Asserts 1
Declared Functions0
Declared Constants82027
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true491 not3303 or3118 and1534
=>3254 =83653 -1630 >=3

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT Evaluation 2013 0.40 (3/5) 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 sat ✅ 79.85110 —
CVC4-SMT-EVAL-2013 default sat ✅ 320.62700 —
OpenSMT OpenSMT-SMT-COMP-2010 default unknown ❌ — —
OpenSMT-SMT-COMP-2011 default sat ✅ 52.28220 —
veriT veriT-SMT-COMP-2010 default unknown ❌ — —
veriT-SMT-COMP-2011 default unknown ❌ — —
veriT-SMT-EVAL-2013 default unknown ❌ — —
Z3 Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default sat ✅ — —
Z3-SMT-COMP-2011 default sat ✅ 13.86980 —
SMT-COMP 2015 0.20 (4/5) CVC4 CVC4-master-2015-06-15-9b32405-main default sat ✅ 16.94360 16.94840
CVC4-experimental-2015-06-15-ff5745a-main default sat ✅ 16.81260 16.81640
SMTInterpol SMTInterpol v2.1-206-g86e9531 default unknown ❌ 2400.02000 2549.10000
veriT veriT default sat ✅ 227.88200 227.77700
Yices2 Yices default sat ✅ 5.79492 5.79612
Z3 z3 4.4.0 default sat ✅ 21.38220 21.38170
SMT-COMP 2016 CVC4 CVC4-master-2016-05-27-cfef263-main default sat ✅ 79.96840 79.99200
SMTInterpol smtinterpol-2.1-258-g92ab3df default sat ✅ 235.50600 285.67500
veriT veriT-dev default sat ✅ 296.70500 296.86700
Yices2 Yices-2.4.2 default sat ✅ 2.77029 2.77178
Z3 z3-4.4.1 default sat ✅ 1.79139 1.79368
SMT-COMP 2017 0.20 (4/5) CVC4 CVC4-smtcomp2017-main default sat ✅ 191.10000 191.04500
SMTInterpol SMTInterpol default unknown ❌ 600.04200 721.14000
veriT veriT-2017-06-17 default sat ✅ 103.11600 103.08900
Yices2 Yices2-Main default sat ✅ 2.11415 2.11337
Z3 z3-4.5.0 default sat ✅ 6.38317 6.38200
SMT-COMP 2018 0.43 (4/7) CVC4 CVC4-experimental-idl-2_default sat ✅ 338.83000 338.81500
master-2018-06-10-b19c840-competition-default_default sat ✅ 16.10070 16.09940
MathSAT mathsat-5.5.2-linux-x86_64-Main_default unknown ❌ 1200.11000 1200.09000
SMTInterpol SMTInterpol-2.5-19-g0d39cdee_default unknown ❌ 1200.12000 1346.50000
SMT-RAT SMTRAT-Rat-final_default unknown ❌ 1200.06000 1199.91000
veriT veriT_default sat ✅ 314.69200 314.68300
Yices2 Yices 2.6.0_default sat ✅ 1.98510 1.98509
Z3 z3-4.7.1_default sat ✅ 49.79010 49.77350
SMT-COMP 2019 0.29 (5/7) CVC4 CVC4-2019-06-03-d350fe1-wrapped-sq_default sat ✅ 155.51200 155.49900
Par4 Par4-wrapped-sq_default sat ✅ 1.31343 5.00000
ProB ProB-wrapped-sq_default unknown ❌ 2400.02000 2399.87000
SMTInterpol smtinterpol-2.5-514-wrapped-sq_default unknown ❌ 2400.09000 2418.71000
veriT veriT-wrapped-sq_default sat ✅ 116.08100 116.08200
Yices2 Yices 2.6.0_default sat ✅ 1.19964 1.19961
Yices 2.6.2-wrapped-sq_default sat ✅ 1.24947 1.24940
Z3 z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 25.78110 25.77880
SMT-COMP 2020 0.29 (5/7) CVC4 CVC4-sq-final_default sat ✅ 261.35000 261.29000
MathSAT MathSAT5_default.sh unknown ❌ 1200.03000 1199.86000
Par4 Par4-wrapped-sq_default sat ✅ 1.21130 4.48000
SMTInterpol smtinterpol-2.5-679-gacfde87a_default unknown ❌ 1200.02000 1221.62000
veriT veriT_default sat ✅ 56.34690 56.33950
Yices2 Yices 2.6.2 bug fix_default sat ✅ 1.13562 1.13542
Z3 z3-4.8.8_default sat ✅ 25.22790 25.22800
z3-4.8.4-d6df51951f4c-wrapped-sq_default sat ✅ 34.25620 34.25210
SMT-COMP 2022 0.17 (5/6) cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 370.03400 369.97900
MathSAT MathSAT-5.6.8_default unknown ❌ 1200.02000 1199.74000
Par4 Par4-wrapped-sq_default sat ✅ 5.30743 20.80000
veriT veriT_default sat ✅ 114.82200 114.80200
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 2.95730 2.95702
Z3 z3-4.8.17_default sat ✅ 26.90910 26.90930
SMT-COMP 2023 cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 312.87800 312.82300
OpenSMT OpenSMT a78dcf01_default sat ✅ 15.08050 15.07920
Par4 Par4-wrapped-sq_default sat ✅ 0.98594 3.73000
SMTInterpol smtinterpol-2.5-1272-g2d6d356c_default sat ✅ 46.97560 65.18740
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 0.92004 0.91986
Z3++ Z3++_sq_0526_default sat ✅ 27.57650 27.57270
SMT-COMP 2024 cvc5 cvc5 sat ✅ 222.01906 221.87745
OpenSMT OpenSMT sat ✅ 13.33522 13.23572
SMTInterpol SMTInterpol sat ✅ 17.00234 37.00965
Yices2 Yices2 sat ✅ 1.94681 1.84499
Z3alpha Z3-alpha sat ✅ 20.23085 20.12920
SMT-COMP 2025 0.17 (5/6) cvc5 cvc5 sat ✅ 380.07929 379.90696
OpenSMT OpenSMT sat ✅ 10.29574 10.16545
SMTInterpol SMTInterpol unknown ❌ 1201.56786 1228.86373
Yices2 Yices2 sat ✅ 1.84533 1.70505
Z3alpha Z3-alpha sat ✅ 8.67462 26.79250
Z3 Z3-alpha-base sat ✅ 4.02117 3.90160