Matches in ISWC2014 Benchmark for { ?s ?p 30.000000000000004. }
- 1773717 cpu_core_0 "30.000000000000004".
- 1779378 cpu_core_0 "30.000000000000004".
- 1779399 cpu_core_0 "30.000000000000004".
- 1779406 cpu_core_0 "30.000000000000004".
- 1785090 cpu_core_0 "30.000000000000004".
- 1797002 cpu_core_0 "30.000000000000004".
- 1797015 cpu_core_0 "30.000000000000004".
- 1797016 cpu_core_0 "30.000000000000004".
- 1815920 cpu_core_0 "30.000000000000004".
- 1822210 cpu_core_0 "30.000000000000004".
- 1822235 cpu_core_0 "30.000000000000004".
- 1822265 cpu_core_0 "30.000000000000004".
- 1828199 cpu_core_0 "30.000000000000004".
- 1828201 cpu_core_0 "30.000000000000004".
- 1828207 cpu_core_0 "30.000000000000004".
- 1828290 cpu_core_0 "30.000000000000004".
- 1839708 cpu_core_0 "30.000000000000004".
- 1840188 cpu_core_0 "30.000000000000004".
- 1840205 cpu_core_0 "30.000000000000004".
- 1840211 cpu_core_0 "30.000000000000004".
- 1840216 cpu_core_0 "30.000000000000004".
- 1846111 cpu_core_0 "30.000000000000004".
- 1846131 cpu_core_0 "30.000000000000004".
- 1846133 cpu_core_0 "30.000000000000004".
- 1852215 cpu_core_0 "30.000000000000004".
- 1852223 cpu_core_0 "30.000000000000004".
- 1852328 cpu_core_0 "30.000000000000004".
- 1857998 cpu_core_0 "30.000000000000004".
- 1864939 cpu_core_0 "30.000000000000004".
- 1864944 cpu_core_0 "30.000000000000004".
- 1872130 cpu_core_0 "30.000000000000004".
- 1872134 cpu_core_0 "30.000000000000004".
- 1872325 cpu_core_0 "30.000000000000004".
- 1877819 cpu_core_0 "30.000000000000004".
- 1877822 cpu_core_0 "30.000000000000004".
- 1883438 cpu_core_0 "30.000000000000004".
- 1883708 cpu_core_0 "30.000000000000004".
- 1883737 cpu_core_0 "30.000000000000004".
- 1889806 cpu_core_0 "30.000000000000004".
- 1895541 cpu_core_0 "30.000000000000004".
- 1913473 cpu_core_0 "30.000000000000004".
- 1916492 cpu_core_0 "30.000000000000004".
- 1917473 cpu_core_0 "30.000000000000004".
- 1918730 cpu_core_0 "30.000000000000004".
- 1918855 cpu_core_0 "30.000000000000004".
- 1920058 cpu_core_0 "30.000000000000004".
- 1920617 cpu_core_0 "30.000000000000004".
- 1920622 cpu_core_0 "30.000000000000004".
- 1927504 cpu_core_0 "30.000000000000004".
- 1968568 cpu_core_0 "30.000000000000004".
- 211528 cpu_core_0 "30.000000000000004".
- 214603 cpu_core_0 "30.000000000000004".
- 218406 cpu_core_0 "30.000000000000004".
- 220119 cpu_core_0 "30.000000000000004".
- 220314 cpu_core_0 "30.000000000000004".
- 221535 cpu_core_0 "30.000000000000004".
- 222450 cpu_core_0 "30.000000000000004".
- 222872 cpu_core_0 "30.000000000000004".
- 233253 cpu_core_0 "30.000000000000004".
- 234948 cpu_core_0 "30.000000000000004".
- 235290 cpu_core_0 "30.000000000000004".
- 235942 cpu_core_0 "30.000000000000004".
- 236935 cpu_core_0 "30.000000000000004".
- 237418 cpu_core_0 "30.000000000000004".
- 239120 cpu_core_0 "30.000000000000004".
- 239208 cpu_core_0 "30.000000000000004".
- 239429 cpu_core_0 "30.000000000000004".
- 239543 cpu_core_0 "30.000000000000004".
- 239779 cpu_core_0 "30.000000000000004".
- 239971 cpu_core_0 "30.000000000000004".
- 241219 cpu_core_0 "30.000000000000004".
- 241309 cpu_core_0 "30.000000000000004".
- 241644 cpu_core_0 "30.000000000000004".
- 242347 cpu_core_0 "30.000000000000004".
- 244634 cpu_core_0 "30.000000000000004".
- 245095 cpu_core_0 "30.000000000000004".
- 247326 cpu_core_0 "30.000000000000004".
- 247457 cpu_core_0 "30.000000000000004".
- 257322 cpu_core_0 "30.000000000000004".
- 257867 cpu_core_0 "30.000000000000004".
- 258390 cpu_core_0 "30.000000000000004".
- 258567 cpu_core_0 "30.000000000000004".
- 258863 cpu_core_0 "30.000000000000004".
- 259914 cpu_core_0 "30.000000000000004".
- 260172 cpu_core_0 "30.000000000000004".
- 260491 cpu_core_0 "30.000000000000004".
- 260655 cpu_core_0 "30.000000000000004".
- 261059 cpu_core_0 "30.000000000000004".
- 263280 cpu_core_0 "30.000000000000004".
- 263711 cpu_core_0 "30.000000000000004".
- 267338 cpu_core_0 "30.000000000000004".
- 267764 cpu_core_0 "30.000000000000004".
- 268673 cpu_core_0 "30.000000000000004".
- 269362 cpu_core_0 "30.000000000000004".
- 269978 cpu_core_0 "30.000000000000004".
- 272180 cpu_core_0 "30.000000000000004".
- 272607 cpu_core_0 "30.000000000000004".
- 273242 cpu_core_0 "30.000000000000004".
- 274840 cpu_core_0 "30.000000000000004".
- 276010 cpu_core_0 "30.000000000000004".