Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1422959 cpu_core_0 "3.061224489795918".
- 1423399 cpu_core_0 "3.061224489795918".
- 1423405 cpu_core_0 "3.061224489795918".
- 1424134 cpu_core_0 "3.061224489795918".
- 1424328 cpu_core_0 "3.061224489795918".
- 1424405 cpu_core_0 "3.061224489795918".
- 1426165 cpu_core_0 "3.061224489795918".
- 1429023 cpu_core_0 "3.061224489795918".
- 1429600 cpu_core_0 "3.061224489795918".
- 1430006 cpu_core_0 "3.061224489795918".
- 1430750 cpu_core_0 "3.061224489795918".
- 1431557 cpu_core_0 "3.061224489795918".
- 1431605 cpu_core_0 "3.061224489795918".
- 1431785 cpu_core_0 "3.061224489795918".
- 1432102 cpu_core_0 "3.061224489795918".
- 1432208 cpu_core_0 "3.061224489795918".
- 1432332 cpu_core_0 "3.061224489795918".
- 1432448 cpu_core_0 "3.061224489795918".
- 1432527 cpu_core_0 "3.061224489795918".
- 1434926 cpu_core_0 "3.061224489795918".
- 1435377 cpu_core_0 "3.061224489795918".
- 1435526 cpu_core_0 "3.061224489795918".
- 1436845 cpu_core_0 "3.061224489795918".
- 1437297 cpu_core_0 "3.061224489795918".
- 1438374 cpu_core_0 "3.061224489795918".
- 1438739 cpu_core_0 "3.061224489795918".
- 1438915 cpu_core_0 "3.061224489795918".
- 1439793 cpu_core_0 "3.061224489795918".
- 1440553 cpu_core_0 "3.061224489795918".
- 1441337 cpu_core_0 "3.061224489795918".
- 1441390 cpu_core_0 "3.061224489795918".
- 1441537 cpu_core_0 "3.061224489795918".
- 1441756 cpu_core_0 "3.061224489795918".
- 1442581 cpu_core_0 "3.061224489795918".
- 1443473 cpu_core_0 "3.061224489795918".
- 1443826 cpu_core_0 "3.061224489795918".
- 1443996 cpu_core_0 "3.061224489795918".
- 1444012 cpu_core_0 "3.061224489795918".
- 1444987 cpu_core_0 "3.061224489795918".
- 1446464 cpu_core_0 "3.061224489795918".
- 1446528 cpu_core_0 "3.061224489795918".
- 1447688 cpu_core_0 "3.061224489795918".
- 1447951 cpu_core_0 "3.061224489795918".
- 1449126 cpu_core_0 "3.061224489795918".
- 1449238 cpu_core_0 "3.061224489795918".
- 1450529 cpu_core_0 "3.061224489795918".
- 1450673 cpu_core_0 "3.061224489795918".
- 1450903 cpu_core_0 "3.061224489795918".
- 1450912 cpu_core_0 "3.061224489795918".
- 1451136 cpu_core_0 "3.061224489795918".
- 1452301 cpu_core_0 "3.061224489795918".
- 145303 cpu_core_0 "3.061224489795918".
- 1453077 cpu_core_0 "3.061224489795918".
- 1453132 cpu_core_0 "3.061224489795918".
- 1454565 cpu_core_0 "3.061224489795918".
- 1454737 cpu_core_0 "3.061224489795918".
- 1454924 cpu_core_0 "3.061224489795918".
- 1455227 cpu_core_0 "3.061224489795918".
- 1456149 cpu_core_0 "3.061224489795918".
- 1456328 cpu_core_0 "3.061224489795918".
- 1456699 cpu_core_0 "3.061224489795918".
- 1456959 cpu_core_0 "3.061224489795918".
- 1457019 cpu_core_0 "3.061224489795918".
- 1457893 cpu_core_0 "3.061224489795918".
- 1457922 cpu_core_0 "3.061224489795918".
- 1458879 cpu_core_0 "3.061224489795918".
- 1459759 cpu_core_0 "3.061224489795918".
- 1459938 cpu_core_0 "3.061224489795918".
- 1460552 cpu_core_0 "3.061224489795918".
- 1461080 cpu_core_0 "3.061224489795918".
- 1461524 cpu_core_0 "3.061224489795918".
- 1463216 cpu_core_0 "3.061224489795918".
- 1463441 cpu_core_0 "3.061224489795918".
- 1463681 cpu_core_0 "3.061224489795918".
- 1463824 cpu_core_0 "3.061224489795918".
- 146389 cpu_core_0 "3.061224489795918".
- 1465605 cpu_core_0 "3.061224489795918".
- 1467001 cpu_core_0 "3.061224489795918".
- 1467763 cpu_core_0 "3.061224489795918".
- 1468064 cpu_core_0 "3.061224489795918".
- 146819 cpu_core_0 "3.061224489795918".
- 1468461 cpu_core_0 "3.061224489795918".
- 1468664 cpu_core_0 "3.061224489795918".
- 1469098 cpu_core_0 "3.061224489795918".
- 1470157 cpu_core_0 "3.061224489795918".
- 1470735 cpu_core_0 "3.061224489795918".
- 1471500 cpu_core_0 "3.061224489795918".
- 1472237 cpu_core_0 "3.061224489795918".
- 1472556 cpu_core_0 "3.061224489795918".
- 1473337 cpu_core_0 "3.061224489795918".
- 1474620 cpu_core_0 "3.061224489795918".
- 1474910 cpu_core_0 "3.061224489795918".
- 1475183 cpu_core_0 "3.061224489795918".
- 1475896 cpu_core_0 "3.061224489795918".
- 1476687 cpu_core_0 "3.061224489795918".
- 1478031 cpu_core_0 "3.061224489795918".
- 1478788 cpu_core_0 "3.061224489795918".
- 1479138 cpu_core_0 "3.061224489795918".
- 1479304 cpu_core_0 "3.061224489795918".
- 1479346 cpu_core_0 "3.061224489795918".