lasttime=15
files=/home/davila/benchmark-tool/pddl-paper/DOMAINS/2000-Logistics/asp_domain/domain.pddl /home/davila/benchmark-tool/pddl-paper/DOMAINS/2000-Logistics/asp_problems/probLOGISTICS-6-0.pddl
