Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 1685200 cpu_core_3 "60.00000000000001".
- 1685846 cpu_core_3 "60.00000000000001".
- 1686755 cpu_core_3 "60.00000000000001".
- 1687764 cpu_core_3 "60.00000000000001".
- 1688098 cpu_core_3 "60.00000000000001".
- 1689210 cpu_core_3 "60.00000000000001".
- 1689605 cpu_core_3 "60.00000000000001".
- 1689761 cpu_core_3 "60.00000000000001".
- 1690271 cpu_core_3 "60.00000000000001".
- 1690273 cpu_core_3 "60.00000000000001".
- 1690285 cpu_core_3 "60.00000000000001".
- 1691180 cpu_core_3 "60.00000000000001".
- 1691488 cpu_core_3 "60.00000000000001".
- 1692809 cpu_core_3 "60.00000000000001".
- 1696497 cpu_core_3 "60.00000000000001".
- 1696550 cpu_core_3 "60.00000000000001".
- 1700333 cpu_core_3 "60.00000000000001".
- 1700353 cpu_core_3 "60.00000000000001".
- 1700391 cpu_core_3 "60.00000000000001".
- 1700392 cpu_core_3 "60.00000000000001".
- 1700590 cpu_core_3 "60.00000000000001".
- 1700737 cpu_core_3 "60.00000000000001".
- 1700930 cpu_core_3 "60.00000000000001".
- 1701181 cpu_core_3 "60.00000000000001".
- 1701182 cpu_core_3 "60.00000000000001".
- 1701213 cpu_core_3 "60.00000000000001".
- 1701766 cpu_core_3 "60.00000000000001".
- 1702229 cpu_core_3 "60.00000000000001".
- 1703162 cpu_core_3 "60.00000000000001".
- 1703403 cpu_core_3 "60.00000000000001".
- 1705350 cpu_core_3 "60.00000000000001".
- 1705441 cpu_core_3 "60.00000000000001".
- 1705746 cpu_core_3 "60.00000000000001".
- 1706359 cpu_core_3 "60.00000000000001".
- 1706390 cpu_core_3 "60.00000000000001".
- 1706407 cpu_core_3 "60.00000000000001".
- 1707380 cpu_core_3 "60.00000000000001".
- 1707391 cpu_core_3 "60.00000000000001".
- 1707424 cpu_core_3 "60.00000000000001".
- 1708749 cpu_core_3 "60.00000000000001".
- 1708859 cpu_core_3 "60.00000000000001".
- 1709475 cpu_core_3 "60.00000000000001".
- 1709691 cpu_core_3 "60.00000000000001".
- 1709898 cpu_core_3 "60.00000000000001".
- 1710082 cpu_core_3 "60.00000000000001".
- 1857985 cpu_core_3 "60.00000000000001".
- 216049 cpu_core_3 "60.00000000000001".
- 216314 cpu_core_3 "60.00000000000001".
- 217531 cpu_core_3 "60.00000000000001".
- 217580 cpu_core_3 "60.00000000000001".
- 240754 cpu_core_3 "60.00000000000001".
- 246093 cpu_core_3 "60.00000000000001".
- 246670 cpu_core_3 "60.00000000000001".
- 247253 cpu_core_3 "60.00000000000001".
- 248311 cpu_core_3 "60.00000000000001".
- 252255 cpu_core_3 "60.00000000000001".
- 253135 cpu_core_3 "60.00000000000001".
- 262102 cpu_core_3 "60.00000000000001".
- 263579 cpu_core_3 "60.00000000000001".
- 264236 cpu_core_3 "60.00000000000001".
- 264307 cpu_core_3 "60.00000000000001".
- 267978 cpu_core_3 "60.00000000000001".
- 269135 cpu_core_3 "60.00000000000001".
- 270876 cpu_core_3 "60.00000000000001".
- 274349 cpu_core_3 "60.00000000000001".
- 274362 cpu_core_3 "60.00000000000001".
- 278510 cpu_core_3 "60.00000000000001".
- 279537 cpu_core_3 "60.00000000000001".
- 279670 cpu_core_3 "60.00000000000001".
- 282155 cpu_core_3 "60.00000000000001".
- 282160 cpu_core_3 "60.00000000000001".
- 289152 cpu_core_3 "60.00000000000001".
- 295492 cpu_core_3 "60.00000000000001".
- 298918 cpu_core_3 "60.00000000000001".
- 302328 cpu_core_3 "60.00000000000001".
- 306806 cpu_core_3 "60.00000000000001".
- 309529 cpu_core_3 "60.00000000000001".
- 310382 cpu_core_3 "60.00000000000001".
- 311155 cpu_core_3 "60.00000000000001".
- 315354 cpu_core_3 "60.00000000000001".
- 315675 cpu_core_3 "60.00000000000001".
- 320406 cpu_core_3 "60.00000000000001".
- 329647 cpu_core_3 "60.00000000000001".
- 330484 cpu_core_3 "60.00000000000001".
- 330677 cpu_core_3 "60.00000000000001".
- 333652 cpu_core_3 "60.00000000000001".
- 334064 cpu_core_3 "60.00000000000001".
- 334073 cpu_core_3 "60.00000000000001".
- 335155 cpu_core_3 "60.00000000000001".
- 336916 cpu_core_3 "60.00000000000001".
- 342238 cpu_core_3 "60.00000000000001".
- 342551 cpu_core_3 "60.00000000000001".
- 345121 cpu_core_3 "60.00000000000001".
- 347909 cpu_core_3 "60.00000000000001".
- 349036 cpu_core_3 "60.00000000000001".
- 352025 cpu_core_3 "60.00000000000001".
- 354111 cpu_core_3 "60.00000000000001".
- 357047 cpu_core_3 "60.00000000000001".
- 359095 cpu_core_3 "60.00000000000001".
- 360496 cpu_core_3 "60.00000000000001".