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

Summary

Unsat Core Track

Competition results as of Tue Jul 18 22:06:21 GMT

Logic	Solvers	Benchmarks	Order
QF_AUFBV	3	25	mathsat-5.4.1ⁿ; z3-4.5.0ⁿ; CVC4
			mathsat-5.4.1ⁿ; z3-4.5.0ⁿ; CVC4


AUFNIRA	2	1050	CVC4; z3-4.5.0ⁿ
			CVC4; z3-4.5.0ⁿ


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


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


UF	2	3316	CVC4; z3-4.5.0ⁿ
			CVC4; z3-4.5.0ⁿ


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


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


QF_NIRA	2	2	z3-4.5.0ⁿ; CVC4
			z3-4.5.0ⁿ; CVC4


QF_BVFP	1	3174	z3-4.5.0ⁿ
			z3-4.5.0ⁿ


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


QF_IDL	3	816	z3-4.5.0ⁿ; CVC4; SMTInterpol
			z3-4.5.0ⁿ; CVC4; SMTInterpol


QF_RDL	3	113	z3-4.5.0ⁿ; CVC4; SMTInterpol
			z3-4.5.0ⁿ; CVC4; SMTInterpol


QF_UFBV	3	31	mathsat-5.4.1ⁿ; z3-4.5.0ⁿ; CVC4
			mathsat-5.4.1ⁿ; z3-4.5.0ⁿ; CVC4


QF_BV	3	23732	mathsat-5.4.1ⁿ; z3-4.5.0ⁿ; CVC4
			mathsat-5.4.1ⁿ; z3-4.5.0ⁿ; CVC4


QF_LRA	4	671	SMTInterpol; z3-4.5.0ⁿ; mathsat-5.4.1ⁿ; CVC4
			SMTInterpol; z3-4.5.0ⁿ; mathsat-5.4.1ⁿ; CVC4


QF_LIA	4	2844	SMTInterpol; z3-4.5.0ⁿ; mathsat-5.4.1ⁿ; CVC4
			z3-4.5.0ⁿ; SMTInterpol; mathsat-5.4.1ⁿ; CVC4


UFLIA	2	7714	CVC4; z3-4.5.0ⁿ
			CVC4; z3-4.5.0ⁿ


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


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


QF_ABV	3	4673	z3-4.5.0ⁿ; CVC4; mathsat-5.4.1ⁿ
			z3-4.5.0ⁿ; CVC4; mathsat-5.4.1ⁿ


QF_UF	4	4101	CVC4; z3-4.5.0ⁿ; SMTInterpol; mathsat-5.4.1ⁿ
			CVC4; z3-4.5.0ⁿ; SMTInterpol; mathsat-5.4.1ⁿ


QF_AX	4	279	z3-4.5.0ⁿ; SMTInterpol; CVC4; mathsat-5.4.1ⁿ
			z3-4.5.0ⁿ; SMTInterpol; CVC4; mathsat-5.4.1ⁿ


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


QF_NRA	2	5296	CVC4; z3-4.5.0ⁿ
			CVC4; z3-4.5.0ⁿ


QF_UFIDL	3	322	z3-4.5.0ⁿ; SMTInterpol; CVC4
			z3-4.5.0ⁿ; SMTInterpol; CVC4


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


BV	2	94	z3-4.5.0ⁿ; CVC4
			z3-4.5.0ⁿ; CVC4


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


QF_UFLRA	4	511	mathsat-5.4.1ⁿ; z3-4.5.0ⁿ; SMTInterpol; CVC4
			mathsat-5.4.1ⁿ; z3-4.5.0ⁿ; SMTInterpol; CVC4


QF_NIA	2	3130	z3-4.5.0ⁿ; CVC4
			z3-4.5.0ⁿ; CVC4


QF_LIRA	3	5	z3-4.5.0ⁿ; CVC4; SMTInterpol
			z3-4.5.0ⁿ; CVC4; SMTInterpol


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


UFNIA	2	2432	CVC4; z3-4.5.0ⁿ
			CVC4; z3-4.5.0ⁿ


QF_ALIA	4	80	z3-4.5.0ⁿ; SMTInterpol; mathsat-5.4.1ⁿ; CVC4
			z3-4.5.0ⁿ; SMTInterpol; mathsat-5.4.1ⁿ; CVC4


ALIA	2	41	z3-4.5.0ⁿ; CVC4
			z3-4.5.0ⁿ; CVC4


QF_UFLIA	4	183	z3-4.5.0ⁿ; SMTInterpol; mathsat-5.4.1ⁿ; CVC4
			z3-4.5.0ⁿ; SMTInterpol; mathsat-5.4.1ⁿ; CVC4


QF_FP	1	20028	z3-4.5.0ⁿ
			z3-4.5.0ⁿ


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


QF_AUFLIA	4	516	CVC4; z3-4.5.0ⁿ; SMTInterpol; mathsat-5.4.1ⁿ
			CVC4; z3-4.5.0ⁿ; SMTInterpol; mathsat-5.4.1ⁿ


LRA	2	1106	CVC4; z3-4.5.0ⁿ
			CVC4; z3-4.5.0ⁿ

n. Non-competing.

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

Last modified: Fri 21 Jul 2017 10:19 UTC