Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 594283 cpu_core_0 "5.88235294117647".
- 595644 cpu_core_0 "5.88235294117647".
- 598257 cpu_core_0 "5.88235294117647".
- 600403 cpu_core_0 "5.88235294117647".
- 602772 cpu_core_0 "5.88235294117647".
- 605257 cpu_core_0 "5.88235294117647".
- 606035 cpu_core_0 "5.88235294117647".
- 607269 cpu_core_0 "5.88235294117647".
- 609565 cpu_core_0 "5.88235294117647".
- 612122 cpu_core_0 "5.88235294117647".
- 612633 cpu_core_0 "5.88235294117647".
- 614483 cpu_core_0 "5.88235294117647".
- 617528 cpu_core_0 "5.88235294117647".
- 618093 cpu_core_0 "5.88235294117647".
- 626877 cpu_core_0 "5.88235294117647".
- 630611 cpu_core_0 "5.88235294117647".
- 630777 cpu_core_0 "5.88235294117647".
- 631532 cpu_core_0 "5.88235294117647".
- 632082 cpu_core_0 "5.88235294117647".
- 632369 cpu_core_0 "5.88235294117647".
- 634533 cpu_core_0 "5.88235294117647".
- 637097 cpu_core_0 "5.88235294117647".
- 640929 cpu_core_0 "5.88235294117647".
- 641458 cpu_core_0 "5.88235294117647".
- 642810 cpu_core_0 "5.88235294117647".
- 645589 cpu_core_0 "5.88235294117647".
- 649573 cpu_core_0 "5.88235294117647".
- 651012 cpu_core_0 "5.88235294117647".
- 655979 cpu_core_0 "5.88235294117647".
- 670616 cpu_core_0 "5.88235294117647".
- 700565 cpu_core_0 "5.88235294117647".
- 701302 cpu_core_0 "5.88235294117647".
- 701307 cpu_core_0 "5.88235294117647".
- 701435 cpu_core_0 "5.88235294117647".
- 701924 cpu_core_0 "5.88235294117647".
- 702026 cpu_core_0 "5.88235294117647".
- 705896 cpu_core_0 "5.88235294117647".
- 712736 cpu_core_0 "5.88235294117647".
- 714592 cpu_core_0 "5.88235294117647".
- 715085 cpu_core_0 "5.88235294117647".
- 717756 cpu_core_0 "5.88235294117647".
- 720314 cpu_core_0 "5.88235294117647".
- 723251 cpu_core_0 "5.88235294117647".
- 724268 cpu_core_0 "5.88235294117647".
- 725038 cpu_core_0 "5.88235294117647".
- 726167 cpu_core_0 "5.88235294117647".
- 727821 cpu_core_0 "5.88235294117647".
- 733706 cpu_core_0 "5.88235294117647".
- 737955 cpu_core_0 "5.88235294117647".
- 743775 cpu_core_0 "5.88235294117647".
- 744264 cpu_core_0 "5.88235294117647".
- 745110 cpu_core_0 "5.88235294117647".
- 745867 cpu_core_0 "5.88235294117647".
- 746801 cpu_core_0 "5.88235294117647".
- 749267 cpu_core_0 "5.88235294117647".
- 749766 cpu_core_0 "5.88235294117647".
- 750983 cpu_core_0 "5.88235294117647".
- 751366 cpu_core_0 "5.88235294117647".
- 752225 cpu_core_0 "5.88235294117647".
- 758989 cpu_core_0 "5.88235294117647".
- 765396 cpu_core_0 "5.88235294117647".
- 766121 cpu_core_0 "5.88235294117647".
- 769317 cpu_core_0 "5.88235294117647".
- 777986 cpu_core_0 "5.88235294117647".
- 781095 cpu_core_0 "5.88235294117647".
- 781562 cpu_core_0 "5.88235294117647".
- 782638 cpu_core_0 "5.88235294117647".
- 783156 cpu_core_0 "5.88235294117647".
- 784714 cpu_core_0 "5.88235294117647".
- 788646 cpu_core_0 "5.88235294117647".
- 793787 cpu_core_0 "5.88235294117647".
- 806302 cpu_core_0 "5.88235294117647".
- 813238 cpu_core_0 "5.88235294117647".
- 818931 cpu_core_0 "5.88235294117647".
- 820222 cpu_core_0 "5.88235294117647".
- 832973 cpu_core_0 "5.88235294117647".
- 834858 cpu_core_0 "5.88235294117647".
- 835530 cpu_core_0 "5.88235294117647".
- 843363 cpu_core_0 "5.88235294117647".
- 843464 cpu_core_0 "5.88235294117647".
- 849101 cpu_core_0 "5.88235294117647".
- 850267 cpu_core_0 "5.88235294117647".
- 852030 cpu_core_0 "5.88235294117647".
- 853289 cpu_core_0 "5.88235294117647".
- 857987 cpu_core_0 "5.88235294117647".
- 858271 cpu_core_0 "5.88235294117647".
- 865038 cpu_core_0 "5.88235294117647".
- 868079 cpu_core_0 "5.88235294117647".
- 869009 cpu_core_0 "5.88235294117647".
- 869134 cpu_core_0 "5.88235294117647".
- 871560 cpu_core_0 "5.88235294117647".
- 877677 cpu_core_0 "5.88235294117647".
- 877777 cpu_core_0 "5.88235294117647".
- 878287 cpu_core_0 "5.88235294117647".
- 885740 cpu_core_0 "5.88235294117647".
- 886502 cpu_core_0 "5.88235294117647".
- 888276 cpu_core_0 "5.88235294117647".
- 889838 cpu_core_0 "5.88235294117647".
- 893576 cpu_core_0 "5.88235294117647".
- 902590 cpu_core_0 "5.88235294117647".