Matches in ISWC2014 Benchmark for { ?s ?p 3.9215686274509802. }
- 1979013 cpu_core_0 "3.9215686274509802".
- 1980901 cpu_core_0 "3.9215686274509802".
- 198193 cpu_core_0 "3.9215686274509802".
- 1986511 cpu_core_0 "3.9215686274509802".
- 1987007 cpu_core_0 "3.9215686274509802".
- 19882 cpu_core_0 "3.9215686274509802".
- 1990190 cpu_core_0 "3.9215686274509802".
- 1990229 cpu_core_0 "3.9215686274509802".
- 1990257 cpu_core_0 "3.9215686274509802".
- 199071 cpu_core_0 "3.9215686274509802".
- 1990860 cpu_core_0 "3.9215686274509802".
- 1992299 cpu_core_0 "3.9215686274509802".
- 1992606 cpu_core_0 "3.9215686274509802".
- 199762 cpu_core_0 "3.9215686274509802".
- 199820 cpu_core_0 "3.9215686274509802".
- 200419 cpu_core_0 "3.9215686274509802".
- 200543 cpu_core_0 "3.9215686274509802".
- 201432 cpu_core_0 "3.9215686274509802".
- 2017091 cpu_core_0 "3.9215686274509802".
- 2022085 cpu_core_0 "3.9215686274509802".
- 2022469 cpu_core_0 "3.9215686274509802".
- 2022760 cpu_core_0 "3.9215686274509802".
- 2031810 cpu_core_0 "3.9215686274509802".
- 2032376 cpu_core_0 "3.9215686274509802".
- 2033469 cpu_core_0 "3.9215686274509802".
- 2038516 cpu_core_0 "3.9215686274509802".
- 2041811 cpu_core_0 "3.9215686274509802".
- 2043492 cpu_core_0 "3.9215686274509802".
- 204553 cpu_core_0 "3.9215686274509802".
- 204621 cpu_core_0 "3.9215686274509802".
- 2047728 cpu_core_0 "3.9215686274509802".
- 2051541 cpu_core_0 "3.9215686274509802".
- 205184 cpu_core_0 "3.9215686274509802".
- 205852 cpu_core_0 "3.9215686274509802".
- 2061754 cpu_core_0 "3.9215686274509802".
- 2061877 cpu_core_0 "3.9215686274509802".
- 2062116 cpu_core_0 "3.9215686274509802".
- 2063900 cpu_core_0 "3.9215686274509802".
- 2063924 cpu_core_0 "3.9215686274509802".
- 2065372 cpu_core_0 "3.9215686274509802".
- 206541 cpu_core_0 "3.9215686274509802".
- 2065453 cpu_core_0 "3.9215686274509802".
- 2065847 cpu_core_0 "3.9215686274509802".
- 2065918 cpu_core_0 "3.9215686274509802".
- 2065985 cpu_core_0 "3.9215686274509802".
- 2066529 cpu_core_0 "3.9215686274509802".
- 2066871 cpu_core_0 "3.9215686274509802".
- 2066874 cpu_core_0 "3.9215686274509802".
- 2067993 cpu_core_0 "3.9215686274509802".
- 2068379 cpu_core_0 "3.9215686274509802".
- 2068437 cpu_core_0 "3.9215686274509802".
- 2068561 cpu_core_0 "3.9215686274509802".
- 2068578 cpu_core_0 "3.9215686274509802".
- 2069092 cpu_core_0 "3.9215686274509802".
- 2069496 cpu_core_0 "3.9215686274509802".
- 2069514 cpu_core_0 "3.9215686274509802".
- 2069585 cpu_core_0 "3.9215686274509802".
- 2069625 cpu_core_0 "3.9215686274509802".
- 2070507 cpu_core_0 "3.9215686274509802".
- 2070619 cpu_core_0 "3.9215686274509802".
- 2071105 cpu_core_0 "3.9215686274509802".
- 2071972 cpu_core_0 "3.9215686274509802".
- 2071984 cpu_core_0 "3.9215686274509802".
- 2072049 cpu_core_0 "3.9215686274509802".
- 2072087 cpu_core_0 "3.9215686274509802".
- 2072096 cpu_core_0 "3.9215686274509802".
- 2072133 cpu_core_0 "3.9215686274509802".
- 2072174 cpu_core_0 "3.9215686274509802".
- 2073265 cpu_core_0 "3.9215686274509802".
- 2073349 cpu_core_0 "3.9215686274509802".
- 2073352 cpu_core_0 "3.9215686274509802".
- 207425 cpu_core_0 "3.9215686274509802".
- 2074620 cpu_core_0 "3.9215686274509802".
- 2075527 cpu_core_0 "3.9215686274509802".
- 2075595 cpu_core_0 "3.9215686274509802".
- 2075864 cpu_core_0 "3.9215686274509802".
- 2075942 cpu_core_0 "3.9215686274509802".
- 2076383 cpu_core_0 "3.9215686274509802".
- 2076388 cpu_core_0 "3.9215686274509802".
- 2077178 cpu_core_0 "3.9215686274509802".
- 2077212 cpu_core_0 "3.9215686274509802".
- 207744 cpu_core_0 "3.9215686274509802".
- 2077652 cpu_core_0 "3.9215686274509802".
- 207933 cpu_core_0 "3.9215686274509802".
- 207958 cpu_core_0 "3.9215686274509802".
- 208788 cpu_core_0 "3.9215686274509802".
- 209018 cpu_core_0 "3.9215686274509802".
- 209114 cpu_core_0 "3.9215686274509802".
- 2105 cpu_core_0 "3.9215686274509802".
- 2196 cpu_core_0 "3.9215686274509802".
- 223212 cpu_core_0 "3.9215686274509802".
- 223324 cpu_core_0 "3.9215686274509802".
- 223366 cpu_core_0 "3.9215686274509802".
- 223402 cpu_core_0 "3.9215686274509802".
- 22950 cpu_core_0 "3.9215686274509802".
- 232396 cpu_core_0 "3.9215686274509802".
- 232611 cpu_core_0 "3.9215686274509802".
- 232625 cpu_core_0 "3.9215686274509802".
- 23358 cpu_core_0 "3.9215686274509802".
- 2439 cpu_core_0 "3.9215686274509802".