Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1847607 cpu_core_0 "9.000000000000002".
- 1847654 cpu_core_0 "9.000000000000002".
- 1847668 cpu_core_0 "9.000000000000002".
- 1847687 cpu_core_0 "9.000000000000002".
- 1847696 cpu_core_0 "9.000000000000002".
- 1847742 cpu_core_0 "9.000000000000002".
- 1847826 cpu_core_0 "9.000000000000002".
- 1847853 cpu_core_0 "9.000000000000002".
- 1847927 cpu_core_0 "9.000000000000002".
- 1848033 cpu_core_0 "9.000000000000002".
- 1848041 cpu_core_0 "9.000000000000002".
- 1848107 cpu_core_0 "9.000000000000002".
- 1848144 cpu_core_0 "9.000000000000002".
- 1848226 cpu_core_0 "9.000000000000002".
- 1848260 cpu_core_0 "9.000000000000002".
- 1848308 cpu_core_0 "9.000000000000002".
- 1848376 cpu_core_0 "9.000000000000002".
- 1848440 cpu_core_0 "9.000000000000002".
- 1848470 cpu_core_0 "9.000000000000002".
- 1848627 cpu_core_0 "9.000000000000002".
- 1848831 cpu_core_0 "9.000000000000002".
- 1848863 cpu_core_0 "9.000000000000002".
- 1848874 cpu_core_0 "9.000000000000002".
- 1848896 cpu_core_0 "9.000000000000002".
- 1848988 cpu_core_0 "9.000000000000002".
- 1849160 cpu_core_0 "9.000000000000002".
- 1849482 cpu_core_0 "9.000000000000002".
- 1849493 cpu_core_0 "9.000000000000002".
- 1849623 cpu_core_0 "9.000000000000002".
- 1849708 cpu_core_0 "9.000000000000002".
- 1849725 cpu_core_0 "9.000000000000002".
- 1849766 cpu_core_0 "9.000000000000002".
- 1849856 cpu_core_0 "9.000000000000002".
- 1850098 cpu_core_0 "9.000000000000002".
- 1850192 cpu_core_0 "9.000000000000002".
- 1851048 cpu_core_0 "9.000000000000002".
- 1851118 cpu_core_0 "9.000000000000002".
- 1851203 cpu_core_0 "9.000000000000002".
- 1851287 cpu_core_0 "9.000000000000002".
- 1851576 cpu_core_0 "9.000000000000002".
- 1852474 cpu_core_0 "9.000000000000002".
- 1852559 cpu_core_0 "9.000000000000002".
- 1852573 cpu_core_0 "9.000000000000002".
- 1852615 cpu_core_0 "9.000000000000002".
- 1852621 cpu_core_0 "9.000000000000002".
- 1852677 cpu_core_0 "9.000000000000002".
- 1852744 cpu_core_0 "9.000000000000002".
- 1852859 cpu_core_0 "9.000000000000002".
- 1853050 cpu_core_0 "9.000000000000002".
- 1853055 cpu_core_0 "9.000000000000002".
- 1853074 cpu_core_0 "9.000000000000002".
- 1853209 cpu_core_0 "9.000000000000002".
- 1853221 cpu_core_0 "9.000000000000002".
- 1853259 cpu_core_0 "9.000000000000002".
- 1853276 cpu_core_0 "9.000000000000002".
- 1853282 cpu_core_0 "9.000000000000002".
- 1853319 cpu_core_0 "9.000000000000002".
- 1853334 cpu_core_0 "9.000000000000002".
- 1853398 cpu_core_0 "9.000000000000002".
- 1853419 cpu_core_0 "9.000000000000002".
- 1853545 cpu_core_0 "9.000000000000002".
- 1853635 cpu_core_0 "9.000000000000002".
- 1853836 cpu_core_0 "9.000000000000002".
- 1853920 cpu_core_0 "9.000000000000002".
- 1854004 cpu_core_0 "9.000000000000002".
- 1854028 cpu_core_0 "9.000000000000002".
- 1854030 cpu_core_0 "9.000000000000002".
- 1854041 cpu_core_0 "9.000000000000002".
- 1854172 cpu_core_0 "9.000000000000002".
- 1854267 cpu_core_0 "9.000000000000002".
- 1854275 cpu_core_0 "9.000000000000002".
- 1854311 cpu_core_0 "9.000000000000002".
- 1854723 cpu_core_0 "9.000000000000002".
- 1854835 cpu_core_0 "9.000000000000002".
- 1854865 cpu_core_0 "9.000000000000002".
- 1855083 cpu_core_0 "9.000000000000002".
- 1855213 cpu_core_0 "9.000000000000002".
- 1855230 cpu_core_0 "9.000000000000002".
- 1855257 cpu_core_0 "9.000000000000002".
- 1855323 cpu_core_0 "9.000000000000002".
- 1855401 cpu_core_0 "9.000000000000002".
- 1855506 cpu_core_0 "9.000000000000002".
- 1855689 cpu_core_0 "9.000000000000002".
- 1856180 cpu_core_0 "9.000000000000002".
- 1856307 cpu_core_0 "9.000000000000002".
- 1856326 cpu_core_0 "9.000000000000002".
- 1856643 cpu_core_0 "9.000000000000002".
- 1856681 cpu_core_0 "9.000000000000002".
- 1857620 cpu_core_0 "9.000000000000002".
- 1857808 cpu_core_0 "9.000000000000002".
- 1858567 cpu_core_0 "9.000000000000002".
- 1858639 cpu_core_0 "9.000000000000002".
- 1858643 cpu_core_0 "9.000000000000002".
- 1858785 cpu_core_0 "9.000000000000002".
- 1858824 cpu_core_0 "9.000000000000002".
- 1858865 cpu_core_0 "9.000000000000002".
- 1858905 cpu_core_0 "9.000000000000002".
- 1858928 cpu_core_0 "9.000000000000002".
- 1859105 cpu_core_0 "9.000000000000002".
- 1859127 cpu_core_0 "9.000000000000002".