User contributions
From Termination-Portal.org
Jump to navigationJump to search- 18:27, 26 June 2012 diff hist +763 N Tools:THOR Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..." current
- 18:25, 26 June 2012 diff hist +768 N Tools:Wanda Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..." current
- 18:19, 26 June 2012 diff hist +676 N Termination Competition 2012 Comments Created page with "Participants and observers may put their comments here. These could be used when a report on the competition is prepared. = SRS Certified = machbox-cert gets a "failed va..."
- 18:11, 26 June 2012 diff hist +43 Termination Competition 2012 current
- 17:41, 25 June 2012 diff hist 0 Star Exec →Extra Features
- 17:41, 25 June 2012 diff hist +46 Star Exec →Extra Features
- 16:43, 24 June 2012 diff hist 0 Star Exec Test current
- 16:32, 24 June 2012 diff hist +302 Star Exec Test
- 16:26, 24 June 2012 diff hist +211 Star Exec Test
- 14:16, 24 June 2012 diff hist 0 Star Exec Test
- 14:13, 24 June 2012 diff hist 0 Star Exec Test
- 14:10, 24 June 2012 diff hist +881 Star Exec Test
- 13:59, 24 June 2012 diff hist +1,489 Star Exec Test
- 13:24, 24 June 2012 diff hist +1,389 N Star Exec Test Created page with "This is an collection of notes that I (JW) am making while using the Star Exec service. The plan is to submit some benchmarks (from TPDB), submit some solvers (initially, my o..."
- 12:46, 24 June 2012 diff hist +94 Star Exec
- 22:21, 21 June 2012 diff hist +255 Star Exec →Running the Competition
- 22:18, 21 June 2012 diff hist +85 Star Exec →Extra Features
- 08:32, 13 June 2012 diff hist +56 Star Exec
- 08:30, 13 June 2012 diff hist +547 Star Exec
- 08:21, 13 June 2012 diff hist +900 Star Exec
- 13:04, 12 June 2012 diff hist +918 N Star Exec Created page with "[http://www.starexec.org/ StarExec] is a cross-community solver execution and benchmark library service under joint development at the University of Iowa and the University o..."
- 12:57, 12 June 2012 diff hist +101 Termination Competition →Upcoming Competition
- 07:31, 5 April 2012 diff hist +388 N Termination Competition 2012 Created page with "The Termination Competition 2012 is a satellite event of [http://ijcar.cs.manchester.ac.uk/ IJCAR] (June 26-July 1). The competition will be hosted on the Termcomp Platform a..."
- 07:21, 5 April 2012 diff hist +29 Termination Competition →Upcoming Competition
- 07:20, 5 April 2012 diff hist +25 Termination Competition →Upcoming Competition
- 07:18, 5 April 2012 diff hist -85 Termination Competition →Upcoming Competition
- 11:59, 12 December 2011 diff hist +91 Termination Competition →History of Termination Competitions
- 11:58, 12 December 2011 diff hist -58 Termination Competition →History of Termination Competitions
- 11:57, 12 December 2011 diff hist +103 Termination Competition →History of Termination Competitions
- 11:56, 12 December 2011 diff hist -3 Termination Competition →History of Termination Competitions
- 11:56, 12 December 2011 diff hist -39 Termination Competition →History of Termination Competitions
- 11:46, 12 December 2011 diff hist +16 TPDB →Data
- 14:56, 3 December 2011 diff hist -98 Termination Competition →History of Termination Competitions
- 14:50, 3 December 2011 diff hist +69 Termination Competition →Upcoming Competition
- 14:49, 3 December 2011 diff hist +113 Termination Competition →Upcoming Competition
- 14:48, 3 December 2011 diff hist -5 News:Plan for Termination Competition 2012 current
- 14:47, 3 December 2011 diff hist +667 N News:Plan for complete run (all tools, all problems) Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..."
- 14:43, 3 December 2011 diff hist +4 News:Plan for Termination Competition 2012
- 14:40, 3 December 2011 diff hist +714 N News:Plan for Termination Competition 2012 Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..."
- 08:47, 10 October 2011 diff hist -11 Termination Competition →History of Termination Competitions
- 08:46, 10 October 2011 diff hist +1 Termination Competition →History of Termination Competitions
- 08:46, 10 October 2011 diff hist +228 Termination Competition →History of Termination Competitions
- 08:36, 10 October 2011 diff hist -21 Termination Competition →History of Termination Competitions
- 08:36, 10 October 2011 diff hist +34 Termination Competition →History of Termination Competitions
- 08:35, 10 October 2011 diff hist +155 Termination Competition 2011 current
- 08:34, 10 October 2011 diff hist +144 Termination Competition
- 10:52, 19 May 2011 diff hist +95 Termination Competition 2011
- 14:03, 19 April 2011 diff hist 0 Termination Competition 2011
- 11:01, 19 April 2011 diff hist +65 Termination Competition →Annual International Termination Competition
- 10:59, 19 April 2011 diff hist +1 News:Termination Competition 2011: May 30 - June 1 current