Matches in ISWC2014 Benchmark for { ?s ?p 6.000000000000001. }
- 1075561 cpu_core_0 "6.000000000000001".
- 1075593 cpu_core_0 "6.000000000000001".
- 1075599 cpu_core_0 "6.000000000000001".
- 1075604 cpu_core_0 "6.000000000000001".
- 1075619 cpu_core_0 "6.000000000000001".
- 1075647 cpu_core_0 "6.000000000000001".
- 1075651 cpu_core_0 "6.000000000000001".
- 1075798 cpu_core_0 "6.000000000000001".
- 1075805 cpu_core_0 "6.000000000000001".
- 1075808 cpu_core_0 "6.000000000000001".
- 1075850 cpu_core_0 "6.000000000000001".
- 1075991 cpu_core_0 "6.000000000000001".
- 1076148 cpu_core_0 "6.000000000000001".
- 1076210 cpu_core_0 "6.000000000000001".
- 1076280 cpu_core_0 "6.000000000000001".
- 1076282 cpu_core_0 "6.000000000000001".
- 1076360 cpu_core_0 "6.000000000000001".
- 1076387 cpu_core_0 "6.000000000000001".
- 1076410 cpu_core_0 "6.000000000000001".
- 1076562 cpu_core_0 "6.000000000000001".
- 1076591 cpu_core_0 "6.000000000000001".
- 1076655 cpu_core_0 "6.000000000000001".
- 1076858 cpu_core_0 "6.000000000000001".
- 1076951 cpu_core_0 "6.000000000000001".
- 1076954 cpu_core_0 "6.000000000000001".
- 1077089 cpu_core_0 "6.000000000000001".
- 1077117 cpu_core_0 "6.000000000000001".
- 1077120 cpu_core_0 "6.000000000000001".
- 1077202 cpu_core_0 "6.000000000000001".
- 1077236 cpu_core_0 "6.000000000000001".
- 1077282 cpu_core_0 "6.000000000000001".
- 1077311 cpu_core_0 "6.000000000000001".
- 1077375 cpu_core_0 "6.000000000000001".
- 1077886 cpu_core_0 "6.000000000000001".
- 1077998 cpu_core_0 "6.000000000000001".
- 1078035 cpu_core_0 "6.000000000000001".
- 1078348 cpu_core_0 "6.000000000000001".
- 1078421 cpu_core_0 "6.000000000000001".
- 1078594 cpu_core_0 "6.000000000000001".
- 1078679 cpu_core_0 "6.000000000000001".
- 1078704 cpu_core_0 "6.000000000000001".
- 1078708 cpu_core_0 "6.000000000000001".
- 1078725 cpu_core_0 "6.000000000000001".
- 1078752 cpu_core_0 "6.000000000000001".
- 1078767 cpu_core_0 "6.000000000000001".
- 1078798 cpu_core_0 "6.000000000000001".
- 1078803 cpu_core_0 "6.000000000000001".
- 1078926 cpu_core_0 "6.000000000000001".
- 1079147 cpu_core_0 "6.000000000000001".
- 1079177 cpu_core_0 "6.000000000000001".
- 1079196 cpu_core_0 "6.000000000000001".
- 1079200 cpu_core_0 "6.000000000000001".
- 1079267 cpu_core_0 "6.000000000000001".
- 1079318 cpu_core_0 "6.000000000000001".
- 1079322 cpu_core_0 "6.000000000000001".
- 1079361 cpu_core_0 "6.000000000000001".
- 1079377 cpu_core_0 "6.000000000000001".
- 1079429 cpu_core_0 "6.000000000000001".
- 1079433 cpu_core_0 "6.000000000000001".
- 1079479 cpu_core_0 "6.000000000000001".
- 1079524 cpu_core_0 "6.000000000000001".
- 1079538 cpu_core_0 "6.000000000000001".
- 1079571 cpu_core_0 "6.000000000000001".
- 1079645 cpu_core_0 "6.000000000000001".
- 1079704 cpu_core_0 "6.000000000000001".
- 1079755 cpu_core_0 "6.000000000000001".
- 1079837 cpu_core_0 "6.000000000000001".
- 1079860 cpu_core_0 "6.000000000000001".
- 1079950 cpu_core_0 "6.000000000000001".
- 1080138 cpu_core_0 "6.000000000000001".
- 1080195 cpu_core_0 "6.000000000000001".
- 1080238 cpu_core_0 "6.000000000000001".
- 1080284 cpu_core_0 "6.000000000000001".
- 1080332 cpu_core_0 "6.000000000000001".
- 1080493 cpu_core_0 "6.000000000000001".
- 1080497 cpu_core_0 "6.000000000000001".
- 1080523 cpu_core_0 "6.000000000000001".
- 1080524 cpu_core_0 "6.000000000000001".
- 1080671 cpu_core_0 "6.000000000000001".
- 1080697 cpu_core_0 "6.000000000000001".
- 1080751 cpu_core_0 "6.000000000000001".
- 1080804 cpu_core_0 "6.000000000000001".
- 1080889 cpu_core_0 "6.000000000000001".
- 1080963 cpu_core_0 "6.000000000000001".
- 1080969 cpu_core_0 "6.000000000000001".
- 1080983 cpu_core_0 "6.000000000000001".
- 1081007 cpu_core_0 "6.000000000000001".
- 1081009 cpu_core_0 "6.000000000000001".
- 1081072 cpu_core_0 "6.000000000000001".
- 1081088 cpu_core_0 "6.000000000000001".
- 1081098 cpu_core_0 "6.000000000000001".
- 1081118 cpu_core_0 "6.000000000000001".
- 1081130 cpu_core_0 "6.000000000000001".
- 1081157 cpu_core_0 "6.000000000000001".
- 1081221 cpu_core_0 "6.000000000000001".
- 1081240 cpu_core_0 "6.000000000000001".
- 1081307 cpu_core_0 "6.000000000000001".
- 1081337 cpu_core_0 "6.000000000000001".
- 1081657 cpu_core_0 "6.000000000000001".
- 1081753 cpu_core_0 "6.000000000000001".