## dimaptools / src / test / resources / logistics-a4.pre @ 126:242390b3f4be

History | View | Annotate | Download (6.75 KB)

1 |
begin_version |
---|---|

2 |
3 |

3 |
end_version |

4 |
begin_metric |

5 |
0 |

6 |
end_metric |

7 |
6 |

8 |
begin_variable |

9 |
var5 |

10 |
-1 |

11 |
2 |

12 |
Atom at(pgh-truck, pgh-airport) |

13 |
Atom at(pgh-truck, pgh-po) |

14 |
end_variable |

15 |
begin_variable |

16 |
var2 |

17 |
-1 |

18 |
2 |

19 |
Atom at(ny-truck, ny-airport) |

20 |
Atom at(ny-truck, ny-po) |

21 |
end_variable |

22 |
begin_variable |

23 |
var1 |

24 |
-1 |

25 |
2 |

26 |
Atom at(airplane2, ny-airport) |

27 |
Atom at(airplane2, pgh-airport) |

28 |
end_variable |

29 |
begin_variable |

30 |
var0 |

31 |
-1 |

32 |
2 |

33 |
Atom at(airplane1, ny-airport) |

34 |
Atom at(airplane1, pgh-airport) |

35 |
end_variable |

36 |
begin_variable |

37 |
var4 |

38 |
-1 |

39 |
8 |

40 |
Atom at(package2, ny-airport) |

41 |
Atom at(package2, ny-po) |

42 |
Atom at(package2, pgh-airport) |

43 |
Atom at(package2, pgh-po) |

44 |
Atom in(package2, airplane1) |

45 |
Atom in(package2, airplane2) |

46 |
Atom in(package2, ny-truck) |

47 |
Atom in(package2, pgh-truck) |

48 |
end_variable |

49 |
begin_variable |

50 |
var3 |

51 |
-1 |

52 |
8 |

53 |
Atom at(package1, ny-airport) |

54 |
Atom at(package1, ny-po) |

55 |
Atom at(package1, pgh-airport) |

56 |
Atom at(package1, pgh-po) |

57 |
Atom in(package1, airplane1) |

58 |
Atom in(package1, airplane2) |

59 |
Atom in(package1, ny-truck) |

60 |
Atom in(package1, pgh-truck) |

61 |
end_variable |

62 |
0 |

63 |
begin_state |

64 |
1 |

65 |
1 |

66 |
0 |

67 |
1 |

68 |
0 |

69 |
2 |

70 |
end_state |

71 |
begin_goal |

72 |
2 |

73 |
4 3 |

74 |
5 1 |

75 |
end_goal |

76 |
40 |

77 |
begin_operator |

78 |
drive-truck ny-truck ny-airport ny-po ny |

79 |
0 |

80 |
1 |

81 |
0 1 0 1 |

82 |
0 |

83 |
end_operator |

84 |
begin_operator |

85 |
drive-truck ny-truck ny-po ny-airport ny |

86 |
0 |

87 |
1 |

88 |
0 1 1 0 |

89 |
0 |

90 |
end_operator |

91 |
begin_operator |

92 |
drive-truck pgh-truck pgh-airport pgh-po pgh |

93 |
0 |

94 |
1 |

95 |
0 0 0 1 |

96 |
0 |

97 |
end_operator |

98 |
begin_operator |

99 |
drive-truck pgh-truck pgh-po pgh-airport pgh |

100 |
0 |

101 |
1 |

102 |
0 0 1 0 |

103 |
0 |

104 |
end_operator |

105 |
begin_operator |

106 |
fly-airplane airplane1 ny-airport pgh-airport |

107 |
0 |

108 |
1 |

109 |
0 3 0 1 |

110 |
0 |

111 |
end_operator |

112 |
begin_operator |

113 |
fly-airplane airplane1 pgh-airport ny-airport |

114 |
0 |

115 |
1 |

116 |
0 3 1 0 |

117 |
0 |

118 |
end_operator |

119 |
begin_operator |

120 |
fly-airplane airplane2 ny-airport pgh-airport |

121 |
0 |

122 |
1 |

123 |
0 2 0 1 |

124 |
0 |

125 |
end_operator |

126 |
begin_operator |

127 |
fly-airplane airplane2 pgh-airport ny-airport |

128 |
0 |

129 |
1 |

130 |
0 2 1 0 |

131 |
0 |

132 |
end_operator |

133 |
begin_operator |

134 |
load-airplane package1 airplane1 ny-airport |

135 |
1 |

136 |
3 0 |

137 |
1 |

138 |
0 5 0 4 |

139 |
0 |

140 |
end_operator |

141 |
begin_operator |

142 |
load-airplane package1 airplane1 pgh-airport |

143 |
1 |

144 |
3 1 |

145 |
1 |

146 |
0 5 2 4 |

147 |
0 |

148 |
end_operator |

149 |
begin_operator |

150 |
load-airplane package1 airplane2 ny-airport |

151 |
1 |

152 |
2 0 |

153 |
1 |

154 |
0 5 0 5 |

155 |
0 |

156 |
end_operator |

157 |
begin_operator |

158 |
load-airplane package1 airplane2 pgh-airport |

159 |
1 |

160 |
2 1 |

161 |
1 |

162 |
0 5 2 5 |

163 |
0 |

164 |
end_operator |

165 |
begin_operator |

166 |
load-airplane package2 airplane1 ny-airport |

167 |
1 |

168 |
3 0 |

169 |
1 |

170 |
0 4 0 4 |

171 |
0 |

172 |
end_operator |

173 |
begin_operator |

174 |
load-airplane package2 airplane1 pgh-airport |

175 |
1 |

176 |
3 1 |

177 |
1 |

178 |
0 4 2 4 |

179 |
0 |

180 |
end_operator |

181 |
begin_operator |

182 |
load-airplane package2 airplane2 ny-airport |

183 |
1 |

184 |
2 0 |

185 |
1 |

186 |
0 4 0 5 |

187 |
0 |

188 |
end_operator |

189 |
begin_operator |

190 |
load-airplane package2 airplane2 pgh-airport |

191 |
1 |

192 |
2 1 |

193 |
1 |

194 |
0 4 2 5 |

195 |
0 |

196 |
end_operator |

197 |
begin_operator |

198 |
load-truck package1 ny-truck ny-airport |

199 |
1 |

200 |
1 0 |

201 |
1 |

202 |
0 5 0 6 |

203 |
0 |

204 |
end_operator |

205 |
begin_operator |

206 |
load-truck package1 ny-truck ny-po |

207 |
1 |

208 |
1 1 |

209 |
1 |

210 |
0 5 1 6 |

211 |
0 |

212 |
end_operator |

213 |
begin_operator |

214 |
load-truck package1 pgh-truck pgh-airport |

215 |
1 |

216 |
0 0 |

217 |
1 |

218 |
0 5 2 7 |

219 |
0 |

220 |
end_operator |

221 |
begin_operator |

222 |
load-truck package1 pgh-truck pgh-po |

223 |
1 |

224 |
0 1 |

225 |
1 |

226 |
0 5 3 7 |

227 |
0 |

228 |
end_operator |

229 |
begin_operator |

230 |
load-truck package2 ny-truck ny-airport |

231 |
1 |

232 |
1 0 |

233 |
1 |

234 |
0 4 0 6 |

235 |
0 |

236 |
end_operator |

237 |
begin_operator |

238 |
load-truck package2 ny-truck ny-po |

239 |
1 |

240 |
1 1 |

241 |
1 |

242 |
0 4 1 6 |

243 |
0 |

244 |
end_operator |

245 |
begin_operator |

246 |
load-truck package2 pgh-truck pgh-airport |

247 |
1 |

248 |
0 0 |

249 |
1 |

250 |
0 4 2 7 |

251 |
0 |

252 |
end_operator |

253 |
begin_operator |

254 |
load-truck package2 pgh-truck pgh-po |

255 |
1 |

256 |
0 1 |

257 |
1 |

258 |
0 4 3 7 |

259 |
0 |

260 |
end_operator |

261 |
begin_operator |

262 |
unload-airplane package1 airplane1 ny-airport |

263 |
1 |

264 |
3 0 |

265 |
1 |

266 |
0 5 4 0 |

267 |
0 |

268 |
end_operator |

269 |
begin_operator |

270 |
unload-airplane package1 airplane1 pgh-airport |

271 |
1 |

272 |
3 1 |

273 |
1 |

274 |
0 5 4 2 |

275 |
0 |

276 |
end_operator |

277 |
begin_operator |

278 |
unload-airplane package1 airplane2 ny-airport |

279 |
1 |

280 |
2 0 |

281 |
1 |

282 |
0 5 5 0 |

283 |
0 |

284 |
end_operator |

285 |
begin_operator |

286 |
unload-airplane package1 airplane2 pgh-airport |

287 |
1 |

288 |
2 1 |

289 |
1 |

290 |
0 5 5 2 |

291 |
0 |

292 |
end_operator |

293 |
begin_operator |

294 |
unload-airplane package2 airplane1 ny-airport |

295 |
1 |

296 |
3 0 |

297 |
1 |

298 |
0 4 4 0 |

299 |
0 |

300 |
end_operator |

301 |
begin_operator |

302 |
unload-airplane package2 airplane1 pgh-airport |

303 |
1 |

304 |
3 1 |

305 |
1 |

306 |
0 4 4 2 |

307 |
0 |

308 |
end_operator |

309 |
begin_operator |

310 |
unload-airplane package2 airplane2 ny-airport |

311 |
1 |

312 |
2 0 |

313 |
1 |

314 |
0 4 5 0 |

315 |
0 |

316 |
end_operator |

317 |
begin_operator |

318 |
unload-airplane package2 airplane2 pgh-airport |

319 |
1 |

320 |
2 1 |

321 |
1 |

322 |
0 4 5 2 |

323 |
0 |

324 |
end_operator |

325 |
begin_operator |

326 |
unload-truck package1 ny-truck ny-airport |

327 |
1 |

328 |
1 0 |

329 |
1 |

330 |
0 5 6 0 |

331 |
0 |

332 |
end_operator |

333 |
begin_operator |

334 |
unload-truck package1 ny-truck ny-po |

335 |
1 |

336 |
1 1 |

337 |
1 |

338 |
0 5 6 1 |

339 |
0 |

340 |
end_operator |

341 |
begin_operator |

342 |
unload-truck package1 pgh-truck pgh-airport |

343 |
1 |

344 |
0 0 |

345 |
1 |

346 |
0 5 7 2 |

347 |
0 |

348 |
end_operator |

349 |
begin_operator |

350 |
unload-truck package1 pgh-truck pgh-po |

351 |
1 |

352 |
0 1 |

353 |
1 |

354 |
0 5 7 3 |

355 |
0 |

356 |
end_operator |

357 |
begin_operator |

358 |
unload-truck package2 ny-truck ny-airport |

359 |
1 |

360 |
1 0 |

361 |
1 |

362 |
0 4 6 0 |

363 |
0 |

364 |
end_operator |

365 |
begin_operator |

366 |
unload-truck package2 ny-truck ny-po |

367 |
1 |

368 |
1 1 |

369 |
1 |

370 |
0 4 6 1 |

371 |
0 |

372 |
end_operator |

373 |
begin_operator |

374 |
unload-truck package2 pgh-truck pgh-airport |

375 |
1 |

376 |
0 0 |

377 |
1 |

378 |
0 4 7 2 |

379 |
0 |

380 |
end_operator |

381 |
begin_operator |

382 |
unload-truck package2 pgh-truck pgh-po |

383 |
1 |

384 |
0 1 |

385 |
1 |

386 |
0 4 7 3 |

387 |
0 |

388 |
end_operator |

389 |
0 |

390 |
begin_SG |

391 |
switch 3 |

392 |
check 0 |

393 |
switch 2 |

394 |
check 1 |

395 |
4 |

396 |
check 0 |

397 |
check 0 |

398 |
switch 5 |

399 |
check 0 |

400 |
check 1 |

401 |
8 |

402 |
check 0 |

403 |
check 0 |

404 |
check 0 |

405 |
check 1 |

406 |
24 |

407 |
check 0 |

408 |
check 0 |

409 |
check 0 |

410 |
switch 4 |

411 |
check 0 |

412 |
check 1 |

413 |
12 |

414 |
check 0 |

415 |
check 0 |

416 |
check 0 |

417 |
check 1 |

418 |
28 |

419 |
check 0 |

420 |
check 0 |

421 |
check 0 |

422 |
check 0 |

423 |
switch 2 |

424 |
check 1 |

425 |
5 |

426 |
check 0 |

427 |
check 0 |

428 |
switch 5 |

429 |
check 0 |

430 |
check 0 |

431 |
check 0 |

432 |
check 1 |

433 |
9 |

434 |
check 0 |

435 |
check 1 |

436 |
25 |

437 |
check 0 |

438 |
check 0 |

439 |
check 0 |

440 |
switch 4 |

441 |
check 0 |

442 |
check 0 |

443 |
check 0 |

444 |
check 1 |

445 |
13 |

446 |
check 0 |

447 |
check 1 |

448 |
29 |

449 |
check 0 |

450 |
check 0 |

451 |
check 0 |

452 |
check 0 |

453 |
switch 2 |

454 |
check 0 |

455 |
switch 1 |

456 |
check 1 |

457 |
6 |

458 |
check 0 |

459 |
check 0 |

460 |
switch 5 |

461 |
check 0 |

462 |
check 1 |

463 |
10 |

464 |
check 0 |

465 |
check 0 |

466 |
check 0 |

467 |
check 0 |

468 |
check 1 |

469 |
26 |

470 |
check 0 |

471 |
check 0 |

472 |
switch 4 |

473 |
check 0 |

474 |
check 1 |

475 |
14 |

476 |
check 0 |

477 |
check 0 |

478 |
check 0 |

479 |
check 0 |

480 |
check 1 |

481 |
30 |

482 |
check 0 |

483 |
check 0 |

484 |
check 0 |

485 |
switch 1 |

486 |
check 1 |

487 |
7 |

488 |
check 0 |

489 |
check 0 |

490 |
switch 5 |

491 |
check 0 |

492 |
check 0 |

493 |
check 0 |

494 |
check 1 |

495 |
11 |

496 |
check 0 |

497 |
check 0 |

498 |
check 1 |

499 |
27 |

500 |
check 0 |

501 |
check 0 |

502 |
switch 4 |

503 |
check 0 |

504 |
check 0 |

505 |
check 0 |

506 |
check 1 |

507 |
15 |

508 |
check 0 |

509 |
check 0 |

510 |
check 1 |

511 |
31 |

512 |
check 0 |

513 |
check 0 |

514 |
check 0 |

515 |
switch 1 |

516 |
check 0 |

517 |
switch 5 |

518 |
check 1 |

519 |
0 |

520 |
check 1 |

521 |
16 |

522 |
check 0 |

523 |
check 0 |

524 |
check 0 |

525 |
check 0 |

526 |
check 0 |

527 |
check 1 |

528 |
32 |

529 |
check 0 |

530 |
switch 4 |

531 |
check 0 |

532 |
check 1 |

533 |
20 |

534 |
check 0 |

535 |
check 0 |

536 |
check 0 |

537 |
check 0 |

538 |
check 0 |

539 |
check 1 |

540 |
36 |

541 |
check 0 |

542 |
check 0 |

543 |
switch 5 |

544 |
check 1 |

545 |
1 |

546 |
check 0 |

547 |
check 1 |

548 |
17 |

549 |
check 0 |

550 |
check 0 |

551 |
check 0 |

552 |
check 0 |

553 |
check 1 |

554 |
33 |

555 |
check 0 |

556 |
switch 4 |

557 |
check 0 |

558 |
check 0 |

559 |
check 1 |

560 |
21 |

561 |
check 0 |

562 |
check 0 |

563 |
check 0 |

564 |
check 0 |

565 |
check 1 |

566 |
37 |

567 |
check 0 |

568 |
check 0 |

569 |
switch 5 |

570 |
check 0 |

571 |
check 0 |

572 |
check 0 |

573 |
switch 0 |

574 |
check 0 |

575 |
check 1 |

576 |
18 |

577 |
check 0 |

578 |
check 0 |

579 |
switch 0 |

580 |
check 0 |

581 |
check 0 |

582 |
check 1 |

583 |
19 |

584 |
check 0 |

585 |
check 0 |

586 |
check 0 |

587 |
check 0 |

588 |
switch 0 |

589 |
check 0 |

590 |
check 1 |

591 |
34 |

592 |
check 1 |

593 |
35 |

594 |
check 0 |

595 |
switch 4 |

596 |
check 0 |

597 |
check 0 |

598 |
check 0 |

599 |
switch 0 |

600 |
check 0 |

601 |
check 1 |

602 |
22 |

603 |
check 0 |

604 |
check 0 |

605 |
switch 0 |

606 |
check 0 |

607 |
check 0 |

608 |
check 1 |

609 |
23 |

610 |
check 0 |

611 |
check 0 |

612 |
check 0 |

613 |
check 0 |

614 |
switch 0 |

615 |
check 0 |

616 |
check 1 |

617 |
38 |

618 |
check 1 |

619 |
39 |

620 |
check 0 |

621 |
switch 0 |

622 |
check 0 |

623 |
check 1 |

624 |
2 |

625 |
check 1 |

626 |
3 |

627 |
check 0 |

628 |
end_SG |

629 |
begin_DTG |

630 |
1 |

631 |
1 |

632 |
2 |

633 |
0 |

634 |
1 |

635 |
0 |

636 |
3 |

637 |
0 |

638 |
end_DTG |

639 |
begin_DTG |

640 |
1 |

641 |
1 |

642 |
0 |

643 |
0 |

644 |
1 |

645 |
0 |

646 |
1 |

647 |
0 |

648 |
end_DTG |

649 |
begin_DTG |

650 |
1 |

651 |
1 |

652 |
6 |

653 |
0 |

654 |
1 |

655 |
0 |

656 |
7 |

657 |
0 |

658 |
end_DTG |

659 |
begin_DTG |

660 |
1 |

661 |
1 |

662 |
4 |

663 |
0 |

664 |
1 |

665 |
0 |

666 |
5 |

667 |
0 |

668 |
end_DTG |

669 |
begin_DTG |

670 |
3 |

671 |
4 |

672 |
12 |

673 |
1 |

674 |
3 0 |

675 |
5 |

676 |
14 |

677 |
1 |

678 |
2 0 |

679 |
6 |

680 |
20 |

681 |
1 |

682 |
1 0 |

683 |
1 |

684 |
6 |

685 |
21 |

686 |
1 |

687 |
1 1 |

688 |
3 |

689 |
4 |

690 |
13 |

691 |
1 |

692 |
3 1 |

693 |
5 |

694 |
15 |

695 |
1 |

696 |
2 1 |

697 |
7 |

698 |
22 |

699 |
1 |

700 |
0 0 |

701 |
1 |

702 |
7 |

703 |
23 |

704 |
1 |

705 |
0 1 |

706 |
2 |

707 |
0 |

708 |
28 |

709 |
1 |

710 |
3 0 |

711 |
2 |

712 |
29 |

713 |
1 |

714 |
3 1 |

715 |
2 |

716 |
0 |

717 |
30 |

718 |
1 |

719 |
2 0 |

720 |
2 |

721 |
31 |

722 |
1 |

723 |
2 1 |

724 |
2 |

725 |
0 |

726 |
36 |

727 |
1 |

728 |
1 0 |

729 |
1 |

730 |
37 |

731 |
1 |

732 |
1 1 |

733 |
2 |

734 |
2 |

735 |
38 |

736 |
1 |

737 |
0 0 |

738 |
3 |

739 |
39 |

740 |
1 |

741 |
0 1 |

742 |
end_DTG |

743 |
begin_DTG |

744 |
3 |

745 |
4 |

746 |
8 |

747 |
1 |

748 |
3 0 |

749 |
5 |

750 |
10 |

751 |
1 |

752 |
2 0 |

753 |
6 |

754 |
16 |

755 |
1 |

756 |
1 0 |

757 |
1 |

758 |
6 |

759 |
17 |

760 |
1 |

761 |
1 1 |

762 |
3 |

763 |
4 |

764 |
9 |

765 |
1 |

766 |
3 1 |

767 |
5 |

768 |
11 |

769 |
1 |

770 |
2 1 |

771 |
7 |

772 |
18 |

773 |
1 |

774 |
0 0 |

775 |
1 |

776 |
7 |

777 |
19 |

778 |
1 |

779 |
0 1 |

780 |
2 |

781 |
0 |

782 |
24 |

783 |
1 |

784 |
3 0 |

785 |
2 |

786 |
25 |

787 |
1 |

788 |
3 1 |

789 |
2 |

790 |
0 |

791 |
26 |

792 |
1 |

793 |
2 0 |

794 |
2 |

795 |
27 |

796 |
1 |

797 |
2 1 |

798 |
2 |

799 |
0 |

800 |
32 |

801 |
1 |

802 |
1 0 |

803 |
1 |

804 |
33 |

805 |
1 |

806 |
1 1 |

807 |
2 |

808 |
2 |

809 |
34 |

810 |
1 |

811 |
0 0 |

812 |
3 |

813 |
35 |

814 |
1 |

815 |
0 1 |

816 |
end_DTG |

817 |
begin_CG |

818 |
2 |

819 |
5 4 |

820 |
4 4 |

821 |
2 |

822 |
5 4 |

823 |
4 4 |

824 |
2 |

825 |
5 4 |

826 |
4 4 |

827 |
2 |

828 |
5 4 |

829 |
4 4 |

830 |
0 |

831 |
0 |

832 |
end_CG |