Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1588453 cpu_core_0 "9.000000000000002".
- 1588469 cpu_core_0 "9.000000000000002".
- 1588476 cpu_core_0 "9.000000000000002".
- 1588527 cpu_core_0 "9.000000000000002".
- 1588604 cpu_core_0 "9.000000000000002".
- 1588737 cpu_core_0 "9.000000000000002".
- 1588764 cpu_core_0 "9.000000000000002".
- 1588816 cpu_core_0 "9.000000000000002".
- 1589138 cpu_core_0 "9.000000000000002".
- 1589304 cpu_core_0 "9.000000000000002".
- 1589461 cpu_core_0 "9.000000000000002".
- 1590165 cpu_core_0 "9.000000000000002".
- 1590195 cpu_core_0 "9.000000000000002".
- 1590205 cpu_core_0 "9.000000000000002".
- 1590934 cpu_core_0 "9.000000000000002".
- 1591335 cpu_core_0 "9.000000000000002".
- 1591361 cpu_core_0 "9.000000000000002".
- 1591803 cpu_core_0 "9.000000000000002".
- 1592134 cpu_core_0 "9.000000000000002".
- 1592228 cpu_core_0 "9.000000000000002".
- 1592229 cpu_core_0 "9.000000000000002".
- 1592610 cpu_core_0 "9.000000000000002".
- 1592723 cpu_core_0 "9.000000000000002".
- 1592733 cpu_core_0 "9.000000000000002".
- 1592813 cpu_core_0 "9.000000000000002".
- 1592949 cpu_core_0 "9.000000000000002".
- 1592960 cpu_core_0 "9.000000000000002".
- 1592964 cpu_core_0 "9.000000000000002".
- 1593010 cpu_core_0 "9.000000000000002".
- 1593053 cpu_core_0 "9.000000000000002".
- 1593118 cpu_core_0 "9.000000000000002".
- 1593122 cpu_core_0 "9.000000000000002".
- 1593222 cpu_core_0 "9.000000000000002".
- 1593235 cpu_core_0 "9.000000000000002".
- 1593298 cpu_core_0 "9.000000000000002".
- 1593602 cpu_core_0 "9.000000000000002".
- 1593656 cpu_core_0 "9.000000000000002".
- 1593926 cpu_core_0 "9.000000000000002".
- 1594361 cpu_core_0 "9.000000000000002".
- 1594644 cpu_core_0 "9.000000000000002".
- 1594692 cpu_core_0 "9.000000000000002".
- 1594850 cpu_core_0 "9.000000000000002".
- 1595092 cpu_core_0 "9.000000000000002".
- 1595745 cpu_core_0 "9.000000000000002".
- 1595848 cpu_core_0 "9.000000000000002".
- 1596284 cpu_core_0 "9.000000000000002".
- 1596295 cpu_core_0 "9.000000000000002".
- 1596476 cpu_core_0 "9.000000000000002".
- 1596647 cpu_core_0 "9.000000000000002".
- 1596833 cpu_core_0 "9.000000000000002".
- 1597057 cpu_core_0 "9.000000000000002".
- 1597067 cpu_core_0 "9.000000000000002".
- 1597105 cpu_core_0 "9.000000000000002".
- 1597340 cpu_core_0 "9.000000000000002".
- 1597551 cpu_core_0 "9.000000000000002".
- 1597641 cpu_core_0 "9.000000000000002".
- 1597828 cpu_core_0 "9.000000000000002".
- 1597945 cpu_core_0 "9.000000000000002".
- 1597950 cpu_core_0 "9.000000000000002".
- 1598005 cpu_core_0 "9.000000000000002".
- 1598156 cpu_core_0 "9.000000000000002".
- 1598208 cpu_core_0 "9.000000000000002".
- 1598263 cpu_core_0 "9.000000000000002".
- 1598333 cpu_core_0 "9.000000000000002".
- 1598413 cpu_core_0 "9.000000000000002".
- 1598537 cpu_core_0 "9.000000000000002".
- 1598648 cpu_core_0 "9.000000000000002".
- 1598657 cpu_core_0 "9.000000000000002".
- 1598683 cpu_core_0 "9.000000000000002".
- 1598772 cpu_core_0 "9.000000000000002".
- 1598775 cpu_core_0 "9.000000000000002".
- 1598912 cpu_core_0 "9.000000000000002".
- 1599099 cpu_core_0 "9.000000000000002".
- 1599401 cpu_core_0 "9.000000000000002".
- 1599459 cpu_core_0 "9.000000000000002".
- 1599685 cpu_core_0 "9.000000000000002".
- 1599708 cpu_core_0 "9.000000000000002".
- 1599746 cpu_core_0 "9.000000000000002".
- 1600135 cpu_core_0 "9.000000000000002".
- 1600465 cpu_core_0 "9.000000000000002".
- 1600531 cpu_core_0 "9.000000000000002".
- 1600592 cpu_core_0 "9.000000000000002".
- 1600709 cpu_core_0 "9.000000000000002".
- 1600965 cpu_core_0 "9.000000000000002".
- 1601354 cpu_core_0 "9.000000000000002".
- 1601661 cpu_core_0 "9.000000000000002".
- 1601757 cpu_core_0 "9.000000000000002".
- 1601928 cpu_core_0 "9.000000000000002".
- 1602853 cpu_core_0 "9.000000000000002".
- 1602968 cpu_core_0 "9.000000000000002".
- 1603080 cpu_core_0 "9.000000000000002".
- 1603254 cpu_core_0 "9.000000000000002".
- 1603484 cpu_core_0 "9.000000000000002".
- 1603801 cpu_core_0 "9.000000000000002".
- 1604076 cpu_core_0 "9.000000000000002".
- 1604520 cpu_core_0 "9.000000000000002".
- 1604524 cpu_core_0 "9.000000000000002".
- 1604924 cpu_core_0 "9.000000000000002".
- 1604968 cpu_core_0 "9.000000000000002".
- 1605054 cpu_core_0 "9.000000000000002".