(define (problem ham-1)
(:domain hamiltonian-cycle)
(:objects a b c d e f - node)

(:init
(arc d f)
(arc e c)
(arc f d)
(arc e a)
(arc b d)
(arc c e)
(arc f a)
(arc f c)
(arc a b)
)

(:goal )