Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 1700331 cpu_core_1 "60.00000000000001".
- 1701840 cpu_core_1 "60.00000000000001".
- 1702229 cpu_core_1 "60.00000000000001".
- 1702420 cpu_core_1 "60.00000000000001".
- 1702936 cpu_core_1 "60.00000000000001".
- 1703618 cpu_core_1 "60.00000000000001".
- 1704185 cpu_core_1 "60.00000000000001".
- 1704405 cpu_core_1 "60.00000000000001".
- 1704960 cpu_core_1 "60.00000000000001".
- 1704990 cpu_core_1 "60.00000000000001".
- 1705014 cpu_core_1 "60.00000000000001".
- 1705334 cpu_core_1 "60.00000000000001".
- 1705341 cpu_core_1 "60.00000000000001".
- 1705376 cpu_core_1 "60.00000000000001".
- 1705777 cpu_core_1 "60.00000000000001".
- 1706338 cpu_core_1 "60.00000000000001".
- 1707093 cpu_core_1 "60.00000000000001".
- 1707139 cpu_core_1 "60.00000000000001".
- 1707376 cpu_core_1 "60.00000000000001".
- 1708232 cpu_core_1 "60.00000000000001".
- 1708859 cpu_core_1 "60.00000000000001".
- 1709017 cpu_core_1 "60.00000000000001".
- 1709032 cpu_core_1 "60.00000000000001".
- 1709048 cpu_core_1 "60.00000000000001".
- 1709658 cpu_core_1 "60.00000000000001".
- 1709704 cpu_core_1 "60.00000000000001".
- 1709873 cpu_core_1 "60.00000000000001".
- 1709889 cpu_core_1 "60.00000000000001".
- 1710075 cpu_core_1 "60.00000000000001".
- 1712574 cpu_core_1 "60.00000000000001".
- 1720714 cpu_core_1 "60.00000000000001".
- 1725510 cpu_core_1 "60.00000000000001".
- 209765 cpu_core_1 "60.00000000000001".
- 210205 cpu_core_1 "60.00000000000001".
- 211368 cpu_core_1 "60.00000000000001".
- 212825 cpu_core_1 "60.00000000000001".
- 213308 cpu_core_1 "60.00000000000001".
- 214140 cpu_core_1 "60.00000000000001".
- 214974 cpu_core_1 "60.00000000000001".
- 218644 cpu_core_1 "60.00000000000001".
- 241764 cpu_core_1 "60.00000000000001".
- 242658 cpu_core_1 "60.00000000000001".
- 242847 cpu_core_1 "60.00000000000001".
- 243010 cpu_core_1 "60.00000000000001".
- 244175 cpu_core_1 "60.00000000000001".
- 244672 cpu_core_1 "60.00000000000001".
- 245093 cpu_core_1 "60.00000000000001".
- 250289 cpu_core_1 "60.00000000000001".
- 251396 cpu_core_1 "60.00000000000001".
- 252246 cpu_core_1 "60.00000000000001".
- 252457 cpu_core_1 "60.00000000000001".
- 253417 cpu_core_1 "60.00000000000001".
- 253909 cpu_core_1 "60.00000000000001".
- 255105 cpu_core_1 "60.00000000000001".
- 255351 cpu_core_1 "60.00000000000001".
- 259298 cpu_core_1 "60.00000000000001".
- 261847 cpu_core_1 "60.00000000000001".
- 263667 cpu_core_1 "60.00000000000001".
- 265744 cpu_core_1 "60.00000000000001".
- 270953 cpu_core_1 "60.00000000000001".
- 271438 cpu_core_1 "60.00000000000001".
- 271896 cpu_core_1 "60.00000000000001".
- 272068 cpu_core_1 "60.00000000000001".
- 275065 cpu_core_1 "60.00000000000001".
- 275785 cpu_core_1 "60.00000000000001".
- 276513 cpu_core_1 "60.00000000000001".
- 276971 cpu_core_1 "60.00000000000001".
- 278185 cpu_core_1 "60.00000000000001".
- 278291 cpu_core_1 "60.00000000000001".
- 279810 cpu_core_1 "60.00000000000001".
- 283498 cpu_core_1 "60.00000000000001".
- 284626 cpu_core_1 "60.00000000000001".
- 297200 cpu_core_1 "60.00000000000001".
- 297241 cpu_core_1 "60.00000000000001".
- 297905 cpu_core_1 "60.00000000000001".
- 298043 cpu_core_1 "60.00000000000001".
- 298131 cpu_core_1 "60.00000000000001".
- 299030 cpu_core_1 "60.00000000000001".
- 299663 cpu_core_1 "60.00000000000001".
- 301706 cpu_core_1 "60.00000000000001".
- 301829 cpu_core_1 "60.00000000000001".
- 302839 cpu_core_1 "60.00000000000001".
- 302892 cpu_core_1 "60.00000000000001".
- 306293 cpu_core_1 "60.00000000000001".
- 306949 cpu_core_1 "60.00000000000001".
- 307250 cpu_core_1 "60.00000000000001".
- 308910 cpu_core_1 "60.00000000000001".
- 309029 cpu_core_1 "60.00000000000001".
- 309757 cpu_core_1 "60.00000000000001".
- 310160 cpu_core_1 "60.00000000000001".
- 310276 cpu_core_1 "60.00000000000001".
- 310382 cpu_core_1 "60.00000000000001".
- 311521 cpu_core_1 "60.00000000000001".
- 313678 cpu_core_1 "60.00000000000001".
- 315065 cpu_core_1 "60.00000000000001".
- 316801 cpu_core_1 "60.00000000000001".
- 318251 cpu_core_1 "60.00000000000001".
- 319400 cpu_core_1 "60.00000000000001".
- 320389 cpu_core_1 "60.00000000000001".
- 320406 cpu_core_1 "60.00000000000001".