Matches in ISWC2014 Benchmark for { ?s ?p 11.000000000000002. }
- 1673362 cpu_core_3 "11.000000000000002".
- 1673551 cpu_core_3 "11.000000000000002".
- 1673565 cpu_core_3 "11.000000000000002".
- 1691311 cpu_core_3 "11.000000000000002".
- 1692728 cpu_core_3 "11.000000000000002".
- 1709602 cpu_core_3 "11.000000000000002".
- 1709973 cpu_core_3 "11.000000000000002".
- 1740566 cpu_core_3 "11.000000000000002".
- 1793359 cpu_core_3 "11.000000000000002".
- 1913499 cpu_core_3 "11.000000000000002".
- 1913564 cpu_core_3 "11.000000000000002".
- 1913579 cpu_core_3 "11.000000000000002".
- 1913772 cpu_core_3 "11.000000000000002".
- 1913822 cpu_core_3 "11.000000000000002".
- 1914751 cpu_core_3 "11.000000000000002".
- 1914825 cpu_core_3 "11.000000000000002".
- 1914884 cpu_core_3 "11.000000000000002".
- 1915305 cpu_core_3 "11.000000000000002".
- 1915417 cpu_core_3 "11.000000000000002".
- 1915773 cpu_core_3 "11.000000000000002".
- 1915830 cpu_core_3 "11.000000000000002".
- 1915875 cpu_core_3 "11.000000000000002".
- 1915881 cpu_core_3 "11.000000000000002".
- 1915976 cpu_core_3 "11.000000000000002".
- 1916314 cpu_core_3 "11.000000000000002".
- 1916434 cpu_core_3 "11.000000000000002".
- 1916554 cpu_core_3 "11.000000000000002".
- 1916671 cpu_core_3 "11.000000000000002".
- 1916782 cpu_core_3 "11.000000000000002".
- 1917085 cpu_core_3 "11.000000000000002".
- 1917312 cpu_core_3 "11.000000000000002".
- 1917345 cpu_core_3 "11.000000000000002".
- 1917393 cpu_core_3 "11.000000000000002".
- 1917898 cpu_core_3 "11.000000000000002".
- 1918063 cpu_core_3 "11.000000000000002".
- 1918382 cpu_core_3 "11.000000000000002".
- 1918399 cpu_core_3 "11.000000000000002".
- 1918589 cpu_core_3 "11.000000000000002".
- 1918696 cpu_core_3 "11.000000000000002".
- 1918719 cpu_core_3 "11.000000000000002".
- 1918750 cpu_core_3 "11.000000000000002".
- 1918823 cpu_core_3 "11.000000000000002".
- 1919068 cpu_core_3 "11.000000000000002".
- 1919347 cpu_core_3 "11.000000000000002".
- 1919420 cpu_core_3 "11.000000000000002".
- 1920162 cpu_core_3 "11.000000000000002".
- 1920353 cpu_core_3 "11.000000000000002".
- 1920486 cpu_core_3 "11.000000000000002".
- 1920572 cpu_core_3 "11.000000000000002".
- 2077382 cpu_core_3 "11.000000000000002".
- 209751 cpu_core_3 "11.000000000000002".
- 217095 cpu_core_3 "11.000000000000002".
- 218387 cpu_core_3 "11.000000000000002".
- 220582 cpu_core_3 "11.000000000000002".
- 221118 cpu_core_3 "11.000000000000002".
- 221325 cpu_core_3 "11.000000000000002".
- 229531 cpu_core_3 "11.000000000000002".
- 232987 cpu_core_3 "11.000000000000002".
- 236096 cpu_core_3 "11.000000000000002".
- 237370 cpu_core_3 "11.000000000000002".
- 237752 cpu_core_3 "11.000000000000002".
- 242024 cpu_core_3 "11.000000000000002".
- 242341 cpu_core_3 "11.000000000000002".
- 243928 cpu_core_3 "11.000000000000002".
- 245435 cpu_core_3 "11.000000000000002".
- 246020 cpu_core_3 "11.000000000000002".
- 246570 cpu_core_3 "11.000000000000002".
- 246713 cpu_core_3 "11.000000000000002".
- 247683 cpu_core_3 "11.000000000000002".
- 247712 cpu_core_3 "11.000000000000002".
- 247751 cpu_core_3 "11.000000000000002".
- 247787 cpu_core_3 "11.000000000000002".
- 247791 cpu_core_3 "11.000000000000002".
- 247859 cpu_core_3 "11.000000000000002".
- 248160 cpu_core_3 "11.000000000000002".
- 250418 cpu_core_3 "11.000000000000002".
- 252904 cpu_core_3 "11.000000000000002".
- 255335 cpu_core_3 "11.000000000000002".
- 256383 cpu_core_3 "11.000000000000002".
- 256414 cpu_core_3 "11.000000000000002".
- 256431 cpu_core_3 "11.000000000000002".
- 256465 cpu_core_3 "11.000000000000002".
- 256503 cpu_core_3 "11.000000000000002".
- 256520 cpu_core_3 "11.000000000000002".
- 256561 cpu_core_3 "11.000000000000002".
- 256706 cpu_core_3 "11.000000000000002".
- 257859 cpu_core_3 "11.000000000000002".
- 259639 cpu_core_3 "11.000000000000002".
- 263647 cpu_core_3 "11.000000000000002".
- 265525 cpu_core_3 "11.000000000000002".
- 266843 cpu_core_3 "11.000000000000002".
- 267365 cpu_core_3 "11.000000000000002".
- 268346 cpu_core_3 "11.000000000000002".
- 269425 cpu_core_3 "11.000000000000002".
- 272573 cpu_core_3 "11.000000000000002".
- 274319 cpu_core_3 "11.000000000000002".
- 274824 cpu_core_3 "11.000000000000002".
- 275166 cpu_core_3 "11.000000000000002".
- 278288 cpu_core_3 "11.000000000000002".
- 281591 cpu_core_3 "11.000000000000002".