Matches in ISWC2014 Benchmark for { ?s ?p 10.679611650485437. }
- 1017747 cpu_core_0 "10.679611650485437".
- 1029670 cpu_core_0 "10.679611650485437".
- 1036713 cpu_core_0 "10.679611650485437".
- 1084444 cpu_core_0 "10.679611650485437".
- 1087266 cpu_core_0 "10.679611650485437".
- 1088266 cpu_core_0 "10.679611650485437".
- 1089879 cpu_core_0 "10.679611650485437".
- 1094134 cpu_core_0 "10.679611650485437".
- 1099827 cpu_core_0 "10.679611650485437".
- 1102472 cpu_core_0 "10.679611650485437".
- 1117702 cpu_core_0 "10.679611650485437".
- 1135761 cpu_core_0 "10.679611650485437".
- 1136306 cpu_core_0 "10.679611650485437".
- 1142589 cpu_core_0 "10.679611650485437".
- 1153629 cpu_core_0 "10.679611650485437".
- 1157437 cpu_core_0 "10.679611650485437".
- 1162953 cpu_core_0 "10.679611650485437".
- 1214966 cpu_core_0 "10.679611650485437".
- 1215697 cpu_core_0 "10.679611650485437".
- 1216578 cpu_core_0 "10.679611650485437".
- 1216667 cpu_core_0 "10.679611650485437".
- 1218110 cpu_core_0 "10.679611650485437".
- 1219232 cpu_core_0 "10.679611650485437".
- 1236589 cpu_core_0 "10.679611650485437".
- 1238761 cpu_core_0 "10.679611650485437".
- 1253491 cpu_core_0 "10.679611650485437".
- 1258210 cpu_core_0 "10.679611650485437".
- 1261662 cpu_core_0 "10.679611650485437".
- 1262738 cpu_core_0 "10.679611650485437".
- 1277576 cpu_core_0 "10.679611650485437".
- 1280723 cpu_core_0 "10.679611650485437".
- 1281957 cpu_core_0 "10.679611650485437".
- 1301371 cpu_core_0 "10.679611650485437".
- 1302265 cpu_core_0 "10.679611650485437".
- 1303144 cpu_core_0 "10.679611650485437".
- 1328481 cpu_core_0 "10.679611650485437".
- 1345860 cpu_core_0 "10.679611650485437".
- 1346800 cpu_core_0 "10.679611650485437".
- 1349610 cpu_core_0 "10.679611650485437".
- 1350379 cpu_core_0 "10.679611650485437".
- 1382813 cpu_core_0 "10.679611650485437".
- 1454583 cpu_core_0 "10.679611650485437".
- 1459433 cpu_core_0 "10.679611650485437".
- 1474098 cpu_core_0 "10.679611650485437".
- 1480543 cpu_core_0 "10.679611650485437".
- 1558952 cpu_core_0 "10.679611650485437".
- 1581739 cpu_core_0 "10.679611650485437".
- 1592439 cpu_core_0 "10.679611650485437".
- 1619016 cpu_core_0 "10.679611650485437".
- 1620429 cpu_core_0 "10.679611650485437".
- 1624532 cpu_core_0 "10.679611650485437".
- 1646878 cpu_core_0 "10.679611650485437".
- 1648055 cpu_core_0 "10.679611650485437".
- 1649256 cpu_core_0 "10.679611650485437".
- 1728474 cpu_core_0 "10.679611650485437".
- 1729107 cpu_core_0 "10.679611650485437".
- 1750027 cpu_core_0 "10.679611650485437".
- 1751440 cpu_core_0 "10.679611650485437".
- 1753841 cpu_core_0 "10.679611650485437".
- 1773093 cpu_core_0 "10.679611650485437".
- 1780937 cpu_core_0 "10.679611650485437".
- 1803297 cpu_core_0 "10.679611650485437".
- 1810188 cpu_core_0 "10.679611650485437".
- 1819769 cpu_core_0 "10.679611650485437".
- 1821445 cpu_core_0 "10.679611650485437".
- 1825765 cpu_core_0 "10.679611650485437".
- 1831851 cpu_core_0 "10.679611650485437".
- 1851661 cpu_core_0 "10.679611650485437".
- 1862742 cpu_core_0 "10.679611650485437".
- 1866626 cpu_core_0 "10.679611650485437".
- 1884147 cpu_core_0 "10.679611650485437".
- 1884308 cpu_core_0 "10.679611650485437".
- 1892455 cpu_core_0 "10.679611650485437".
- 708890 cpu_core_0 "10.679611650485437".
- 868782 cpu_core_0 "10.679611650485437".
- 1023319 cpu_core_1 "10.679611650485437".
- 1125364 cpu_core_1 "10.679611650485437".
- 1167644 cpu_core_1 "10.679611650485437".
- 1219507 cpu_core_1 "10.679611650485437".
- 1271245 cpu_core_1 "10.679611650485437".
- 1357642 cpu_core_1 "10.679611650485437".
- 1402721 cpu_core_1 "10.679611650485437".
- 1566416 cpu_core_1 "10.679611650485437".
- 1674106 cpu_core_1 "10.679611650485437".
- 1756646 cpu_core_1 "10.679611650485437".
- 1769705 cpu_core_1 "10.679611650485437".
- 1769864 cpu_core_1 "10.679611650485437".
- 1887360 cpu_core_1 "10.679611650485437".
- 1899418 cpu_core_1 "10.679611650485437".
- 1911237 cpu_core_1 "10.679611650485437".
- 1925677 cpu_core_1 "10.679611650485437".
- 796219 cpu_core_1 "10.679611650485437".
- 1363569 cpu_core_2 "10.679611650485437".
- 1368890 cpu_core_2 "10.679611650485437".
- 1498542 cpu_core_2 "10.679611650485437".
- 1734946 cpu_core_2 "10.679611650485437".
- 1762810 cpu_core_2 "10.679611650485437".
- 1768364 cpu_core_2 "10.679611650485437".
- 1821333 cpu_core_2 "10.679611650485437".
- 406413 cpu_core_2 "10.679611650485437".