Benchmark

non-incremental/QF_BV/Sage2/bench_11834.smt2

Patrice Godefroid, SAGE (systematic dynamic test generation). For more information: http://research.microsoft.com/en-us/um/people/pg/public_psfiles/ndss2008.pdf

Benchmark
Size	1020838
Compressed Size	20722
License	Creative Commons Attribution 4.0 International (CC-BY-4.0)
Category	industrial
First Occurrence	2015-07-02
Generated By	—
Generated On	—
Generator	—
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	1

Query 1

Status	sat
Inferred Status	sat
Size	1020830
Compressed Size	20731
Max. Term Depth	167
Asserts	765
Declared Functions	0
Declared Constants	101
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

true	1	false	12	not	94	=	144
let	24002	extract	78	bvand	21	bvadd	10841
bvmul	1456	bvult	24	bvule	16	bvugt	13
bvuge	21	bvslt	119	bvsle	152	bvsgt	70
bvsge	217	bvshl	4599	bvashr	967	zero_extend	5934

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT-COMP 2017	0.12 (7/8)	Boolector	Boolector+CaDiCaL SMT17 final boolector	sat ✅	2.43714	2.43640
			Boolector SMT17 final boolector	sat ✅	11.62160	11.62040
		CVC4	CVC4-smtcomp2017-main default	sat ✅	4.08081	7.75532
		MathSAT	mathsat-5.4.1-linux-x86_64-Main default	sat ✅	2.38232	2.38204
		MinkeyRink	MinkeyRink 2017.3a default	sat ✅	1.67271	1.67023
		Q3B	Q3B default	unknown ❌	0.95857	2.10288
		STP	stp_st default	sat ✅	20.45310	20.44980
			stp_mt default	sat ✅	14.54050	54.71350
		Yices2	Yices2-Main default	sat ✅	0.27503	0.27460
		Z3	z3-4.5.0 default	sat ✅	500.25500	500.20600
SMT-COMP 2018		Boolector	Boolector_default	sat ✅	2.07758	2.07729
		CVC4	master-2018-06-10-b19c840-competition-default_default	sat ✅	5.14186	5.14183
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	2.34709	2.34812
		MinkeyRink	Minkeyrink MT_mt	sat ✅	1.09267	2.91421
			Minkeyrink ST_st	sat ✅	1.01757	1.01778
		STP	STP-CMS-st-2018_default-no-stderr	sat ✅	16.15810	16.15610
			STP-CMS-mt-2018_multicore-no-stderr	sat ✅	19.59770	73.67240
			STP-Riss-st-2018_riss-no-stderr	sat ✅	4.94979	4.94957
		Yices2	Yices 2.6.0_default	sat ✅	0.25227	0.25220
		Z3	z3-4.7.1_default	sat ✅	706.01300	705.86000
SMT-COMP 2019		Boolector	Boolector-wrapped-sq_default	sat ✅	1.15223	1.15223
			Poolector-wrapped-sq_default	sat ✅	1.38989	5.00000
		Boolector-ReasonLS	boolector-ReasonLS-wrapped-sq_default	sat ✅	5.47864	5.47841
		CVC4	CVC4-2019-06-03-d350fe1-wrapped-sq_default	sat ✅	6.06557	6.06526
		MinkeyRink	MinkeyRink MT-wrapped-sq_default	sat ✅	0.96714	2.14781
			MinkeyRink ST-wrapped-sq_default	sat ✅	0.88826	0.88832
		Par4	Par4-wrapped-sq_default	sat ✅	0.27599	0.00600
		STP	STP-2019-wrapped-sq_default	sat ✅	14.50900	14.50680
			stp-mergesat-fixed-wrapped-sq_default	sat ✅	11.75160	11.74910
			stp-minisat-wrapped-sq_default	sat ✅	3.42106	3.42105
			stp-mt-wrapped-sq_default	sat ✅	13.61340	51.32760
			stp-portfolio-fixed-wrapped-sq_default	sat ✅	15.49250	30.21920
			stp-riss-wrapped-sq_default	unknown ❌	0.89358	0.89379
		Yices2	Yices 2.6.2-wrapped-sq_default	sat ✅	0.28092	0.28088
			Yices 2.6.2 Cadical-wrapped-sq_default	sat ✅	1.12540	1.12545
			Yices 2.6.2 Cryptominisat-wrapped-sq_default	sat ✅	1.60672	1.60640
			Yices 2.6.2 MCSAT BV-wrapped-sq_default	unknown ❌	2400.03000	2399.82000
			Yices 2.6.2 new bvsolver-wrapped-sq_default	sat ✅	0.42214	0.42210
		Z3	z3-4.8.4-d6df51951f4c-wrapped-sq_default	sat ✅	124.86600	124.83300
SMT-COMP 2022		Bitwuzla	Bitwuzla-fixed_default	sat ✅	1.24277	1.24245
			Bitwuzla-wrapped_default	sat ✅	0.93028	0.93007
		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	sat ✅	42.64040	42.62900
		MathSAT	MathSAT-5.6.8_default	sat ✅	1.67018	1.66994
		STP	STP 2022.4_default	sat ✅	0.64242	0.64246
		Yices2	Yices 2.6.2 for SMTCOMP 2021_default	sat ✅	0.64870	0.64865
		Z3++BV	z3++bv_0702_default	sat ✅	15.88090	15.87270
		Z3	z3-4.8.17_default	sat ✅	76.50580	76.50860
SMT-COMP 2024	0.17 (5/6)	Bitwuzla	Bitwuzla	sat ✅	2.89529	2.79549
		cvc5	cvc5	sat ✅	75.32818	75.21808
		SMTInterpol	SMTInterpol	unknown ❌	1201.74814	1244.02925
		STP	STP	sat ✅	0.91461	0.81458
		Yices2	Yices2	sat ✅	0.75625	0.65634
		Z3alpha	Z3-alpha	sat ✅	4.14766	4.04792