Matches in ISWC2014 Benchmark for { ?s ?p 15.000000000000002. }
- 519898 cpu_core_0 "15.000000000000002".
- 520757 cpu_core_0 "15.000000000000002".
- 520833 cpu_core_0 "15.000000000000002".
- 521195 cpu_core_0 "15.000000000000002".
- 521321 cpu_core_0 "15.000000000000002".
- 521354 cpu_core_0 "15.000000000000002".
- 521847 cpu_core_0 "15.000000000000002".
- 522090 cpu_core_0 "15.000000000000002".
- 522570 cpu_core_0 "15.000000000000002".
- 522699 cpu_core_0 "15.000000000000002".
- 522876 cpu_core_0 "15.000000000000002".
- 523442 cpu_core_0 "15.000000000000002".
- 523676 cpu_core_0 "15.000000000000002".
- 523741 cpu_core_0 "15.000000000000002".
- 524043 cpu_core_0 "15.000000000000002".
- 524792 cpu_core_0 "15.000000000000002".
- 525081 cpu_core_0 "15.000000000000002".
- 525486 cpu_core_0 "15.000000000000002".
- 525585 cpu_core_0 "15.000000000000002".
- 526619 cpu_core_0 "15.000000000000002".
- 526753 cpu_core_0 "15.000000000000002".
- 526808 cpu_core_0 "15.000000000000002".
- 527397 cpu_core_0 "15.000000000000002".
- 527517 cpu_core_0 "15.000000000000002".
- 527524 cpu_core_0 "15.000000000000002".
- 527526 cpu_core_0 "15.000000000000002".
- 527708 cpu_core_0 "15.000000000000002".
- 527720 cpu_core_0 "15.000000000000002".
- 528461 cpu_core_0 "15.000000000000002".
- 529014 cpu_core_0 "15.000000000000002".
- 529123 cpu_core_0 "15.000000000000002".
- 529350 cpu_core_0 "15.000000000000002".
- 529490 cpu_core_0 "15.000000000000002".
- 529497 cpu_core_0 "15.000000000000002".
- 529615 cpu_core_0 "15.000000000000002".
- 529786 cpu_core_0 "15.000000000000002".
- 529798 cpu_core_0 "15.000000000000002".
- 529841 cpu_core_0 "15.000000000000002".
- 529914 cpu_core_0 "15.000000000000002".
- 530193 cpu_core_0 "15.000000000000002".
- 530353 cpu_core_0 "15.000000000000002".
- 530797 cpu_core_0 "15.000000000000002".
- 530869 cpu_core_0 "15.000000000000002".
- 531345 cpu_core_0 "15.000000000000002".
- 531803 cpu_core_0 "15.000000000000002".
- 532205 cpu_core_0 "15.000000000000002".
- 532470 cpu_core_0 "15.000000000000002".
- 532689 cpu_core_0 "15.000000000000002".
- 532799 cpu_core_0 "15.000000000000002".
- 532998 cpu_core_0 "15.000000000000002".
- 533572 cpu_core_0 "15.000000000000002".
- 533814 cpu_core_0 "15.000000000000002".
- 534045 cpu_core_0 "15.000000000000002".
- 534585 cpu_core_0 "15.000000000000002".
- 534617 cpu_core_0 "15.000000000000002".
- 534912 cpu_core_0 "15.000000000000002".
- 534935 cpu_core_0 "15.000000000000002".
- 535153 cpu_core_0 "15.000000000000002".
- 535275 cpu_core_0 "15.000000000000002".
- 535307 cpu_core_0 "15.000000000000002".
- 535313 cpu_core_0 "15.000000000000002".
- 535479 cpu_core_0 "15.000000000000002".
- 535683 cpu_core_0 "15.000000000000002".
- 536138 cpu_core_0 "15.000000000000002".
- 536217 cpu_core_0 "15.000000000000002".
- 536302 cpu_core_0 "15.000000000000002".
- 536309 cpu_core_0 "15.000000000000002".
- 536462 cpu_core_0 "15.000000000000002".
- 536636 cpu_core_0 "15.000000000000002".
- 536740 cpu_core_0 "15.000000000000002".
- 536803 cpu_core_0 "15.000000000000002".
- 537039 cpu_core_0 "15.000000000000002".
- 537059 cpu_core_0 "15.000000000000002".
- 537199 cpu_core_0 "15.000000000000002".
- 537367 cpu_core_0 "15.000000000000002".
- 537563 cpu_core_0 "15.000000000000002".
- 537621 cpu_core_0 "15.000000000000002".
- 537719 cpu_core_0 "15.000000000000002".
- 537797 cpu_core_0 "15.000000000000002".
- 537801 cpu_core_0 "15.000000000000002".
- 538010 cpu_core_0 "15.000000000000002".
- 538048 cpu_core_0 "15.000000000000002".
- 538168 cpu_core_0 "15.000000000000002".
- 538169 cpu_core_0 "15.000000000000002".
- 538445 cpu_core_0 "15.000000000000002".
- 538655 cpu_core_0 "15.000000000000002".
- 538903 cpu_core_0 "15.000000000000002".
- 539268 cpu_core_0 "15.000000000000002".
- 539517 cpu_core_0 "15.000000000000002".
- 539645 cpu_core_0 "15.000000000000002".
- 539672 cpu_core_0 "15.000000000000002".
- 540240 cpu_core_0 "15.000000000000002".
- 540443 cpu_core_0 "15.000000000000002".
- 541255 cpu_core_0 "15.000000000000002".
- 541340 cpu_core_0 "15.000000000000002".
- 541625 cpu_core_0 "15.000000000000002".
- 541841 cpu_core_0 "15.000000000000002".
- 541981 cpu_core_0 "15.000000000000002".
- 542308 cpu_core_0 "15.000000000000002".
- 542355 cpu_core_0 "15.000000000000002".