Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 1708030 cpu_core_0 "60.00000000000001".
- 1708033 cpu_core_0 "60.00000000000001".
- 1708882 cpu_core_0 "60.00000000000001".
- 1708993 cpu_core_0 "60.00000000000001".
- 1709062 cpu_core_0 "60.00000000000001".
- 1709557 cpu_core_0 "60.00000000000001".
- 1709701 cpu_core_0 "60.00000000000001".
- 1712508 cpu_core_0 "60.00000000000001".
- 1712578 cpu_core_0 "60.00000000000001".
- 1712659 cpu_core_0 "60.00000000000001".
- 1810010 cpu_core_0 "60.00000000000001".
- 1815863 cpu_core_0 "60.00000000000001".
- 1917048 cpu_core_0 "60.00000000000001".
- 210322 cpu_core_0 "60.00000000000001".
- 211573 cpu_core_0 "60.00000000000001".
- 212386 cpu_core_0 "60.00000000000001".
- 212848 cpu_core_0 "60.00000000000001".
- 213612 cpu_core_0 "60.00000000000001".
- 215987 cpu_core_0 "60.00000000000001".
- 218356 cpu_core_0 "60.00000000000001".
- 220202 cpu_core_0 "60.00000000000001".
- 220549 cpu_core_0 "60.00000000000001".
- 220886 cpu_core_0 "60.00000000000001".
- 221335 cpu_core_0 "60.00000000000001".
- 221357 cpu_core_0 "60.00000000000001".
- 221597 cpu_core_0 "60.00000000000001".
- 222094 cpu_core_0 "60.00000000000001".
- 222128 cpu_core_0 "60.00000000000001".
- 222135 cpu_core_0 "60.00000000000001".
- 232745 cpu_core_0 "60.00000000000001".
- 233156 cpu_core_0 "60.00000000000001".
- 233559 cpu_core_0 "60.00000000000001".
- 234127 cpu_core_0 "60.00000000000001".
- 234222 cpu_core_0 "60.00000000000001".
- 234422 cpu_core_0 "60.00000000000001".
- 234550 cpu_core_0 "60.00000000000001".
- 235150 cpu_core_0 "60.00000000000001".
- 235201 cpu_core_0 "60.00000000000001".
- 235316 cpu_core_0 "60.00000000000001".
- 235655 cpu_core_0 "60.00000000000001".
- 236267 cpu_core_0 "60.00000000000001".
- 236458 cpu_core_0 "60.00000000000001".
- 236811 cpu_core_0 "60.00000000000001".
- 236886 cpu_core_0 "60.00000000000001".
- 237785 cpu_core_0 "60.00000000000001".
- 238017 cpu_core_0 "60.00000000000001".
- 238868 cpu_core_0 "60.00000000000001".
- 238958 cpu_core_0 "60.00000000000001".
- 239278 cpu_core_0 "60.00000000000001".
- 239357 cpu_core_0 "60.00000000000001".
- 239512 cpu_core_0 "60.00000000000001".
- 239908 cpu_core_0 "60.00000000000001".
- 241418 cpu_core_0 "60.00000000000001".
- 241963 cpu_core_0 "60.00000000000001".
- 242155 cpu_core_0 "60.00000000000001".
- 243358 cpu_core_0 "60.00000000000001".
- 243360 cpu_core_0 "60.00000000000001".
- 243488 cpu_core_0 "60.00000000000001".
- 244106 cpu_core_0 "60.00000000000001".
- 244262 cpu_core_0 "60.00000000000001".
- 244686 cpu_core_0 "60.00000000000001".
- 245319 cpu_core_0 "60.00000000000001".
- 245545 cpu_core_0 "60.00000000000001".
- 246111 cpu_core_0 "60.00000000000001".
- 247104 cpu_core_0 "60.00000000000001".
- 247687 cpu_core_0 "60.00000000000001".
- 247913 cpu_core_0 "60.00000000000001".
- 248202 cpu_core_0 "60.00000000000001".
- 248664 cpu_core_0 "60.00000000000001".
- 249181 cpu_core_0 "60.00000000000001".
- 249261 cpu_core_0 "60.00000000000001".
- 250023 cpu_core_0 "60.00000000000001".
- 251789 cpu_core_0 "60.00000000000001".
- 252872 cpu_core_0 "60.00000000000001".
- 253750 cpu_core_0 "60.00000000000001".
- 253906 cpu_core_0 "60.00000000000001".
- 255529 cpu_core_0 "60.00000000000001".
- 257249 cpu_core_0 "60.00000000000001".
- 257653 cpu_core_0 "60.00000000000001".
- 258136 cpu_core_0 "60.00000000000001".
- 258404 cpu_core_0 "60.00000000000001".
- 259141 cpu_core_0 "60.00000000000001".
- 259371 cpu_core_0 "60.00000000000001".
- 262259 cpu_core_0 "60.00000000000001".
- 263520 cpu_core_0 "60.00000000000001".
- 263563 cpu_core_0 "60.00000000000001".
- 263853 cpu_core_0 "60.00000000000001".
- 265526 cpu_core_0 "60.00000000000001".
- 266517 cpu_core_0 "60.00000000000001".
- 267107 cpu_core_0 "60.00000000000001".
- 270118 cpu_core_0 "60.00000000000001".
- 271405 cpu_core_0 "60.00000000000001".
- 274488 cpu_core_0 "60.00000000000001".
- 274988 cpu_core_0 "60.00000000000001".
- 276898 cpu_core_0 "60.00000000000001".
- 278765 cpu_core_0 "60.00000000000001".
- 279083 cpu_core_0 "60.00000000000001".
- 279436 cpu_core_0 "60.00000000000001".
- 280624 cpu_core_0 "60.00000000000001".
- 280731 cpu_core_0 "60.00000000000001".