dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / examples / blocksworld_instance_1.exp2
at develop 269 B view raw
1[Negative locations denote the table.] 2Step 1: 3 block 1 on 2 4 block 2 on -2 5 block 3 on 1 6Step 2: 7 block 1 on 2 8 block 2 on -2 9 block 3 on -3 10Step 3: 11 block 1 on -1 12 block 2 on -2 13 block 3 on -3 14Step 4: 15 block 1 on 2 16 block 2 on 3 17 block 3 on -3 18----------