Matches in ISWC2014 Benchmark for { ?s ?p 16.000000000000004. }
- 1051945 cpu_core_0 "16.000000000000004".
- 1095877 cpu_core_0 "16.000000000000004".
- 1153831 cpu_core_0 "16.000000000000004".
- 1171526 cpu_core_0 "16.000000000000004".
- 1232759 cpu_core_0 "16.000000000000004".
- 1262615 cpu_core_0 "16.000000000000004".
- 1269231 cpu_core_0 "16.000000000000004".
- 1286419 cpu_core_0 "16.000000000000004".
- 1383735 cpu_core_0 "16.000000000000004".
- 1388160 cpu_core_0 "16.000000000000004".
- 1486741 cpu_core_0 "16.000000000000004".
- 1491911 cpu_core_0 "16.000000000000004".
- 1498977 cpu_core_0 "16.000000000000004".
- 1499275 cpu_core_0 "16.000000000000004".
- 1536109 cpu_core_0 "16.000000000000004".
- 1576942 cpu_core_0 "16.000000000000004".
- 1600568 cpu_core_0 "16.000000000000004".
- 1642349 cpu_core_0 "16.000000000000004".
- 1822304 cpu_core_0 "16.000000000000004".
- 1917801 cpu_core_0 "16.000000000000004".
- 1917816 cpu_core_0 "16.000000000000004".
- 1917863 cpu_core_0 "16.000000000000004".
- 1918003 cpu_core_0 "16.000000000000004".
- 1920313 cpu_core_0 "16.000000000000004".
- 1920527 cpu_core_0 "16.000000000000004".
- 1920921 cpu_core_0 "16.000000000000004".
- 1921985 cpu_core_0 "16.000000000000004".
- 1926875 cpu_core_0 "16.000000000000004".
- 208811 cpu_core_0 "16.000000000000004".
- 311479 cpu_core_0 "16.000000000000004".
- 313502 cpu_core_0 "16.000000000000004".
- 321711 cpu_core_0 "16.000000000000004".
- 323503 cpu_core_0 "16.000000000000004".
- 339816 cpu_core_0 "16.000000000000004".
- 349971 cpu_core_0 "16.000000000000004".
- 358985 cpu_core_0 "16.000000000000004".
- 408632 cpu_core_0 "16.000000000000004".
- 429239 cpu_core_0 "16.000000000000004".
- 472030 cpu_core_0 "16.000000000000004".
- 479210 cpu_core_0 "16.000000000000004".
- 492603 cpu_core_0 "16.000000000000004".
- 512526 cpu_core_0 "16.000000000000004".
- 513866 cpu_core_0 "16.000000000000004".
- 524244 cpu_core_0 "16.000000000000004".
- 525830 cpu_core_0 "16.000000000000004".
- 526015 cpu_core_0 "16.000000000000004".
- 527802 cpu_core_0 "16.000000000000004".
- 546622 cpu_core_0 "16.000000000000004".
- 547944 cpu_core_0 "16.000000000000004".
- 548816 cpu_core_0 "16.000000000000004".
- 551944 cpu_core_0 "16.000000000000004".
- 552575 cpu_core_0 "16.000000000000004".
- 569369 cpu_core_0 "16.000000000000004".
- 569755 cpu_core_0 "16.000000000000004".
- 570397 cpu_core_0 "16.000000000000004".
- 570557 cpu_core_0 "16.000000000000004".
- 589663 cpu_core_0 "16.000000000000004".
- 598146 cpu_core_0 "16.000000000000004".
- 635584 cpu_core_0 "16.000000000000004".
- 644498 cpu_core_0 "16.000000000000004".
- 656442 cpu_core_0 "16.000000000000004".
- 706907 cpu_core_0 "16.000000000000004".
- 711779 cpu_core_0 "16.000000000000004".
- 720386 cpu_core_0 "16.000000000000004".
- 730531 cpu_core_0 "16.000000000000004".
- 754304 cpu_core_0 "16.000000000000004".
- 758188 cpu_core_0 "16.000000000000004".
- 775759 cpu_core_0 "16.000000000000004".
- 796378 cpu_core_0 "16.000000000000004".
- 808147 cpu_core_0 "16.000000000000004".
- 835172 cpu_core_0 "16.000000000000004".
- 845310 cpu_core_0 "16.000000000000004".
- 847145 cpu_core_0 "16.000000000000004".
- 855814 cpu_core_0 "16.000000000000004".
- 877987 cpu_core_0 "16.000000000000004".
- 921830 cpu_core_0 "16.000000000000004".
- 927236 cpu_core_0 "16.000000000000004".
- 940401 cpu_core_0 "16.000000000000004".
- 941182 cpu_core_0 "16.000000000000004".
- 941671 cpu_core_0 "16.000000000000004".
- 943420 cpu_core_0 "16.000000000000004".
- 946533 cpu_core_0 "16.000000000000004".
- 948218 cpu_core_0 "16.000000000000004".
- 960145 cpu_core_0 "16.000000000000004".
- 970475 cpu_core_0 "16.000000000000004".
- 971891 cpu_core_0 "16.000000000000004".
- 992644 cpu_core_0 "16.000000000000004".
- 992701 cpu_core_0 "16.000000000000004".
- 992774 cpu_core_0 "16.000000000000004".
- 992786 cpu_core_0 "16.000000000000004".
- 1009346 cpu_core_1 "16.000000000000004".
- 1010578 cpu_core_1 "16.000000000000004".
- 1010816 cpu_core_1 "16.000000000000004".
- 1010921 cpu_core_1 "16.000000000000004".
- 1010929 cpu_core_1 "16.000000000000004".
- 1010936 cpu_core_1 "16.000000000000004".
- 1011085 cpu_core_1 "16.000000000000004".
- 1011211 cpu_core_1 "16.000000000000004".
- 1040751 cpu_core_1 "16.000000000000004".
- 1074362 cpu_core_1 "16.000000000000004".