\begin{verbatim}

 lparse city1-2.sm | smodels
 smodels version 2.25. Reading...done
 Answer: 1 Stable Model:
 occurs(move(v,3,4),1)
 occurs(move(v,4,8),2)
 occurs(acc(1,2),3)
 occurs(move(v,8,7),4)
 occurs(move(v,7,6),5)
 occurs(move(v,6,5),6)
 occurs(move(v,5,1 ),7)
 occurs(move(v,1,9),8)
 occurs(move(v,9,10),9)
 occurs(move(v,10,11),10)
 occurs(move(v,11,12),11)
 occurs(move(v,12,2),12)
 True Duration: 77.720
 Number of choice points: 0
 Number of wrong choices: 0
 Number of atoms: 24639
 Number of rules: 1100471
 Number of picked atoms: 0
 Number of forced atoms: 0
 Number of truth assignments: 21092
 Size of searchspace (removed): 0 (0)

\end{verbatim}