QF_RDL (Unsat Core Track)

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

Benchmarks in this division: 113
Time Limit: 2400s

Non-Competitive division

Result table¹

Sequential Performance

Solver	Error Score	Reduction Score	avg. CPU time	avg. WALL time
SMTInterpol	0.000	0.000	385.484	364.405
toysmtn	0.000	0.000	1531.741	1531.726
veriTn	0.000	0.000	59.529	59.519
z3n	0.000	0.000	60.787	60.765

n. Non-competitive.

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