Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1621432 cpu_core_0 "3.061224489795918".
- 1622179 cpu_core_0 "3.061224489795918".
- 1624965 cpu_core_0 "3.061224489795918".
- 1625402 cpu_core_0 "3.061224489795918".
- 1625425 cpu_core_0 "3.061224489795918".
- 1626258 cpu_core_0 "3.061224489795918".
- 1626555 cpu_core_0 "3.061224489795918".
- 1627362 cpu_core_0 "3.061224489795918".
- 1628497 cpu_core_0 "3.061224489795918".
- 1629884 cpu_core_0 "3.061224489795918".
- 1629985 cpu_core_0 "3.061224489795918".
- 1630264 cpu_core_0 "3.061224489795918".
- 1630696 cpu_core_0 "3.061224489795918".
- 1631070 cpu_core_0 "3.061224489795918".
- 1631959 cpu_core_0 "3.061224489795918".
- 1632043 cpu_core_0 "3.061224489795918".
- 1632922 cpu_core_0 "3.061224489795918".
- 1633969 cpu_core_0 "3.061224489795918".
- 1634425 cpu_core_0 "3.061224489795918".
- 1634771 cpu_core_0 "3.061224489795918".
- 1635617 cpu_core_0 "3.061224489795918".
- 1636259 cpu_core_0 "3.061224489795918".
- 1637255 cpu_core_0 "3.061224489795918".
- 1638742 cpu_core_0 "3.061224489795918".
- 1642342 cpu_core_0 "3.061224489795918".
- 1644496 cpu_core_0 "3.061224489795918".
- 1644854 cpu_core_0 "3.061224489795918".
- 1645222 cpu_core_0 "3.061224489795918".
- 1646712 cpu_core_0 "3.061224489795918".
- 1646829 cpu_core_0 "3.061224489795918".
- 1646926 cpu_core_0 "3.061224489795918".
- 1647147 cpu_core_0 "3.061224489795918".
- 1647184 cpu_core_0 "3.061224489795918".
- 1647297 cpu_core_0 "3.061224489795918".
- 1647415 cpu_core_0 "3.061224489795918".
- 1647433 cpu_core_0 "3.061224489795918".
- 1647471 cpu_core_0 "3.061224489795918".
- 1647695 cpu_core_0 "3.061224489795918".
- 1647864 cpu_core_0 "3.061224489795918".
- 1647946 cpu_core_0 "3.061224489795918".
- 1647954 cpu_core_0 "3.061224489795918".
- 1648041 cpu_core_0 "3.061224489795918".
- 1648161 cpu_core_0 "3.061224489795918".
- 1648641 cpu_core_0 "3.061224489795918".
- 1648844 cpu_core_0 "3.061224489795918".
- 1648876 cpu_core_0 "3.061224489795918".
- 1649001 cpu_core_0 "3.061224489795918".
- 1649137 cpu_core_0 "3.061224489795918".
- 1649289 cpu_core_0 "3.061224489795918".
- 1649361 cpu_core_0 "3.061224489795918".
- 1649483 cpu_core_0 "3.061224489795918".
- 1649537 cpu_core_0 "3.061224489795918".
- 1649615 cpu_core_0 "3.061224489795918".
- 1649721 cpu_core_0 "3.061224489795918".
- 1649835 cpu_core_0 "3.061224489795918".
- 1649856 cpu_core_0 "3.061224489795918".
- 1649993 cpu_core_0 "3.061224489795918".
- 1650026 cpu_core_0 "3.061224489795918".
- 1650074 cpu_core_0 "3.061224489795918".
- 1650112 cpu_core_0 "3.061224489795918".
- 1650144 cpu_core_0 "3.061224489795918".
- 1650196 cpu_core_0 "3.061224489795918".
- 1650322 cpu_core_0 "3.061224489795918".
- 1650444 cpu_core_0 "3.061224489795918".
- 1650448 cpu_core_0 "3.061224489795918".
- 1650610 cpu_core_0 "3.061224489795918".
- 1650625 cpu_core_0 "3.061224489795918".
- 1650750 cpu_core_0 "3.061224489795918".
- 1650794 cpu_core_0 "3.061224489795918".
- 1650921 cpu_core_0 "3.061224489795918".
- 1650931 cpu_core_0 "3.061224489795918".
- 1650938 cpu_core_0 "3.061224489795918".
- 1651041 cpu_core_0 "3.061224489795918".
- 1651193 cpu_core_0 "3.061224489795918".
- 1651302 cpu_core_0 "3.061224489795918".
- 1651576 cpu_core_0 "3.061224489795918".
- 1651585 cpu_core_0 "3.061224489795918".
- 1651682 cpu_core_0 "3.061224489795918".
- 1651760 cpu_core_0 "3.061224489795918".
- 1651804 cpu_core_0 "3.061224489795918".
- 1651810 cpu_core_0 "3.061224489795918".
- 1652291 cpu_core_0 "3.061224489795918".
- 1652546 cpu_core_0 "3.061224489795918".
- 1652600 cpu_core_0 "3.061224489795918".
- 1652720 cpu_core_0 "3.061224489795918".
- 1652839 cpu_core_0 "3.061224489795918".
- 1652907 cpu_core_0 "3.061224489795918".
- 1653110 cpu_core_0 "3.061224489795918".
- 1653187 cpu_core_0 "3.061224489795918".
- 1653212 cpu_core_0 "3.061224489795918".
- 1653390 cpu_core_0 "3.061224489795918".
- 1653395 cpu_core_0 "3.061224489795918".
- 1653407 cpu_core_0 "3.061224489795918".
- 1653612 cpu_core_0 "3.061224489795918".
- 1653669 cpu_core_0 "3.061224489795918".
- 1653793 cpu_core_0 "3.061224489795918".
- 1653795 cpu_core_0 "3.061224489795918".
- 1653853 cpu_core_0 "3.061224489795918".
- 1653976 cpu_core_0 "3.061224489795918".
- 1654350 cpu_core_0 "3.061224489795918".