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

QF_UF (Main Track)

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

Competition benchmarks = 6649

Competition industrial benchmarks = 3

The winners for this division are:

Sequential Performances	Sequential Performances (industrial)	Parallel Performances	Parallel Performances (industrial)
Yices	Yices	Yices	Yices

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	6639	44128.25	0	3	0.02	0	6639	44138.17	44132.83	0	3	0.02	0.03	10	0
CVC4 (exp)	0	6639	44166.41	0	3	0.02	0	6639	44176.37	44172.88	0	3	0.02	0.03	10	0
OpenSMT2	0	6629	96687.79	0	3	0.03	0	6629	96706.70	96655.69	0	3	0.03	0.05	20	0
OpenSMT2 (parallel)	2	6537	88233.44	0	3	0.03	2	6541	186019.96	50075.03	0	3	0.03	0.04	106	0
SMT-RAT	1	6629	82780.23	0	3	0.01	1	6629	82796.18	82759.84	0	3	0.01	0.03	19	0
SMTInterpol	0	6568	235333.25	0	3	0.92	0	6568	589099.08	223141.65	0	3	0.92	0.70	81	0
Yices	0	6649	1035.60	0	3	0.00	0	6649	1035.60	1048.25	0	3	0.00	0.02	0	0
[MathSat]	0	6571	202950.27	0	3	0.06	0	6571	203028.86	202951.80	0	3	0.06	0.06	78	0
[z3]	0	6573	199098.83	0	3	0.08	0	6573	199169.38	199088.96	0	3	0.08	0.09	76	0
veriT	0	6647	7227.04	0	3	0.01	0	6647	7228.97	7233.22	0	3	0.01	0.03	2	0

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

Last modified: Fri 30 Oct 2015 12:49 UTC