Benchmark

non-incremental/QF_UF/QG-classification/qg7/gensys_brn032.smt2

http://www.cs.bham.ac.uk/~vxs/quasigroups/benchmark/

Benchmark
Size	809056
Compressed Size	38331
License	Creative Commons Attribution 4.0 International (CC-BY-4.0)
Category	crafted
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	809048
Compressed Size	38317
Max. Term Depth	30
Asserts	5048
Declared Functions	1
Declared Constants	7
Declared Sorts	2
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

not	5355	or	972	and	25718	=	31395
let	5

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT Evaluation 2013		CVC3	CVC3-SMT-COMP-2010 default	sat ✅	2.56248	—
			CVC3-SMT-COMP-2011 default	sat ✅	2.46315	—
			CVC3-SMT-COMP-2012 default	sat ✅	2.35415	—
		CVC4	CVC4-SMT-COMP-2011 default	sat ✅	0.68654	—
			CVC4-SMT-COMP-2012-Resubmission default	sat ✅	0.85970	—
			CVC4-SMT-EVAL-2013 default	sat ✅	0.82312	—
		MathSAT	MathSAT5-5.2.6-SMT-EVAL-2013 default	sat ✅	0.32968	—
			MathSAT5-SMT-COMP-2010 default	sat ✅	0.56711	—
			MathSAT5-SMT-COMP-2011 default	sat ✅	0.41867	—
			MathSAT5-SMT-COMP-2012 default	sat ✅	0.40677	—
			test_pmathsat-SMT-COMP-2010 default	sat ✅	0.31460	—
		OpenSMT	OpenSMT-SMT-COMP-2010 default	sat ✅	0.29221	—
			OpenSMT-SMT-COMP-2011 default	sat ✅	0.33235	—
			OpenSMT-SMT-EVAL-2013 default	sat ✅	11.78730	—
		SMTInterpol	SMTInterpol-2.0r8402-SMT-EVAL-2013 default	sat ✅	2.23749	—
			SMTInterpol-SMT-COMP-2011 default	sat ✅	2.29379	—
			SMTInterpol-SMT-COMP-2012 default	sat ✅	1.61854	—
		veriT	veriT-SMT-COMP-2010 default	sat ✅	0.61545	—
			veriT-SMT-COMP-2011 default	sat ✅	0.54877	—
			veriT-SMT-EVAL-2013 default	sat ✅	0.34058	—
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default	sat ✅	0.24592	—
			Z3-SMT-COMP-2011 default	sat ✅	0.27329	—
SMT-COMP 2014		CVC4	CVC4 f7118b2 default	sat ✅	0.96927	0.95885
		MathSAT	MathSAT-5.2.12-Main default	sat ✅	0.33151	0.32295
		OpenSMT	opensmt2-2014-06-14c default	sat ✅	0.51238	0.50392
		SMTInterpol	smtinterpol-2.1-118-g3dada2f default	sat ✅	2.34384	4.73828
		veriT	veriT-smtcomp2014 default	sat ✅	0.37716	0.36794
		Yices2	Yices-2.2.1-smtcomp2014 default	sat ✅	0.06640	0.05799
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-COMP-2014 default	sat ✅	0.26916	0.26096
SMT-COMP 2015		CVC4	CVC4-master-2015-06-15-9b32405-main default	sat ✅	0.98607	0.98385
			CVC4-experimental-2015-06-15-ff5745a-main default	sat ✅	0.98474	0.98285
		MathSAT	MathSat 5.3.6 main smtcomp2015_main	sat ✅	0.23027	0.22896
		OpenSMT	OpenSMT2 default	sat ✅	1.25386	1.25281
			OpenSMT2-parallel default	sat ✅	1.30076	1.29780
		SMTInterpol	SMTInterpol v2.1-206-g86e9531 default	sat ✅	2.16711	4.82427
		SMT-RAT	SMT-RAT-final default	sat ✅	1.78212	1.78173
		veriT	veriT default	sat ✅	0.28819	0.28696
		Yices2	Yices default	sat ✅	0.07947	0.07899
		Z3	z3 4.4.0 default	sat ✅	0.29200	0.29195
SMT-COMP 2016		CVC4	CVC4-master-2016-05-27-cfef263-main default	sat ✅	0.98699	0.98781
		MathSAT	mathsat-5.3.11-linux-x86_64-Main default	sat ✅	0.20888	0.20984
		OpenSMT	OpenSMT2-2016-05-12 default	sat ✅	0.46405	0.46426
		SMTInterpol	smtinterpol-2.1-258-g92ab3df default	sat ✅	2.02230	6.09762
		Toysmt	toysmt default	sat ✅	29.00530	29.02370
		veriT	veriT-dev default	sat ✅	0.16370	0.16394
		Yices2	Yices-2.4.2 default	sat ✅	0.06750	0.06790
		Z3	z3-4.4.1 default	sat ✅	0.28213	0.28344
SMT-COMP 2017		CVC4	CVC4-smtcomp2017-main default	sat ✅	1.15103	1.15058
		MathSAT	mathsat-5.4.1-linux-x86_64-Main default	sat ✅	0.20942	0.20947
		OpenSMT	opensmt2-2017-06-04 default	sat ✅	0.51857	0.51731
		SMTInterpol	SMTInterpol default	sat ✅	1.67988	4.81875
		veriT	veriT-2017-06-17 default	sat ✅	0.16503	0.16411
		Yices2	Yices2-Main default	sat ✅	0.05810	0.05689
		Z3	z3-4.5.0 default	sat ✅	0.26560	0.26389
SMT-COMP 2018		CVC4	master-2018-06-10-b19c840-competition-default_default	sat ✅	1.12889	1.12908
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	0.21594	0.21693
		OpenSMT	opensmt2_default	sat ✅	0.57681	0.57668
		SMTInterpol	SMTInterpol-2.5-19-g0d39cdee_default	sat ✅	2.00175	5.50490
		veriT	veriT_default	sat ✅	0.15736	0.15751
		Yices2	Yices 2.6.0_default	sat ✅	0.06021	0.06016
		Z3	z3-4.7.1_default	sat ✅	0.27873	0.27865