td>finite</td>
		<td>yes</td>
		<td>yes</td>
		<td>no</td>
	</tr>
	<tr>
		<td>n-puzzle normal</td>
		<td>DGraph</td>
		<td>finite</td>
		<td>yes</td>
		<td>no</td>
		<td>yes</td>
	</tr>
	<tr>
		<td>n-puzzle redundant</td>
		<td>Tree</td>
		<td>infinite</td>
		<td>yes</td>
		<td>yes</td>
		<td>no</td>
	</tr>
	<tr>
		<td>n-puzzle * (each move was made at least once)</td>
		<td>DGraph</td>
		<td>finite</td>
		<td>no</td>
		<td>no</td>
		<td>yes</td>
	</tr>
</table>

</body>
</html>