This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 314

Summary:	Old performance data
Product:	Web page	Reporter:	Ulrik Nyman <ulrik>
Component:	Misc	Assignee:	John Håkansson <johnh>
Status:	ASSIGNED ---
Severity:	normal
Priority:	P2
Version:	unspecified
Hardware:	All
OS:	All
URL:	http://www.it.uu.se/research/group/darts/uppaal/benchmarks
Architecture:

Description Ulrik Nyman 2006-04-20 13:03:48 CEST

The performance data visible on the page is old. If other researchers should have a chance to make realistic comparisons then the performance data should be up-to-date.

Comment 1 Gerd Behrmann 2006-04-30 14:37:14 CEST

Some time ago I started work on new scripts to systematically produce performance. The script generates jobs that can run locally, submitted to a cluster or to a grid system. However, I never finished the scripts. If somebody wants to continue/finish the work, be my guest. Otherwise I will probably finish the scripts at some point.