Matches in ISWC2014 Benchmark for { ?s ?p 15.000000000000002. }
- 240256 cpu_core_0 "15.000000000000002".
- 240300 cpu_core_0 "15.000000000000002".
- 243849 cpu_core_0 "15.000000000000002".
- 247786 cpu_core_0 "15.000000000000002".
- 247823 cpu_core_0 "15.000000000000002".
- 247859 cpu_core_0 "15.000000000000002".
- 247878 cpu_core_0 "15.000000000000002".
- 251118 cpu_core_0 "15.000000000000002".
- 256386 cpu_core_0 "15.000000000000002".
- 256510 cpu_core_0 "15.000000000000002".
- 256539 cpu_core_0 "15.000000000000002".
- 25751 cpu_core_0 "15.000000000000002".
- 258054 cpu_core_0 "15.000000000000002".
- 258602 cpu_core_0 "15.000000000000002".
- 259219 cpu_core_0 "15.000000000000002".
- 259645 cpu_core_0 "15.000000000000002".
- 260186 cpu_core_0 "15.000000000000002".
- 260514 cpu_core_0 "15.000000000000002".
- 265986 cpu_core_0 "15.000000000000002".
- 270235 cpu_core_0 "15.000000000000002".
- 272214 cpu_core_0 "15.000000000000002".
- 273113 cpu_core_0 "15.000000000000002".
- 274722 cpu_core_0 "15.000000000000002".
- 275662 cpu_core_0 "15.000000000000002".
- 276305 cpu_core_0 "15.000000000000002".
- 276387 cpu_core_0 "15.000000000000002".
- 278633 cpu_core_0 "15.000000000000002".
- 279277 cpu_core_0 "15.000000000000002".
- 282310 cpu_core_0 "15.000000000000002".
- 283115 cpu_core_0 "15.000000000000002".
- 283215 cpu_core_0 "15.000000000000002".
- 284253 cpu_core_0 "15.000000000000002".
- 285380 cpu_core_0 "15.000000000000002".
- 285438 cpu_core_0 "15.000000000000002".
- 285796 cpu_core_0 "15.000000000000002".
- 287144 cpu_core_0 "15.000000000000002".
- 290975 cpu_core_0 "15.000000000000002".
- 291152 cpu_core_0 "15.000000000000002".
- 291185 cpu_core_0 "15.000000000000002".
- 291677 cpu_core_0 "15.000000000000002".
- 294762 cpu_core_0 "15.000000000000002".
- 295283 cpu_core_0 "15.000000000000002".
- 295284 cpu_core_0 "15.000000000000002".
- 295804 cpu_core_0 "15.000000000000002".
- 296032 cpu_core_0 "15.000000000000002".
- 296970 cpu_core_0 "15.000000000000002".
- 300802 cpu_core_0 "15.000000000000002".
- 303189 cpu_core_0 "15.000000000000002".
- 303224 cpu_core_0 "15.000000000000002".
- 304421 cpu_core_0 "15.000000000000002".
- 305306 cpu_core_0 "15.000000000000002".
- 305347 cpu_core_0 "15.000000000000002".
- 305474 cpu_core_0 "15.000000000000002".
- 306011 cpu_core_0 "15.000000000000002".
- 307042 cpu_core_0 "15.000000000000002".
- 308567 cpu_core_0 "15.000000000000002".
- 309341 cpu_core_0 "15.000000000000002".
- 309355 cpu_core_0 "15.000000000000002".
- 309404 cpu_core_0 "15.000000000000002".
- 309818 cpu_core_0 "15.000000000000002".
- 309858 cpu_core_0 "15.000000000000002".
- 310732 cpu_core_0 "15.000000000000002".
- 311102 cpu_core_0 "15.000000000000002".
- 311252 cpu_core_0 "15.000000000000002".
- 311825 cpu_core_0 "15.000000000000002".
- 311932 cpu_core_0 "15.000000000000002".
- 311956 cpu_core_0 "15.000000000000002".
- 311974 cpu_core_0 "15.000000000000002".
- 312826 cpu_core_0 "15.000000000000002".
- 312872 cpu_core_0 "15.000000000000002".
- 313132 cpu_core_0 "15.000000000000002".
- 313273 cpu_core_0 "15.000000000000002".
- 313356 cpu_core_0 "15.000000000000002".
- 313452 cpu_core_0 "15.000000000000002".
- 313479 cpu_core_0 "15.000000000000002".
- 313719 cpu_core_0 "15.000000000000002".
- 313893 cpu_core_0 "15.000000000000002".
- 314081 cpu_core_0 "15.000000000000002".
- 314418 cpu_core_0 "15.000000000000002".
- 314502 cpu_core_0 "15.000000000000002".
- 314540 cpu_core_0 "15.000000000000002".
- 314905 cpu_core_0 "15.000000000000002".
- 315183 cpu_core_0 "15.000000000000002".
- 316795 cpu_core_0 "15.000000000000002".
- 317811 cpu_core_0 "15.000000000000002".
- 318319 cpu_core_0 "15.000000000000002".
- 318360 cpu_core_0 "15.000000000000002".
- 318771 cpu_core_0 "15.000000000000002".
- 319752 cpu_core_0 "15.000000000000002".
- 320288 cpu_core_0 "15.000000000000002".
- 320622 cpu_core_0 "15.000000000000002".
- 320668 cpu_core_0 "15.000000000000002".
- 320720 cpu_core_0 "15.000000000000002".
- 320818 cpu_core_0 "15.000000000000002".
- 320857 cpu_core_0 "15.000000000000002".
- 321085 cpu_core_0 "15.000000000000002".
- 321656 cpu_core_0 "15.000000000000002".
- 321902 cpu_core_0 "15.000000000000002".
- 321948 cpu_core_0 "15.000000000000002".
- 322498 cpu_core_0 "15.000000000000002".