(define (problem sleepingbeauty-problem)
(:domain sleepingbeauty)
(:objects )
(:init (= (charge) 0)
	(= (resistance) 2)
	(= (ringtime) 0)
	(windowclosed)
	(magnetoperational)
	(alarmdisabled)
	(deeplyasleep)
)
(:goal (awake))
(:metric minimize (total-time))) 
