Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1000187 cpu_core_0 "55.00000000000001".
- 1000264 cpu_core_0 "55.00000000000001".
- 1000369 cpu_core_0 "55.00000000000001".
- 1000394 cpu_core_0 "55.00000000000001".
- 1000557 cpu_core_0 "55.00000000000001".
- 1000604 cpu_core_0 "55.00000000000001".
- 1000611 cpu_core_0 "55.00000000000001".
- 1000900 cpu_core_0 "55.00000000000001".
- 1000943 cpu_core_0 "55.00000000000001".
- 1001021 cpu_core_0 "55.00000000000001".
- 1001180 cpu_core_0 "55.00000000000001".
- 1001225 cpu_core_0 "55.00000000000001".
- 1001345 cpu_core_0 "55.00000000000001".
- 1001563 cpu_core_0 "55.00000000000001".
- 1001673 cpu_core_0 "55.00000000000001".
- 1001726 cpu_core_0 "55.00000000000001".
- 1001929 cpu_core_0 "55.00000000000001".
- 1002052 cpu_core_0 "55.00000000000001".
- 1002063 cpu_core_0 "55.00000000000001".
- 1002236 cpu_core_0 "55.00000000000001".
- 1002263 cpu_core_0 "55.00000000000001".
- 1002579 cpu_core_0 "55.00000000000001".
- 1002721 cpu_core_0 "55.00000000000001".
- 1002911 cpu_core_0 "55.00000000000001".
- 1002926 cpu_core_0 "55.00000000000001".
- 1003719 cpu_core_0 "55.00000000000001".
- 1003914 cpu_core_0 "55.00000000000001".
- 1003951 cpu_core_0 "55.00000000000001".
- 1004055 cpu_core_0 "55.00000000000001".
- 1004207 cpu_core_0 "55.00000000000001".
- 1004252 cpu_core_0 "55.00000000000001".
- 1004291 cpu_core_0 "55.00000000000001".
- 1004602 cpu_core_0 "55.00000000000001".
- 1004642 cpu_core_0 "55.00000000000001".
- 1004864 cpu_core_0 "55.00000000000001".
- 1004912 cpu_core_0 "55.00000000000001".
- 1005065 cpu_core_0 "55.00000000000001".
- 1005311 cpu_core_0 "55.00000000000001".
- 1005546 cpu_core_0 "55.00000000000001".
- 1005726 cpu_core_0 "55.00000000000001".
- 1005729 cpu_core_0 "55.00000000000001".
- 1005851 cpu_core_0 "55.00000000000001".
- 1006251 cpu_core_0 "55.00000000000001".
- 1006527 cpu_core_0 "55.00000000000001".
- 1006660 cpu_core_0 "55.00000000000001".
- 1007111 cpu_core_0 "55.00000000000001".
- 1007298 cpu_core_0 "55.00000000000001".
- 1007936 cpu_core_0 "55.00000000000001".
- 1007964 cpu_core_0 "55.00000000000001".
- 1007967 cpu_core_0 "55.00000000000001".
- 1008033 cpu_core_0 "55.00000000000001".
- 1008053 cpu_core_0 "55.00000000000001".
- 1008128 cpu_core_0 "55.00000000000001".
- 1008190 cpu_core_0 "55.00000000000001".
- 1008220 cpu_core_0 "55.00000000000001".
- 1008371 cpu_core_0 "55.00000000000001".
- 1008473 cpu_core_0 "55.00000000000001".
- 1008560 cpu_core_0 "55.00000000000001".
- 1008603 cpu_core_0 "55.00000000000001".
- 1008855 cpu_core_0 "55.00000000000001".
- 1008892 cpu_core_0 "55.00000000000001".
- 1009337 cpu_core_0 "55.00000000000001".
- 1009477 cpu_core_0 "55.00000000000001".
- 1010418 cpu_core_0 "55.00000000000001".
- 1010582 cpu_core_0 "55.00000000000001".
- 1010618 cpu_core_0 "55.00000000000001".
- 1010781 cpu_core_0 "55.00000000000001".
- 1010836 cpu_core_0 "55.00000000000001".
- 1010972 cpu_core_0 "55.00000000000001".
- 1011000 cpu_core_0 "55.00000000000001".
- 1013688 cpu_core_0 "55.00000000000001".
- 1013813 cpu_core_0 "55.00000000000001".
- 1013819 cpu_core_0 "55.00000000000001".
- 1013827 cpu_core_0 "55.00000000000001".
- 1014067 cpu_core_0 "55.00000000000001".
- 1014141 cpu_core_0 "55.00000000000001".
- 1014143 cpu_core_0 "55.00000000000001".
- 1014170 cpu_core_0 "55.00000000000001".
- 1014439 cpu_core_0 "55.00000000000001".
- 1014477 cpu_core_0 "55.00000000000001".
- 1014479 cpu_core_0 "55.00000000000001".
- 1014506 cpu_core_0 "55.00000000000001".
- 1014621 cpu_core_0 "55.00000000000001".
- 1014768 cpu_core_0 "55.00000000000001".
- 1014795 cpu_core_0 "55.00000000000001".
- 1015158 cpu_core_0 "55.00000000000001".
- 1015385 cpu_core_0 "55.00000000000001".
- 1016880 cpu_core_0 "55.00000000000001".
- 1020764 cpu_core_0 "55.00000000000001".
- 1020768 cpu_core_0 "55.00000000000001".
- 1020819 cpu_core_0 "55.00000000000001".
- 1020821 cpu_core_0 "55.00000000000001".
- 1025974 cpu_core_0 "55.00000000000001".
- 1026824 cpu_core_0 "55.00000000000001".
- 1026873 cpu_core_0 "55.00000000000001".
- 1026962 cpu_core_0 "55.00000000000001".
- 1026970 cpu_core_0 "55.00000000000001".
- 1028741 cpu_core_0 "55.00000000000001".
- 1030888 cpu_core_0 "55.00000000000001".
- 1031873 cpu_core_0 "55.00000000000001".