Benchmarking Results for Body-Plus

One Answer Set All Answer Sets
n 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}$
1 (0.00) 5 (0.00) 3 (0.00) 3 (0.00) (0.00) 9 (0.00) 7 (0.00) 7 (0.00)
2 (0.00) 15 (0.00) 4 (0.00) 4 (0.00) (0.00) 33 (0.00) 15 (0.00) 15 (0.00)
3 (0.00) 38 (0.00) 5 (0.01) 5 (0.01) (0.01) 83 (0.00) 31 (0.00) 31 (0.01)
4 (0.00) 137 (0.00) 6 (0.00) 6 (0.00) (0.04) 231 (0.01) 63 (0.01) 63 (0.01)
5 (0.00) 460 (0.01) 7 (0.01) 7 (0.01) (0.14) 655 (0.01) 127 (0.02) 127 (0.02)
6 (0.01) 1,447 (0.02) 8 (0.01) 8 (0.01) (0.55) 1,895 (0.04) 255 (0.04) 255 (0.05)
7 (0.04) 4,738 (0.06) 9 (0.00) 9 (0.01) (2.20) 5,571 (0.08) 511 (0.09) 511 (0.10)
8 (0.01) 14,725 (0.19) 10 (0.00) 10 (0.01) (8.96) 16,603 (0.21) 1,023 (0.19) 1,023 (0.21)
9 (0.01) 46,230 (0.58) 11 (0.01) 11 (0.01) (36.44) 49,693 (0.66) 2,047 (0.41) 2,047 (0.44)
10 (0.01) 143,283 (1.82) 12 (0.01) 12 (0.01) (149.45) 150,257 (1.93) 4,095 (0.88) 4,095 (0.94)
11 (0.01) 440,234 (5.70) 13 (0.01) 13 (0.01) (608.39) 455,709 (6.03) 8,191 (1.86) 8,191 (1.98)
12 (0.01) 1,354,823 (17.85) 14 (0.01) 14 (0.01) n/a 1,385,233 (18.37) 16,383 (3.91) 16,383 (4.17)
13 (0.01) 4,147,650 (55.63) 15 (0.01) 15 (0.01) n/a 4,210,683 (56.78) 32,767 (8.29) 32,767 (8.78)
14 (0.01) 12,667,755 (173.21) 16 (0.01) 16 (0.01) n/a 12,798,181 (175.37) 65,535 (17.46) 65,535 (18.41)
15 (0.01) 38,647,666 (538.24) 17 (0.01) 17 (0.02) n/a 38,898,291 (542.81) 131,071 (36.70) 131,071 (38.61)
16 (0.02) n/a 18 (0.01) 18 (0.01) n/a n/a 262,143 (80.85) 262,143 (83.17)
Table: Body-Plus example
Figure 1: Body-Plus example, one answer set, Choice-Point measurements
Figure 2: Body-Plus example, one answer set, Time measurements
Figure 3: Body-Plus example, all answer sets, Choice-Point measurements
Figure 4: Body-Plus example, all answer sets, Time measurements