Benchmark

non-incremental/QF_BV/20210219-Sydr/master/cjpeg/predicate_169_0.smt2

Triton framework inside https://triton.quarkslab.com/
Application: Dynamic symbolic execution
Target solver: Yices 2

Benchmark
Size	100292
Compressed Size	10499
License	Creative Commons Attribution 4.0 International (CC-BY-4.0)
Category	industrial
First Occurrence	2021-07-18
Generated By	Alexey Vishnyakov, Andrey Fedotov, Daniil Kuts, Alexander Novikov, Darya Parygina, Eli Kobrin, Vlada Logunova, Pavel Belecky, Shamil Kurmangaleev
Generated On	2021-02-19 00:00:00
Generator	Sydr: Cutting Edge Dynamic Symbolic Execution https://arxiv.org/abs/2011.09269
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	1

Query 1

Status	sat
Inferred Status	sat
Size	100284
Compressed Size	10544
Max. Term Depth	7
Asserts	129
Declared Functions	0
Declared Constants	4
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	694
Declared Datatypes	0

Symbols

ite	150	not	64	=	279	BitVec	694
concat	162	extract	235	bvnot	58	bvand	88
bvor	8	bvxor	171	bvadd	59	bvmul	20
bvudiv	12	bvsub	137	bvsdiv	11	zero_extend	55
sign_extend	15

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT-COMP 2022		Bitwuzla	Bitwuzla-fixed_default	sat ✅	0.63586	0.63577
			Bitwuzla-wrapped_default	sat ✅	0.61053	0.61044
		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	sat ✅	1.34979	1.34710
		MathSAT	MathSAT-5.6.8_default	sat ✅	1.87135	1.87109
		STP	STP 2022.4_default	sat ✅	0.24559	0.24557
		Yices2	Yices 2.6.2 for SMTCOMP 2021_default	sat ✅	0.65651	0.65640
		Z3++BV	z3++bv_0702_default	sat ✅	13.36910	13.36840
		Z3	z3-4.8.17_default	sat ✅	0.85145	0.85161
SMT-COMP 2023	0.17 (5/6)	Bitwuzla	Bitwuzla-fixed_default	sat ✅	1.67731	1.67711
		cvc5	cvc5-default-2023-05-16-ea045f305_sq	sat ✅	1.52649	1.52694
		STP	STP 2022.4_default	sat ✅	0.24458	0.24457
			STP 2022.4_default	sat ✅	0.25068	0.25072
		UltimateEliminator	UltimateIntBlastingWrapper+SMTInterpol_default	unknown ❌	5.87273	34.12830
		Yices2	Yices 2 for SMTCOMP 2023_default	sat ✅	0.30020	0.30013
		Z3-Owl	z3-Owl-Final_default	sat ✅	43.59380	43.59010
			z3-Owl-Final_default	sat ✅	44.01620	44.01130