Benchmark

non-incremental/QF_BV/spear/samba_v3.0.24/bin_libsmbclient_vc1225276.smt2

Benchmarks generated by the Calysto static checker.  Provided by Domagoj
Babic.  See http://www.cs.ubc.ca/~babic/index_benchmarks.htm.  Translated using
Spear Sf2Smt translator.

Benchmark
Size	411431
Compressed Size	55978
License	Creative Commons Attribution 4.0 International (CC-BY-4.0)
Category	industrial
First Occurrence	2007-07-03
Generated By	—
Generated On	—
Generator	—
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	1

Query 1

Status	sat
Inferred Status	sat
Size	411423
Compressed Size	55988
Max. Term Depth	5
Asserts	3553
Declared Functions	0
Declared Constants	3754
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

ite	1876	=>	4	=	6431	distinct	41
concat	9	extract	1098	bvand	153	bvxor	1
bvadd	80	bvurem	12	bvsub	1	bvult	170
bvule	10	bvslt	11	bvsle	2	bvshl	9
sign_extend	149

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT Evaluation 2013		4Simp	4Simp-SMT-COMP-2012 default	sat ✅	4.33923	—
		Abziz	abziz_portfolio_2011_minfeatures_2 default	sat ✅	3.55712	—
			abziz_portfolio_2011_solvers_2 default	sat ✅	3.57700	—
			abziz_portfolio_2012_minfeatures default	sat ✅	3.58064	—
			abziz_portfolio_2012_solvers default	sat ✅	3.56913	—
			AbzizPortfolio-SMT-COMP-2012 default	sat ✅	3.54219	—
		Boolector	Boolector-1.5.118-SMT-EVAL-2013 default	sat ✅	1.09442	—
			Boolector-SMT-COMP-2011 default	sat ✅	19.09850	—
			Boolector-SMT-COMP-2012 default	sat ✅	0.29030	—
		CVC3	CVC3-SMT-COMP-2010 default	sat ✅	76.10430	—
			CVC3-SMT-COMP-2011 default	sat ✅	69.68990	—
			CVC3-SMT-COMP-2012 default	sat ✅	70.24290	—
		CVC4	CVC4-SMT-COMP-2012-Resubmission default	sat ✅	6.10372	—
			CVC4-SMT-EVAL-2013 default	sat ✅	33.90260	—
		MathSAT	MathSAT5-5.2.6-SMT-EVAL-2013 default	sat ✅	73.18170	—
			MathSAT5-HeavyBV-SMT-COMP-2012 default	sat ✅	36.14970	—
			MathSAT5-SMT-COMP-2011 default	sat ✅	12.10510	—
			MathSAT5-SMT-COMP-2012 default	sat ✅	10.01630	—
		SONOLAR	SONOLAR-2013-05-15-SMT-EVAL-2013 default	sat ✅	2.35175	—
			SONOLAR-SMT-COMP-2010 default	sat ✅	4.34577	—
			SONOLAR-SMT-COMP-2011 default	sat ✅	3.78536	—
			SONOLAR-SMT-COMP-2012 default	sat ✅	3.58113	—
		STP	STP2-SMT-COMP-2011 default	sat ✅	1.83307	—
			STP2-SMT-COMP-2012 default	sat ✅	4.39531	—
			simplifyingSTP-SMT-COMP-2010 default	sat ✅	8.76522	—
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default	sat ✅	5.66460	—
			Z3-SMT-COMP-2011 default	sat ✅	3.55603	—
SMT-COMP 2017		Boolector	Boolector+CaDiCaL SMT17 final boolector	sat ✅	0.10328	0.10323
			Boolector SMT17 final boolector	sat ✅	0.10092	0.09999
		CVC4	CVC4-smtcomp2017-main default	sat ✅	20.72530	40.74330
		MathSAT	mathsat-5.4.1-linux-x86_64-Main default	sat ✅	16.99360	16.99070
		MinkeyRink	MinkeyRink 2017.3a default	sat ✅	5.46172	5.53577
		Q3B	Q3B default	sat ✅	49.98080	149.38000
		STP	stp_st default	sat ✅	5.50167	5.50065
			stp_mt default	sat ✅	6.36416	19.65790
		Yices2	Yices2-Main default	sat ✅	0.30044	0.29904
		Z3	z3-4.5.0 default	sat ✅	6.06350	6.06217
SMT-COMP 2018		Boolector	Boolector_default	sat ✅	0.10186	0.10177
		CVC4	master-2018-06-10-b19c840-competition-default_default	sat ✅	13.68980	13.68900
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	30.29790	30.29640
		MinkeyRink	Minkeyrink MT_mt	sat ✅	2.51759	5.07764
			Minkeyrink ST_st	sat ✅	2.73601	2.73574
		STP	STP-CMS-st-2018_default-no-stderr	sat ✅	1.73805	1.73779
			STP-CMS-mt-2018_multicore-no-stderr	sat ✅	1.82038	2.52785
			STP-Riss-st-2018_riss-no-stderr	sat ✅	18.27670	18.27510
		Yices2	Yices 2.6.0_default	sat ✅	0.25248	0.25238
		Z3	z3-4.7.1_default	sat ✅	5.54669	5.54656
SMT-COMP 2021		Bitwuzla	Bitwuzla-fixed_default	sat ✅	0.53475	0.53470
		MathSAT	mathsat-5.6.6_default	sat ✅	13.58900	13.58870
		STP	STP 2021.0_default	sat ✅	1.66536	2.20687
		Z3	z3-4.8.11_default	sat ✅	7.63280	7.63230
SMT-COMP 2025	0.11 (8/9)	Bitwuzla	Bitwuzla	sat ✅	0.65923	0.53569
			Bitwuzla-MachBV-base	sat ✅	0.87370	0.75551
		Bitwuzla-MachBV	Bitwuzla-MachBV	sat ✅	1.67804	1.54692
		BVDecide	bv_decide	sat ✅	80.87366	80.78303
			bv_decide-nokernel	sat ✅	36.33584	36.21168
		cvc5	cvc5	sat ✅	4.17085	4.04048
		SMTInterpol	SMTInterpol	unknown ❌	1201.51045	1238.69824
		Yices2	Yices2	sat ✅	0.54240	0.42195
		Z3alpha	Z3-alpha	sat ✅	4.98146	17.90607
		Z3	Z3-alpha-base	sat ✅	3.73554	3.60762
			Z3-Owl-base	sat ✅	14.33037	14.21166
			z3siri-base	sat ✅	3.79230	3.67118
		Z3-Owl	Z3-Owl	sat ✅	18.30115	18.16570