Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1742406 cpu_core_0 "9.000000000000002".
- 1742457 cpu_core_0 "9.000000000000002".
- 1742462 cpu_core_0 "9.000000000000002".
- 1742465 cpu_core_0 "9.000000000000002".
- 1742535 cpu_core_0 "9.000000000000002".
- 1742573 cpu_core_0 "9.000000000000002".
- 1742608 cpu_core_0 "9.000000000000002".
- 1742695 cpu_core_0 "9.000000000000002".
- 1742766 cpu_core_0 "9.000000000000002".
- 1743045 cpu_core_0 "9.000000000000002".
- 1743074 cpu_core_0 "9.000000000000002".
- 1743247 cpu_core_0 "9.000000000000002".
- 1743537 cpu_core_0 "9.000000000000002".
- 1743842 cpu_core_0 "9.000000000000002".
- 1744267 cpu_core_0 "9.000000000000002".
- 1744329 cpu_core_0 "9.000000000000002".
- 1744461 cpu_core_0 "9.000000000000002".
- 1745344 cpu_core_0 "9.000000000000002".
- 1745373 cpu_core_0 "9.000000000000002".
- 1745659 cpu_core_0 "9.000000000000002".
- 1745677 cpu_core_0 "9.000000000000002".
- 1745776 cpu_core_0 "9.000000000000002".
- 1745855 cpu_core_0 "9.000000000000002".
- 1745861 cpu_core_0 "9.000000000000002".
- 1746058 cpu_core_0 "9.000000000000002".
- 1746082 cpu_core_0 "9.000000000000002".
- 1746083 cpu_core_0 "9.000000000000002".
- 1746157 cpu_core_0 "9.000000000000002".
- 1746196 cpu_core_0 "9.000000000000002".
- 1746205 cpu_core_0 "9.000000000000002".
- 1746382 cpu_core_0 "9.000000000000002".
- 1746429 cpu_core_0 "9.000000000000002".
- 1746554 cpu_core_0 "9.000000000000002".
- 1746623 cpu_core_0 "9.000000000000002".
- 1746696 cpu_core_0 "9.000000000000002".
- 1746749 cpu_core_0 "9.000000000000002".
- 1746931 cpu_core_0 "9.000000000000002".
- 1746968 cpu_core_0 "9.000000000000002".
- 1746997 cpu_core_0 "9.000000000000002".
- 1747038 cpu_core_0 "9.000000000000002".
- 1747150 cpu_core_0 "9.000000000000002".
- 1747156 cpu_core_0 "9.000000000000002".
- 1747224 cpu_core_0 "9.000000000000002".
- 1747292 cpu_core_0 "9.000000000000002".
- 1747395 cpu_core_0 "9.000000000000002".
- 1747579 cpu_core_0 "9.000000000000002".
- 1747662 cpu_core_0 "9.000000000000002".
- 1747666 cpu_core_0 "9.000000000000002".
- 1747991 cpu_core_0 "9.000000000000002".
- 1748362 cpu_core_0 "9.000000000000002".
- 1748446 cpu_core_0 "9.000000000000002".
- 1748551 cpu_core_0 "9.000000000000002".
- 1748778 cpu_core_0 "9.000000000000002".
- 1749112 cpu_core_0 "9.000000000000002".
- 1749146 cpu_core_0 "9.000000000000002".
- 1749234 cpu_core_0 "9.000000000000002".
- 1750032 cpu_core_0 "9.000000000000002".
- 1750159 cpu_core_0 "9.000000000000002".
- 1750165 cpu_core_0 "9.000000000000002".
- 1751076 cpu_core_0 "9.000000000000002".
- 1751394 cpu_core_0 "9.000000000000002".
- 1751429 cpu_core_0 "9.000000000000002".
- 1751566 cpu_core_0 "9.000000000000002".
- 1751570 cpu_core_0 "9.000000000000002".
- 1751724 cpu_core_0 "9.000000000000002".
- 1751725 cpu_core_0 "9.000000000000002".
- 1751893 cpu_core_0 "9.000000000000002".
- 1751941 cpu_core_0 "9.000000000000002".
- 1751965 cpu_core_0 "9.000000000000002".
- 1752015 cpu_core_0 "9.000000000000002".
- 1752074 cpu_core_0 "9.000000000000002".
- 1752094 cpu_core_0 "9.000000000000002".
- 1752153 cpu_core_0 "9.000000000000002".
- 1752294 cpu_core_0 "9.000000000000002".
- 1752369 cpu_core_0 "9.000000000000002".
- 1752443 cpu_core_0 "9.000000000000002".
- 1752545 cpu_core_0 "9.000000000000002".
- 1752563 cpu_core_0 "9.000000000000002".
- 1752687 cpu_core_0 "9.000000000000002".
- 1752730 cpu_core_0 "9.000000000000002".
- 1752890 cpu_core_0 "9.000000000000002".
- 1753039 cpu_core_0 "9.000000000000002".
- 1753083 cpu_core_0 "9.000000000000002".
- 1753093 cpu_core_0 "9.000000000000002".
- 1753215 cpu_core_0 "9.000000000000002".
- 1753257 cpu_core_0 "9.000000000000002".
- 1753512 cpu_core_0 "9.000000000000002".
- 1753844 cpu_core_0 "9.000000000000002".
- 1754001 cpu_core_0 "9.000000000000002".
- 1754083 cpu_core_0 "9.000000000000002".
- 1754324 cpu_core_0 "9.000000000000002".
- 1754398 cpu_core_0 "9.000000000000002".
- 1754449 cpu_core_0 "9.000000000000002".
- 1754462 cpu_core_0 "9.000000000000002".
- 1754484 cpu_core_0 "9.000000000000002".
- 1754931 cpu_core_0 "9.000000000000002".
- 1755067 cpu_core_0 "9.000000000000002".
- 1755410 cpu_core_0 "9.000000000000002".
- 1755423 cpu_core_0 "9.000000000000002".
- 1755441 cpu_core_0 "9.000000000000002".