Matches in ISWC2014 Benchmark for { ?s ?p 62.000000000000014. }
- 1030971 cpu_core_0 "62.000000000000014".
- 1051583 cpu_core_0 "62.000000000000014".
- 1103191 cpu_core_0 "62.000000000000014".
- 1113055 cpu_core_0 "62.000000000000014".
- 1130552 cpu_core_0 "62.000000000000014".
- 1147210 cpu_core_0 "62.000000000000014".
- 1147645 cpu_core_0 "62.000000000000014".
- 1148473 cpu_core_0 "62.000000000000014".
- 1148636 cpu_core_0 "62.000000000000014".
- 1183562 cpu_core_0 "62.000000000000014".
- 1192725 cpu_core_0 "62.000000000000014".
- 1195131 cpu_core_0 "62.000000000000014".
- 1221086 cpu_core_0 "62.000000000000014".
- 1221725 cpu_core_0 "62.000000000000014".
- 1221786 cpu_core_0 "62.000000000000014".
- 1222734 cpu_core_0 "62.000000000000014".
- 1223094 cpu_core_0 "62.000000000000014".
- 1223321 cpu_core_0 "62.000000000000014".
- 1224416 cpu_core_0 "62.000000000000014".
- 1225017 cpu_core_0 "62.000000000000014".
- 1225799 cpu_core_0 "62.000000000000014".
- 1226199 cpu_core_0 "62.000000000000014".
- 1227542 cpu_core_0 "62.000000000000014".
- 1227647 cpu_core_0 "62.000000000000014".
- 1228277 cpu_core_0 "62.000000000000014".
- 1228883 cpu_core_0 "62.000000000000014".
- 1229802 cpu_core_0 "62.000000000000014".
- 1230093 cpu_core_0 "62.000000000000014".
- 1232908 cpu_core_0 "62.000000000000014".
- 1233247 cpu_core_0 "62.000000000000014".
- 1233322 cpu_core_0 "62.000000000000014".
- 1234308 cpu_core_0 "62.000000000000014".
- 1285191 cpu_core_0 "62.000000000000014".
- 1285937 cpu_core_0 "62.000000000000014".
- 1296754 cpu_core_0 "62.000000000000014".
- 1332622 cpu_core_0 "62.000000000000014".
- 1338473 cpu_core_0 "62.000000000000014".
- 1373079 cpu_core_0 "62.000000000000014".
- 1384555 cpu_core_0 "62.000000000000014".
- 1414780 cpu_core_0 "62.000000000000014".
- 1451277 cpu_core_0 "62.000000000000014".
- 1455973 cpu_core_0 "62.000000000000014".
- 1532264 cpu_core_0 "62.000000000000014".
- 1562767 cpu_core_0 "62.000000000000014".
- 1576267 cpu_core_0 "62.000000000000014".
- 1595374 cpu_core_0 "62.000000000000014".
- 1610775 cpu_core_0 "62.000000000000014".
- 1655785 cpu_core_0 "62.000000000000014".
- 1657327 cpu_core_0 "62.000000000000014".
- 1658310 cpu_core_0 "62.000000000000014".
- 1658652 cpu_core_0 "62.000000000000014".
- 1659077 cpu_core_0 "62.000000000000014".
- 1659162 cpu_core_0 "62.000000000000014".
- 1660667 cpu_core_0 "62.000000000000014".
- 1661636 cpu_core_0 "62.000000000000014".
- 1662490 cpu_core_0 "62.000000000000014".
- 1662521 cpu_core_0 "62.000000000000014".
- 1665272 cpu_core_0 "62.000000000000014".
- 1665712 cpu_core_0 "62.000000000000014".
- 1666733 cpu_core_0 "62.000000000000014".
- 1668860 cpu_core_0 "62.000000000000014".
- 1675210 cpu_core_0 "62.000000000000014".
- 1676772 cpu_core_0 "62.000000000000014".
- 1676960 cpu_core_0 "62.000000000000014".
- 1678396 cpu_core_0 "62.000000000000014".
- 1678702 cpu_core_0 "62.000000000000014".
- 1680147 cpu_core_0 "62.000000000000014".
- 1681521 cpu_core_0 "62.000000000000014".
- 1682390 cpu_core_0 "62.000000000000014".
- 1682693 cpu_core_0 "62.000000000000014".
- 1682923 cpu_core_0 "62.000000000000014".
- 1684327 cpu_core_0 "62.000000000000014".
- 1684760 cpu_core_0 "62.000000000000014".
- 1687244 cpu_core_0 "62.000000000000014".
- 1689321 cpu_core_0 "62.000000000000014".
- 1696062 cpu_core_0 "62.000000000000014".
- 1696077 cpu_core_0 "62.000000000000014".
- 1696319 cpu_core_0 "62.000000000000014".
- 1698267 cpu_core_0 "62.000000000000014".
- 1699931 cpu_core_0 "62.000000000000014".
- 1703418 cpu_core_0 "62.000000000000014".
- 1703459 cpu_core_0 "62.000000000000014".
- 1705210 cpu_core_0 "62.000000000000014".
- 1707952 cpu_core_0 "62.000000000000014".
- 1708464 cpu_core_0 "62.000000000000014".
- 210904 cpu_core_0 "62.000000000000014".
- 212449 cpu_core_0 "62.000000000000014".
- 216010 cpu_core_0 "62.000000000000014".
- 219544 cpu_core_0 "62.000000000000014".
- 219656 cpu_core_0 "62.000000000000014".
- 219664 cpu_core_0 "62.000000000000014".
- 219933 cpu_core_0 "62.000000000000014".
- 220559 cpu_core_0 "62.000000000000014".
- 220862 cpu_core_0 "62.000000000000014".
- 221410 cpu_core_0 "62.000000000000014".
- 222115 cpu_core_0 "62.000000000000014".
- 222894 cpu_core_0 "62.000000000000014".
- 233474 cpu_core_0 "62.000000000000014".
- 233617 cpu_core_0 "62.000000000000014".
- 235209 cpu_core_0 "62.000000000000014".