Matches in ISWC2014 Benchmark for { ?s ?p 6.000000000000001. }
- 1081800 cpu_core_0 "6.000000000000001".
- 1081990 cpu_core_0 "6.000000000000001".
- 1082001 cpu_core_0 "6.000000000000001".
- 1082043 cpu_core_0 "6.000000000000001".
- 1082046 cpu_core_0 "6.000000000000001".
- 1082067 cpu_core_0 "6.000000000000001".
- 1082081 cpu_core_0 "6.000000000000001".
- 1082129 cpu_core_0 "6.000000000000001".
- 1082210 cpu_core_0 "6.000000000000001".
- 1082233 cpu_core_0 "6.000000000000001".
- 1082303 cpu_core_0 "6.000000000000001".
- 1082326 cpu_core_0 "6.000000000000001".
- 1082357 cpu_core_0 "6.000000000000001".
- 1082387 cpu_core_0 "6.000000000000001".
- 1082414 cpu_core_0 "6.000000000000001".
- 1082415 cpu_core_0 "6.000000000000001".
- 1082644 cpu_core_0 "6.000000000000001".
- 1082790 cpu_core_0 "6.000000000000001".
- 1082899 cpu_core_0 "6.000000000000001".
- 1082900 cpu_core_0 "6.000000000000001".
- 1082920 cpu_core_0 "6.000000000000001".
- 1082989 cpu_core_0 "6.000000000000001".
- 1083042 cpu_core_0 "6.000000000000001".
- 1083173 cpu_core_0 "6.000000000000001".
- 1083205 cpu_core_0 "6.000000000000001".
- 1083219 cpu_core_0 "6.000000000000001".
- 1083223 cpu_core_0 "6.000000000000001".
- 1083358 cpu_core_0 "6.000000000000001".
- 1083373 cpu_core_0 "6.000000000000001".
- 1083536 cpu_core_0 "6.000000000000001".
- 1083638 cpu_core_0 "6.000000000000001".
- 1083688 cpu_core_0 "6.000000000000001".
- 1083702 cpu_core_0 "6.000000000000001".
- 1083713 cpu_core_0 "6.000000000000001".
- 1083726 cpu_core_0 "6.000000000000001".
- 1083792 cpu_core_0 "6.000000000000001".
- 1084314 cpu_core_0 "6.000000000000001".
- 1084440 cpu_core_0 "6.000000000000001".
- 1084446 cpu_core_0 "6.000000000000001".
- 1084451 cpu_core_0 "6.000000000000001".
- 1084455 cpu_core_0 "6.000000000000001".
- 1084461 cpu_core_0 "6.000000000000001".
- 1084500 cpu_core_0 "6.000000000000001".
- 1084532 cpu_core_0 "6.000000000000001".
- 1084547 cpu_core_0 "6.000000000000001".
- 1084591 cpu_core_0 "6.000000000000001".
- 1084615 cpu_core_0 "6.000000000000001".
- 1084754 cpu_core_0 "6.000000000000001".
- 1084774 cpu_core_0 "6.000000000000001".
- 1084910 cpu_core_0 "6.000000000000001".
- 1085006 cpu_core_0 "6.000000000000001".
- 1085087 cpu_core_0 "6.000000000000001".
- 1085139 cpu_core_0 "6.000000000000001".
- 1085295 cpu_core_0 "6.000000000000001".
- 1085297 cpu_core_0 "6.000000000000001".
- 1085307 cpu_core_0 "6.000000000000001".
- 1085338 cpu_core_0 "6.000000000000001".
- 1085358 cpu_core_0 "6.000000000000001".
- 1085365 cpu_core_0 "6.000000000000001".
- 1085431 cpu_core_0 "6.000000000000001".
- 1085512 cpu_core_0 "6.000000000000001".
- 1085592 cpu_core_0 "6.000000000000001".
- 1085597 cpu_core_0 "6.000000000000001".
- 1085705 cpu_core_0 "6.000000000000001".
- 1085729 cpu_core_0 "6.000000000000001".
- 1085736 cpu_core_0 "6.000000000000001".
- 1085742 cpu_core_0 "6.000000000000001".
- 1085772 cpu_core_0 "6.000000000000001".
- 1085775 cpu_core_0 "6.000000000000001".
- 1085817 cpu_core_0 "6.000000000000001".
- 1085826 cpu_core_0 "6.000000000000001".
- 1085834 cpu_core_0 "6.000000000000001".
- 1085883 cpu_core_0 "6.000000000000001".
- 1085951 cpu_core_0 "6.000000000000001".
- 1086353 cpu_core_0 "6.000000000000001".
- 1086354 cpu_core_0 "6.000000000000001".
- 1086670 cpu_core_0 "6.000000000000001".
- 1086726 cpu_core_0 "6.000000000000001".
- 1086824 cpu_core_0 "6.000000000000001".
- 1086889 cpu_core_0 "6.000000000000001".
- 1086953 cpu_core_0 "6.000000000000001".
- 1086958 cpu_core_0 "6.000000000000001".
- 1086978 cpu_core_0 "6.000000000000001".
- 1087191 cpu_core_0 "6.000000000000001".
- 1087194 cpu_core_0 "6.000000000000001".
- 1087353 cpu_core_0 "6.000000000000001".
- 1087585 cpu_core_0 "6.000000000000001".
- 1087591 cpu_core_0 "6.000000000000001".
- 1087734 cpu_core_0 "6.000000000000001".
- 1087857 cpu_core_0 "6.000000000000001".
- 1087888 cpu_core_0 "6.000000000000001".
- 1087890 cpu_core_0 "6.000000000000001".
- 1087921 cpu_core_0 "6.000000000000001".
- 1087947 cpu_core_0 "6.000000000000001".
- 1088276 cpu_core_0 "6.000000000000001".
- 1088290 cpu_core_0 "6.000000000000001".
- 1088295 cpu_core_0 "6.000000000000001".
- 1088491 cpu_core_0 "6.000000000000001".
- 1088644 cpu_core_0 "6.000000000000001".
- 1088861 cpu_core_0 "6.000000000000001".