Matches in ISWC2014 Benchmark for { ?s ?p 15.000000000000002. }
- 759390 cpu_core_0 "15.000000000000002".
- 759465 cpu_core_0 "15.000000000000002".
- 759474 cpu_core_0 "15.000000000000002".
- 759615 cpu_core_0 "15.000000000000002".
- 759697 cpu_core_0 "15.000000000000002".
- 759802 cpu_core_0 "15.000000000000002".
- 760103 cpu_core_0 "15.000000000000002".
- 760547 cpu_core_0 "15.000000000000002".
- 760849 cpu_core_0 "15.000000000000002".
- 761048 cpu_core_0 "15.000000000000002".
- 761139 cpu_core_0 "15.000000000000002".
- 761701 cpu_core_0 "15.000000000000002".
- 762131 cpu_core_0 "15.000000000000002".
- 762333 cpu_core_0 "15.000000000000002".
- 762686 cpu_core_0 "15.000000000000002".
- 762938 cpu_core_0 "15.000000000000002".
- 763360 cpu_core_0 "15.000000000000002".
- 763976 cpu_core_0 "15.000000000000002".
- 764466 cpu_core_0 "15.000000000000002".
- 765092 cpu_core_0 "15.000000000000002".
- 765159 cpu_core_0 "15.000000000000002".
- 765521 cpu_core_0 "15.000000000000002".
- 765969 cpu_core_0 "15.000000000000002".
- 765992 cpu_core_0 "15.000000000000002".
- 766111 cpu_core_0 "15.000000000000002".
- 766232 cpu_core_0 "15.000000000000002".
- 766370 cpu_core_0 "15.000000000000002".
- 766687 cpu_core_0 "15.000000000000002".
- 766987 cpu_core_0 "15.000000000000002".
- 767008 cpu_core_0 "15.000000000000002".
- 767386 cpu_core_0 "15.000000000000002".
- 767732 cpu_core_0 "15.000000000000002".
- 768195 cpu_core_0 "15.000000000000002".
- 769083 cpu_core_0 "15.000000000000002".
- 769096 cpu_core_0 "15.000000000000002".
- 769459 cpu_core_0 "15.000000000000002".
- 769478 cpu_core_0 "15.000000000000002".
- 769675 cpu_core_0 "15.000000000000002".
- 769730 cpu_core_0 "15.000000000000002".
- 769786 cpu_core_0 "15.000000000000002".
- 770496 cpu_core_0 "15.000000000000002".
- 770565 cpu_core_0 "15.000000000000002".
- 771505 cpu_core_0 "15.000000000000002".
- 771876 cpu_core_0 "15.000000000000002".
- 772788 cpu_core_0 "15.000000000000002".
- 773016 cpu_core_0 "15.000000000000002".
- 773731 cpu_core_0 "15.000000000000002".
- 774578 cpu_core_0 "15.000000000000002".
- 775426 cpu_core_0 "15.000000000000002".
- 775609 cpu_core_0 "15.000000000000002".
- 775616 cpu_core_0 "15.000000000000002".
- 776950 cpu_core_0 "15.000000000000002".
- 777115 cpu_core_0 "15.000000000000002".
- 777673 cpu_core_0 "15.000000000000002".
- 778253 cpu_core_0 "15.000000000000002".
- 778337 cpu_core_0 "15.000000000000002".
- 778364 cpu_core_0 "15.000000000000002".
- 778771 cpu_core_0 "15.000000000000002".
- 778864 cpu_core_0 "15.000000000000002".
- 779390 cpu_core_0 "15.000000000000002".
- 779536 cpu_core_0 "15.000000000000002".
- 779893 cpu_core_0 "15.000000000000002".
- 779900 cpu_core_0 "15.000000000000002".
- 781136 cpu_core_0 "15.000000000000002".
- 782086 cpu_core_0 "15.000000000000002".
- 782183 cpu_core_0 "15.000000000000002".
- 782234 cpu_core_0 "15.000000000000002".
- 782332 cpu_core_0 "15.000000000000002".
- 782797 cpu_core_0 "15.000000000000002".
- 782899 cpu_core_0 "15.000000000000002".
- 783218 cpu_core_0 "15.000000000000002".
- 783744 cpu_core_0 "15.000000000000002".
- 783756 cpu_core_0 "15.000000000000002".
- 784499 cpu_core_0 "15.000000000000002".
- 784500 cpu_core_0 "15.000000000000002".
- 784737 cpu_core_0 "15.000000000000002".
- 785119 cpu_core_0 "15.000000000000002".
- 785538 cpu_core_0 "15.000000000000002".
- 786157 cpu_core_0 "15.000000000000002".
- 786930 cpu_core_0 "15.000000000000002".
- 786938 cpu_core_0 "15.000000000000002".
- 787909 cpu_core_0 "15.000000000000002".
- 788001 cpu_core_0 "15.000000000000002".
- 788114 cpu_core_0 "15.000000000000002".
- 788371 cpu_core_0 "15.000000000000002".
- 788405 cpu_core_0 "15.000000000000002".
- 789020 cpu_core_0 "15.000000000000002".
- 789157 cpu_core_0 "15.000000000000002".
- 789558 cpu_core_0 "15.000000000000002".
- 789774 cpu_core_0 "15.000000000000002".
- 790450 cpu_core_0 "15.000000000000002".
- 792107 cpu_core_0 "15.000000000000002".
- 792809 cpu_core_0 "15.000000000000002".
- 792832 cpu_core_0 "15.000000000000002".
- 793387 cpu_core_0 "15.000000000000002".
- 793456 cpu_core_0 "15.000000000000002".
- 793654 cpu_core_0 "15.000000000000002".
- 793794 cpu_core_0 "15.000000000000002".
- 794039 cpu_core_0 "15.000000000000002".
- 794074 cpu_core_0 "15.000000000000002".