Table 3: Benchmarking results for application Example 2.

ConceptExact shortest pathConvergenceConvergence starts at ()

Concept in [42]Yes≈30
NAOP conceptYes≈3