Index of /edu/year/2014/course/TIN172/aips2000-testdata/Schedule/Strips

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]adjustplan 2000-05-16 19:44 378  
[ ]domain.pddl 2000-05-16 19:44 6.1K 
[ ]probschedule-2-0.pddl 2000-05-16 19:44 1.4K 
[ ]probschedule-2-1.pddl 2000-05-16 19:44 1.4K 
[ ]probschedule-2-2.pddl 2000-05-16 19:44 1.4K 
[ ]probschedule-2-3.pddl 2000-05-16 19:44 1.4K 
[ ]probschedule-2-4.pddl 2000-05-16 19:44 1.4K 
[ ]probschedule-2-5.pddl 2000-05-16 19:44 1.4K 
[ ]probschedule-2-6.pddl 2000-05-16 19:44 1.4K 
[ ]probschedule-2-7.pddl 2000-05-16 19:44 1.4K 
[ ]probschedule-2-8.pddl 2000-05-16 19:44 1.4K 
[ ]probschedule-2-9.pddl 2000-05-16 19:44 1.4K 
[ ]probschedule-3-0.pddl 2000-05-16 19:45 1.7K 
[ ]probschedule-3-1.pddl 2000-05-16 19:45 1.7K 
[ ]probschedule-3-2.pddl 2000-05-16 19:45 1.7K 
[ ]probschedule-3-3.pddl 2000-05-16 19:45 1.7K 
[ ]probschedule-3-4.pddl 2000-05-16 19:45 1.7K 
[ ]probschedule-3-5.pddl 2000-05-16 19:45 1.7K 
[ ]probschedule-3-6.pddl 2000-05-16 19:45 1.7K 
[ ]probschedule-3-7.pddl 2000-05-16 19:45 1.7K 
[ ]probschedule-3-8.pddl 2000-05-16 19:45 1.7K 
[ ]probschedule-3-9.pddl 2000-05-16 19:45 1.7K 
[ ]probschedule-4-0.pddl 2000-05-16 19:45 1.9K 
[ ]probschedule-4-1.pddl 2000-05-16 19:45 2.0K 
[ ]probschedule-4-2.pddl 2000-05-16 19:45 2.0K 
[ ]probschedule-4-3.pddl 2000-05-16 19:45 2.0K 
[ ]probschedule-4-4.pddl 2000-05-16 19:45 2.0K 
[ ]probschedule-4-5.pddl 2000-05-16 19:45 2.0K 
[ ]probschedule-4-6.pddl 2000-05-16 19:45 2.0K 
[ ]probschedule-4-7.pddl 2000-05-16 19:45 2.0K 
[ ]probschedule-4-8.pddl 2000-05-16 19:45 2.0K 
[ ]probschedule-4-9.pddl 2000-05-16 19:45 2.0K 
[ ]probschedule-5-0.pddl 2000-05-16 19:45 2.2K 
[ ]probschedule-5-1.pddl 2000-05-16 19:45 2.2K 
[ ]probschedule-5-2.pddl 2000-05-16 19:45 2.2K 
[ ]probschedule-5-3.pddl 2000-05-16 19:45 2.2K 
[ ]probschedule-5-4.pddl 2000-05-16 19:45 2.2K 
[ ]probschedule-5-5.pddl 2000-05-16 19:45 2.2K 
[ ]probschedule-5-6.pddl 2000-05-16 19:45 2.2K 
[ ]probschedule-5-7.pddl 2000-05-16 19:45 2.2K 
[ ]probschedule-5-8.pddl 2000-05-16 19:45 2.2K 
[ ]probschedule-5-9.pddl 2000-05-16 19:45 2.2K 
[ ]probschedule-6-0.pddl 2000-05-16 19:45 2.5K 
[ ]probschedule-6-1.pddl 2000-05-16 19:45 2.5K 
[ ]probschedule-6-2.pddl 2000-05-16 19:45 2.5K 
[ ]probschedule-6-3.pddl 2000-05-16 19:45 2.5K 
[ ]probschedule-6-4.pddl 2000-05-16 19:45 2.5K 
[ ]probschedule-6-5.pddl 2000-05-16 19:45 2.5K 
[ ]probschedule-6-6.pddl 2000-05-16 19:45 2.5K 
[ ]probschedule-6-7.pddl 2000-05-16 19:45 2.5K 
[ ]probschedule-6-8.pddl 2000-05-16 19:45 2.5K 
[ ]probschedule-6-9.pddl 2000-05-16 19:45 2.5K 
[ ]probschedule-7-0.pddl 2000-05-16 19:45 2.7K 
[ ]probschedule-7-1.pddl 2000-05-16 19:45 2.7K 
[ ]probschedule-7-2.pddl 2000-05-16 19:45 2.7K 
[ ]probschedule-7-3.pddl 2000-05-16 19:45 2.8K 
[ ]probschedule-7-4.pddl 2000-05-16 19:45 2.7K 
[ ]probschedule-7-5.pddl 2000-05-16 19:45 2.8K 
[ ]probschedule-7-6.pddl 2000-05-16 19:45 2.7K 
[ ]probschedule-7-7.pddl 2000-05-16 19:45 2.8K 
[ ]probschedule-7-8.pddl 2000-05-16 19:45 2.7K 
[ ]probschedule-7-9.pddl 2000-05-16 19:45 2.7K 
[ ]probschedule-8-0.pddl 2000-05-16 19:45 3.0K 
[ ]probschedule-8-1.pddl 2000-05-16 19:45 3.0K 
[ ]probschedule-8-2.pddl 2000-05-16 19:45 3.0K 
[ ]probschedule-8-3.pddl 2000-05-16 19:45 3.0K 
[ ]probschedule-8-4.pddl 2000-05-16 19:45 3.0K 
[ ]probschedule-8-5.pddl 2000-05-16 19:45 3.0K 
[ ]probschedule-8-6.pddl 2000-05-16 19:45 3.0K 
[ ]probschedule-8-7.pddl 2000-05-16 19:45 3.0K 
[ ]probschedule-8-8.pddl 2000-05-16 19:45 3.0K 
[ ]probschedule-8-9.pddl 2000-05-16 19:45 3.0K 
[ ]probschedule-9-0.pddl 2000-05-16 19:45 3.2K 
[ ]probschedule-9-1.pddl 2000-05-16 19:45 3.3K 
[ ]probschedule-9-2.pddl 2000-05-16 19:45 3.3K 
[ ]probschedule-9-3.pddl 2000-05-16 19:45 3.3K 
[ ]probschedule-9-4.pddl 2000-05-16 19:45 3.2K 
[ ]probschedule-9-5.pddl 2000-05-16 19:45 3.3K 
[ ]probschedule-9-6.pddl 2000-05-16 19:45 3.3K 
[ ]probschedule-9-7.pddl 2000-05-16 19:45 3.2K 
[ ]probschedule-9-8.pddl 2000-05-16 19:45 3.3K 
[ ]probschedule-9-9.pddl 2000-05-16 19:45 3.3K 
[ ]probschedule-10-0.pddl 2000-05-16 19:44 3.5K 
[ ]probschedule-10-1.pddl 2000-05-16 19:44 3.5K 
[ ]probschedule-10-2.pddl 2000-05-16 19:44 3.5K 
[ ]probschedule-10-3.pddl 2000-05-16 19:44 3.5K 
[ ]probschedule-10-4.pddl 2000-05-16 19:44 3.5K 
[ ]probschedule-10-5.pddl 2000-05-16 19:44 3.5K 
[ ]probschedule-10-6.pddl 2000-05-16 19:44 3.5K 
[ ]probschedule-10-7.pddl 2000-05-16 19:44 3.5K 
[ ]probschedule-10-8.pddl 2000-05-16 19:44 3.5K 
[ ]probschedule-10-9.pddl 2000-05-16 19:44 3.5K 
[ ]probschedule-11-0.pddl 2000-05-16 19:44 3.8K 
[ ]probschedule-11-1.pddl 2000-05-16 19:44 3.8K 
[ ]probschedule-11-2.pddl 2000-05-16 19:44 3.8K 
[ ]probschedule-11-3.pddl 2000-05-16 19:44 3.8K 
[ ]probschedule-11-4.pddl 2000-05-16 19:44 3.8K 
[ ]probschedule-11-5.pddl 2000-05-16 19:44 3.8K 
[ ]probschedule-11-6.pddl 2000-05-16 19:44 3.8K 
[ ]probschedule-11-7.pddl 2000-05-16 19:44 3.8K 
[ ]probschedule-11-8.pddl 2000-05-16 19:44 3.8K 
[ ]probschedule-11-9.pddl 2000-05-16 19:44 3.8K 
[ ]probschedule-12-0.pddl 2000-05-16 19:44 4.0K 
[ ]probschedule-12-1.pddl 2000-05-16 19:44 4.1K 
[ ]probschedule-12-2.pddl 2000-05-16 19:44 4.0K 
[ ]probschedule-12-3.pddl 2000-05-16 19:44 4.0K 
[ ]probschedule-12-4.pddl 2000-05-16 19:44 4.1K 
[ ]probschedule-12-5.pddl 2000-05-16 19:44 4.0K 
[ ]probschedule-12-6.pddl 2000-05-16 19:44 4.0K 
[ ]probschedule-12-7.pddl 2000-05-16 19:44 4.1K 
[ ]probschedule-12-8.pddl 2000-05-16 19:44 4.0K 
[ ]probschedule-12-9.pddl 2000-05-16 19:44 4.1K 
[ ]probschedule-13-0.pddl 2000-05-16 19:44 4.3K 
[ ]probschedule-13-1.pddl 2000-05-16 19:44 4.3K 
[ ]probschedule-13-2.pddl 2000-05-16 19:44 4.3K 
[ ]probschedule-13-3.pddl 2000-05-16 19:44 4.3K 
[ ]probschedule-13-4.pddl 2000-05-16 19:44 4.3K 
[ ]probschedule-13-5.pddl 2000-05-16 19:44 4.3K 
[ ]probschedule-13-6.pddl 2000-05-16 19:44 4.3K 
[ ]probschedule-13-7.pddl 2000-05-16 19:44 4.3K 
[ ]probschedule-13-8.pddl 2000-05-16 19:44 4.3K 
[ ]probschedule-13-9.pddl 2000-05-16 19:44 4.3K 
[ ]probschedule-14-0.pddl 2000-05-16 19:44 4.5K 
[ ]probschedule-14-1.pddl 2000-05-16 19:44 4.5K 
[ ]probschedule-14-2.pddl 2000-05-16 19:44 4.6K 
[ ]probschedule-14-3.pddl 2000-05-16 19:44 4.6K 
[ ]probschedule-14-4.pddl 2000-05-16 19:44 4.5K 
[ ]probschedule-14-5.pddl 2000-05-16 19:44 4.5K 
[ ]probschedule-14-6.pddl 2000-05-16 19:44 4.5K 
[ ]probschedule-14-7.pddl 2000-05-16 19:44 4.6K 
[ ]probschedule-14-8.pddl 2000-05-16 19:44 4.5K 
[ ]probschedule-14-9.pddl 2000-05-16 19:44 4.6K 
[ ]probschedule-15-0.pddl 2000-05-16 19:44 4.8K 
[ ]probschedule-15-1.pddl 2000-05-16 19:44 4.8K 
[ ]probschedule-15-2.pddl 2000-05-16 19:44 4.8K 
[ ]probschedule-15-3.pddl 2000-05-16 19:44 4.8K 
[ ]probschedule-15-4.pddl 2000-05-16 19:44 4.8K 
[ ]probschedule-15-5.pddl 2000-05-16 19:44 4.8K 
[ ]probschedule-15-6.pddl 2000-05-16 19:44 4.8K 
[ ]probschedule-15-7.pddl 2000-05-16 19:44 4.8K 
[ ]probschedule-15-8.pddl 2000-05-16 19:44 4.8K 
[ ]probschedule-15-9.pddl 2000-05-16 19:44 4.8K 
[ ]probschedule-16-0.pddl 2000-05-16 19:44 5.1K 
[ ]probschedule-16-1.pddl 2000-05-16 19:44 5.1K 
[ ]probschedule-16-2.pddl 2000-05-16 19:44 5.1K 
[ ]probschedule-16-3.pddl 2000-05-16 19:44 5.1K 
[ ]probschedule-16-4.pddl 2000-05-16 19:44 5.1K 
[ ]probschedule-16-5.pddl 2000-05-16 19:44 5.1K 
[ ]probschedule-16-6.pddl 2000-05-16 19:44 5.1K 
[ ]probschedule-16-7.pddl 2000-05-16 19:44 5.1K 
[ ]probschedule-16-8.pddl 2000-05-16 19:44 5.0K 
[ ]probschedule-16-9.pddl 2000-05-16 19:44 5.0K 
[ ]probschedule-17-0.pddl 2000-05-16 19:44 5.4K 
[ ]probschedule-17-1.pddl 2000-05-16 19:44 5.3K 
[ ]probschedule-17-2.pddl 2000-05-16 19:44 5.3K 
[ ]probschedule-17-3.pddl 2000-05-16 19:44 5.3K 
[ ]probschedule-17-4.pddl 2000-05-16 19:44 5.3K 
[ ]probschedule-17-5.pddl 2000-05-16 19:44 5.3K 
[ ]probschedule-17-6.pddl 2000-05-16 19:44 5.3K 
[ ]probschedule-17-7.pddl 2000-05-16 19:44 5.3K 
[ ]probschedule-17-8.pddl 2000-05-16 19:44 5.3K 
[ ]probschedule-17-9.pddl 2000-05-16 19:44 5.3K 
[ ]probschedule-18-0.pddl 2000-05-16 19:44 5.6K 
[ ]probschedule-18-1.pddl 2000-05-16 19:44 5.6K 
[ ]probschedule-18-2.pddl 2000-05-16 19:44 5.6K 
[ ]probschedule-18-3.pddl 2000-05-16 19:44 5.6K 
[ ]probschedule-18-4.pddl 2000-05-16 19:44 5.6K 
[ ]probschedule-18-5.pddl 2000-05-16 19:44 5.6K 
[ ]probschedule-18-6.pddl 2000-05-16 19:44 5.6K 
[ ]probschedule-18-7.pddl 2000-05-16 19:44 5.5K 
[ ]probschedule-18-8.pddl 2000-05-16 19:44 5.6K 
[ ]probschedule-18-9.pddl 2000-05-16 19:44 5.6K 
[ ]probschedule-19-0.pddl 2000-05-16 19:44 5.8K 
[ ]probschedule-19-1.pddl 2000-05-16 19:44 5.8K 
[ ]probschedule-19-2.pddl 2000-05-16 19:44 5.8K 
[ ]probschedule-19-3.pddl 2000-05-16 19:44 5.8K 
[ ]probschedule-19-4.pddl 2000-05-16 19:44 5.9K 
[ ]probschedule-19-5.pddl 2000-05-16 19:44 5.9K 
[ ]probschedule-19-6.pddl 2000-05-16 19:44 5.8K 
[ ]probschedule-19-7.pddl 2000-05-16 19:44 5.8K 
[ ]probschedule-19-8.pddl 2000-05-16 19:44 5.8K 
[ ]probschedule-19-9.pddl 2000-05-16 19:44 5.8K 
[ ]probschedule-20-0.pddl 2000-05-16 19:44 6.1K 
[ ]probschedule-20-1.pddl 2000-05-16 19:44 6.1K 
[ ]probschedule-20-2.pddl 2000-05-16 19:44 6.1K 
[ ]probschedule-20-3.pddl 2000-05-16 19:44 6.1K 
[ ]probschedule-20-4.pddl 2000-05-16 19:44 6.1K 
[ ]probschedule-20-5.pddl 2000-05-16 19:44 6.1K 
[ ]probschedule-20-6.pddl 2000-05-16 19:44 6.1K 
[ ]probschedule-20-7.pddl 2000-05-16 19:44 6.1K 
[ ]probschedule-20-8.pddl 2000-05-16 19:44 6.1K 
[ ]probschedule-20-9.pddl 2000-05-16 19:44 6.1K 
[ ]probschedule-21-0.pddl 2000-05-16 19:44 6.3K 
[ ]probschedule-21-1.pddl 2000-05-16 19:44 6.4K 
[ ]probschedule-21-2.pddl 2000-05-16 19:44 6.4K 
[ ]probschedule-21-3.pddl 2000-05-16 19:44 6.4K 
[ ]probschedule-21-4.pddl 2000-05-16 19:44 6.3K 
[ ]probschedule-21-5.pddl 2000-05-16 19:45 6.3K 
[ ]probschedule-21-6.pddl 2000-05-16 19:45 6.3K 
[ ]probschedule-21-7.pddl 2000-05-16 19:45 6.4K 
[ ]probschedule-21-8.pddl 2000-05-16 19:45 6.4K 
[ ]probschedule-21-9.pddl 2000-05-16 19:45 6.3K 
[ ]probschedule-22-0.pddl 2000-05-16 19:45 6.6K 
[ ]probschedule-22-1.pddl 2000-05-16 19:45 6.6K 
[ ]probschedule-22-2.pddl 2000-05-16 19:45 6.7K 
[ ]probschedule-22-3.pddl 2000-05-16 19:45 6.6K 
[ ]probschedule-22-4.pddl 2000-05-16 19:45 6.6K 
[ ]probschedule-22-5.pddl 2000-05-16 19:45 6.6K 
[ ]probschedule-22-6.pddl 2000-05-16 19:45 6.6K 
[ ]probschedule-22-7.pddl 2000-05-16 19:45 6.6K 
[ ]probschedule-22-8.pddl 2000-05-16 19:45 6.6K 
[ ]probschedule-22-9.pddl 2000-05-16 19:45 6.6K 
[ ]probschedule-23-0.pddl 2000-05-16 19:45 6.8K 
[ ]probschedule-23-1.pddl 2000-05-16 19:45 6.9K 
[ ]probschedule-23-2.pddl 2000-05-16 19:45 6.9K 
[ ]probschedule-23-3.pddl 2000-05-16 19:45 6.8K 
[ ]probschedule-23-4.pddl 2000-05-16 19:45 6.9K 
[ ]probschedule-23-5.pddl 2000-05-16 19:45 6.9K 
[ ]probschedule-23-6.pddl 2000-05-16 19:45 6.9K 
[ ]probschedule-23-7.pddl 2000-05-16 19:45 6.9K 
[ ]probschedule-23-8.pddl 2000-05-16 19:45 6.9K 
[ ]probschedule-23-9.pddl 2000-05-16 19:45 6.8K 
[ ]probschedule-24-0.pddl 2000-05-16 19:45 7.1K 
[ ]probschedule-24-1.pddl 2000-05-16 19:45 7.1K 
[ ]probschedule-24-2.pddl 2000-05-16 19:45 7.1K 
[ ]probschedule-24-3.pddl 2000-05-16 19:45 7.1K 
[ ]probschedule-24-4.pddl 2000-05-16 19:45 7.1K 
[ ]probschedule-24-5.pddl 2000-05-16 19:45 7.2K 
[ ]probschedule-24-6.pddl 2000-05-16 19:45 7.1K 
[ ]probschedule-24-7.pddl 2000-05-16 19:45 7.2K 
[ ]probschedule-24-8.pddl 2000-05-16 19:45 7.1K 
[ ]probschedule-24-9.pddl 2000-05-16 19:45 7.1K 
[ ]probschedule-25-0.pddl 2000-05-16 19:45 7.4K 
[ ]probschedule-25-1.pddl 2000-05-16 19:45 7.4K 
[ ]probschedule-25-2.pddl 2000-05-16 19:45 7.4K 
[ ]probschedule-25-3.pddl 2000-05-16 19:45 7.4K 
[ ]probschedule-25-4.pddl 2000-05-16 19:45 7.4K 
[ ]probschedule-25-5.pddl 2000-05-16 19:45 7.4K 
[ ]probschedule-25-6.pddl 2000-05-16 19:45 7.3K 
[ ]probschedule-25-7.pddl 2000-05-16 19:45 7.4K 
[ ]probschedule-25-8.pddl 2000-05-16 19:45 7.4K 
[ ]probschedule-25-9.pddl 2000-05-16 19:45 7.4K 
[ ]probschedule-26-0.pddl 2000-05-16 19:45 7.6K 
[ ]probschedule-26-1.pddl 2000-05-16 19:45 7.6K 
[ ]probschedule-26-2.pddl 2000-05-16 19:45 7.6K 
[ ]probschedule-26-3.pddl 2000-05-16 19:45 7.6K 
[ ]probschedule-26-4.pddl 2000-05-16 19:45 7.6K 
[ ]probschedule-26-5.pddl 2000-05-16 19:45 7.6K 
[ ]probschedule-26-6.pddl 2000-05-16 19:45 7.7K 
[ ]probschedule-26-7.pddl 2000-05-16 19:45 7.7K 
[ ]probschedule-26-8.pddl 2000-05-16 19:45 7.7K 
[ ]probschedule-26-9.pddl 2000-05-16 19:45 7.7K 
[ ]probschedule-27-0.pddl 2000-05-16 19:45 7.9K 
[ ]probschedule-27-1.pddl 2000-05-16 19:45 7.9K 
[ ]probschedule-27-2.pddl 2000-05-16 19:45 7.9K 
[ ]probschedule-27-3.pddl 2000-05-16 19:45 8.0K 
[ ]probschedule-27-4.pddl 2000-05-16 19:45 7.9K 
[ ]probschedule-27-5.pddl 2000-05-16 19:45 7.9K 
[ ]probschedule-27-6.pddl 2000-05-16 19:45 7.9K 
[ ]probschedule-27-7.pddl 2000-05-16 19:45 7.9K 
[ ]probschedule-27-8.pddl 2000-05-16 19:45 7.9K 
[ ]probschedule-27-9.pddl 2000-05-16 19:45 7.9K 
[ ]probschedule-28-0.pddl 2000-05-16 19:45 8.2K 
[ ]probschedule-28-1.pddl 2000-05-16 19:45 8.2K 
[ ]probschedule-28-2.pddl 2000-05-16 19:45 8.2K 
[ ]probschedule-28-3.pddl 2000-05-16 19:45 8.2K 
[ ]probschedule-28-4.pddl 2000-05-16 19:45 8.2K 
[ ]probschedule-28-5.pddl 2000-05-16 19:45 8.1K 
[ ]probschedule-28-6.pddl 2000-05-16 19:45 8.2K 
[ ]probschedule-28-7.pddl 2000-05-16 19:45 8.1K 
[ ]probschedule-28-8.pddl 2000-05-16 19:45 8.2K 
[ ]probschedule-28-9.pddl 2000-05-16 19:45 8.2K 
[ ]probschedule-29-0.pddl 2000-05-16 19:45 8.4K 
[ ]probschedule-29-1.pddl 2000-05-16 19:45 8.4K 
[ ]probschedule-29-2.pddl 2000-05-16 19:45 8.4K 
[ ]probschedule-29-3.pddl 2000-05-16 19:45 8.5K 
[ ]probschedule-29-4.pddl 2000-05-16 19:45 8.5K 
[ ]probschedule-29-5.pddl 2000-05-16 19:45 8.4K 
[ ]probschedule-29-6.pddl 2000-05-16 19:45 8.5K 
[ ]probschedule-29-7.pddl 2000-05-16 19:45 8.4K 
[ ]probschedule-29-8.pddl 2000-05-16 19:45 8.4K 
[ ]probschedule-29-9.pddl 2000-05-16 19:45 8.4K 
[ ]probschedule-30-0.pddl 2000-05-16 19:45 8.7K 
[ ]probschedule-30-1.pddl 2000-05-16 19:45 8.6K 
[ ]probschedule-30-2.pddl 2000-05-16 19:45 8.7K 
[ ]probschedule-30-3.pddl 2000-05-16 19:45 8.6K 
[ ]probschedule-30-4.pddl 2000-05-16 19:45 8.7K 
[ ]probschedule-30-5.pddl 2000-05-16 19:45 8.7K 
[ ]probschedule-30-6.pddl 2000-05-16 19:45 8.7K 
[ ]probschedule-30-7.pddl 2000-05-16 19:45 8.7K 
[ ]probschedule-30-8.pddl 2000-05-16 19:45 8.7K 
[ ]probschedule-30-9.pddl 2000-05-16 19:45 8.7K 
[ ]probschedule-31-0.pddl 2000-05-16 19:45 8.9K 
[ ]probschedule-31-1.pddl 2000-05-16 19:45 9.0K 
[ ]probschedule-31-2.pddl 2000-05-16 19:45 9.0K 
[ ]probschedule-31-3.pddl 2000-05-16 19:45 9.0K 
[ ]probschedule-31-4.pddl 2000-05-16 19:45 8.9K 
[ ]probschedule-31-5.pddl 2000-05-16 19:45 8.9K 
[ ]probschedule-31-6.pddl 2000-05-16 19:45 9.0K 
[ ]probschedule-31-7.pddl 2000-05-16 19:45 8.9K 
[ ]probschedule-31-8.pddl 2000-05-16 19:45 9.0K 
[ ]probschedule-31-9.pddl 2000-05-16 19:45 8.9K 
[ ]probschedule-32-0.pddl 2000-05-16 19:45 9.2K 
[ ]probschedule-32-1.pddl 2000-05-16 19:45 9.2K 
[ ]probschedule-32-2.pddl 2000-05-16 19:45 9.2K 
[ ]probschedule-32-3.pddl 2000-05-16 19:45 9.2K 
[ ]probschedule-32-4.pddl 2000-05-16 19:45 9.2K 
[ ]probschedule-32-5.pddl 2000-05-16 19:45 9.2K 
[ ]probschedule-32-6.pddl 2000-05-16 19:45 9.2K 
[ ]probschedule-32-7.pddl 2000-05-16 19:45 9.2K 
[ ]probschedule-32-8.pddl 2000-05-16 19:45 9.2K 
[ ]probschedule-32-9.pddl 2000-05-16 19:45 9.2K 
[ ]probschedule-33-0.pddl 2000-05-16 19:45 9.4K 
[ ]probschedule-33-1.pddl 2000-05-16 19:45 9.5K 
[ ]probschedule-33-2.pddl 2000-05-16 19:45 9.4K 
[ ]probschedule-33-3.pddl 2000-05-16 19:45 9.5K 
[ ]probschedule-33-4.pddl 2000-05-16 19:45 9.4K 
[ ]probschedule-33-5.pddl 2000-05-16 19:45 9.5K 
[ ]probschedule-33-6.pddl 2000-05-16 19:45 9.5K 
[ ]probschedule-33-7.pddl 2000-05-16 19:45 9.4K 
[ ]probschedule-33-8.pddl 2000-05-16 19:45 9.4K 
[ ]probschedule-33-9.pddl 2000-05-16 19:45 9.5K 
[ ]probschedule-34-0.pddl 2000-05-16 19:45 9.7K 
[ ]probschedule-34-1.pddl 2000-05-16 19:45 9.7K 
[ ]probschedule-34-2.pddl 2000-05-16 19:45 9.7K 
[ ]probschedule-34-3.pddl 2000-05-16 19:45 9.7K 
[ ]probschedule-34-4.pddl 2000-05-16 19:45 9.7K 
[ ]probschedule-34-5.pddl 2000-05-16 19:45 9.7K 
[ ]probschedule-34-6.pddl 2000-05-16 19:45 9.7K 
[ ]probschedule-34-7.pddl 2000-05-16 19:45 9.7K 
[ ]probschedule-34-8.pddl 2000-05-16 19:45 9.7K 
[ ]probschedule-34-9.pddl 2000-05-16 19:45 9.7K 
[ ]probschedule-35-0.pddl 2000-05-16 19:45 10K 
[ ]probschedule-35-1.pddl 2000-05-16 19:45 10K 
[ ]probschedule-35-2.pddl 2000-05-16 19:45 10K 
[ ]probschedule-35-3.pddl 2000-05-16 19:45 10K 
[ ]probschedule-35-4.pddl 2000-05-16 19:45 10K 
[ ]probschedule-35-5.pddl 2000-05-16 19:45 10K 
[ ]probschedule-35-6.pddl 2000-05-16 19:45 10K 
[ ]probschedule-35-7.pddl 2000-05-16 19:45 10K 
[ ]probschedule-35-8.pddl 2000-05-16 19:45 10K 
[ ]probschedule-35-9.pddl 2000-05-16 19:45 10K 
[ ]probschedule-36-0.pddl 2000-05-16 19:45 10K 
[ ]probschedule-36-1.pddl 2000-05-16 19:45 10K 
[ ]probschedule-36-2.pddl 2000-05-16 19:45 10K 
[ ]probschedule-36-3.pddl 2000-05-16 19:45 10K 
[ ]probschedule-36-4.pddl 2000-05-16 19:45 10K 
[ ]probschedule-36-5.pddl 2000-05-16 19:45 10K 
[ ]probschedule-36-6.pddl 2000-05-16 19:45 10K 
[ ]probschedule-36-7.pddl 2000-05-16 19:45 10K 
[ ]probschedule-36-8.pddl 2000-05-16 19:45 10K 
[ ]probschedule-36-9.pddl 2000-05-16 19:45 10K 
[ ]probschedule-37-0.pddl 2000-05-16 19:45 11K 
[ ]probschedule-37-1.pddl 2000-05-16 19:45 10K 
[ ]probschedule-37-2.pddl 2000-05-16 19:45 10K 
[ ]probschedule-37-3.pddl 2000-05-16 19:45 10K 
[ ]probschedule-37-4.pddl 2000-05-16 19:45 10K 
[ ]probschedule-37-5.pddl 2000-05-16 19:45 11K 
[ ]probschedule-37-6.pddl 2000-05-16 19:45 11K 
[ ]probschedule-37-7.pddl 2000-05-16 19:45 10K 
[ ]probschedule-37-8.pddl 2000-05-16 19:45 11K 
[ ]probschedule-37-9.pddl 2000-05-16 19:45 10K 
[ ]probschedule-38-0.pddl 2000-05-16 19:45 11K 
[ ]probschedule-38-1.pddl 2000-05-16 19:45 11K 
[ ]probschedule-38-2.pddl 2000-05-16 19:45 11K 
[ ]probschedule-38-3.pddl 2000-05-16 19:45 11K 
[ ]probschedule-38-4.pddl 2000-05-16 19:45 11K 
[ ]probschedule-38-5.pddl 2000-05-16 19:45 11K 
[ ]probschedule-38-6.pddl 2000-05-16 19:45 11K 
[ ]probschedule-38-7.pddl 2000-05-16 19:45 11K 
[ ]probschedule-38-8.pddl 2000-05-16 19:45 11K 
[ ]probschedule-38-9.pddl 2000-05-16 19:45 11K 
[ ]probschedule-39-0.pddl 2000-05-16 19:45 11K 
[ ]probschedule-39-1.pddl 2000-05-16 19:45 11K 
[ ]probschedule-39-2.pddl 2000-05-16 19:45 11K 
[ ]probschedule-39-3.pddl 2000-05-16 19:45 11K 
[ ]probschedule-39-4.pddl 2000-05-16 19:45 11K 
[ ]probschedule-39-5.pddl 2000-05-16 19:45 11K 
[ ]probschedule-39-6.pddl 2000-05-16 19:45 11K 
[ ]probschedule-39-7.pddl 2000-05-16 19:45 11K 
[ ]probschedule-39-8.pddl 2000-05-16 19:45 11K 
[ ]probschedule-39-9.pddl 2000-05-16 19:45 11K 
[ ]probschedule-40-0.pddl 2000-05-16 19:45 11K 
[ ]probschedule-40-1.pddl 2000-05-16 19:45 11K 
[ ]probschedule-40-2.pddl 2000-05-16 19:45 11K 
[ ]probschedule-40-3.pddl 2000-05-16 19:45 11K 
[ ]probschedule-40-4.pddl 2000-05-16 19:45 11K 
[ ]probschedule-40-5.pddl 2000-05-16 19:45 11K 
[ ]probschedule-40-6.pddl 2000-05-16 19:45 11K 
[ ]probschedule-40-7.pddl 2000-05-16 19:45 11K 
[ ]probschedule-40-8.pddl 2000-05-16 19:45 11K 
[ ]probschedule-40-9.pddl 2000-05-16 19:45 11K 
[ ]probschedule-41-0.pddl 2000-05-16 19:45 12K 
[ ]probschedule-41-1.pddl 2000-05-16 19:45 12K 
[ ]probschedule-41-2.pddl 2000-05-16 19:45 12K 
[ ]probschedule-41-3.pddl 2000-05-16 19:45 12K 
[ ]probschedule-41-4.pddl 2000-05-16 19:45 12K 
[ ]probschedule-41-5.pddl 2000-05-16 19:45 11K 
[ ]probschedule-41-6.pddl 2000-05-16 19:45 12K 
[ ]probschedule-41-7.pddl 2000-05-16 19:45 12K 
[ ]probschedule-41-8.pddl 2000-05-16 19:45 12K 
[ ]probschedule-41-9.pddl 2000-05-16 19:45 11K 
[ ]probschedule-42-0.pddl 2000-05-16 19:45 12K 
[ ]probschedule-42-1.pddl 2000-05-16 19:45 12K 
[ ]probschedule-42-2.pddl 2000-05-16 19:45 12K 
[ ]probschedule-42-3.pddl 2000-05-16 19:45 12K 
[ ]probschedule-42-4.pddl 2000-05-16 19:45 12K 
[ ]probschedule-42-5.pddl 2000-05-16 19:45 12K 
[ ]probschedule-42-6.pddl 2000-05-16 19:45 12K 
[ ]probschedule-42-7.pddl 2000-05-16 19:45 12K 
[ ]probschedule-42-8.pddl 2000-05-16 19:45 12K 
[ ]probschedule-42-9.pddl 2000-05-16 19:45 12K 
[ ]probschedule-43-0.pddl 2000-05-16 19:45 12K 
[ ]probschedule-43-1.pddl 2000-05-16 19:45 12K 
[ ]probschedule-43-2.pddl 2000-05-16 19:45 12K 
[ ]probschedule-43-3.pddl 2000-05-16 19:45 12K 
[ ]probschedule-43-4.pddl 2000-05-16 19:45 12K 
[ ]probschedule-43-5.pddl 2000-05-16 19:45 12K 
[ ]probschedule-43-6.pddl 2000-05-16 19:45 12K 
[ ]probschedule-43-7.pddl 2000-05-16 19:45 12K 
[ ]probschedule-43-8.pddl 2000-05-16 19:45 12K 
[ ]probschedule-43-9.pddl 2000-05-16 19:45 12K 
[ ]probschedule-44-0.pddl 2000-05-16 19:45 12K 
[ ]probschedule-44-1.pddl 2000-05-16 19:45 12K 
[ ]probschedule-44-2.pddl 2000-05-16 19:45 12K 
[ ]probschedule-44-3.pddl 2000-05-16 19:45 12K 
[ ]probschedule-44-4.pddl 2000-05-16 19:45 12K 
[ ]probschedule-44-5.pddl 2000-05-16 19:45 12K 
[ ]probschedule-44-6.pddl 2000-05-16 19:45 12K 
[ ]probschedule-44-7.pddl 2000-05-16 19:45 12K 
[ ]probschedule-44-8.pddl 2000-05-16 19:45 12K 
[ ]probschedule-44-9.pddl 2000-05-16 19:45 12K 
[ ]probschedule-45-0.pddl 2000-05-16 19:45 13K 
[ ]probschedule-45-1.pddl 2000-05-16 19:45 13K 
[ ]probschedule-45-2.pddl 2000-05-16 19:45 13K 
[ ]probschedule-45-3.pddl 2000-05-16 19:45 13K 
[ ]probschedule-45-4.pddl 2000-05-16 19:45 13K 
[ ]probschedule-45-5.pddl 2000-05-16 19:45 13K 
[ ]probschedule-45-6.pddl 2000-05-16 19:45 13K 
[ ]probschedule-45-7.pddl 2000-05-16 19:45 13K 
[ ]probschedule-45-8.pddl 2000-05-16 19:45 13K 
[ ]probschedule-45-9.pddl 2000-05-16 19:45 13K 
[ ]probschedule-46-0.pddl 2000-05-16 19:45 13K 
[ ]probschedule-46-1.pddl 2000-05-16 19:45 13K 
[ ]probschedule-46-2.pddl 2000-05-16 19:45 13K 
[ ]probschedule-46-3.pddl 2000-05-16 19:45 13K 
[ ]probschedule-46-4.pddl 2000-05-16 19:45 13K 
[ ]probschedule-46-5.pddl 2000-05-16 19:45 13K 
[ ]probschedule-46-6.pddl 2000-05-16 19:45 13K 
[ ]probschedule-46-7.pddl 2000-05-16 19:45 13K 
[ ]probschedule-46-8.pddl 2000-05-16 19:45 13K 
[ ]probschedule-46-9.pddl 2000-05-16 19:45 13K 
[ ]probschedule-47-0.pddl 2000-05-16 19:45 13K 
[ ]probschedule-47-1.pddl 2000-05-16 19:45 13K 
[ ]probschedule-47-2.pddl 2000-05-16 19:45 13K 
[ ]probschedule-47-3.pddl 2000-05-16 19:45 13K 
[ ]probschedule-47-4.pddl 2000-05-16 19:45 13K 
[ ]probschedule-47-5.pddl 2000-05-16 19:45 13K 
[ ]probschedule-47-6.pddl 2000-05-16 19:45 13K 
[ ]probschedule-47-7.pddl 2000-05-16 19:45 13K 
[ ]probschedule-47-8.pddl 2000-05-16 19:45 13K 
[ ]probschedule-47-9.pddl 2000-05-16 19:45 13K 
[ ]probschedule-48-0.pddl 2000-05-16 19:45 13K 
[ ]probschedule-48-1.pddl 2000-05-16 19:45 13K 
[ ]probschedule-48-2.pddl 2000-05-16 19:45 13K 
[ ]probschedule-48-3.pddl 2000-05-16 19:45 13K 
[ ]probschedule-48-4.pddl 2000-05-16 19:45 13K 
[ ]probschedule-48-5.pddl 2000-05-16 19:45 13K 
[ ]probschedule-48-6.pddl 2000-05-16 19:45 13K 
[ ]probschedule-48-7.pddl 2000-05-16 19:45 13K 
[ ]probschedule-48-8.pddl 2000-05-16 19:45 13K 
[ ]probschedule-48-9.pddl 2000-05-16 19:45 13K 
[ ]probschedule-49-0.pddl 2000-05-16 19:45 14K 
[ ]probschedule-49-1.pddl 2000-05-16 19:45 14K 
[ ]probschedule-49-2.pddl 2000-05-16 19:45 14K 
[ ]probschedule-49-3.pddl 2000-05-16 19:45 14K 
[ ]probschedule-49-4.pddl 2000-05-16 19:45 14K 
[ ]probschedule-49-5.pddl 2000-05-16 19:45 14K 
[ ]probschedule-49-6.pddl 2000-05-16 19:45 14K 
[ ]probschedule-49-7.pddl 2000-05-16 19:45 14K 
[ ]probschedule-49-8.pddl 2000-05-16 19:45 14K 
[ ]probschedule-49-9.pddl 2000-05-16 19:45 14K 
[ ]probschedule-50-0.pddl 2000-05-16 19:45 14K 
[ ]probschedule-50-1.pddl 2000-05-16 19:45 14K 
[ ]probschedule-50-2.pddl 2000-05-16 19:45 14K 
[ ]probschedule-50-3.pddl 2000-05-16 19:45 14K 
[ ]probschedule-50-4.pddl 2000-05-16 19:45 14K 
[ ]probschedule-50-5.pddl 2000-05-16 19:45 14K 
[ ]probschedule-50-6.pddl 2000-05-16 19:45 14K 
[ ]probschedule-50-7.pddl 2000-05-16 19:45 14K 
[ ]probschedule-50-8.pddl 2000-05-16 19:45 14K 
[ ]probschedule-50-9.pddl 2000-05-16 19:45 14K 
[ ]probschedule-51-0.pddl 2000-05-16 19:45 14K 
[ ]probschedule-51-1.pddl 2000-05-16 19:45 14K 
[ ]probschedule-51-2.pddl 2000-05-16 19:45 14K 
[ ]probschedule-51-3.pddl 2000-05-16 19:45 14K 
[ ]probschedule-51-4.pddl 2000-05-16 19:45 14K 
[ ]probschedule-51-5.pddl 2000-05-16 19:45 14K 
[ ]probschedule-51-6.pddl 2000-05-16 19:45 14K 
[ ]probschedule-51-7.pddl 2000-05-16 19:45 14K 
[ ]probschedule-51-8.pddl 2000-05-16 19:45 14K 
[ ]probschedule-51-9.pddl 2000-05-16 19:45 14K 
[ ]treatproblem 2000-05-16 19:45 414