Matches in ISWC2014 Benchmark for { ?s ?p 42.00000000000001. }
- 1670034 cpu_core_0 "42.00000000000001".
- 1670084 cpu_core_0 "42.00000000000001".
- 1670249 cpu_core_0 "42.00000000000001".
- 1672187 cpu_core_0 "42.00000000000001".
- 1672189 cpu_core_0 "42.00000000000001".
- 1672261 cpu_core_0 "42.00000000000001".
- 1672382 cpu_core_0 "42.00000000000001".
- 1672505 cpu_core_0 "42.00000000000001".
- 1672518 cpu_core_0 "42.00000000000001".
- 1672761 cpu_core_0 "42.00000000000001".
- 1672818 cpu_core_0 "42.00000000000001".
- 1673136 cpu_core_0 "42.00000000000001".
- 1673219 cpu_core_0 "42.00000000000001".
- 1675177 cpu_core_0 "42.00000000000001".
- 1675535 cpu_core_0 "42.00000000000001".
- 1675994 cpu_core_0 "42.00000000000001".
- 1676245 cpu_core_0 "42.00000000000001".
- 1676478 cpu_core_0 "42.00000000000001".
- 1676484 cpu_core_0 "42.00000000000001".
- 1676524 cpu_core_0 "42.00000000000001".
- 1677275 cpu_core_0 "42.00000000000001".
- 1677277 cpu_core_0 "42.00000000000001".
- 1677346 cpu_core_0 "42.00000000000001".
- 1677351 cpu_core_0 "42.00000000000001".
- 1677380 cpu_core_0 "42.00000000000001".
- 1677382 cpu_core_0 "42.00000000000001".
- 1677384 cpu_core_0 "42.00000000000001".
- 1677410 cpu_core_0 "42.00000000000001".
- 1677411 cpu_core_0 "42.00000000000001".
- 1677433 cpu_core_0 "42.00000000000001".
- 1677434 cpu_core_0 "42.00000000000001".
- 1677444 cpu_core_0 "42.00000000000001".
- 1677474 cpu_core_0 "42.00000000000001".
- 1677476 cpu_core_0 "42.00000000000001".
- 1677484 cpu_core_0 "42.00000000000001".
- 1677786 cpu_core_0 "42.00000000000001".
- 1678983 cpu_core_0 "42.00000000000001".
- 1679054 cpu_core_0 "42.00000000000001".
- 1679058 cpu_core_0 "42.00000000000001".
- 1679060 cpu_core_0 "42.00000000000001".
- 1679062 cpu_core_0 "42.00000000000001".
- 1679168 cpu_core_0 "42.00000000000001".
- 1679299 cpu_core_0 "42.00000000000001".
- 1679436 cpu_core_0 "42.00000000000001".
- 1679464 cpu_core_0 "42.00000000000001".
- 1679524 cpu_core_0 "42.00000000000001".
- 1679615 cpu_core_0 "42.00000000000001".
- 1679678 cpu_core_0 "42.00000000000001".
- 1679720 cpu_core_0 "42.00000000000001".
- 1679754 cpu_core_0 "42.00000000000001".
- 1681264 cpu_core_0 "42.00000000000001".
- 1681863 cpu_core_0 "42.00000000000001".
- 1683511 cpu_core_0 "42.00000000000001".
- 1683532 cpu_core_0 "42.00000000000001".
- 1683622 cpu_core_0 "42.00000000000001".
- 1683623 cpu_core_0 "42.00000000000001".
- 1683769 cpu_core_0 "42.00000000000001".
- 1683826 cpu_core_0 "42.00000000000001".
- 1683877 cpu_core_0 "42.00000000000001".
- 1683888 cpu_core_0 "42.00000000000001".
- 1683893 cpu_core_0 "42.00000000000001".
- 1683923 cpu_core_0 "42.00000000000001".
- 1683947 cpu_core_0 "42.00000000000001".
- 1684481 cpu_core_0 "42.00000000000001".
- 1684494 cpu_core_0 "42.00000000000001".
- 1684581 cpu_core_0 "42.00000000000001".
- 1684976 cpu_core_0 "42.00000000000001".
- 1685004 cpu_core_0 "42.00000000000001".
- 1685041 cpu_core_0 "42.00000000000001".
- 1685341 cpu_core_0 "42.00000000000001".
- 1685347 cpu_core_0 "42.00000000000001".
- 1686008 cpu_core_0 "42.00000000000001".
- 1686058 cpu_core_0 "42.00000000000001".
- 1686074 cpu_core_0 "42.00000000000001".
- 1686158 cpu_core_0 "42.00000000000001".
- 1686233 cpu_core_0 "42.00000000000001".
- 1686815 cpu_core_0 "42.00000000000001".
- 1686980 cpu_core_0 "42.00000000000001".
- 1687776 cpu_core_0 "42.00000000000001".
- 1688029 cpu_core_0 "42.00000000000001".
- 1689360 cpu_core_0 "42.00000000000001".
- 1689800 cpu_core_0 "42.00000000000001".
- 1690256 cpu_core_0 "42.00000000000001".
- 1691948 cpu_core_0 "42.00000000000001".
- 1691985 cpu_core_0 "42.00000000000001".
- 1693784 cpu_core_0 "42.00000000000001".
- 1697661 cpu_core_0 "42.00000000000001".
- 1697708 cpu_core_0 "42.00000000000001".
- 1697828 cpu_core_0 "42.00000000000001".
- 1697888 cpu_core_0 "42.00000000000001".
- 1697902 cpu_core_0 "42.00000000000001".
- 1697921 cpu_core_0 "42.00000000000001".
- 1698009 cpu_core_0 "42.00000000000001".
- 1698391 cpu_core_0 "42.00000000000001".
- 1698615 cpu_core_0 "42.00000000000001".
- 1699603 cpu_core_0 "42.00000000000001".
- 1699631 cpu_core_0 "42.00000000000001".
- 1699634 cpu_core_0 "42.00000000000001".
- 1700062 cpu_core_0 "42.00000000000001".
- 1700064 cpu_core_0 "42.00000000000001".