ILTP - History -------------- 7 April 2005 + First internal version 30 April 2005 + Release v1.0 + This is the first public release 17 May 2005 + Some modifications/corrections, typos, etc 25 January 2006 + Release v1.1 (v1.1.0) + 2754 problems (2480 fof, 274 prop) + Based on v3.1.0 plus three new domains + Format files adapted to new syntax + 14 ATP systems tested (8 for rating) 12 September 2006 + Release v1.1.1 + Format files adapted to deal with (Un)Sat + Some small bug fixes 1 March 2007 + Release v1.1.2 + Format files adapted to deal with SWV domain + Status, rating, statistics update