Benchmark

non-incremental/QF_LIA/20210219-Dartagnan/ConcurrencySafety-Main/38_rand_cas_vs_concur-O0.smt2 

Benchmark without description.
Benchmark
Size13089774
Compressed Size1750112
License Creative Commons Attribution 4.0 International (CC-BY-4.0)
Categoryindustrial
First Occurrence2021-07-18
Generated ByHernán Ponce de León
Generated On2021-02-17 00:00:00
GeneratorDartagnan (https://github.com/hernanponcedeleon/Dat3M)
Dolmen OK1
strict Dolmen OK1
check-sat calls1
Query 1
Status unknown
Inferred Status sat
Size 13089766
Compressed Size1750117
Max. Term Depth70701
Asserts 5
Declared Functions0
Declared Constants72971
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

true972 false1750 ite181 not29506
or67537 and202194 =>18539 =58907
distinct66 let83596 +369 -4
<14711 <=8 >738 >=20

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2022 0.17 (5/6) cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 670.03000 669.86800
MathSAT MathSAT-5.6.8_default sat ✅ 238.35600 238.22600
Par4 Par4-wrapped-sq_default sat ✅ 35.27740 105.44000
veriT veriT_default unknown ❌ 1200.02000 1199.80000
Yices2 Yices 2.6.2 for SMTCOMP 2021_default sat ✅ 43.44190 43.43730
Z3 z3-4.8.17_default sat ✅ 39.70690 39.70320
SMT-COMP 2023 cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 657.62400 657.43700
OpenSMT OpenSMT a78dcf01_default sat ✅ 63.43500 63.42710
Par4 Par4-wrapped-sq_default sat ✅ 14.65710 43.88000
SMTInterpol smtinterpol-2.5-1272-g2d6d356c_default sat ✅ 858.38400 941.77800
Yices2 Yices 2 for SMTCOMP 2023_default sat ✅ 41.05480 41.05110
Z3++ Z3++_sq_0526_default sat ✅ 46.04680 46.03350
SMT-COMP 2024 0.20 (4/5) cvc5 cvc5 sat ✅ 730.69339 730.09647
OpenSMT OpenSMT unknown ❌ 1.72002 1.61965
SMTInterpol SMTInterpol sat ✅ 383.88971 476.03983
Yices2 Yices2 sat ✅ 21.68487 21.58407
Z3alpha Z3-alpha sat ✅ 27.07120 26.94397