Matches in ISWC2014 Benchmark for { ?s ?p 22.000000000000004. }
- 1401253 cpu_core_3 "22.000000000000004".
- 1645259 cpu_core_3 "22.000000000000004".
- 1657787 cpu_core_3 "22.000000000000004".
- 1658423 cpu_core_3 "22.000000000000004".
- 1658799 cpu_core_3 "22.000000000000004".
- 1659487 cpu_core_3 "22.000000000000004".
- 1665018 cpu_core_3 "22.000000000000004".
- 1669522 cpu_core_3 "22.000000000000004".
- 1669740 cpu_core_3 "22.000000000000004".
- 1672234 cpu_core_3 "22.000000000000004".
- 1672268 cpu_core_3 "22.000000000000004".
- 1672638 cpu_core_3 "22.000000000000004".
- 1672754 cpu_core_3 "22.000000000000004".
- 1673136 cpu_core_3 "22.000000000000004".
- 1673204 cpu_core_3 "22.000000000000004".
- 1676303 cpu_core_3 "22.000000000000004".
- 1677647 cpu_core_3 "22.000000000000004".
- 1679590 cpu_core_3 "22.000000000000004".
- 1684313 cpu_core_3 "22.000000000000004".
- 1704273 cpu_core_3 "22.000000000000004".
- 1704916 cpu_core_3 "22.000000000000004".
- 1708189 cpu_core_3 "22.000000000000004".
- 1709320 cpu_core_3 "22.000000000000004".
- 1710081 cpu_core_3 "22.000000000000004".
- 1710226 cpu_core_3 "22.000000000000004".
- 1913410 cpu_core_3 "22.000000000000004".
- 1914463 cpu_core_3 "22.000000000000004".
- 1915353 cpu_core_3 "22.000000000000004".
- 1916066 cpu_core_3 "22.000000000000004".
- 1916353 cpu_core_3 "22.000000000000004".
- 1916390 cpu_core_3 "22.000000000000004".
- 1916481 cpu_core_3 "22.000000000000004".
- 1916653 cpu_core_3 "22.000000000000004".
- 1916687 cpu_core_3 "22.000000000000004".
- 1916694 cpu_core_3 "22.000000000000004".
- 1916871 cpu_core_3 "22.000000000000004".
- 1917031 cpu_core_3 "22.000000000000004".
- 1917460 cpu_core_3 "22.000000000000004".
- 1917503 cpu_core_3 "22.000000000000004".
- 1917667 cpu_core_3 "22.000000000000004".
- 1917811 cpu_core_3 "22.000000000000004".
- 1918004 cpu_core_3 "22.000000000000004".
- 1918144 cpu_core_3 "22.000000000000004".
- 1918360 cpu_core_3 "22.000000000000004".
- 1918367 cpu_core_3 "22.000000000000004".
- 1918428 cpu_core_3 "22.000000000000004".
- 1918777 cpu_core_3 "22.000000000000004".
- 1918831 cpu_core_3 "22.000000000000004".
- 1919706 cpu_core_3 "22.000000000000004".
- 1919746 cpu_core_3 "22.000000000000004".
- 1919821 cpu_core_3 "22.000000000000004".
- 1919869 cpu_core_3 "22.000000000000004".
- 1920266 cpu_core_3 "22.000000000000004".
- 1920451 cpu_core_3 "22.000000000000004".
- 196633 cpu_core_3 "22.000000000000004".
- 214697 cpu_core_3 "22.000000000000004".
- 216388 cpu_core_3 "22.000000000000004".
- 219435 cpu_core_3 "22.000000000000004".
- 219709 cpu_core_3 "22.000000000000004".
- 221485 cpu_core_3 "22.000000000000004".
- 221640 cpu_core_3 "22.000000000000004".
- 222349 cpu_core_3 "22.000000000000004".
- 222359 cpu_core_3 "22.000000000000004".
- 233975 cpu_core_3 "22.000000000000004".
- 235704 cpu_core_3 "22.000000000000004".
- 236123 cpu_core_3 "22.000000000000004".
- 237860 cpu_core_3 "22.000000000000004".
- 238745 cpu_core_3 "22.000000000000004".
- 239462 cpu_core_3 "22.000000000000004".
- 239662 cpu_core_3 "22.000000000000004".
- 239672 cpu_core_3 "22.000000000000004".
- 240801 cpu_core_3 "22.000000000000004".
- 241808 cpu_core_3 "22.000000000000004".
- 242920 cpu_core_3 "22.000000000000004".
- 243460 cpu_core_3 "22.000000000000004".
- 244363 cpu_core_3 "22.000000000000004".
- 245740 cpu_core_3 "22.000000000000004".
- 245741 cpu_core_3 "22.000000000000004".
- 247235 cpu_core_3 "22.000000000000004".
- 247705 cpu_core_3 "22.000000000000004".
- 247866 cpu_core_3 "22.000000000000004".
- 248267 cpu_core_3 "22.000000000000004".
- 252171 cpu_core_3 "22.000000000000004".
- 253536 cpu_core_3 "22.000000000000004".
- 255678 cpu_core_3 "22.000000000000004".
- 257455 cpu_core_3 "22.000000000000004".
- 257915 cpu_core_3 "22.000000000000004".
- 258434 cpu_core_3 "22.000000000000004".
- 258800 cpu_core_3 "22.000000000000004".
- 258886 cpu_core_3 "22.000000000000004".
- 264135 cpu_core_3 "22.000000000000004".
- 264953 cpu_core_3 "22.000000000000004".
- 266302 cpu_core_3 "22.000000000000004".
- 269895 cpu_core_3 "22.000000000000004".
- 274450 cpu_core_3 "22.000000000000004".
- 278836 cpu_core_3 "22.000000000000004".
- 279234 cpu_core_3 "22.000000000000004".
- 283500 cpu_core_3 "22.000000000000004".
- 285475 cpu_core_3 "22.000000000000004".
- 285522 cpu_core_3 "22.000000000000004".