Benchmark

non-incremental/QF_IDL/mathsat/fischer/FISCHER3-4-ninc.smt2

Source unknown
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite

Benchmark
Size	48400
Compressed Size	6421
License	Creative Commons Attribution 4.0 International (CC-BY-4.0)
Category	industrial
First Occurrence	2005-07-12
Generated By	—
Generated On	—
Generator	—
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	1

Query 1

Status	sat
Inferred Status	sat
Size	48392
Compressed Size	6435
Max. Term Depth	1019
Asserts	1
Declared Functions	0
Declared Constants	188
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

not	242	or	1348	and	985	=	31
let	33	-	15	<	31	<=	15
>	27

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT Evaluation 2013		CVC3	CVC3-SMT-COMP-2010 default	sat ✅	0.12271	—
			CVC3-SMT-COMP-2011 default	sat ✅	0.11073	—
			CVC3-SMT-COMP-2012 default	sat ✅	0.10795	—
		CVC4	CVC4-SMT-COMP-2012-Resubmission default	sat ✅	0.04610	—
			CVC4-SMT-EVAL-2013 default	sat ✅	0.04347	—
		OpenSMT	OpenSMT-SMT-COMP-2010 default	sat ✅	0.04488	—
			OpenSMT-SMT-COMP-2011 default	sat ✅	0.13518	—
		veriT	veriT-SMT-COMP-2010 default	sat ✅	0.03941	—
			veriT-SMT-COMP-2011 default	sat ✅	0.07242	—
			veriT-SMT-EVAL-2013 default	sat ✅	0.02844	—
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default	sat ✅	0.02332	—
			Z3-SMT-COMP-2011 default	sat ✅	0.02806	—
SMT-COMP 2014		CVC4	CVC4 f7118b2 default	sat ✅	0.05990	0.04899
		veriT	veriT-smtcomp2014 default	sat ✅	0.04228	0.02799
		Yices2	Yices-2.2.1-smtcomp2014 default	sat ✅	0.00764	0.00400
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default	sat ✅	0.02120	0.02000
SMT-COMP 2015		CVC4	CVC4-master-2015-06-15-9b32405-main default	sat ✅	0.05431	0.05199
			CVC4-experimental-2015-06-15-ff5745a-main default	sat ✅	0.05402	0.05199
		SMTInterpol	SMTInterpol v2.1-206-g86e9531 default	sat ✅	0.64088	1.04384
		veriT	veriT default	sat ✅	0.02796	0.02700
		Yices2	Yices default	sat ✅	0.00811	0.00400
		Z3	z3 4.4.0 default	sat ✅	0.04393	0.04399
SMT-COMP 2016		CVC4	CVC4-master-2016-05-27-cfef263-main default	sat ✅	0.05506	0.05522
		SMTInterpol	smtinterpol-2.1-258-g92ab3df default	sat ✅	0.48571	1.03001
		veriT	veriT-dev default	sat ✅	0.01826	0.01856
		Yices2	Yices-2.4.2 default	sat ✅	0.01183	0.00567
		Z3	z3-4.4.1 default	sat ✅	0.04225	0.04347
SMT-COMP 2017		CVC4	CVC4-smtcomp2017-main default	sat ✅	0.05925	0.05901
		SMTInterpol	SMTInterpol default	sat ✅	0.50270	1.12223
		veriT	veriT-2017-06-17 default	sat ✅	0.01922	0.01888
		Yices2	Yices2-Main default	sat ✅	0.00829	0.00554
		Z3	z3-4.5.0 default	sat ✅	0.04560	0.04464
SMT-COMP 2018		CVC4	CVC4-experimental-idl-2_default	sat ✅	0.05958	0.05930
			master-2018-06-10-b19c840-competition-default_default	sat ✅	0.06098	0.06115
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	0.02844	0.02945
		SMTInterpol	SMTInterpol-2.5-19-g0d39cdee_default	sat ✅	0.49311	1.19167
		SMT-RAT	SMTRAT-Rat-final_default	sat ✅	0.21962	0.21953
		veriT	veriT_default	sat ✅	0.01882	0.01899
		Yices2	Yices 2.6.0_default	sat ✅	0.00782	0.00740
		Z3	z3-4.7.1_default	sat ✅	0.04844	0.04839
SMT-COMP 2019		CVC4	CVC4-2019-06-03-d350fe1-wrapped-sq_default	sat ✅	0.06591	0.06615
		Par4	Par4-wrapped-sq_default	sat ✅	0.01853	0.00659
		ProB	ProB-wrapped-sq_default	sat ✅	1.68033	1.66966
		SMTInterpol	smtinterpol-2.5-514-wrapped-sq_default	sat ✅	0.58710	1.44527
		veriT	veriT-wrapped-sq_default	sat ✅	0.02328	0.02359
		Yices2	Yices 2.6.0_default	sat ✅	0.00989	0.00902
			Yices 2.6.2-wrapped-sq_default	sat ✅	0.00992	0.00846
		Z3	z3-4.8.4-d6df51951f4c-wrapped-sq_default	sat ✅	0.05059	0.05060
SMT-COMP 2020		CVC4	CVC4-sq-final_default	sat ✅	0.08918	0.08947
		MathSAT	MathSAT5_default.sh	sat ✅	0.03197	0.03193
		Par4	Par4-wrapped-sq_default	sat ✅	0.01751	0.00796
		SMTInterpol	smtinterpol-2.5-679-gacfde87a_default	sat ✅	0.53340	1.30507
		veriT	veriT_default	sat ✅	0.03985	0.04021
		Yices2	Yices 2.6.2 bug fix_default	sat ✅	0.00989	0.00588
		Z3	z3-4.8.8_default	sat ✅	0.05037	0.05030
			z3-4.8.4-d6df51951f4c-wrapped-sq_default	sat ✅	0.05152	0.05151
SMT-COMP 2022		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	sat ✅	0.10526	0.10588
		MathSAT	MathSAT-5.6.8_default	sat ✅	0.02993	0.02991
		Par4	Par4-wrapped-sq_default	sat ✅	0.01762	0.00617
		veriT	veriT_default	sat ✅	0.02304	0.02329
		Yices2	Yices 2.6.2 for SMTCOMP 2021_default	sat ✅	0.02211	0.00641
		Z3	z3-4.8.17_default	sat ✅	0.03546	0.03722