QF_RDL (Unknown Benchmarks Track)

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

Benchmarks in this division: 35
Time Limit: 1200s

Non-Competitive division

Result table

Sequential Performance

Solver	Solved	avg. CPU time	avg. WALL time
CVC4	2	20292.99	20282.32
OpenSMT2	0	21011.68	21001.90
Yices2	2	19813.21	19802.79
SMTInterpol	2	24233.73	20331.97
toysmt	0	21010.71	21001.54
veriT-dev	2	20689.32	20678.25
z3n	0	21013.10	21001.63

n. Non-competitive.