Matches in ISWC2014 Benchmark for { ?s ?p 13.402061855670103. }
- 515934 cpu_core_3 "13.402061855670103".
- 516200 cpu_core_3 "13.402061855670103".
- 516265 cpu_core_3 "13.402061855670103".
- 516740 cpu_core_3 "13.402061855670103".
- 517177 cpu_core_3 "13.402061855670103".
- 517545 cpu_core_3 "13.402061855670103".
- 517581 cpu_core_3 "13.402061855670103".
- 517595 cpu_core_3 "13.402061855670103".
- 591617 cpu_core_3 "13.402061855670103".
- 598723 cpu_core_3 "13.402061855670103".
- 600370 cpu_core_3 "13.402061855670103".
- 600779 cpu_core_3 "13.402061855670103".
- 602336 cpu_core_3 "13.402061855670103".
- 602850 cpu_core_3 "13.402061855670103".
- 619047 cpu_core_3 "13.402061855670103".
- 629738 cpu_core_3 "13.402061855670103".
- 638277 cpu_core_3 "13.402061855670103".
- 649669 cpu_core_3 "13.402061855670103".
- 658728 cpu_core_3 "13.402061855670103".
- 658956 cpu_core_3 "13.402061855670103".
- 659659 cpu_core_3 "13.402061855670103".
- 659724 cpu_core_3 "13.402061855670103".
- 659966 cpu_core_3 "13.402061855670103".
- 698280 cpu_core_3 "13.402061855670103".
- 698300 cpu_core_3 "13.402061855670103".
- 698443 cpu_core_3 "13.402061855670103".
- 698509 cpu_core_3 "13.402061855670103".
- 698744 cpu_core_3 "13.402061855670103".
- 698750 cpu_core_3 "13.402061855670103".
- 698903 cpu_core_3 "13.402061855670103".
- 699085 cpu_core_3 "13.402061855670103".
- 699111 cpu_core_3 "13.402061855670103".
- 699244 cpu_core_3 "13.402061855670103".
- 699614 cpu_core_3 "13.402061855670103".
- 699653 cpu_core_3 "13.402061855670103".
- 700018 cpu_core_3 "13.402061855670103".
- 700100 cpu_core_3 "13.402061855670103".
- 700155 cpu_core_3 "13.402061855670103".
- 700210 cpu_core_3 "13.402061855670103".
- 700420 cpu_core_3 "13.402061855670103".
- 709325 cpu_core_3 "13.402061855670103".
- 752241 cpu_core_3 "13.402061855670103".
- 763004 cpu_core_3 "13.402061855670103".
- 791489 cpu_core_3 "13.402061855670103".
- 792116 cpu_core_3 "13.402061855670103".
- 792325 cpu_core_3 "13.402061855670103".
- 792516 cpu_core_3 "13.402061855670103".
- 902729 cpu_core_3 "13.402061855670103".
- 903700 cpu_core_3 "13.402061855670103".
- 903734 cpu_core_3 "13.402061855670103".
- 903912 cpu_core_3 "13.402061855670103".
- 903925 cpu_core_3 "13.402061855670103".
- 904566 cpu_core_3 "13.402061855670103".
- 905176 cpu_core_3 "13.402061855670103".
- 909289 cpu_core_3 "13.402061855670103".
- 909309 cpu_core_3 "13.402061855670103".
- 909766 cpu_core_3 "13.402061855670103".
- 909812 cpu_core_3 "13.402061855670103".
- 909813 cpu_core_3 "13.402061855670103".
- 927798 cpu_core_3 "13.402061855670103".
- 993331 cpu_core_3 "13.402061855670103".
- 993340 cpu_core_3 "13.402061855670103".
- 993516 cpu_core_3 "13.402061855670103".
- 993983 cpu_core_3 "13.402061855670103".
- 994133 cpu_core_3 "13.402061855670103".
- 994172 cpu_core_3 "13.402061855670103".