Benchmark

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

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

Benchmark
Size	38695
Compressed Size	6304
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	38687
Compressed Size	6323
Max. Term Depth	51
Asserts	9
Declared Functions	2
Declared Constants	7
Declared Sorts	2
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

not	372	or	888	and	607	=	1161
let	4

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT-COMP 2007		Barcelogic	Barcelogic 1.2	sat ✅	0.20000	—
		CVC3	CVC3 1.2	sat ✅	0.10000	—
		MathSAT	MathSAT 4.0	sat ✅	0.10000	—
		Yices	Yices 1.0	sat ✅	—	—
			Yices 1.0.10	sat ✅	—	—
		Z3	Z3 0.1	sat ✅	—	—
SMT Evaluation 2013		CVC3	CVC3-SMT-COMP-2010 default	sat ✅	0.11394	—
			CVC3-SMT-COMP-2011 default	sat ✅	0.10572	—
			CVC3-SMT-COMP-2012 default	sat ✅	0.10580	—
		CVC4	CVC4-SMT-COMP-2011 default	sat ✅	0.05702	—
			CVC4-SMT-COMP-2012-Resubmission default	sat ✅	0.06578	—
			CVC4-SMT-EVAL-2013 default	sat ✅	0.08549	—
		MathSAT	MathSAT5-5.2.6-SMT-EVAL-2013 default	sat ✅	0.03876	—
			MathSAT5-SMT-COMP-2010 default	sat ✅	0.03575	—
			MathSAT5-SMT-COMP-2011 default	sat ✅	0.05651	—
			MathSAT5-SMT-COMP-2012 default	sat ✅	0.03841	—
			test_pmathsat-SMT-COMP-2010 default	sat ✅	0.06561	—
		OpenSMT	OpenSMT-SMT-COMP-2010 default	sat ✅	0.04219	—
			OpenSMT-SMT-COMP-2011 default	sat ✅	0.04645	—
			OpenSMT-SMT-EVAL-2013 default	sat ✅	0.40092	—
		SMTInterpol	SMTInterpol-2.0r8402-SMT-EVAL-2013 default	sat ✅	0.74008	—
			SMTInterpol-SMT-COMP-2011 default	sat ✅	0.78227	—
			SMTInterpol-SMT-COMP-2012 default	sat ✅	0.57902	—
		veriT	veriT-SMT-COMP-2010 default	sat ✅	0.08370	—
			veriT-SMT-COMP-2011 default	sat ✅	0.07120	—
			veriT-SMT-EVAL-2013 default	sat ✅	0.03359	—
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default	sat ✅	0.02194	—
			Z3-SMT-COMP-2011 default	sat ✅	0.03418	—
SMT-COMP 2015		CVC4	CVC4-master-2015-06-15-9b32405-main default	sat ✅	0.07084	0.06899
			CVC4-experimental-2015-06-15-ff5745a-main default	sat ✅	0.07074	0.06899
		MathSAT	MathSat 5.3.6 main smtcomp2015_main	sat ✅	0.05325	0.05199
		OpenSMT	OpenSMT2 default	sat ✅	0.07628	0.07499
			OpenSMT2-parallel default	sat ✅	0.07679	0.07599
		SMTInterpol	SMTInterpol v2.1-206-g86e9531 default	sat ✅	0.87948	1.78573
		SMT-RAT	SMT-RAT-final default	sat ✅	0.18915	0.18797
		veriT	veriT default	sat ✅	0.02968	0.02899
		Yices2	Yices default	sat ✅	0.01054	0.01000
		Z3	z3 4.4.0 default	sat ✅	0.04782	0.04799
SMT-COMP 2016		CVC4	CVC4-master-2016-05-27-cfef263-main default	sat ✅	0.08061	0.08082
		MathSAT	mathsat-5.3.11-linux-x86_64-Main default	sat ✅	0.03418	0.03512
		OpenSMT	OpenSMT2-2016-05-12 default	sat ✅	0.06530	0.06529
		SMTInterpol	smtinterpol-2.1-258-g92ab3df default	sat ✅	0.51358	2.48163
		Toysmt	toysmt default	sat ✅	36.02080	36.03890
		veriT	veriT-dev default	sat ✅	0.01742	0.01756
		Yices2	Yices-2.4.2 default	sat ✅	0.01254	0.01139
		Z3	z3-4.4.1 default	sat ✅	0.04682	0.04811
SMT-COMP 2017		CVC4	CVC4-smtcomp2017-main default	sat ✅	0.07680	0.07587
		MathSAT	mathsat-5.4.1-linux-x86_64-Main default	sat ✅	0.04745	0.04770
		OpenSMT	opensmt2-2017-06-04 default	sat ✅	0.08289	0.08190
		SMTInterpol	SMTInterpol default	sat ✅	0.52895	1.23442
		veriT	veriT-2017-06-17 default	sat ✅	0.02099	0.02054
		Yices2	Yices2-Main default	sat ✅	0.01315	0.01130
		Z3	z3-4.5.0 default	sat ✅	0.04836	0.04758
SMT-COMP 2018		CVC4	master-2018-06-10-b19c840-competition-default_default	sat ✅	0.08069	0.08086
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	0.04501	0.04606
		OpenSMT	opensmt2_default	sat ✅	0.09961	0.09951
		SMTInterpol	SMTInterpol-2.5-19-g0d39cdee_default	sat ✅	0.50684	1.22511
		veriT	veriT_default	sat ✅	0.01841	0.01857
		Yices2	Yices 2.6.0_default	sat ✅	0.01320	0.01315
		Z3	z3-4.7.1_default	sat ✅	0.05943	0.05729
SMT-COMP 2024		cvc5	cvc5	sat ✅	0.25413	0.15452
		OpenSMT	OpenSMT	sat ✅	0.23966	0.13946
		plat-smt	plat-smt	sat ✅	0.23213	0.13208
		SMTInterpol	SMTInterpol	sat ✅	0.81494	1.86197
		Yices2	Yices2	sat ✅	0.23466	0.13399
		Z3alpha	Z3-alpha	sat ✅	0.29031	0.19064