Benchmark

non-incremental/QF_UF/QG-classification/qg5/iso_brn552.smt2

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

Benchmark
Size	48869
Compressed Size	7600
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	48861
Compressed Size	7610
Max. Term Depth	27
Asserts	22
Declared Functions	2
Declared Constants	5
Declared Sorts	2
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

not	861	or	900	and	917	=	1189
let	17

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT Evaluation 2013		CVC3	CVC3-SMT-COMP-2010 default	sat ✅	0.17483	—
			CVC3-SMT-COMP-2011 default	sat ✅	0.16242	—
			CVC3-SMT-COMP-2012 default	sat ✅	0.16092	—
		CVC4	CVC4-SMT-COMP-2011 default	sat ✅	0.06988	—
			CVC4-SMT-COMP-2012-Resubmission default	sat ✅	0.07618	—
			CVC4-SMT-EVAL-2013 default	sat ✅	0.08954	—
		MathSAT	MathSAT5-5.2.6-SMT-EVAL-2013 default	sat ✅	0.05467	—
			MathSAT5-SMT-COMP-2010 default	sat ✅	0.05757	—
			MathSAT5-SMT-COMP-2011 default	sat ✅	0.06131	—
			MathSAT5-SMT-COMP-2012 default	sat ✅	0.05413	—
			test_pmathsat-SMT-COMP-2010 default	sat ✅	0.06657	—
		OpenSMT	OpenSMT-SMT-COMP-2010 default	sat ✅	0.05268	—
			OpenSMT-SMT-COMP-2011 default	sat ✅	0.03717	—
			OpenSMT-SMT-EVAL-2013 default	sat ✅	0.31570	—
		SMTInterpol	SMTInterpol-2.0r8402-SMT-EVAL-2013 default	sat ✅	0.88166	—
			SMTInterpol-SMT-COMP-2011 default	sat ✅	1.13969	—
			SMTInterpol-SMT-COMP-2012 default	sat ✅	0.76142	—
		veriT	veriT-SMT-COMP-2010 default	sat ✅	0.12299	—
			veriT-SMT-COMP-2011 default	sat ✅	0.07653	—
			veriT-SMT-EVAL-2013 default	sat ✅	0.04551	—
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default	sat ✅	0.03425	—
			Z3-SMT-COMP-2011 default	sat ✅	0.05217	—
SMT-COMP 2015		CVC4	CVC4-master-2015-06-15-9b32405-main default	sat ✅	0.10060	0.09798
			CVC4-experimental-2015-06-15-ff5745a-main default	sat ✅	0.10080	0.09898
		MathSAT	MathSat 5.3.6 main smtcomp2015_main	sat ✅	0.04111	0.03999
		OpenSMT	OpenSMT2 default	sat ✅	0.10520	0.10398
			OpenSMT2-parallel default	sat ✅	0.10441	0.10298
		SMTInterpol	SMTInterpol v2.1-206-g86e9531 default	sat ✅	0.87963	1.62175
		SMT-RAT	SMT-RAT-final default	sat ✅	0.17040	0.16897
		veriT	veriT default	sat ✅	0.03324	0.03199
		Yices2	Yices default	sat ✅	0.01107	0.01000
		Z3	z3 4.4.0 default	sat ✅	0.06432	0.06399
SMT-COMP 2016		CVC4	CVC4-master-2016-05-27-cfef263-main default	sat ✅	0.08600	0.08640
		MathSAT	mathsat-5.3.11-linux-x86_64-Main default	sat ✅	0.06151	0.06248
		OpenSMT	OpenSMT2-2016-05-12 default	sat ✅	0.12294	0.12323
		SMTInterpol	smtinterpol-2.1-258-g92ab3df default	sat ✅	0.58587	1.47674
		Toysmt	toysmt default	sat ✅	8.40134	8.40273
		veriT	veriT-dev default	sat ✅	0.02237	0.02253
		Yices2	Yices-2.4.2 default	sat ✅	0.01184	0.00707
		Z3	z3-4.4.1 default	sat ✅	0.06514	0.06714
SMT-COMP 2017		CVC4	CVC4-smtcomp2017-main default	sat ✅	0.08430	0.08379
		MathSAT	mathsat-5.4.1-linux-x86_64-Main default	sat ✅	0.04789	0.04729
		OpenSMT	opensmt2-2017-06-04 default	sat ✅	0.08032	0.07954
		SMTInterpol	SMTInterpol default	sat ✅	0.72395	1.88726
		veriT	veriT-2017-06-17 default	sat ✅	0.02025	0.01911
		Yices2	Yices2-Main default	sat ✅	0.01495	0.01395
		Z3	z3-4.5.0 default	sat ✅	0.07742	0.07664
SMT-COMP 2018		CVC4	master-2018-06-10-b19c840-competition-default_default	sat ✅	0.09892	0.09908
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	0.03887	0.03977
		OpenSMT	opensmt2_default	sat ✅	0.05964	0.05957
		SMTInterpol	SMTInterpol-2.5-19-g0d39cdee_default	sat ✅	0.59036	1.49349
		veriT	veriT_default	sat ✅	0.02141	0.02153
		Yices2	Yices 2.6.0_default	sat ✅	0.01463	0.01459
		Z3	z3-4.7.1_default	sat ✅	0.05146	0.05141
SMT-COMP 2023		cvc5	cvc5-default-2023-05-16-ea045f305_sq	sat ✅	0.06381	0.06422
		OpenSMT	OpenSMT a78dcf01_default	sat ✅	0.03525	0.03503
		SMTInterpol	smtinterpol-2.5-1272-g2d6d356c_default	sat ✅	0.83891	2.25495
		Yices2	Yices 2 for SMTCOMP 2023_default	sat ✅	0.01612	0.01605
			Yices 2.6.2 for SMTCOMP 2021_default	sat ✅	0.01469	0.01465
SMT-COMP 2025		cvc5	cvc5	sat ✅	0.32769	0.20194
		OpenSMT	OpenSMT	sat ✅	0.29275	0.17192
		SMTInterpol	SMTInterpol	sat ✅	0.93987	2.14785
		Yices2	Yices2	sat ✅	0.29020	0.16134