Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 576321 cpu_core_0 "60.00000000000001".
- 576354 cpu_core_0 "60.00000000000001".
- 576427 cpu_core_0 "60.00000000000001".
- 577063 cpu_core_0 "60.00000000000001".
- 577329 cpu_core_0 "60.00000000000001".
- 577974 cpu_core_0 "60.00000000000001".
- 578337 cpu_core_0 "60.00000000000001".
- 578407 cpu_core_0 "60.00000000000001".
- 578475 cpu_core_0 "60.00000000000001".
- 579662 cpu_core_0 "60.00000000000001".
- 579801 cpu_core_0 "60.00000000000001".
- 580361 cpu_core_0 "60.00000000000001".
- 582115 cpu_core_0 "60.00000000000001".
- 582258 cpu_core_0 "60.00000000000001".
- 582462 cpu_core_0 "60.00000000000001".
- 582702 cpu_core_0 "60.00000000000001".
- 583000 cpu_core_0 "60.00000000000001".
- 583446 cpu_core_0 "60.00000000000001".
- 583658 cpu_core_0 "60.00000000000001".
- 583709 cpu_core_0 "60.00000000000001".
- 585090 cpu_core_0 "60.00000000000001".
- 585099 cpu_core_0 "60.00000000000001".
- 585140 cpu_core_0 "60.00000000000001".
- 585171 cpu_core_0 "60.00000000000001".
- 585172 cpu_core_0 "60.00000000000001".
- 585992 cpu_core_0 "60.00000000000001".
- 586001 cpu_core_0 "60.00000000000001".
- 586023 cpu_core_0 "60.00000000000001".
- 586096 cpu_core_0 "60.00000000000001".
- 586171 cpu_core_0 "60.00000000000001".
- 586698 cpu_core_0 "60.00000000000001".
- 586861 cpu_core_0 "60.00000000000001".
- 586939 cpu_core_0 "60.00000000000001".
- 587099 cpu_core_0 "60.00000000000001".
- 587183 cpu_core_0 "60.00000000000001".
- 587428 cpu_core_0 "60.00000000000001".
- 587432 cpu_core_0 "60.00000000000001".
- 588001 cpu_core_0 "60.00000000000001".
- 588427 cpu_core_0 "60.00000000000001".
- 588763 cpu_core_0 "60.00000000000001".
- 589263 cpu_core_0 "60.00000000000001".
- 590828 cpu_core_0 "60.00000000000001".
- 591312 cpu_core_0 "60.00000000000001".
- 591323 cpu_core_0 "60.00000000000001".
- 591718 cpu_core_0 "60.00000000000001".
- 591797 cpu_core_0 "60.00000000000001".
- 592093 cpu_core_0 "60.00000000000001".
- 592111 cpu_core_0 "60.00000000000001".
- 592423 cpu_core_0 "60.00000000000001".
- 592833 cpu_core_0 "60.00000000000001".
- 593568 cpu_core_0 "60.00000000000001".
- 593796 cpu_core_0 "60.00000000000001".
- 593886 cpu_core_0 "60.00000000000001".
- 594053 cpu_core_0 "60.00000000000001".
- 594344 cpu_core_0 "60.00000000000001".
- 594355 cpu_core_0 "60.00000000000001".
- 594495 cpu_core_0 "60.00000000000001".
- 594587 cpu_core_0 "60.00000000000001".
- 594645 cpu_core_0 "60.00000000000001".
- 595280 cpu_core_0 "60.00000000000001".
- 595480 cpu_core_0 "60.00000000000001".
- 595612 cpu_core_0 "60.00000000000001".
- 595844 cpu_core_0 "60.00000000000001".
- 595878 cpu_core_0 "60.00000000000001".
- 595931 cpu_core_0 "60.00000000000001".
- 595948 cpu_core_0 "60.00000000000001".
- 595954 cpu_core_0 "60.00000000000001".
- 596311 cpu_core_0 "60.00000000000001".
- 596626 cpu_core_0 "60.00000000000001".
- 597094 cpu_core_0 "60.00000000000001".
- 597143 cpu_core_0 "60.00000000000001".
- 597368 cpu_core_0 "60.00000000000001".
- 597429 cpu_core_0 "60.00000000000001".
- 597739 cpu_core_0 "60.00000000000001".
- 597811 cpu_core_0 "60.00000000000001".
- 598547 cpu_core_0 "60.00000000000001".
- 598711 cpu_core_0 "60.00000000000001".
- 598722 cpu_core_0 "60.00000000000001".
- 598850 cpu_core_0 "60.00000000000001".
- 599362 cpu_core_0 "60.00000000000001".
- 599453 cpu_core_0 "60.00000000000001".
- 599513 cpu_core_0 "60.00000000000001".
- 599524 cpu_core_0 "60.00000000000001".
- 599975 cpu_core_0 "60.00000000000001".
- 600508 cpu_core_0 "60.00000000000001".
- 600631 cpu_core_0 "60.00000000000001".
- 600951 cpu_core_0 "60.00000000000001".
- 600992 cpu_core_0 "60.00000000000001".
- 601105 cpu_core_0 "60.00000000000001".
- 601588 cpu_core_0 "60.00000000000001".
- 601788 cpu_core_0 "60.00000000000001".
- 602909 cpu_core_0 "60.00000000000001".
- 603496 cpu_core_0 "60.00000000000001".
- 603680 cpu_core_0 "60.00000000000001".
- 604269 cpu_core_0 "60.00000000000001".
- 604368 cpu_core_0 "60.00000000000001".
- 604610 cpu_core_0 "60.00000000000001".
- 604721 cpu_core_0 "60.00000000000001".
- 604810 cpu_core_0 "60.00000000000001".
- 604924 cpu_core_0 "60.00000000000001".