Matches in ISWC2014 Benchmark for { ?s ?p 15.151515151515152. }
- 1136999 cpu_core_0 "15.151515151515152".
- 1137007 cpu_core_0 "15.151515151515152".
- 1137233 cpu_core_0 "15.151515151515152".
- 1137235 cpu_core_0 "15.151515151515152".
- 1137327 cpu_core_0 "15.151515151515152".
- 1137335 cpu_core_0 "15.151515151515152".
- 1137336 cpu_core_0 "15.151515151515152".
- 1137352 cpu_core_0 "15.151515151515152".
- 1137493 cpu_core_0 "15.151515151515152".
- 1137574 cpu_core_0 "15.151515151515152".
- 1137587 cpu_core_0 "15.151515151515152".
- 1137605 cpu_core_0 "15.151515151515152".
- 1137626 cpu_core_0 "15.151515151515152".
- 1137698 cpu_core_0 "15.151515151515152".
- 1138220 cpu_core_0 "15.151515151515152".
- 1138404 cpu_core_0 "15.151515151515152".
- 1138706 cpu_core_0 "15.151515151515152".
- 1138710 cpu_core_0 "15.151515151515152".
- 1138803 cpu_core_0 "15.151515151515152".
- 1138902 cpu_core_0 "15.151515151515152".
- 1138911 cpu_core_0 "15.151515151515152".
- 1138923 cpu_core_0 "15.151515151515152".
- 1138974 cpu_core_0 "15.151515151515152".
- 1139124 cpu_core_0 "15.151515151515152".
- 1139138 cpu_core_0 "15.151515151515152".
- 1139171 cpu_core_0 "15.151515151515152".
- 1139213 cpu_core_0 "15.151515151515152".
- 1139241 cpu_core_0 "15.151515151515152".
- 1139256 cpu_core_0 "15.151515151515152".
- 1139291 cpu_core_0 "15.151515151515152".
- 1139297 cpu_core_0 "15.151515151515152".
- 1139301 cpu_core_0 "15.151515151515152".
- 1139373 cpu_core_0 "15.151515151515152".
- 1139382 cpu_core_0 "15.151515151515152".
- 1139385 cpu_core_0 "15.151515151515152".
- 1139389 cpu_core_0 "15.151515151515152".
- 1139401 cpu_core_0 "15.151515151515152".
- 1139432 cpu_core_0 "15.151515151515152".
- 1139542 cpu_core_0 "15.151515151515152".
- 1139568 cpu_core_0 "15.151515151515152".
- 1139730 cpu_core_0 "15.151515151515152".
- 1139782 cpu_core_0 "15.151515151515152".
- 1139893 cpu_core_0 "15.151515151515152".
- 1139920 cpu_core_0 "15.151515151515152".
- 1139972 cpu_core_0 "15.151515151515152".
- 1139980 cpu_core_0 "15.151515151515152".
- 1140041 cpu_core_0 "15.151515151515152".
- 1140098 cpu_core_0 "15.151515151515152".
- 1140201 cpu_core_0 "15.151515151515152".
- 1140250 cpu_core_0 "15.151515151515152".
- 1140356 cpu_core_0 "15.151515151515152".
- 1140513 cpu_core_0 "15.151515151515152".
- 1140702 cpu_core_0 "15.151515151515152".
- 1140756 cpu_core_0 "15.151515151515152".
- 1140985 cpu_core_0 "15.151515151515152".
- 1141121 cpu_core_0 "15.151515151515152".
- 1141219 cpu_core_0 "15.151515151515152".
- 1141288 cpu_core_0 "15.151515151515152".
- 1141303 cpu_core_0 "15.151515151515152".
- 1141419 cpu_core_0 "15.151515151515152".
- 1141520 cpu_core_0 "15.151515151515152".
- 1141534 cpu_core_0 "15.151515151515152".
- 1141581 cpu_core_0 "15.151515151515152".
- 1141611 cpu_core_0 "15.151515151515152".
- 1141703 cpu_core_0 "15.151515151515152".
- 1141708 cpu_core_0 "15.151515151515152".
- 1141728 cpu_core_0 "15.151515151515152".
- 1141859 cpu_core_0 "15.151515151515152".
- 1141974 cpu_core_0 "15.151515151515152".
- 1142005 cpu_core_0 "15.151515151515152".
- 1142076 cpu_core_0 "15.151515151515152".
- 1142157 cpu_core_0 "15.151515151515152".
- 1142164 cpu_core_0 "15.151515151515152".
- 1142184 cpu_core_0 "15.151515151515152".
- 1142197 cpu_core_0 "15.151515151515152".
- 1142251 cpu_core_0 "15.151515151515152".
- 1142268 cpu_core_0 "15.151515151515152".
- 1142316 cpu_core_0 "15.151515151515152".
- 1142392 cpu_core_0 "15.151515151515152".
- 1142428 cpu_core_0 "15.151515151515152".
- 1142532 cpu_core_0 "15.151515151515152".
- 1142792 cpu_core_0 "15.151515151515152".
- 1142839 cpu_core_0 "15.151515151515152".
- 1142884 cpu_core_0 "15.151515151515152".
- 1142895 cpu_core_0 "15.151515151515152".
- 1142911 cpu_core_0 "15.151515151515152".
- 1142928 cpu_core_0 "15.151515151515152".
- 1142957 cpu_core_0 "15.151515151515152".
- 1143121 cpu_core_0 "15.151515151515152".
- 1143446 cpu_core_0 "15.151515151515152".
- 1143457 cpu_core_0 "15.151515151515152".
- 1143499 cpu_core_0 "15.151515151515152".
- 1143505 cpu_core_0 "15.151515151515152".
- 1143529 cpu_core_0 "15.151515151515152".
- 1143660 cpu_core_0 "15.151515151515152".
- 1143689 cpu_core_0 "15.151515151515152".
- 1143749 cpu_core_0 "15.151515151515152".
- 1143859 cpu_core_0 "15.151515151515152".
- 1143922 cpu_core_0 "15.151515151515152".
- 1144059 cpu_core_0 "15.151515151515152".