Home	•	Rules	•	Benchmarks	•	Tools	•	Specs	•	Participants	•	Results	•	SMT-LIB	•	Previous

Summary

Unsat Core Track

Competition results as of Thu Jul 12 23:54:00 GMT

Logic	Solvers	Benchmarks	Order
ALIA	2	41	z3-4.7.1ⁿ; CVC4
			z3-4.7.1ⁿ; CVC4


AUFBVDTLIA	1	25	CVC4
			CVC4


AUFLIA	2	3	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


AUFLIRA	2	19771	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


AUFNIRA	2	1053	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


BV	2	4937	z3-4.7.1ⁿ; CVC4
			z3-4.7.1ⁿ; CVC4


LIA	2	233	z3-4.7.1ⁿ; CVC4
			z3-4.7.1ⁿ; CVC4


LRA	2	1539	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


NIA	2	4	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


NRA	2	3801	z3-4.7.1ⁿ; CVC4
			z3-4.7.1ⁿ; CVC4


QF_ABV	4	4677	Yices 2.6.0; z3-4.7.1ⁿ; mathsat-5.5.2ⁿ; CVC4
			Yices 2.6.0; z3-4.7.1ⁿ; mathsat-5.5.2ⁿ; CVC4


QF_ABVFP	1	3934	CVC4
			CVC4


QF_ALIA	5	80	z3-4.7.1ⁿ; Yices 2.6.0; mathsat-5.5.2ⁿ; SMTInterpol; CVC4
			z3-4.7.1ⁿ; Yices 2.6.0; mathsat-5.5.2ⁿ; SMTInterpol; CVC4


QF_ANIA	2	8	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


QF_AUFBV	4	25	mathsat-5.5.2ⁿ; Yices 2.6.0; CVC4; z3-4.7.1ⁿ
			mathsat-5.5.2ⁿ; Yices 2.6.0; CVC4; z3-4.7.1ⁿ


QF_AUFLIA	5	516	CVC4; z3-4.7.1ⁿ; Yices 2.6.0; mathsat-5.5.2ⁿ; SMTInterpol
			CVC4; z3-4.7.1ⁿ; Yices 2.6.0; mathsat-5.5.2ⁿ; SMTInterpol


QF_AUFNIA	2	12	z3-4.7.1ⁿ; CVC4
			z3-4.7.1ⁿ; CVC4


QF_AX	5	279	Yices 2.6.0; z3-4.7.1ⁿ; CVC4; mathsat-5.5.2ⁿ; SMTInterpol
			Yices 2.6.0; z3-4.7.1ⁿ; CVC4; mathsat-5.5.2ⁿ; SMTInterpol


QF_BV	4	25700	Yices 2.6.0; mathsat-5.5.2ⁿ; CVC4; z3-4.7.1ⁿ
			Yices 2.6.0; mathsat-5.5.2ⁿ; CVC4; z3-4.7.1ⁿ


QF_BVFP	2	3174	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


QF_DT	2	4422	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


QF_FP	2	20026	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


QF_IDL	5	816	z3-4.7.1ⁿ; CVC4; Yices 2.6.0; SMTInterpol; mathsat-5.5.2ⁿ
			z3-4.7.1ⁿ; CVC4; Yices 2.6.0; SMTInterpol; mathsat-5.5.2ⁿ


QF_LIA	5	3019	SMTInterpol; Yices 2.6.0; mathsat-5.5.2ⁿ; z3-4.7.1ⁿ; CVC4
			SMTInterpol; Yices 2.6.0; mathsat-5.5.2ⁿ; z3-4.7.1ⁿ; CVC4


QF_LIRA	4	5	z3-4.7.1ⁿ; CVC4; Yices 2.6.0; SMTInterpol
			z3-4.7.1ⁿ; CVC4; Yices 2.6.0; SMTInterpol


QF_LRA	5	683	SMTInterpol; Yices 2.6.0; z3-4.7.1ⁿ; mathsat-5.5.2ⁿ; CVC4
			SMTInterpol; Yices 2.6.0; z3-4.7.1ⁿ; mathsat-5.5.2ⁿ; CVC4


QF_NIA	2	4842	z3-4.7.1ⁿ; CVC4
			z3-4.7.1ⁿ; CVC4


QF_NIRA	2	2	z3-4.7.1ⁿ; CVC4
			z3-4.7.1ⁿ; CVC4


QF_NRA	2	5357	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


QF_RDL	5	113	z3-4.7.1ⁿ; CVC4; Yices 2.6.0; mathsat-5.5.2ⁿ; SMTInterpol
			z3-4.7.1ⁿ; CVC4; Yices 2.6.0; mathsat-5.5.2ⁿ; SMTInterpol


QF_UF	5	4330	CVC4; z3-4.7.1ⁿ; SMTInterpol; Yices 2.6.0; mathsat-5.5.2ⁿ
			CVC4; z3-4.7.1ⁿ; SMTInterpol; Yices 2.6.0; mathsat-5.5.2ⁿ


QF_UFBV	4	575	z3-4.7.1ⁿ; Yices 2.6.0; mathsat-5.5.2ⁿ; CVC4
			z3-4.7.1ⁿ; Yices 2.6.0; mathsat-5.5.2ⁿ; CVC4


QF_UFIDL	5	322	Yices 2.6.0; z3-4.7.1ⁿ; SMTInterpol; mathsat-5.5.2ⁿ; CVC4
			Yices 2.6.0; z3-4.7.1ⁿ; SMTInterpol; mathsat-5.5.2ⁿ; CVC4


QF_UFLIA	5	183	z3-4.7.1ⁿ; SMTInterpol; Yices 2.6.0; mathsat-5.5.2ⁿ; CVC4
			z3-4.7.1ⁿ; SMTInterpol; Yices 2.6.0; mathsat-5.5.2ⁿ; CVC4


QF_UFLRA	5	511	mathsat-5.5.2ⁿ; z3-4.7.1ⁿ; Yices 2.6.0; SMTInterpol; CVC4
			mathsat-5.5.2ⁿ; z3-4.7.1ⁿ; Yices 2.6.0; SMTInterpol; CVC4


QF_UFNIA	2	7	z3-4.7.1ⁿ; CVC4
			z3-4.7.1ⁿ; CVC4


QF_UFNRA	2	11	z3-4.7.1ⁿ; CVC4
			z3-4.7.1ⁿ; CVC4


UF	2	3442	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


UFBV	2	97	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


UFDT	1	1863	CVC4
			CVC4


UFIDL	2	57	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


UFLIA	2	7743	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ


UFLRA	2	10	z3-4.7.1ⁿ; CVC4
			z3-4.7.1ⁿ; CVC4


UFNIA	2	2457	CVC4; z3-4.7.1ⁿ
			CVC4; z3-4.7.1ⁿ

n. Non-competing.

Home	•	Rules	•	Benchmarks	•	Tools	•	Specs	•	Participants	•	Results	•	SMT-LIB	•	Previous

Last modified: Fri 13 Jul 2018 00:07 UTC