freeze_quiche-0

Required Synsets

Name	State	Definition
cabinet.n.01	Matched	a piece of furniture resembling a cupboard with doors and shelves and drawers; for storage or display
countertop.n.01	Matched	the top side of a counter
electric_refrigerator.n.01	Matched	a refrigerator in which the coolant is pumped around by an electric motor
floor.n.01	Matched	the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
oven.n.01	Matched	kitchen appliance used for baking or roasting
plastic_wrap.n.01	Matched	wrapping consisting of a very thin transparent sheet of plastic
quiche.n.02	Matched	a tart filled with rich unsweetened custard; often contains other ingredients (as cheese or ham or seafood or vegetables)
tray.n.01	Matched	an open receptacle for holding or displaying or serving articles or food

Transition Paths By Task Scope Objects

graph TD;

Scene Matching Status

Scene	Status	Reason
Beechwood_0_garden	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 oven.n.01, 1 cabinet.n.01, 1 electric_refrigerator.n.01.
Beechwood_0_int	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 oven.n.01, 1 cabinet.n.01, 1 electric_refrigerator.n.01.
Beechwood_1_int	Unmatched	Cannot find suitable kitchen.
Benevolence_0_int	Unmatched	Cannot find suitable kitchen.
Benevolence_1_int	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 oven.n.01, 1 cabinet.n.01, 1 electric_refrigerator.n.01, 1 countertop.n.01.
Benevolence_2_int	Unmatched	Cannot find suitable kitchen.
Ihlen_0_int	Unmatched	Cannot find suitable kitchen.
Ihlen_1_int	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 oven.n.01, 1 cabinet.n.01, 1 electric_refrigerator.n.01, 1 countertop.n.01.
Merom_0_garden	Unmatched	Cannot find suitable kitchen.
Merom_0_int	Unmatched	Cannot find suitable kitchen.
Merom_1_int	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 oven.n.01, 1 cabinet.n.01, 1 electric_refrigerator.n.01, 1 countertop.n.01.
Pomaria_0_garden	Unmatched	Cannot find suitable kitchen.
Pomaria_0_int	Unmatched	Cannot find suitable kitchen.
Pomaria_1_int	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 oven.n.01, 1 cabinet.n.01, 1 electric_refrigerator.n.01, 1 countertop.n.01.
Pomaria_2_int	Unmatched	Cannot find suitable kitchen.
Rs_garden	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 oven.n.01, 1 cabinet.n.01, 1 electric_refrigerator.n.01, 1 countertop.n.01.
Rs_int	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 oven.n.01, 1 cabinet.n.01, 1 electric_refrigerator.n.01, 1 countertop.n.01.
Wainscott_0_garden	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 oven.n.01, 1 cabinet.n.01, 1 electric_refrigerator.n.01, 1 countertop.n.01.
Wainscott_0_int	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 oven.n.01, 1 cabinet.n.01, 1 electric_refrigerator.n.01, 1 countertop.n.01.
Wainscott_1_int	Unmatched	Cannot find suitable kitchen.
gates_bedroom	Unmatched	Cannot find suitable kitchen.
grocery_store_asian	Unmatched	Cannot find suitable kitchen.
grocery_store_cafe	Unmatched	Cannot find suitable kitchen.
grocery_store_convenience	Unmatched	Cannot find suitable kitchen.
grocery_store_half_stocked	Unmatched	Cannot find suitable kitchen.
hall_arch_wood	Unmatched	Cannot find suitable kitchen.
hall_conference_large	Unmatched	Cannot find suitable kitchen.
hall_glass_ceiling	Unmatched	Cannot find suitable kitchen.
hall_train_station	Unmatched	Cannot find suitable kitchen.
hotel_gym_spa	Unmatched	Cannot find suitable kitchen.
hotel_suite_large	Unmatched	Cannot find suitable kitchen.
hotel_suite_small	Unmatched	Cannot find suitable kitchen.
house_double_floor_lower	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01.
house_double_floor_upper	Unmatched	Cannot find suitable kitchen.
house_single_floor	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01.
office_bike	Unmatched	Cannot find suitable kitchen.
office_cubicles_left	Unmatched	Cannot find suitable kitchen.
office_cubicles_right	Unmatched	Cannot find suitable kitchen.
office_large	Unmatched	Cannot find suitable kitchen.
office_vendor_machine	Unmatched	Cannot find suitable kitchen.
restaurant_asian	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 cabinet.n.01, 1 electric_refrigerator.n.01.
restaurant_brunch	Ready
restaurant_cafeteria	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 oven.n.01, 1 cabinet.n.01, 1 electric_refrigerator.n.01.
restaurant_diner	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 cabinet.n.01, 1 electric_refrigerator.n.01.
restaurant_hotel	Ready
restaurant_urban	Ready
school_biology	Unmatched	Cannot find suitable kitchen.
school_chemistry	Unmatched	Cannot find suitable kitchen.
school_computer_lab_and_infirmary	Unmatched	Cannot find suitable kitchen.
school_geography	Unmatched	Cannot find suitable kitchen.
school_gym	Unmatched	Cannot find suitable kitchen.

Full Definition

(define (problem freeze_quiche-0)
    (:domain omnigibson)

    (:objects
        quiche.n.02_1 quiche.n.02_2 - quiche.n.02
        oven.n.01_1 - oven.n.01
        cabinet.n.01_1 - cabinet.n.01
        plastic_wrap.n.01_1 plastic_wrap.n.01_2 - plastic_wrap.n.01
        floor.n.01_1 - floor.n.01
        electric_refrigerator.n.01_1 - electric_refrigerator.n.01
        tray.n.01_1 - tray.n.01
        countertop.n.01_1 - countertop.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop tray.n.01_1 countertop.n.01_1)
        (ontop quiche.n.02_1 tray.n.01_1) 
        (ontop quiche.n.02_2 tray.n.01_1) 
        (inside plastic_wrap.n.01_1 cabinet.n.01_1) 
        (inside plastic_wrap.n.01_2 cabinet.n.01_1) 
        (inroom floor.n.01_1 kitchen) 
        (inroom oven.n.01_1 kitchen) 
        (inroom cabinet.n.01_1 kitchen) 
        (inroom electric_refrigerator.n.01_1 kitchen) 
        (inroom countertop.n.01_1 kitchen)
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (forpairs 
                (?plastic_wrap.n.01 - plastic_wrap.n.01) 
                (?quiche.n.02 - quiche.n.02) 
                (overlaid ?plastic_wrap.n.01 ?quiche.n.02)
            ) 
            (forall 
                (?quiche.n.02 - quiche.n.02) 
                (and
                    (frozen ?quiche.n.02)
                    (inside ?quiche.n.02 ?electric_refrigerator.n.01_1)
                )
            )
        )
    )
)

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;