Matches in ISWC2014 Benchmark for { ?s ?p 59.00000000000001. }
- 785836 cpu_core_0 "59.00000000000001".
- 786115 cpu_core_0 "59.00000000000001".
- 787684 cpu_core_0 "59.00000000000001".
- 789596 cpu_core_0 "59.00000000000001".
- 789682 cpu_core_0 "59.00000000000001".
- 789802 cpu_core_0 "59.00000000000001".
- 789803 cpu_core_0 "59.00000000000001".
- 790029 cpu_core_0 "59.00000000000001".
- 790053 cpu_core_0 "59.00000000000001".
- 790542 cpu_core_0 "59.00000000000001".
- 790591 cpu_core_0 "59.00000000000001".
- 790767 cpu_core_0 "59.00000000000001".
- 790969 cpu_core_0 "59.00000000000001".
- 790998 cpu_core_0 "59.00000000000001".
- 791210 cpu_core_0 "59.00000000000001".
- 791223 cpu_core_0 "59.00000000000001".
- 791226 cpu_core_0 "59.00000000000001".
- 791281 cpu_core_0 "59.00000000000001".
- 791541 cpu_core_0 "59.00000000000001".
- 791548 cpu_core_0 "59.00000000000001".
- 791653 cpu_core_0 "59.00000000000001".
- 791661 cpu_core_0 "59.00000000000001".
- 791764 cpu_core_0 "59.00000000000001".
- 792025 cpu_core_0 "59.00000000000001".
- 792394 cpu_core_0 "59.00000000000001".
- 793084 cpu_core_0 "59.00000000000001".
- 793608 cpu_core_0 "59.00000000000001".
- 793657 cpu_core_0 "59.00000000000001".
- 793678 cpu_core_0 "59.00000000000001".
- 793964 cpu_core_0 "59.00000000000001".
- 794102 cpu_core_0 "59.00000000000001".
- 794273 cpu_core_0 "59.00000000000001".
- 794857 cpu_core_0 "59.00000000000001".
- 795918 cpu_core_0 "59.00000000000001".
- 797148 cpu_core_0 "59.00000000000001".
- 797672 cpu_core_0 "59.00000000000001".
- 797818 cpu_core_0 "59.00000000000001".
- 797949 cpu_core_0 "59.00000000000001".
- 798376 cpu_core_0 "59.00000000000001".
- 798572 cpu_core_0 "59.00000000000001".
- 798628 cpu_core_0 "59.00000000000001".
- 798842 cpu_core_0 "59.00000000000001".
- 799138 cpu_core_0 "59.00000000000001".
- 799333 cpu_core_0 "59.00000000000001".
- 799436 cpu_core_0 "59.00000000000001".
- 799606 cpu_core_0 "59.00000000000001".
- 799617 cpu_core_0 "59.00000000000001".
- 799628 cpu_core_0 "59.00000000000001".
- 799788 cpu_core_0 "59.00000000000001".
- 799895 cpu_core_0 "59.00000000000001".
- 799929 cpu_core_0 "59.00000000000001".
- 800012 cpu_core_0 "59.00000000000001".
- 800119 cpu_core_0 "59.00000000000001".
- 800368 cpu_core_0 "59.00000000000001".
- 800438 cpu_core_0 "59.00000000000001".
- 800826 cpu_core_0 "59.00000000000001".
- 801181 cpu_core_0 "59.00000000000001".
- 801244 cpu_core_0 "59.00000000000001".
- 801262 cpu_core_0 "59.00000000000001".
- 801557 cpu_core_0 "59.00000000000001".
- 801590 cpu_core_0 "59.00000000000001".
- 801648 cpu_core_0 "59.00000000000001".
- 801804 cpu_core_0 "59.00000000000001".
- 801853 cpu_core_0 "59.00000000000001".
- 801942 cpu_core_0 "59.00000000000001".
- 802034 cpu_core_0 "59.00000000000001".
- 802053 cpu_core_0 "59.00000000000001".
- 802318 cpu_core_0 "59.00000000000001".
- 802479 cpu_core_0 "59.00000000000001".
- 802790 cpu_core_0 "59.00000000000001".
- 802797 cpu_core_0 "59.00000000000001".
- 802979 cpu_core_0 "59.00000000000001".
- 803288 cpu_core_0 "59.00000000000001".
- 803776 cpu_core_0 "59.00000000000001".
- 804323 cpu_core_0 "59.00000000000001".
- 804378 cpu_core_0 "59.00000000000001".
- 804396 cpu_core_0 "59.00000000000001".
- 805018 cpu_core_0 "59.00000000000001".
- 805050 cpu_core_0 "59.00000000000001".
- 805275 cpu_core_0 "59.00000000000001".
- 805382 cpu_core_0 "59.00000000000001".
- 805562 cpu_core_0 "59.00000000000001".
- 805577 cpu_core_0 "59.00000000000001".
- 805606 cpu_core_0 "59.00000000000001".
- 805749 cpu_core_0 "59.00000000000001".
- 805924 cpu_core_0 "59.00000000000001".
- 806036 cpu_core_0 "59.00000000000001".
- 806042 cpu_core_0 "59.00000000000001".
- 806145 cpu_core_0 "59.00000000000001".
- 806195 cpu_core_0 "59.00000000000001".
- 806458 cpu_core_0 "59.00000000000001".
- 806852 cpu_core_0 "59.00000000000001".
- 806902 cpu_core_0 "59.00000000000001".
- 807136 cpu_core_0 "59.00000000000001".
- 807165 cpu_core_0 "59.00000000000001".
- 807415 cpu_core_0 "59.00000000000001".
- 807579 cpu_core_0 "59.00000000000001".
- 807699 cpu_core_0 "59.00000000000001".
- 807740 cpu_core_0 "59.00000000000001".
- 807750 cpu_core_0 "59.00000000000001".