Matches in ISWC2014 Benchmark for { ?s ?p 9.278350515463918. }
- 305354 cpu_core_0 "9.278350515463918".
- 305361 cpu_core_0 "9.278350515463918".
- 362839 cpu_core_0 "9.278350515463918".
- 363057 cpu_core_0 "9.278350515463918".
- 364455 cpu_core_0 "9.278350515463918".
- 406509 cpu_core_0 "9.278350515463918".
- 407008 cpu_core_0 "9.278350515463918".
- 514767 cpu_core_0 "9.278350515463918".
- 517694 cpu_core_0 "9.278350515463918".
- 601139 cpu_core_0 "9.278350515463918".
- 601571 cpu_core_0 "9.278350515463918".
- 601973 cpu_core_0 "9.278350515463918".
- 612765 cpu_core_0 "9.278350515463918".
- 659531 cpu_core_0 "9.278350515463918".
- 659941 cpu_core_0 "9.278350515463918".
- 700546 cpu_core_0 "9.278350515463918".
- 702243 cpu_core_0 "9.278350515463918".
- 702253 cpu_core_0 "9.278350515463918".
- 702294 cpu_core_0 "9.278350515463918".
- 702311 cpu_core_0 "9.278350515463918".
- 702356 cpu_core_0 "9.278350515463918".
- 702477 cpu_core_0 "9.278350515463918".
- 702483 cpu_core_0 "9.278350515463918".
- 702495 cpu_core_0 "9.278350515463918".
- 702498 cpu_core_0 "9.278350515463918".
- 702568 cpu_core_0 "9.278350515463918".
- 702606 cpu_core_0 "9.278350515463918".
- 702679 cpu_core_0 "9.278350515463918".
- 702682 cpu_core_0 "9.278350515463918".
- 702698 cpu_core_0 "9.278350515463918".
- 702706 cpu_core_0 "9.278350515463918".
- 702715 cpu_core_0 "9.278350515463918".
- 702749 cpu_core_0 "9.278350515463918".
- 792043 cpu_core_0 "9.278350515463918".
- 796186 cpu_core_0 "9.278350515463918".
- 796300 cpu_core_0 "9.278350515463918".
- 796604 cpu_core_0 "9.278350515463918".
- 796630 cpu_core_0 "9.278350515463918".
- 902872 cpu_core_0 "9.278350515463918".
- 903968 cpu_core_0 "9.278350515463918".
- 903974 cpu_core_0 "9.278350515463918".
- 909590 cpu_core_0 "9.278350515463918".
- 909616 cpu_core_0 "9.278350515463918".
- 910104 cpu_core_0 "9.278350515463918".
- 910112 cpu_core_0 "9.278350515463918".
- 910173 cpu_core_0 "9.278350515463918".
- 910204 cpu_core_0 "9.278350515463918".
- 910206 cpu_core_0 "9.278350515463918".
- 994774 cpu_core_0 "9.278350515463918".
- 994897 cpu_core_0 "9.278350515463918".
- 1011688 cpu_core_1 "9.278350515463918".
- 1011844 cpu_core_1 "9.278350515463918".
- 1011855 cpu_core_1 "9.278350515463918".
- 1012141 cpu_core_1 "9.278350515463918".
- 1012168 cpu_core_1 "9.278350515463918".
- 1012215 cpu_core_1 "9.278350515463918".
- 1012236 cpu_core_1 "9.278350515463918".
- 1012710 cpu_core_1 "9.278350515463918".
- 1012880 cpu_core_1 "9.278350515463918".
- 1012952 cpu_core_1 "9.278350515463918".
- 1013009 cpu_core_1 "9.278350515463918".
- 1013080 cpu_core_1 "9.278350515463918".
- 1013345 cpu_core_1 "9.278350515463918".
- 1013363 cpu_core_1 "9.278350515463918".
- 1013433 cpu_core_1 "9.278350515463918".
- 1236257 cpu_core_1 "9.278350515463918".
- 1236908 cpu_core_1 "9.278350515463918".
- 1236954 cpu_core_1 "9.278350515463918".
- 1237106 cpu_core_1 "9.278350515463918".
- 1673406 cpu_core_1 "9.278350515463918".
- 1674311 cpu_core_1 "9.278350515463918".
- 1674582 cpu_core_1 "9.278350515463918".
- 1674900 cpu_core_1 "9.278350515463918".
- 1711824 cpu_core_1 "9.278350515463918".
- 1926411 cpu_core_1 "9.278350515463918".
- 222717 cpu_core_1 "9.278350515463918".
- 222825 cpu_core_1 "9.278350515463918".
- 252856 cpu_core_1 "9.278350515463918".
- 256634 cpu_core_1 "9.278350515463918".
- 260644 cpu_core_1 "9.278350515463918".
- 260723 cpu_core_1 "9.278350515463918".
- 260745 cpu_core_1 "9.278350515463918".
- 294950 cpu_core_1 "9.278350515463918".
- 295000 cpu_core_1 "9.278350515463918".
- 296718 cpu_core_1 "9.278350515463918".
- 305255 cpu_core_1 "9.278350515463918".
- 305356 cpu_core_1 "9.278350515463918".
- 363656 cpu_core_1 "9.278350515463918".
- 363791 cpu_core_1 "9.278350515463918".
- 404222 cpu_core_1 "9.278350515463918".
- 404348 cpu_core_1 "9.278350515463918".
- 515374 cpu_core_1 "9.278350515463918".
- 517302 cpu_core_1 "9.278350515463918".
- 517454 cpu_core_1 "9.278350515463918".
- 517463 cpu_core_1 "9.278350515463918".
- 533266 cpu_core_1 "9.278350515463918".
- 565949 cpu_core_1 "9.278350515463918".
- 600156 cpu_core_1 "9.278350515463918".
- 600160 cpu_core_1 "9.278350515463918".
- 600421 cpu_core_1 "9.278350515463918".