Benchmarking Results for Hamiltonian Cycles

One Answer Set All Answer Sets
dlv smodels nomore++
$(\mathit{PBV}\mathit{L}_{b})^*\mathit{D}$
nomore++
$(\mathit{PBV}\mathit{L}_{bh})^*\mathit{D}$
dlv smodels nomore++
$(\mathit{PBV}\mathit{L}_{b})^*\mathit{D}$
nomore++
$(\mathit{PBV}\mathit{L}_{bh})^*\mathit{D}$
3 (0.00) 1 (0.00) 1 (0.00) 1 (0.00) (0.00) 1 (0.00) 1 (0.00) 1 (0.00)
4 (0.00) 2 (0.01) 2 (0.01) 2 (0.00) (0.00) 5 (0.00) 5 (0.00) 5 (0.00)
5 (0.00) 3 (0.00) 3 (0.00) 3 (0.01) (0.01) 26 (0.00) 23 (0.02) 23 (0.02)
6 (0.01) 4 (0.01) 4 (0.01) 4 (0.01) (0.02) 305 (0.02) 119 (0.11) 119 (0.11)
7 (0.01) 30 (0.01) 5 (0.02) 5 (0.02) (0.14) 4,814 (0.38) 719 (0.83) 719 (0.85)
8 (0.01) 8 (0.00) 6 (0.03) 6 (0.03) (1.06) 86,364 (7.29) 5,039 (7.40) 5,039 (7.60)
9 (0.02) 48 (0.01) 7 (0.05) 7 (0.05) (10.02) 1,864,470 (177.91) 40,319 (73.94) 40,319 (76.09)
10 (0.03) 1,107 (0.18) 8 (0.08) 8 (0.08) (109.21) n/a 362,879 (818.73) 362,879 (842.57)
11 (0.03) 18,118 (2.88) 9 (0.13) 9 (0.12) n/a n/a n/a n/a
12 (0.05) 398,306 (65.29) 10 (0.19) 10 (0.20) n/a n/a n/a n/a
13 (0.06) n/a 11 (0.29) 11 (0.30) n/a n/a n/a n/a
14 (0.07) n/a 14 (0.83) 14 (0.82) n/a n/a n/a n/a
15 (0.09) n/a 13 (0.60) 13 (0.60) n/a n/a n/a n/a
16 (0.11) n/a 16 (1.52) 16 (1.53) n/a n/a n/a n/a
17 (0.14) n/a 15 (1.14) 15 (1.13) n/a n/a n/a n/a
18 (0.17) n/a 16 (1.52) 16 (1.53) n/a n/a n/a n/a
Table: Hamilton circles on complete graphs with n nodes
Figure 1: Hamilton circles on complete graphs with n nodes, one answer set, Choice-Points measurements
Figure 2: Hamilton circles on complete graphs with n nodes, one answer set, Time measurements
Figure 3: Hamilton circles on complete graphs with n nodes, all answer sets, Choice-Points measurements
Figure 4: Hamilton circles on complete graphs with n nodes, all answer sets, Time measurements