Matches in ISWC2014 Benchmark for { ?s ?p 19.000000000000004. }
- 1008597 cpu_core_0 "19.000000000000004".
- 1010350 cpu_core_0 "19.000000000000004".
- 1010507 cpu_core_0 "19.000000000000004".
- 1010947 cpu_core_0 "19.000000000000004".
- 1024014 cpu_core_0 "19.000000000000004".
- 1046626 cpu_core_0 "19.000000000000004".
- 1651368 cpu_core_0 "19.000000000000004".
- 1674278 cpu_core_0 "19.000000000000004".
- 1809467 cpu_core_0 "19.000000000000004".
- 1890334 cpu_core_0 "19.000000000000004".
- 1921638 cpu_core_0 "19.000000000000004".
- 1922181 cpu_core_0 "19.000000000000004".
- 209140 cpu_core_0 "19.000000000000004".
- 221991 cpu_core_0 "19.000000000000004".
- 309076 cpu_core_0 "19.000000000000004".
- 324253 cpu_core_0 "19.000000000000004".
- 325306 cpu_core_0 "19.000000000000004".
- 326476 cpu_core_0 "19.000000000000004".
- 348545 cpu_core_0 "19.000000000000004".
- 356754 cpu_core_0 "19.000000000000004".
- 419558 cpu_core_0 "19.000000000000004".
- 428140 cpu_core_0 "19.000000000000004".
- 429317 cpu_core_0 "19.000000000000004".
- 440062 cpu_core_0 "19.000000000000004".
- 443941 cpu_core_0 "19.000000000000004".
- 455891 cpu_core_0 "19.000000000000004".
- 461758 cpu_core_0 "19.000000000000004".
- 507937 cpu_core_0 "19.000000000000004".
- 531687 cpu_core_0 "19.000000000000004".
- 542107 cpu_core_0 "19.000000000000004".
- 550079 cpu_core_0 "19.000000000000004".
- 552034 cpu_core_0 "19.000000000000004".
- 552334 cpu_core_0 "19.000000000000004".
- 560260 cpu_core_0 "19.000000000000004".
- 560301 cpu_core_0 "19.000000000000004".
- 561733 cpu_core_0 "19.000000000000004".
- 562548 cpu_core_0 "19.000000000000004".
- 587517 cpu_core_0 "19.000000000000004".
- 592386 cpu_core_0 "19.000000000000004".
- 614783 cpu_core_0 "19.000000000000004".
- 630924 cpu_core_0 "19.000000000000004".
- 664755 cpu_core_0 "19.000000000000004".
- 706035 cpu_core_0 "19.000000000000004".
- 723246 cpu_core_0 "19.000000000000004".
- 731598 cpu_core_0 "19.000000000000004".
- 780434 cpu_core_0 "19.000000000000004".
- 793006 cpu_core_0 "19.000000000000004".
- 795293 cpu_core_0 "19.000000000000004".
- 820100 cpu_core_0 "19.000000000000004".
- 820301 cpu_core_0 "19.000000000000004".
- 836046 cpu_core_0 "19.000000000000004".
- 843619 cpu_core_0 "19.000000000000004".
- 884367 cpu_core_0 "19.000000000000004".
- 886020 cpu_core_0 "19.000000000000004".
- 913399 cpu_core_0 "19.000000000000004".
- 939644 cpu_core_0 "19.000000000000004".
- 945155 cpu_core_0 "19.000000000000004".
- 951768 cpu_core_0 "19.000000000000004".
- 960766 cpu_core_0 "19.000000000000004".
- 962487 cpu_core_0 "19.000000000000004".
- 965075 cpu_core_0 "19.000000000000004".
- 973991 cpu_core_0 "19.000000000000004".
- 976157 cpu_core_0 "19.000000000000004".
- 977816 cpu_core_0 "19.000000000000004".
- 1009754 cpu_core_1 "19.000000000000004".
- 1242553 cpu_core_1 "19.000000000000004".
- 1245307 cpu_core_1 "19.000000000000004".
- 1446862 cpu_core_1 "19.000000000000004".
- 1627237 cpu_core_1 "19.000000000000004".
- 1872077 cpu_core_1 "19.000000000000004".
- 325372 cpu_core_1 "19.000000000000004".
- 403045 cpu_core_1 "19.000000000000004".
- 507867 cpu_core_1 "19.000000000000004".
- 512675 cpu_core_1 "19.000000000000004".
- 534147 cpu_core_1 "19.000000000000004".
- 535129 cpu_core_1 "19.000000000000004".
- 547378 cpu_core_1 "19.000000000000004".
- 551213 cpu_core_1 "19.000000000000004".
- 586653 cpu_core_1 "19.000000000000004".
- 635471 cpu_core_1 "19.000000000000004".
- 656934 cpu_core_1 "19.000000000000004".
- 698375 cpu_core_1 "19.000000000000004".
- 698398 cpu_core_1 "19.000000000000004".
- 716165 cpu_core_1 "19.000000000000004".
- 899194 cpu_core_1 "19.000000000000004".
- 990557 cpu_core_1 "19.000000000000004".
- 991357 cpu_core_1 "19.000000000000004".
- 992488 cpu_core_1 "19.000000000000004".
- 1009630 cpu_core_2 "19.000000000000004".
- 1010731 cpu_core_2 "19.000000000000004".
- 1010901 cpu_core_2 "19.000000000000004".
- 1306806 cpu_core_2 "19.000000000000004".
- 1588815 cpu_core_2 "19.000000000000004".
- 1630996 cpu_core_2 "19.000000000000004".
- 1668802 cpu_core_2 "19.000000000000004".
- 1919898 cpu_core_2 "19.000000000000004".
- 520457 cpu_core_2 "19.000000000000004".
- 656714 cpu_core_2 "19.000000000000004".
- 697813 cpu_core_2 "19.000000000000004".
- 715836 cpu_core_2 "19.000000000000004".