[Termtools] Termination Competition test run

[Simon Bailey]

dear all,
On Jul 7, 2008, at 1:09 PM, Aart Middeldorp wrote:
> After solving some initial problems we started the final test run:
>
> http://colo5-c703.uibk.ac.at:8080/termcomp/competition/categoryList.seam


johannes requested we post an estimated schedule for the completion of  
the categories.

first, the upper bounds for each category, calculated as follows:
(num_tools x num_problems x 2(minutes))/60

SRS Relative: 4 participants, 42 problems, upper bound: 5.6hrs
SRS Standard: 7 participants, 703 problems, upper bound: 164.03hrs
TRS Contextsensitive:  2 participants, 133 problems, upper bound:  
8.86hrs
TRS Standard: 4 participants, 1381 problems, upper bound: 184.13hrs

current upper bound for completion of the competition: 357.02hrs  
(14days, 21hrs)

using an estimate of 40% required time, the guesstimated schedule  
should be as follows:

SRS Relative: 1.21hrs, completed at 10/7/08 14:13 (estimated 2.24hrs)
SRS Standard: 65.6 hrs, completion at 10/7/08 07:49
TRS Contextsensitive: 3.6hrs, completion at 10/7/08 11:25
TRS Standard: 73.6 hrs, completion at 13/7/08 13:01

statistics of SRS relative: actual time: 1h13m, upper bound was 5h36m,  
so it only took 21% of the upper limit.

so, if all goes well (*fingers crossed*), then the competition will be  
finished by sunday evening.

regards,
sb
--
Simon Bailey
Systems Administrator
Institut fuer Informatik
Universitaet Innsbruck
Technikerstrasse 21a/2
A-6020 Innsbruck
Tel: +43 (0) 512 507 - 6433
Mob: +43 (0) 664 812 5267
Fax: +43 (0) 512 507 - 2887
http://informatik.uibk.ac.at/