QF_UFLRA (Unsat Core Track)

Competition results for the QF_UFLRA division in the Unsat Core Track.

Page generated on 2019-07-23 17:57:45 +0000

Benchmarks: 101
Time Limit: 2400 seconds
Memory Limit: 60 GB

Winners

Sequential Performance	Parallel Performance
CVC4-uc	CVC4-uc

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Z3n	0	62	62.4	62.407	0	0
2018-MathSAT (unsat core)n	0	61	100.626	100.666	0	0
CVC4-uc	0	61	211.507	211.556	0	0
Yices 2.6.2	0	58	20.111	20.286	0	0
SMTInterpol	0	57	635.201	437.826	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Z3n	0	62	62.4	62.407	0	0
2018-MathSAT (unsat core)n	0	61	100.626	100.666	0	0
CVC4-uc	0	61	211.507	211.556	0	0
Yices 2.6.2	0	58	20.111	20.286	0	0
SMTInterpol	0	57	635.201	437.826	0	0

n Non-competing.