roperty can be checked locally for the node.</td>
		<td>Can the solution object be created <emph>only</emph> from the last node (instead of considering the entire path)?</td>
		<td>Do we need labels for the edges to describe the transition?</td> 
	</tr>
	
	<tr>
		<th style="width: 300px;">Scenario</th>
		<th colspan="5"></th>
	</tr>
	
	<tr>
		<td>A-B Reachability</td>
		<td>DGraph</td>
		<td>finite</td>
		<td>yes</td>
		<td>no</td>
		<td>no</td>
	</tr>
	<tr>
		<td>n-Queens redundant</td>
		<td>Tree</td>
		<