Matches in ISWC2014 Benchmark for { ?s ?p 13.592233009708737. }
- 1010882 cpu_core_0 "13.592233009708737".
- 1020077 cpu_core_0 "13.592233009708737".
- 1023085 cpu_core_0 "13.592233009708737".
- 1025904 cpu_core_0 "13.592233009708737".
- 1035976 cpu_core_0 "13.592233009708737".
- 1038676 cpu_core_0 "13.592233009708737".
- 1060073 cpu_core_0 "13.592233009708737".
- 1087523 cpu_core_0 "13.592233009708737".
- 1089244 cpu_core_0 "13.592233009708737".
- 1121766 cpu_core_0 "13.592233009708737".
- 1124896 cpu_core_0 "13.592233009708737".
- 1146462 cpu_core_0 "13.592233009708737".
- 1177997 cpu_core_0 "13.592233009708737".
- 1190377 cpu_core_0 "13.592233009708737".
- 1216190 cpu_core_0 "13.592233009708737".
- 1217275 cpu_core_0 "13.592233009708737".
- 1217848 cpu_core_0 "13.592233009708737".
- 1218155 cpu_core_0 "13.592233009708737".
- 1218479 cpu_core_0 "13.592233009708737".
- 1218890 cpu_core_0 "13.592233009708737".
- 1219019 cpu_core_0 "13.592233009708737".
- 1236583 cpu_core_0 "13.592233009708737".
- 1242504 cpu_core_0 "13.592233009708737".
- 1246246 cpu_core_0 "13.592233009708737".
- 1262203 cpu_core_0 "13.592233009708737".
- 1269045 cpu_core_0 "13.592233009708737".
- 1307229 cpu_core_0 "13.592233009708737".
- 1307604 cpu_core_0 "13.592233009708737".
- 1308055 cpu_core_0 "13.592233009708737".
- 1315378 cpu_core_0 "13.592233009708737".
- 1315776 cpu_core_0 "13.592233009708737".
- 1325009 cpu_core_0 "13.592233009708737".
- 1326008 cpu_core_0 "13.592233009708737".
- 1336298 cpu_core_0 "13.592233009708737".
- 1345321 cpu_core_0 "13.592233009708737".
- 1346247 cpu_core_0 "13.592233009708737".
- 1370339 cpu_core_0 "13.592233009708737".
- 1387429 cpu_core_0 "13.592233009708737".
- 1407736 cpu_core_0 "13.592233009708737".
- 1409609 cpu_core_0 "13.592233009708737".
- 1409755 cpu_core_0 "13.592233009708737".
- 1410042 cpu_core_0 "13.592233009708737".
- 1410611 cpu_core_0 "13.592233009708737".
- 1410945 cpu_core_0 "13.592233009708737".
- 1412397 cpu_core_0 "13.592233009708737".
- 1412432 cpu_core_0 "13.592233009708737".
- 1412491 cpu_core_0 "13.592233009708737".
- 1436457 cpu_core_0 "13.592233009708737".
- 1443913 cpu_core_0 "13.592233009708737".
- 1484755 cpu_core_0 "13.592233009708737".
- 1507309 cpu_core_0 "13.592233009708737".
- 1513934 cpu_core_0 "13.592233009708737".
- 1525114 cpu_core_0 "13.592233009708737".
- 1588102 cpu_core_0 "13.592233009708737".
- 1616240 cpu_core_0 "13.592233009708737".
- 1620649 cpu_core_0 "13.592233009708737".
- 1623363 cpu_core_0 "13.592233009708737".
- 1632535 cpu_core_0 "13.592233009708737".
- 1633617 cpu_core_0 "13.592233009708737".
- 1647756 cpu_core_0 "13.592233009708737".
- 1648601 cpu_core_0 "13.592233009708737".
- 1648829 cpu_core_0 "13.592233009708737".
- 1649006 cpu_core_0 "13.592233009708737".
- 1649888 cpu_core_0 "13.592233009708737".
- 1650188 cpu_core_0 "13.592233009708737".
- 1652114 cpu_core_0 "13.592233009708737".
- 1652456 cpu_core_0 "13.592233009708737".
- 1652869 cpu_core_0 "13.592233009708737".
- 1653111 cpu_core_0 "13.592233009708737".
- 1653233 cpu_core_0 "13.592233009708737".
- 1653462 cpu_core_0 "13.592233009708737".
- 1653893 cpu_core_0 "13.592233009708737".
- 1654264 cpu_core_0 "13.592233009708737".
- 1713162 cpu_core_0 "13.592233009708737".
- 1725577 cpu_core_0 "13.592233009708737".
- 1734719 cpu_core_0 "13.592233009708737".
- 1748251 cpu_core_0 "13.592233009708737".
- 1761328 cpu_core_0 "13.592233009708737".
- 1765929 cpu_core_0 "13.592233009708737".
- 1769107 cpu_core_0 "13.592233009708737".
- 1769562 cpu_core_0 "13.592233009708737".
- 1773903 cpu_core_0 "13.592233009708737".
- 1794453 cpu_core_0 "13.592233009708737".
- 1811742 cpu_core_0 "13.592233009708737".
- 1817797 cpu_core_0 "13.592233009708737".
- 1832152 cpu_core_0 "13.592233009708737".
- 1838949 cpu_core_0 "13.592233009708737".
- 1863911 cpu_core_0 "13.592233009708737".
- 1867644 cpu_core_0 "13.592233009708737".
- 1871007 cpu_core_0 "13.592233009708737".
- 1886104 cpu_core_0 "13.592233009708737".
- 1921159 cpu_core_0 "13.592233009708737".
- 1921524 cpu_core_0 "13.592233009708737".
- 1921988 cpu_core_0 "13.592233009708737".
- 1923899 cpu_core_0 "13.592233009708737".
- 1924028 cpu_core_0 "13.592233009708737".
- 1927245 cpu_core_0 "13.592233009708737".
- 1927738 cpu_core_0 "13.592233009708737".
- 264135 cpu_core_0 "13.592233009708737".
- 305339 cpu_core_0 "13.592233009708737".