Benchmark

non-incremental/QF_SLIA/2019-Leetcode/wordPattern/d25a8c716133bc34b325707c55aca2430d0f015698ad53bb496026e8.smt2 

Benchmark without description.
Benchmark
Size1423
Compressed Size503
License Creative Commons Attribution 4.0 International (CC-BY-4.0)
Categoryindustrial
First Occurrence2020-07-06
Generated ByWei-Cheng Wu
Generated On2020-02-24 00:00:00
GeneratorPyExZ3
Dolmen OK1
strict Dolmen OK1
check-sat calls1
Query 1
Status unknown
Inferred Status sat
Size 1414
Compressed Size492
Max. Term Depth22
Asserts 1
Declared Functions0
Declared Constants2
Declared Sorts 0
Defined Functions0
Defined Recursive Functions 0
Defined Sorts0
Constants0
Declared Datatypes0

Symbols

ite8 not17 and15 =15
+4 -8 >=8 str.len5
str.substr4 str.contains1 str.indexof10 str.at4

Evaluations

Evaluation Rating Solver Variant Result Wallclock CPU Time
SMT-COMP 2022 CVC4 CVC4-sq-final_default sat ✅ 0.04316 0.04348
cvc5 cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 0.07672 0.07733
OSTRICH OSTRICH 1.2_def sat ✅ 2.52213 6.21652
Z3 z3-4.8.17_default sat ✅ 0.03697 0.03870
Z3string Z3str4_default sat ✅ 0.02345 0.02351
SMT-COMP 2023 cvc5 cvc5-default-2023-05-16-ea045f305_sq sat ✅ 0.04123 0.04180
cvc5-default-2022-07-02-b15e116-wrapped_sq sat ✅ 0.07647 0.07705
OSTRICH OSTRICH 1.3 SMT-COMP fixed_def sat ✅ 2.60272 6.39445
Z3alpha z3alpha_default sat ✅ 0.02636 0.02639
Z3-Noodler Z3-Noodler_default sat ✅ 0.06847 0.06839
Z3-Noodler_default sat ✅ 0.06700 0.06693
SMT-COMP 2025 cvc5 cvc5 sat ✅ 0.30627 0.18113
OSTRICH OSTRICH sat ✅ 1.46748 2.64387
Z3alpha Z3-alpha sat ✅ 0.39748 0.29216
Z3 Z3-alpha-base sat ✅ 0.36381 0.23805
Z3-Noodler-base sat ✅ 0.30520 0.17574
Z3-Noodler Z3-Noodler sat ✅ 0.31483 0.18781
Z3-Noodler-Mocha-base sat ✅ 0.28298 0.16732
Z3-Noodler-Mocha Z3-Noodler-Mocha sat ✅ 0.28953 0.16548