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

QF_NIRA (Main Track)

Competition results for the QF_NIRA division as of Fri Oct 30 12:49:29 GMT

Competition benchmarks = 2

Competition industrial benchmarks = 2

The winners for this division are:

Sequential Performances	Sequential Performances (industrial)	Parallel Performances	Parallel Performances (industrial)
CVC4 (exp)	CVC4 (exp)	CVC4 (exp)	CVC4 (exp)

Division COMPLETE

Solver	Sequential performance			Sequential performance (industrial)			Parallel performance				Parallel performance (industrial)				Other information
Solver	Errors	Corrects	CPU	Errors	Corrects	CPU	Errors	Corrects	CPU	WALL	Errors	Corrects	CPU	WALL	Not solved	Remaining
CVC4	0	2	11.90	0	2	11.90	0	2	11.90	11.90	0	2	11.90	11.90	0	0
CVC4 (exp)	0	2	11.87	0	2	11.87	0	2	11.87	11.87	0	2	11.87	11.87	0	0
SMT-RAT	0	2	32.98	0	2	32.98	0	2	32.98	32.97	0	2	32.98	32.97	0	0
[z3]	0	1	0.31	0	1	0.31	0	1	0.31	0.31	0	1	0.31	0.31	1	0

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

Last modified: Fri 30 Oct 2015 12:49 UTC