Benchmark

non-incremental/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc331115.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	238430
Compressed Size	35596
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	238422
Compressed Size	33677
Max. Term Depth	5
Asserts	2047
Declared Functions	0
Declared Constants	2228
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

ite	1054	=>	5	=	3695	distinct	30
concat	7	extract	598	bvand	97	bvadd	44
bvurem	11	bvult	97	bvule	8	bvslt	10
bvshl	7	sign_extend	76

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT Evaluation 2013		4Simp	4Simp-SMT-COMP-2012 default	sat ✅	2.70142	—
		Abziz	abziz_portfolio_2011_minfeatures_2 default	sat ✅	2.87218	—
			abziz_portfolio_2011_solvers_2 default	sat ✅	2.82270	—
			abziz_portfolio_2012_minfeatures default	sat ✅	2.88012	—
			abziz_portfolio_2012_solvers default	sat ✅	2.86343	—
			AbzizPortfolio-SMT-COMP-2012 default	sat ✅	2.83976	—
		Boolector	Boolector-1.5.118-SMT-EVAL-2013 default	sat ✅	0.29909	—
			Boolector-SMT-COMP-2011 default	sat ✅	15.34590	—
			Boolector-SMT-COMP-2012 default	sat ✅	0.19645	—
		CVC3	CVC3-SMT-COMP-2010 default	sat ✅	40.47790	—
			CVC3-SMT-COMP-2011 default	sat ✅	37.56430	—
			CVC3-SMT-COMP-2012 default	sat ✅	37.80550	—
		CVC4	CVC4-SMT-COMP-2012-Resubmission default	sat ✅	3.28599	—
			CVC4-SMT-EVAL-2013 default	sat ✅	10.02950	—
		MathSAT	MathSAT5-5.2.6-SMT-EVAL-2013 default	sat ✅	12.61610	—
			MathSAT5-HeavyBV-SMT-COMP-2012 default	sat ✅	18.07070	—
			MathSAT5-SMT-COMP-2011 default	sat ✅	4.49738	—
			MathSAT5-SMT-COMP-2012 default	sat ✅	2.67579	—
		SONOLAR	SONOLAR-2013-05-15-SMT-EVAL-2013 default	sat ✅	2.61507	—
			SONOLAR-SMT-COMP-2010 default	sat ✅	9.15792	—
			SONOLAR-SMT-COMP-2011 default	sat ✅	4.29989	—
			SONOLAR-SMT-COMP-2012 default	sat ✅	3.94310	—
		STP	STP2-SMT-COMP-2011 default	sat ✅	1.03944	—
			STP2-SMT-COMP-2012 default	sat ✅	1.97028	—
			simplifyingSTP-SMT-COMP-2010 default	sat ✅	2.05809	—
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default	sat ✅	3.38232	—
			Z3-SMT-COMP-2011 default	sat ✅	2.86791	—
SMT-COMP 2017		Boolector	Boolector+CaDiCaL SMT17 final boolector	sat ✅	0.06223	0.06155
			Boolector SMT17 final boolector	sat ✅	0.06107	0.06051
		CVC4	CVC4-smtcomp2017-main default	sat ✅	4.96504	9.78853
		MathSAT	mathsat-5.4.1-linux-x86_64-Main default	sat ✅	7.26212	7.26244
		MinkeyRink	MinkeyRink 2017.3a default	sat ✅	4.36131	4.36618
		Q3B	Q3B default	sat ✅	9.98023	29.29000
		STP	stp_st default	sat ✅	3.63461	3.63361
			stp_mt default	sat ✅	4.38578	13.40390
		Yices2	Yices2-Main default	sat ✅	0.19418	0.19406
		Z3	z3-4.5.0 default	sat ✅	2.89218	2.89128
SMT-COMP 2018		Boolector	Boolector_default	sat ✅	0.05751	0.05743
		CVC4	master-2018-06-10-b19c840-competition-default_default	sat ✅	15.38310	15.37750
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	9.64554	9.64667
		MinkeyRink	Minkeyrink MT_mt	sat ✅	1.56186	3.07413
			Minkeyrink ST_st	sat ✅	1.35037	1.35048
		STP	STP-CMS-st-2018_default-no-stderr	sat ✅	1.22326	1.22206
			STP-CMS-mt-2018_multicore-no-stderr	sat ✅	1.36983	1.93043
			STP-Riss-st-2018_riss-no-stderr	sat ✅	11.99320	11.99260
		Yices2	Yices 2.6.0_default	sat ✅	0.16773	0.16759
		Z3	z3-4.7.1_default	sat ✅	2.52344	2.52335
SMT-COMP 2021		Bitwuzla	Bitwuzla-fixed_default	sat ✅	0.34620	0.34611
		MathSAT	mathsat-5.6.6_default	sat ✅	9.21202	9.21170
		STP	STP 2021.0_default	sat ✅	0.96431	1.49299
		Z3	z3-4.8.11_default	sat ✅	1.67165	1.67158
SMT-COMP 2024	0.17 (5/6)	Bitwuzla	Bitwuzla	sat ✅	0.70210	0.60221
		cvc5	cvc5	sat ✅	3.64867	3.54716
		SMTInterpol	SMTInterpol	unknown ❌	543.54480	595.54916
		STP	STP	sat ✅	1.40864	1.30878
		Yices2	Yices2	sat ✅	0.62726	0.52761
		Z3alpha	Z3-alpha	sat ✅	1.08769	0.98790
SMT-COMP 2025	0.11 (8/9)	Bitwuzla	Bitwuzla	sat ✅	0.54864	0.41631
			Bitwuzla-MachBV-base	sat ✅	0.67133	0.54360
		Bitwuzla-MachBV	Bitwuzla-MachBV	sat ✅	1.34155	1.22084
		BVDecide	bv_decide	sat ✅	35.15230	35.03775
			bv_decide-nokernel	sat ✅	20.65364	20.52139
		cvc5	cvc5	sat ✅	2.38952	2.26650
		SMTInterpol	SMTInterpol	unknown ❌	773.56542	806.86189
		Yices2	Yices2	sat ✅	0.45753	0.33570
		Z3alpha	Z3-alpha	sat ✅	4.52492	16.16815
		Z3	Z3-alpha-base	sat ✅	3.48053	3.36228
			Z3-Owl-base	sat ✅	10.59074	10.46716
			z3siri-base	sat ✅	3.60291	3.48040
		Z3-Owl	Z3-Owl	sat ✅	15.13261	15.00308