Matches in ISWC2014 Benchmark for { ?s ?p 57.00000000000001. }
- 800343 cpu_core_0 "57.00000000000001".
- 800442 cpu_core_0 "57.00000000000001".
- 800585 cpu_core_0 "57.00000000000001".
- 800720 cpu_core_0 "57.00000000000001".
- 800860 cpu_core_0 "57.00000000000001".
- 800891 cpu_core_0 "57.00000000000001".
- 800913 cpu_core_0 "57.00000000000001".
- 800941 cpu_core_0 "57.00000000000001".
- 801442 cpu_core_0 "57.00000000000001".
- 801705 cpu_core_0 "57.00000000000001".
- 801952 cpu_core_0 "57.00000000000001".
- 801960 cpu_core_0 "57.00000000000001".
- 802068 cpu_core_0 "57.00000000000001".
- 802311 cpu_core_0 "57.00000000000001".
- 802372 cpu_core_0 "57.00000000000001".
- 802690 cpu_core_0 "57.00000000000001".
- 802878 cpu_core_0 "57.00000000000001".
- 802885 cpu_core_0 "57.00000000000001".
- 802926 cpu_core_0 "57.00000000000001".
- 803023 cpu_core_0 "57.00000000000001".
- 803176 cpu_core_0 "57.00000000000001".
- 803223 cpu_core_0 "57.00000000000001".
- 803539 cpu_core_0 "57.00000000000001".
- 803677 cpu_core_0 "57.00000000000001".
- 803686 cpu_core_0 "57.00000000000001".
- 803726 cpu_core_0 "57.00000000000001".
- 803830 cpu_core_0 "57.00000000000001".
- 804235 cpu_core_0 "57.00000000000001".
- 804618 cpu_core_0 "57.00000000000001".
- 804784 cpu_core_0 "57.00000000000001".
- 804880 cpu_core_0 "57.00000000000001".
- 804906 cpu_core_0 "57.00000000000001".
- 805067 cpu_core_0 "57.00000000000001".
- 805183 cpu_core_0 "57.00000000000001".
- 805384 cpu_core_0 "57.00000000000001".
- 805395 cpu_core_0 "57.00000000000001".
- 805397 cpu_core_0 "57.00000000000001".
- 805422 cpu_core_0 "57.00000000000001".
- 805499 cpu_core_0 "57.00000000000001".
- 805515 cpu_core_0 "57.00000000000001".
- 805680 cpu_core_0 "57.00000000000001".
- 805986 cpu_core_0 "57.00000000000001".
- 806245 cpu_core_0 "57.00000000000001".
- 806260 cpu_core_0 "57.00000000000001".
- 806470 cpu_core_0 "57.00000000000001".
- 806550 cpu_core_0 "57.00000000000001".
- 806789 cpu_core_0 "57.00000000000001".
- 806889 cpu_core_0 "57.00000000000001".
- 806924 cpu_core_0 "57.00000000000001".
- 807044 cpu_core_0 "57.00000000000001".
- 807109 cpu_core_0 "57.00000000000001".
- 807140 cpu_core_0 "57.00000000000001".
- 807302 cpu_core_0 "57.00000000000001".
- 807453 cpu_core_0 "57.00000000000001".
- 808021 cpu_core_0 "57.00000000000001".
- 808072 cpu_core_0 "57.00000000000001".
- 808200 cpu_core_0 "57.00000000000001".
- 808219 cpu_core_0 "57.00000000000001".
- 808229 cpu_core_0 "57.00000000000001".
- 808293 cpu_core_0 "57.00000000000001".
- 808308 cpu_core_0 "57.00000000000001".
- 808568 cpu_core_0 "57.00000000000001".
- 808576 cpu_core_0 "57.00000000000001".
- 808650 cpu_core_0 "57.00000000000001".
- 808721 cpu_core_0 "57.00000000000001".
- 808722 cpu_core_0 "57.00000000000001".
- 809015 cpu_core_0 "57.00000000000001".
- 809078 cpu_core_0 "57.00000000000001".
- 809187 cpu_core_0 "57.00000000000001".
- 809196 cpu_core_0 "57.00000000000001".
- 809281 cpu_core_0 "57.00000000000001".
- 809606 cpu_core_0 "57.00000000000001".
- 809752 cpu_core_0 "57.00000000000001".
- 809866 cpu_core_0 "57.00000000000001".
- 809917 cpu_core_0 "57.00000000000001".
- 810021 cpu_core_0 "57.00000000000001".
- 810181 cpu_core_0 "57.00000000000001".
- 810504 cpu_core_0 "57.00000000000001".
- 810507 cpu_core_0 "57.00000000000001".
- 810794 cpu_core_0 "57.00000000000001".
- 810811 cpu_core_0 "57.00000000000001".
- 810814 cpu_core_0 "57.00000000000001".
- 811022 cpu_core_0 "57.00000000000001".
- 811062 cpu_core_0 "57.00000000000001".
- 811086 cpu_core_0 "57.00000000000001".
- 811090 cpu_core_0 "57.00000000000001".
- 811203 cpu_core_0 "57.00000000000001".
- 811441 cpu_core_0 "57.00000000000001".
- 811444 cpu_core_0 "57.00000000000001".
- 811476 cpu_core_0 "57.00000000000001".
- 811484 cpu_core_0 "57.00000000000001".
- 811501 cpu_core_0 "57.00000000000001".
- 811619 cpu_core_0 "57.00000000000001".
- 811846 cpu_core_0 "57.00000000000001".
- 811925 cpu_core_0 "57.00000000000001".
- 812031 cpu_core_0 "57.00000000000001".
- 812157 cpu_core_0 "57.00000000000001".
- 812330 cpu_core_0 "57.00000000000001".
- 812537 cpu_core_0 "57.00000000000001".
- 812673 cpu_core_0 "57.00000000000001".