QF_UFLRA (Unsat Core Track)

Competition results for the QF_UFLRA division as of Wed Jun 29 20:25:52 GMT

Benchmarks in this division: 853
Time Limit: 2400s

Non-Competitive division

Result table¹

Sequential Performance

Solver	Error Score	Reduction Score	avg. CPU time	avg. WALL time
MathSat5n	0.000	446.248	0.116	0.116
SMTInterpol	0.000	444.441	1.936	0.829
toysmtn	0.000	431.192	165.440	165.416
veriTn	0.000	0.602	4.909	4.908
z3n	0.000	447.452	0.092	0.091

n. Non-competitive.

1. Scores are computed according to Section 7 of the rules.