QF_UFLRA (Unknown Benchmarks Track)

Competition results for the QF_UFLRA division as of Thu Jul 7 07:28:02 GMT

Benchmarks in this division: 3
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	0	1801.16	1800.20
Yices2	0	1801.11	1800.17
MathSat5n	0	1801.05	1800.17
SMTInterpol	0	1897.53	1800.18
toysmt	0	1800.29	1800.06
veriT-dev	0	1801.17	1800.16
z3n	0	1801.12	1800.25

n. Non-competitive.