Efficient methods for qualitative spatial reasoning

0.60.50.40.30.20.10

60

4

6

4020

810

1214

average degree161880nodes

100

Percentage points of incorrect PCA answers for H(n,d,4.0)

CPU time (percentile) using DYNAMIC,LOCAL for A(n,d,4.0)

0.80.70.6

CPU time (sec)closebasesplit - 99%closebasesplit - 50%

hornsplit - 99%hornsplit - 50%

PC-Failures (%)

20151050

810

1214

1618average degree206

402060nodes

80

0.50.40.30.2

0.1

0

10203040

5060

nodes

708090100

Number of hard instances for A(n,d,4.0)#Hard Instances

32100

1800

60

4

6

nodes

84010

average degree1214

1620

18

Number of hard instances for H(n,d,4.0)

#Hard Instances

20015010080

50600

6

840nodes

10

12average degree14

1620

1820CPU time (percentile) using DYNAMIC,LOCAL for H(n,d,4.0)

10

closebasesplit - 99%

1

hornsplit - 99%closebasesplit - 50%

hornsplit - 50%

)ces(0.1

emit UP0.01

C0.001

0.0001

101520

2530

30

nodes