[Termtools] competition - status check

[Simon Bailey]

hi,

On Nov 3, 2008, at 4:38 PM, Johannes Waldmann wrote:
> could you please compile and post here a list
> showing what teams registered what tool for what category
> (only if "active" in competition)
> and what is their "current" implementation.

AProVE  				FP Category
						LP Category
						SRS Standard
						TRS Contextsensitive
						TRS Innermost
		  				TRS Standard
		  				TRS Termination modulo Theory
AProVE-Cert A3PAT		SRS Standard Certifying
				 		TRS Standard Certifying
AProVE-Cert COLOR 		SRS Standard Certifying
				 		TRS Standard Certifying
CaT     					Derivational Complexity - Full Rewriting
	     					Derivational Complexity - Innermost Rewriting
cime3   					TRS Standard Certifying
Jambox  				SRS Relative
		 				SRS Standard
						TRS Contextsensitive
						TRS Relative
		 				TRS Standard
matchbox        			SRS Standard Certifying
		        			TRS Standard Certifying
nonloop 				SRS Standard
Polytool        				LP Category
TCT-DC  				Derivational Complexity - Full Rewriting
TCT-IDC 				Derivational Complexity - Innermost Rewriting
TCT-IRC 				Runtime Complexity – Innermost Rewriting
TCT-RC  				Runtime Complexity – Full Rewriting
TTT2    					SRS Standard
	    					TRS Standard

> In what order do you plan to run the categories?

choices are: alphabetically, reverse alphabetically, random(). any  
other ordering cannot be implemented in time for a start tomorrow.

> Can you estimate their run times?
> (Based on number of participants and previous runs.)

based on previous runs using last year's provers (in hours):

SRS Relative: 			00:20
SRS Standard:			57:22
TRS Contextsensitive:	01:46
TRS Standard:			47:42

based on extrapolation from test-runs since last wednesday (again in  
hours):
[formula: average time per problem per category * num_participants *  
num_problems]:

Derivational Complexity - Full Rewriting			03:35:01
Derivational Complexity - Innermost Rewriting	09:22:59
FP Category									07:41:21
LP Category									01:39:38
Runtime Complexity – Full Rewriting			26:56:06
Runtime Complexity – Innermost Rewriting		17:09:48
SRS Relative								00:22:04
SRS Standard								28:07:04
SRS Standard Certifying						21:53:53
TRS Contextsensitive							00:21:43
TRS Innermost								01:57:04
TRS Relative								00:05:32
TRS Standard								11:36:55
TRS Standard Certifying						51:17:40
TRS Termination modulo Theory				00:14:07

Expected End Time:							12/11/2008 @ 02:21

(just as an aside, the expected time required for TRS Standard has  
significantly shrunk).

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/