Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1742355 cpu_core_0 "11.111111111111112".
- 1742644 cpu_core_0 "11.111111111111112".
- 1742718 cpu_core_0 "11.111111111111112".
- 1742788 cpu_core_0 "11.111111111111112".
- 1742871 cpu_core_0 "11.111111111111112".
- 1742899 cpu_core_0 "11.111111111111112".
- 1743016 cpu_core_0 "11.111111111111112".
- 1743059 cpu_core_0 "11.111111111111112".
- 1743155 cpu_core_0 "11.111111111111112".
- 1743157 cpu_core_0 "11.111111111111112".
- 1743238 cpu_core_0 "11.111111111111112".
- 1743521 cpu_core_0 "11.111111111111112".
- 1743665 cpu_core_0 "11.111111111111112".
- 1743772 cpu_core_0 "11.111111111111112".
- 1743998 cpu_core_0 "11.111111111111112".
- 1744079 cpu_core_0 "11.111111111111112".
- 1744344 cpu_core_0 "11.111111111111112".
- 1744362 cpu_core_0 "11.111111111111112".
- 1744537 cpu_core_0 "11.111111111111112".
- 1744597 cpu_core_0 "11.111111111111112".
- 1744689 cpu_core_0 "11.111111111111112".
- 1744691 cpu_core_0 "11.111111111111112".
- 1744771 cpu_core_0 "11.111111111111112".
- 1745106 cpu_core_0 "11.111111111111112".
- 1745324 cpu_core_0 "11.111111111111112".
- 1745410 cpu_core_0 "11.111111111111112".
- 1745436 cpu_core_0 "11.111111111111112".
- 1745443 cpu_core_0 "11.111111111111112".
- 1745494 cpu_core_0 "11.111111111111112".
- 1745537 cpu_core_0 "11.111111111111112".
- 1745538 cpu_core_0 "11.111111111111112".
- 1745575 cpu_core_0 "11.111111111111112".
- 1745743 cpu_core_0 "11.111111111111112".
- 1745809 cpu_core_0 "11.111111111111112".
- 1745923 cpu_core_0 "11.111111111111112".
- 1745937 cpu_core_0 "11.111111111111112".
- 1745956 cpu_core_0 "11.111111111111112".
- 1745974 cpu_core_0 "11.111111111111112".
- 1745980 cpu_core_0 "11.111111111111112".
- 1746053 cpu_core_0 "11.111111111111112".
- 1746072 cpu_core_0 "11.111111111111112".
- 1746100 cpu_core_0 "11.111111111111112".
- 1746155 cpu_core_0 "11.111111111111112".
- 1746309 cpu_core_0 "11.111111111111112".
- 1746383 cpu_core_0 "11.111111111111112".
- 1746392 cpu_core_0 "11.111111111111112".
- 1746449 cpu_core_0 "11.111111111111112".
- 1746617 cpu_core_0 "11.111111111111112".
- 1746619 cpu_core_0 "11.111111111111112".
- 1746659 cpu_core_0 "11.111111111111112".
- 1746685 cpu_core_0 "11.111111111111112".
- 1746860 cpu_core_0 "11.111111111111112".
- 1746890 cpu_core_0 "11.111111111111112".
- 1746899 cpu_core_0 "11.111111111111112".
- 1746973 cpu_core_0 "11.111111111111112".
- 1746982 cpu_core_0 "11.111111111111112".
- 1747188 cpu_core_0 "11.111111111111112".
- 1747400 cpu_core_0 "11.111111111111112".
- 1747492 cpu_core_0 "11.111111111111112".
- 1747500 cpu_core_0 "11.111111111111112".
- 1747706 cpu_core_0 "11.111111111111112".
- 1747735 cpu_core_0 "11.111111111111112".
- 1747894 cpu_core_0 "11.111111111111112".
- 1747899 cpu_core_0 "11.111111111111112".
- 1747935 cpu_core_0 "11.111111111111112".
- 1747942 cpu_core_0 "11.111111111111112".
- 1747974 cpu_core_0 "11.111111111111112".
- 1748029 cpu_core_0 "11.111111111111112".
- 1748200 cpu_core_0 "11.111111111111112".
- 1748317 cpu_core_0 "11.111111111111112".
- 1748423 cpu_core_0 "11.111111111111112".
- 1748459 cpu_core_0 "11.111111111111112".
- 1748594 cpu_core_0 "11.111111111111112".
- 1748836 cpu_core_0 "11.111111111111112".
- 1748863 cpu_core_0 "11.111111111111112".
- 1748981 cpu_core_0 "11.111111111111112".
- 1749380 cpu_core_0 "11.111111111111112".
- 1749445 cpu_core_0 "11.111111111111112".
- 1749802 cpu_core_0 "11.111111111111112".
- 1749923 cpu_core_0 "11.111111111111112".
- 1750172 cpu_core_0 "11.111111111111112".
- 1750470 cpu_core_0 "11.111111111111112".
- 1750494 cpu_core_0 "11.111111111111112".
- 1750823 cpu_core_0 "11.111111111111112".
- 1750956 cpu_core_0 "11.111111111111112".
- 1751009 cpu_core_0 "11.111111111111112".
- 1751102 cpu_core_0 "11.111111111111112".
- 1751211 cpu_core_0 "11.111111111111112".
- 1751310 cpu_core_0 "11.111111111111112".
- 1751335 cpu_core_0 "11.111111111111112".
- 1751343 cpu_core_0 "11.111111111111112".
- 1751458 cpu_core_0 "11.111111111111112".
- 1751517 cpu_core_0 "11.111111111111112".
- 1751525 cpu_core_0 "11.111111111111112".
- 1751604 cpu_core_0 "11.111111111111112".
- 1751655 cpu_core_0 "11.111111111111112".
- 1751686 cpu_core_0 "11.111111111111112".
- 1751712 cpu_core_0 "11.111111111111112".
- 1751716 cpu_core_0 "11.111111111111112".
- 1751886 cpu_core_0 "11.111111111111112".