Benchmark

non-incremental/QF_BV/spear/samba_v3.0.24/bin_eventlogadm_vc352399.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	673414
Compressed Size	93663
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	673406
Compressed Size	93672
Max. Term Depth	5
Asserts	5779
Declared Functions	0
Declared Constants	6127
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

ite	3311	=>	4	=	10562	distinct	53
concat	7	extract	1663	bvand	334	bvadd	96
bvurem	7	bvsub	5	bvult	244	bvule	36
bvslt	3	bvshl	7	sign_extend	152

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT Evaluation 2013	0.11 (8/9)	4Simp	4Simp-SMT-COMP-2012 default	sat ✅	7.42183	—
		Abziz	abziz_portfolio_2011_minfeatures_2 default	sat ✅	4.04943	—
			abziz_portfolio_2011_solvers_2 default	sat ✅	4.03715	—
			abziz_portfolio_2012_minfeatures default	sat ✅	4.02227	—
			abziz_portfolio_2012_solvers default	sat ✅	4.04444	—
			AbzizPortfolio-SMT-COMP-2012 default	sat ✅	4.02260	—
		Boolector	Boolector-1.5.118-SMT-EVAL-2013 default	sat ✅	0.69916	—
			Boolector-SMT-COMP-2011 default	sat ✅	13.85220	—
			Boolector-SMT-COMP-2012 default	sat ✅	0.32875	—
		CVC3	CVC3-SMT-COMP-2010 default	unknown ❌	409.97400	—
			CVC3-SMT-COMP-2011 default	unknown ❌	—	—
			CVC3-SMT-COMP-2012 default	unknown ❌	—	—
		CVC4	CVC4-SMT-COMP-2012-Resubmission default	sat ✅	15.10900	—
			CVC4-SMT-EVAL-2013 default	sat ✅	6.48172	—
		MathSAT	MathSAT5-5.2.6-SMT-EVAL-2013 default	sat ✅	54.91700	—
			MathSAT5-HeavyBV-SMT-COMP-2012 default	sat ✅	69.00180	—
			MathSAT5-SMT-COMP-2011 default	sat ✅	6.40413	—
			MathSAT5-SMT-COMP-2012 default	sat ✅	6.16022	—
		SONOLAR	SONOLAR-2013-05-15-SMT-EVAL-2013 default	sat ✅	4.00378	—
			SONOLAR-SMT-COMP-2010 default	sat ✅	10.75230	—
			SONOLAR-SMT-COMP-2011 default	sat ✅	8.98371	—
			SONOLAR-SMT-COMP-2012 default	sat ✅	9.42506	—
		STP	STP2-SMT-COMP-2011 default	sat ✅	1.95640	—
			STP2-SMT-COMP-2012 default	sat ✅	8.90944	—
			simplifyingSTP-SMT-COMP-2010 default	sat ✅	7.27899	—
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default	sat ✅	4.86127	—
			Z3-SMT-COMP-2011 default	sat ✅	4.02319	—
SMT-COMP 2014		4Simp	4Simp - 2014 default	sat ✅	6.48179	6.43902
		Abziz	abziz_portfolio_all_features default	sat ✅	23.77130	23.66310
			abziz_portfolio_min_features default	sat ✅	23.62170	23.50720
		Boolector	Boolector boolector	sat ✅	19.92220	19.92200
		CVC4	CVC4 f7118b2 default	sat ✅	20.66320	41.03380
		MathSAT	MathSAT-5.2.12-Main default	sat ✅	127.59800	127.61100
		SONOLAR	sonolar_smtcomp-2014 default	sat ✅	4.39646	4.38633
		STP	stp-cryptominisat4 default	sat ✅	2.05905	2.05169
		Yices2	Yices-2.2.1-smtcomp2014 default	sat ✅	0.37557	0.36694
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default	sat ✅	5.52107	5.50616
SMT-COMP 2017	0.12 (7/8)	Boolector	Boolector+CaDiCaL SMT17 final boolector	sat ✅	0.21590	0.21539
			Boolector SMT17 final boolector	sat ✅	0.23453	0.23393
		CVC4	CVC4-smtcomp2017-main default	sat ✅	24.78640	49.38770
		MathSAT	mathsat-5.4.1-linux-x86_64-Main default	sat ✅	20.05970	20.05860
		MinkeyRink	MinkeyRink 2017.3a default	sat ✅	6.57280	6.65963
		Q3B	Q3B default	unknown ❌	600.04500	1745.03000
		STP	stp_st default	sat ✅	4.49551	4.49441
			stp_mt default	sat ✅	6.73071	15.01390
		Yices2	Yices2-Main default	sat ✅	0.35819	0.35728
		Z3	z3-4.5.0 default	sat ✅	6.16021	6.15939
SMT-COMP 2018		Boolector	Boolector_default	sat ✅	0.20525	0.20518
		CVC4	master-2018-06-10-b19c840-competition-default_default	sat ✅	24.29810	24.29780
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	29.08580	29.08550
		MinkeyRink	Minkeyrink MT_mt	sat ✅	3.95567	10.19910
			Minkeyrink ST_st	sat ✅	5.30243	5.30174
		STP	STP-CMS-st-2018_default-no-stderr	sat ✅	2.09906	2.09921
			STP-CMS-mt-2018_multicore-no-stderr	sat ✅	2.21144	2.92126
			STP-Riss-st-2018_riss-no-stderr	sat ✅	19.89300	19.89140
		Yices2	Yices 2.6.0_default	sat ✅	0.31951	0.31938
		Z3	z3-4.7.1_default	sat ✅	4.98297	4.98269
SMT-COMP 2021		Bitwuzla	Bitwuzla-fixed_default	sat ✅	1.76917	1.76908
		MathSAT	mathsat-5.6.6_default	sat ✅	28.30730	28.30720
		STP	STP 2021.0_default	sat ✅	1.91572	2.40834
		Z3	z3-4.8.11_default	sat ✅	4.74117	4.74115