Matches in ISWC2014 Benchmark for { ?s ?p 11.000000000000002. }
- 1005 cpu_core_0 "11.000000000000002".
- 1011348 cpu_core_0 "11.000000000000002".
- 1033029 cpu_core_0 "11.000000000000002".
- 1038705 cpu_core_0 "11.000000000000002".
- 1093622 cpu_core_0 "11.000000000000002".
- 11036 cpu_core_0 "11.000000000000002".
- 1105679 cpu_core_0 "11.000000000000002".
- 1208060 cpu_core_0 "11.000000000000002".
- 1208351 cpu_core_0 "11.000000000000002".
- 1208622 cpu_core_0 "11.000000000000002".
- 1209314 cpu_core_0 "11.000000000000002".
- 1211120 cpu_core_0 "11.000000000000002".
- 1211388 cpu_core_0 "11.000000000000002".
- 1211656 cpu_core_0 "11.000000000000002".
- 1212587 cpu_core_0 "11.000000000000002".
- 1212790 cpu_core_0 "11.000000000000002".
- 1214194 cpu_core_0 "11.000000000000002".
- 1217844 cpu_core_0 "11.000000000000002".
- 1224297 cpu_core_0 "11.000000000000002".
- 1226409 cpu_core_0 "11.000000000000002".
- 1234746 cpu_core_0 "11.000000000000002".
- 1235099 cpu_core_0 "11.000000000000002".
- 1235204 cpu_core_0 "11.000000000000002".
- 1235387 cpu_core_0 "11.000000000000002".
- 1235521 cpu_core_0 "11.000000000000002".
- 1235908 cpu_core_0 "11.000000000000002".
- 1257474 cpu_core_0 "11.000000000000002".
- 1289204 cpu_core_0 "11.000000000000002".
- 1292205 cpu_core_0 "11.000000000000002".
- 1294354 cpu_core_0 "11.000000000000002".
- 1371210 cpu_core_0 "11.000000000000002".
- 1400747 cpu_core_0 "11.000000000000002".
- 1400870 cpu_core_0 "11.000000000000002".
- 1401103 cpu_core_0 "11.000000000000002".
- 1401112 cpu_core_0 "11.000000000000002".
- 1401120 cpu_core_0 "11.000000000000002".
- 1401698 cpu_core_0 "11.000000000000002".
- 1401705 cpu_core_0 "11.000000000000002".
- 1401716 cpu_core_0 "11.000000000000002".
- 1402310 cpu_core_0 "11.000000000000002".
- 1402487 cpu_core_0 "11.000000000000002".
- 1402523 cpu_core_0 "11.000000000000002".
- 1403765 cpu_core_0 "11.000000000000002".
- 1404970 cpu_core_0 "11.000000000000002".
- 1405283 cpu_core_0 "11.000000000000002".
- 1405509 cpu_core_0 "11.000000000000002".
- 1405615 cpu_core_0 "11.000000000000002".
- 1405924 cpu_core_0 "11.000000000000002".
- 1406362 cpu_core_0 "11.000000000000002".
- 1407391 cpu_core_0 "11.000000000000002".
- 1413977 cpu_core_0 "11.000000000000002".
- 1421677 cpu_core_0 "11.000000000000002".
- 1503195 cpu_core_0 "11.000000000000002".
- 1504965 cpu_core_0 "11.000000000000002".
- 1604321 cpu_core_0 "11.000000000000002".
- 1604396 cpu_core_0 "11.000000000000002".
- 1621108 cpu_core_0 "11.000000000000002".
- 1625137 cpu_core_0 "11.000000000000002".
- 1639011 cpu_core_0 "11.000000000000002".
- 1639443 cpu_core_0 "11.000000000000002".
- 1639640 cpu_core_0 "11.000000000000002".
- 1639701 cpu_core_0 "11.000000000000002".
- 1640655 cpu_core_0 "11.000000000000002".
- 1640672 cpu_core_0 "11.000000000000002".
- 1641490 cpu_core_0 "11.000000000000002".
- 1641730 cpu_core_0 "11.000000000000002".
- 1642107 cpu_core_0 "11.000000000000002".
- 1642235 cpu_core_0 "11.000000000000002".
- 1642756 cpu_core_0 "11.000000000000002".
- 1642828 cpu_core_0 "11.000000000000002".
- 1643297 cpu_core_0 "11.000000000000002".
- 1643417 cpu_core_0 "11.000000000000002".
- 1644246 cpu_core_0 "11.000000000000002".
- 1644631 cpu_core_0 "11.000000000000002".
- 1644732 cpu_core_0 "11.000000000000002".
- 1645097 cpu_core_0 "11.000000000000002".
- 1645379 cpu_core_0 "11.000000000000002".
- 1645457 cpu_core_0 "11.000000000000002".
- 1645497 cpu_core_0 "11.000000000000002".
- 1645731 cpu_core_0 "11.000000000000002".
- 1646063 cpu_core_0 "11.000000000000002".
- 1647048 cpu_core_0 "11.000000000000002".
- 1649673 cpu_core_0 "11.000000000000002".
- 1653658 cpu_core_0 "11.000000000000002".
- 1664454 cpu_core_0 "11.000000000000002".
- 1669831 cpu_core_0 "11.000000000000002".
- 1670243 cpu_core_0 "11.000000000000002".
- 1670562 cpu_core_0 "11.000000000000002".
- 1672551 cpu_core_0 "11.000000000000002".
- 1672626 cpu_core_0 "11.000000000000002".
- 1672685 cpu_core_0 "11.000000000000002".
- 1672716 cpu_core_0 "11.000000000000002".
- 1672899 cpu_core_0 "11.000000000000002".
- 1672914 cpu_core_0 "11.000000000000002".
- 1672915 cpu_core_0 "11.000000000000002".
- 1672929 cpu_core_0 "11.000000000000002".
- 1672947 cpu_core_0 "11.000000000000002".
- 1672951 cpu_core_0 "11.000000000000002".
- 1673007 cpu_core_0 "11.000000000000002".
- 1673044 cpu_core_0 "11.000000000000002".