Latest Execution of Plan Wednesday, April 7th, 01:29:58

[github-actions]

Below is the output from the latest plan execution

Output

Executing Problem 1

Number of literals: 31
Constructing lookup tables: [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
Post filtering unreachable actions:  [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
(total-time-taken) has a finite lower bound: [0.000,inf]
�[01;34mNo analytic limits found, not considering limit effects of goal-only operators�[00m
76% of the ground temporal actions in this problem are compression-safe
; Goals unreachable from the initial state
;; Problem unsolvable!
; Time 0.00

Executing Problem 2

Number of literals: 98
Constructing lookup tables: [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
Post filtering unreachable actions:  [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
(total-time-taken) has a finite lower bound: [0.000,inf]
�[01;34mNo analytic limits found, not considering limit effects of goal-only operators�[00m
90% of the ground temporal actions in this problem are compression-safe
; Goals unreachable from the initial state
;; Problem unsolvable!
; Time 0.01

Executing Problem 3

Number of literals: 204
Constructing lookup tables: [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
Post filtering unreachable actions:  [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
(total-time-taken) has a finite lower bound: [0.000,inf]
�[01;34mNo analytic limits found, not considering limit effects of goal-only operators�[00m
97% of the ground temporal actions in this problem are compression-safe
Initial heuristic = 144.000, admissible cost estimate 0.000
b (143.000 | 55.001)b (142.000 | 55.001)b (141.000 | 1865.003)b (140.000 | 1865.004)b (139.000 | 1875.006)b (138.000 | 1884.006)b (137.000 | 1944.006)b (136.000 | 1944.007)b (135.000 | 4357.010)b (134.000 | 4357.010)b (133.000 | 4357.010)b (132.000 | 4437.012)b (131.000 | 4437.012)b (130.000 | 4437.012)b (129.000 | 4437.012)b (128.000 | 4437.012)b (127.000 | 4437.012)b (126.000 | 4437.012)b (125.000 | 4437.012)b (124.000 | 4437.012)b (123.000 | 4437.012)b (122.000 | 4437.012)b (121.000 | 4437.012)b (120.000 | 4437.012)b (119.000 | 4437.012)b (118.000 | 4437.012)b (117.000 | 4437.012)b (116.000 | 4437.012)b (115.000 | 4437.012)b (114.000 | 4936.036)b (113.000 | 4936.036)b (112.000 | 4936.036)b (111.000 | 4936.036)b (110.000 | 4936.036)b (109.000 | 4936.036)b (108.000 | 4936.036)b (107.000 | 4936.036)b (106.000 | 4936.036)b (105.000 | 4936.036)b (104.000 | 4936.036)b (103.000 | 4936.036)b (102.000 | 6032.032)b (101.000 | 6032.032)b (100.000 | 6032.032)b (99.000 | 6032.032)b (98.000 | 6032.032)b (97.000 | 6032.032)b (96.000 | 6342.017)b (95.000 | 6342.017)b (94.000 | 6342.017)b (93.000 | 6419.021)b (92.000 | 6419.021)b (91.000 | 6419.021)b (90.000 | 6419.021)b (89.000 | 6419.021)b (88.000 | 6419.021)b (87.000 | 6419.021)b (86.000 | 6419.021)b (85.000 | 6419.021)b (84.000 | 6829.041)b (83.000 | 6829.041)b (82.000 | 6829.041)b (81.000 | 6829.041)b (80.000 | 6829.041)b (79.000 | 6829.041)b (78.000 | 6829.041)b (77.000 | 6829.041)b (76.000 | 6829.041)b (75.000 | 7336.037)b (74.000 | 7336.037)b (73.000 | 7336.037)b (72.000 | 7336.037)
Resorting to best-first search
Running WA* with W = 5.000, not restarting with goal states
b (143.000 | 50.000)b (142.000 | 50.000)b (141.000 | 1270.002)b (140.000 | 1270.003)b (139.000 | 1290.005)b (138.000 | 1307.005)b (138.000 | 1305.005)b (138.000 | 1303.005)b (138.000 | 1301.005)b (138.000 | 1299.005)b (138.000 | 1297.005)b (138.000 | 1295.005)b (138.000 | 1293.005)b (137.000 | 1367.005)b (136.000 | 1367.006)b (135.000 | 3817.008)b (134.000 | 3817.009)b (133.000 | 3867.011)b (132.000 | 3870.012)b (131.000 | 3915.012)b (130.000 | 3915.012)b (129.000 | 5755.014)b (128.000 | 5755.015)b (127.000 | 5795.017)b (126.000 | 5798.018)b (125.000 | 5828.018)b (124.000 | 5828.018)b (123.000 | 7058.020)b (122.000 | 7058.021)b (121.000 | 7088.023)b (120.000 | 7091.024)b (119.000 | 7151.024)b (118.000 | 7151.024)b (117.000 | 9571.026)b (116.000 | 9571.027)b (115.000 | 9591.029)b (114.000 | 9594.030)b (113.000 | 9639.030)b (112.000 | 9639.030)b (111.000 | 11449.032)b (110.000 | 11449.033)b (109.000 | 11459.035)b (108.000 | 11484.036)b (108.000 | 11482.036)b (108.000 | 11478.036)b (108.000 | 11476.036)b (108.000 | 11474.036)b (108.000 | 11472.036)b (108.000 | 11470.036)b (107.000 | 11529.036)b (106.000 | 11529.036)b (105.000 | 13359.038)b (105.000 | 11629.038)b (104.000 | 13359.038)b (103.000 | 13359.038)b (102.000 | 14039.040)b (101.000 | 14039.040)b (100.000 | 14039.040)b (99.000 | 14039.040)b (98.000 | 14039.040)b (97.000 | 14039.040)b (96.000 | 14039.040)b (95.000 | 14039.040)b (94.000 | 14039.040)b (93.000 | 14039.040)b (92.000 | 14039.040)b (91.000 | 14039.040)b (90.000 | 14402.052)b (89.000 | 14402.052)b (88.000 | 14402.052)b (87.000 | 14402.052)b (86.000 | 14402.052)b (85.000 | 14402.052)b (84.000 | 14402.052)b (83.000 | 14402.052)b (82.000 | 14402.052)b (81.000 | 14402.052)b (80.000 | 14402.052)b (79.000 | 14402.052)b (78.000 | 14402.052)b (77.000 | 14402.052)b (76.000 | 14402.052)b (75.000 | 14402.052)b (74.000 | 14402.052)b (73.000 | 14402.052)b (72.000 | 15656.055)b (71.000 | 15656.055)b (70.000 | 15656.055)b (69.000 | 15656.055)b (68.000 | 15656.055)b (67.000 | 15656.055)b (66.000 | 15896.064)b (65.000 | 15896.064)b (64.000 | 15896.064)b (63.000 | 15896.064)b (62.000 | 15896.064)b (61.000 | 15896.064)b (60.000 | 15896.064)b (59.000 | 15896.064)b (58.000 | 15896.064)b (57.000 | 16196.073)b (56.000 | 16196.073)b (55.000 | 16196.073)b (54.000 | 16196.073)b (53.000 | 16196.073)b (52.000 | 16196.073)b (51.000 | 16196.073)b (50.000 | 16196.073)b (49.000 | 16196.073)b (48.000 | 16196.073)b (47.000 | 16196.073)b (46.000 | 16196.073)b (45.000 | 16627.050)b (45.000 | 16196.073)b (44.000 | 16627.050)b (43.000 | 16627.050)b (42.000 | 16627.050)b (41.000 | 16627.050)b (40.000 | 16627.050)b (39.000 | 16627.050)b (38.000 | 16627.050)b (37.000 | 16627.050)b (36.000 | 16627.050)b (35.000 | 16627.050)b (34.000 | 16627.050)b (33.000 | 16627.050)b (32.000 | 16627.050)b (31.000 | 16627.050)b (30.000 | 16627.050)b (29.000 | 16627.050)b (28.000 | 16627.050)b (27.000 | 16627.050)b (26.000 | 16627.050)b (25.000 | 16627.050)b (24.000 | 16627.050)b (23.000 | 16627.050)b (22.000 | 16627.050)b (21.000 | 16627.050)b (20.000 | 16627.050)b (19.000 | 16627.050)b (18.000 | 16627.050)b (17.000 | 16627.050)b (16.000 | 16627.050)b (15.000 | 16627.050)b (14.000 | 16627.050)b (13.000 | 16627.050)b (12.000 | 16627.050)b (11.000 | 16627.050)b (10.000 | 16627.050)b (9.000 | 16627.050)b (8.000 | 16627.050)b (7.000 | 16627.050)b (6.000 | 16627.050)b (5.000 | 16627.050)b (4.000 | 16627.050)b (3.000 | 16627.051)b (2.000 | 16637.052)b (1.000 | 16667.052)(G);;;; Solution Found
; States evaluated: 33061
; Cost: 16667.053
; Time 226.26
0.000: (move waiter1 counter1 table1)  [20.000]
20.000: (takeorder waiter1 table1 order1)  [30.000]
50.000: (move waiter1 table1 counter1)  [20.000]
70.001: (delivertocounter counter1 waiter1 order1)  [0.001]
70.002: (cook kitchen1 order1 counter1)  [1200.000]
1270.003: (takefromcounter counter1 waiter1 order1)  [0.001]
1270.004: (move waiter1 counter1 table1)  [20.000]
1290.005: (delivertotable waiter1 table1 order1)  [0.001]
1290.006: (move waiter1 table1 table9)  [17.000]
1307.006: (takeorder waiter1 table9 order9)  [60.000]
1367.006: (move waiter1 table9 counter1)  [50.000]
1417.007: (delivertocounter counter1 waiter1 order9)  [0.001]
1417.008: (cook kitchen1 order9 counter1)  [2400.000]
3817.009: (takefromcounter counter1 waiter1 order9)  [0.001]
3817.010: (move waiter1 counter1 table9)  [50.000]
3867.011: (delivertotable waiter1 table9 order9)  [0.001]
3867.012: (move waiter1 table9 table8)  [3.000]
3870.012: (takeorder waiter1 table8 order8)  [45.000]
3915.012: (move waiter1 table8 counter1)  [40.000]
3955.013: (delivertocounter counter1 waiter1 order8)  [0.001]
3955.014: (cook kitchen1 order8 counter1)  [1800.000]
5755.015: (takefromcounter counter1 waiter1 order8)  [0.001]
5755.016: (move waiter1 counter1 table8)  [40.000]
5795.017: (delivertotable waiter1 table8 order8)  [0.001]
5795.018: (move waiter1 table8 table7)  [3.000]
5798.018: (takeorder waiter1 table7 order7)  [30.000]
5828.018: (move waiter1 table7 counter1)  [30.000]
5858.019: (delivertocounter counter1 waiter1 order7)  [0.001]
5858.020: (cook kitchen1 order7 counter1)  [1200.000]
7058.021: (takefromcounter counter1 waiter1 order7)  [0.001]
7058.022: (move waiter1 counter1 table7)  [30.000]
7088.023: (delivertotable waiter1 table7 order7)  [0.001]
7088.024: (move waiter1 table7 table6)  [3.000]
7091.024: (takeorder waiter1 table6 order6)  [60.000]
7151.024: (move waiter1 table6 counter1)  [20.000]
7171.025: (delivertocounter counter1 waiter1 order6)  [0.001]
7171.026: (cook kitchen1 order6 counter1)  [2400.000]
9571.027: (takefromcounter counter1 waiter1 order6)  [0.001]
9571.028: (move waiter1 counter1 table6)  [20.000]
9591.029: (delivertotable waiter1 table6 order6)  [0.001]
9591.030: (move waiter1 table6 table5)  [3.000]
9594.030: (takeorder waiter1 table5 order5)  [45.000]
9639.030: (move waiter1 table5 counter1)  [10.000]
9649.031: (delivertocounter counter1 waiter1 order5)  [0.001]
9649.032: (cook kitchen1 order5 counter1)  [1800.000]
11449.033: (takefromcounter counter1 waiter1 order5)  [0.001]
11449.034: (move waiter1 counter1 table5)  [10.000]
11459.035: (delivertotable waiter1 table5 order5)  [0.001]
11459.036: (move waiter1 table5 table17)  [25.000]
11484.036: (takeorder waiter1 table17 order17)  [45.000]
11529.036: (move waiter1 table17 counter1)  [30.000]
11559.037: (delivertocounter counter1 waiter1 order17)  [0.001]
11559.038: (move waiter1 counter1 table15)  [10.000]
11559.038: (cook kitchen1 order17 counter1)  [1800.000]
11569.038: (takeorder waiter1 table15 order15)  [60.000]
11629.038: (move waiter1 table15 counter1)  [10.000]
11639.039: (delivertocounter counter1 waiter1 order15)  [0.001]
11639.040: (move waiter1 counter1 table15)  [10.000]
11639.040: (cook kitchen10 order15 counter1)  [2400.000]
11649.041: (move waiter1 table15 table16)  [3.000]
11652.041: (takeorder waiter1 table16 order16)  [30.000]
11682.041: (move waiter1 table16 counter1)  [20.000]
11702.042: (delivertocounter counter1 waiter1 order16)  [0.001]
11702.043: (move waiter1 counter1 table15)  [10.000]
11702.043: (cook kitchen2 order16 counter1)  [1200.000]
11712.044: (move waiter1 table15 table14)  [3.000]
11715.044: (takeorder waiter1 table14 order14)  [45.000]
11760.044: (move waiter1 table14 counter1)  [50.000]
11810.045: (delivertocounter counter1 waiter1 order14)  [0.001]
11810.046: (move waiter1 counter1 table15)  [10.000]
11810.046: (cook kitchen3 order14 counter1)  [1800.000]
11820.047: (move waiter1 table15 table13)  [5.000]
11825.047: (takeorder waiter1 table13 order13)  [30.000]
11855.047: (move waiter1 table13 counter1)  [40.000]
11895.048: (delivertocounter counter1 waiter1 order13)  [0.001]
11895.049: (move waiter1 counter1 table15)  [10.000]
11895.049: (cook kitchen4 order13 counter1)  [1200.000]
11905.050: (move waiter1 table15 table12)  [7.000]
11912.050: (takeorder waiter1 table12 order12)  [60.000]
11972.050: (move waiter1 table12 counter1)  [30.000]
12002.051: (delivertocounter counter1 waiter1 order12)  [0.001]
12002.052: (move waiter1 counter1 table15)  [10.000]
12002.052: (cook kitchen5 order12 counter1)  [2400.000]
12012.053: (move waiter1 table15 table11)  [9.000]
12021.053: (takeorder waiter1 table11 order11)  [45.000]
12066.053: (move waiter1 table11 counter1)  [20.000]
12086.054: (delivertocounter counter1 waiter1 order11)  [0.001]
12086.055: (move waiter1 counter1 table15)  [10.000]
12086.055: (cook kitchen6 order11 counter1)  [1800.000]
12096.056: (move waiter1 table15 table10)  [11.000]
12107.056: (takeorder waiter1 table10 order10)  [30.000]
12137.056: (move waiter1 table10 counter1)  [10.000]
12147.057: (delivertocounter counter1 waiter1 order10)  [0.001]
12147.058: (cook kitchen7 order10 counter1)  [1200.000]
12902.044: (takefromcounter counter1 waiter1 order16)  [0.001]
12902.045: (move waiter1 counter1 table16)  [20.000]
12922.046: (delivertotable waiter1 table16 order16)  [0.001]
12922.047: (move waiter1 table16 table4)  [25.000]
12947.047: (takeorder waiter1 table4 order4)  [30.000]
12977.047: (move waiter1 table4 counter1)  [50.000]
13027.048: (delivertocounter counter1 waiter1 order4)  [0.001]
13027.049: (cook kitchen2 order4 counter1)  [1200.000]
13095.050: (takefromcounter counter1 waiter1 order13)  [0.001]
13095.051: (move waiter1 counter1 table13)  [40.000]
13135.052: (delivertotable waiter1 table13 order13)  [0.001]
13135.053: (move waiter1 table13 table3)  [21.000]
13156.053: (takeorder waiter1 table3 order3)  [60.000]
13216.053: (move waiter1 table3 counter1)  [40.000]
13256.054: (delivertocounter counter1 waiter1 order3)  [0.001]
13256.055: (cook kitchen4 order3 counter1)  [2400.000]
13347.059: (takefromcounter counter1 waiter1 order10)  [0.001]
13347.060: (move waiter1 counter1 table10)  [10.000]
13357.061: (delivertotable waiter1 table10 order10)  [0.001]
13357.062: (move waiter1 table10 table24)  [29.000]
13386.062: (takeorder waiter1 table24 order24)  [60.000]
13446.062: (move waiter1 table24 counter1)  [50.000]
13496.063: (delivertocounter counter1 waiter1 order24)  [0.001]
13496.064: (move waiter1 counter1 table15)  [10.000]
13496.064: (cook kitchen1 order24 counter1)  [2400.000]
13506.065: (move waiter1 table15 table23)  [17.000]
13523.065: (takeorder waiter1 table23 order23)  [45.000]
13568.065: (move waiter1 table23 counter1)  [40.000]
13608.066: (delivertocounter counter1 waiter1 order23)  [0.001]
13608.067: (move waiter1 counter1 table15)  [10.000]
13608.067: (cook kitchen7 order23 counter1)  [1800.000]
13618.068: (move waiter1 table15 table22)  [15.000]
13633.068: (takeorder waiter1 table22 order22)  [30.000]
13663.068: (move waiter1 table22 counter1)  [30.000]
13693.069: (delivertocounter counter1 waiter1 order22)  [0.001]
13693.070: (move waiter1 counter1 table15)  [10.000]
13693.070: (cook kitchen3 order22 counter1)  [1200.000]
13703.071: (move waiter1 table15 table21)  [13.000]
13716.071: (takeorder waiter1 table21 order21)  [60.000]
13776.071: (move waiter1 table21 counter1)  [20.000]
13796.072: (delivertocounter counter1 waiter1 order21)  [0.001]
13796.073: (move waiter1 counter1 table15)  [10.000]
13796.073: (cook kitchen8 order21 counter1)  [2400.000]
13806.074: (move waiter1 table15 table20)  [11.000]
13817.074: (takeorder waiter1 table20 order20)  [45.000]
13862.074: (move waiter1 table20 counter1)  [10.000]
13872.075: (delivertocounter counter1 waiter1 order20)  [0.001]
13872.076: (move waiter1 counter1 table15)  [10.000]
13872.076: (cook kitchen9 order20 counter1)  [1800.000]
13882.077: (move waiter1 table15 table2)  [27.000]
13909.077: (takeorder waiter1 table2 order2)  [45.000]
13954.077: (move waiter1 table2 counter1)  [30.000]
13984.078: (delivertocounter counter1 waiter1 order2)  [0.001]
13984.079: (move waiter1 counter1 table15)  [10.000]
13984.079: (cook kitchen6 order2 counter1)  [1800.000]
13994.080: (move waiter1 table15 table19)  [9.000]
14003.080: (takeorder waiter1 table19 order19)  [30.000]
14033.080: (move waiter1 table19 counter1)  [50.000]
14083.081: (delivertocounter counter1 waiter1 order19)  [0.001]
14083.082: (move waiter1 counter1 table15)  [10.000]
14083.082: (cook kitchen10 order19 counter1)  [1200.000]
14093.083: (move waiter1 table15 table18)  [7.000]
14100.083: (takeorder waiter1 table18 order18)  [60.000]
14160.083: (move waiter1 table18 counter1)  [40.000]
14200.084: (delivertocounter counter1 waiter1 order18)  [0.001]
14200.085: (takefromcounter counter1 waiter1 order17)  [0.001]
14200.086: (move waiter1 counter1 table15)  [10.000]
14210.087: (move waiter1 table15 table17)  [5.000]
14215.088: (delivertotable waiter1 table17 order17)  [0.001]
14215.089: (move waiter1 table17 counter1)  [30.000]
14227.050: (cook kitchen2 order18 counter1)  [2400.000]
14245.090: (takefromcounter counter1 waiter1 order4)  [0.001]
14245.091: (move waiter1 counter1 table4)  [50.000]
14295.092: (delivertotable waiter1 table4 order4)  [0.001]
14295.093: (move waiter1 table4 counter1)  [50.000]
14345.094: (takefromcounter counter1 waiter1 order15)  [0.001]
14345.095: (move waiter1 counter1 table15)  [10.000]
14355.096: (delivertotable waiter1 table15 order15)  [0.001]
14355.097: (move waiter1 table15 counter1)  [10.000]
14365.098: (takefromcounter counter1 waiter1 order14)  [0.001]
14365.099: (move waiter1 counter1 table14)  [50.000]
14415.100: (delivertotable waiter1 table14 order14)  [0.001]
14415.101: (move waiter1 table14 counter1)  [50.000]
14465.102: (takefromcounter counter1 waiter1 order12)  [0.001]
14465.103: (move waiter1 counter1 table12)  [30.000]
14495.104: (delivertotable waiter1 table12 order12)  [0.001]
14495.105: (move waiter1 table12 counter1)  [30.000]
14525.106: (takefromcounter counter1 waiter1 order11)  [0.001]
14525.107: (move waiter1 counter1 table11)  [20.000]
14545.108: (delivertotable waiter1 table11 order11)  [0.001]
14545.109: (move waiter1 table11 counter1)  [20.000]
14893.071: (takefromcounter counter1 waiter1 order22)  [0.001]
14893.072: (move waiter1 counter1 table22)  [30.000]
14923.073: (delivertotable waiter1 table22 order22)  [0.001]
14923.074: (move waiter1 table22 counter1)  [30.000]
15283.083: (takefromcounter counter1 waiter1 order19)  [0.001]
15283.084: (move waiter1 counter1 table19)  [50.000]
15333.085: (delivertotable waiter1 table19 order19)  [0.001]
15333.086: (move waiter1 table19 counter1)  [50.000]
15408.068: (takefromcounter counter1 waiter1 order23)  [0.001]
15408.069: (move waiter1 counter1 table23)  [40.000]
15448.070: (delivertotable waiter1 table23 order23)  [0.001]
15448.071: (move waiter1 table23 counter1)  [40.000]
15656.056: (takefromcounter counter1 waiter1 order3)  [0.001]
15656.057: (move waiter1 counter1 table3)  [40.000]
15696.058: (delivertotable waiter1 table3 order3)  [0.001]
15696.059: (move waiter1 table3 counter1)  [40.000]
15736.060: (takefromcounter counter1 waiter1 order20)  [0.001]
15736.061: (move waiter1 counter1 table20)  [10.000]
15746.062: (delivertotable waiter1 table20 order20)  [0.001]
15746.063: (move waiter1 table20 counter1)  [10.000]
15784.080: (takefromcounter counter1 waiter1 order2)  [0.001]
15784.081: (move waiter1 counter1 table2)  [30.000]
15814.082: (delivertotable waiter1 table2 order2)  [0.001]
15814.083: (move waiter1 table2 counter1)  [30.000]
15896.065: (takefromcounter counter1 waiter1 order24)  [0.001]
15896.066: (move waiter1 counter1 table24)  [50.000]
15946.067: (delivertotable waiter1 table24 order24)  [0.001]
15946.068: (move waiter1 table24 counter1)  [50.000]
16196.074: (takefromcounter counter1 waiter1 order21)  [0.001]
16196.075: (move waiter1 counter1 table21)  [20.000]
16216.076: (delivertotable waiter1 table21 order21)  [0.001]
16216.077: (move waiter1 table21 counter1)  [20.000]
16627.051: (takefromcounter counter1 waiter1 order18)  [0.001]
16627.052: (move waiter1 counter1 table18)  [40.000]
16667.053: (delivertotable waiter1 table18 order18)  [0.001]

Executing Problem 4

Number of literals: 55
Constructing lookup tables: [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
Post filtering unreachable actions:  [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
(total-time-taken) has a finite lower bound: [0.000,inf]
�[01;34mNo analytic limits found, not considering limit effects of goal-only operators�[00m
84% of the ground temporal actions in this problem are compression-safe
; Goals unreachable from the initial state
;; Problem unsolvable!
; Time 0.00

Executing Problem 5

Number of literals: 79
Constructing lookup tables: [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
Post filtering unreachable actions:  [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
(total-time-taken) has a finite lower bound: [0.000,inf]
�[01;34mNo analytic limits found, not considering limit effects of goal-only operators�[00m
82% of the ground temporal actions in this problem are compression-safe
; Goals unreachable from the initial state
;; Problem unsolvable!
; Time 0.01

Executing Problem 6

Number of literals: 45
Constructing lookup tables: [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
Post filtering unreachable actions:  [10%] [20%] [30%] [40%] [50%] [60%] [70%] [80%] [90%] [100%]
(total-time-taken) has a finite lower bound: [0.000,inf]
�[01;34mNo analytic limits found, not considering limit effects of goal-only operators�[00m
84% of the ground temporal actions in this problem are compression-safe
; Goals unreachable from the initial state
;; Problem unsolvable!
; Time 0.00