Matches in ISWC2014 Benchmark for { ?s ?p 3.9215686274509802. }
- 397058 cpu_core_1 "3.9215686274509802".
- 397188 cpu_core_1 "3.9215686274509802".
- 398328 cpu_core_1 "3.9215686274509802".
- 398656 cpu_core_1 "3.9215686274509802".
- 405259 cpu_core_1 "3.9215686274509802".
- 406408 cpu_core_1 "3.9215686274509802".
- 406544 cpu_core_1 "3.9215686274509802".
- 409335 cpu_core_1 "3.9215686274509802".
- 410406 cpu_core_1 "3.9215686274509802".
- 410594 cpu_core_1 "3.9215686274509802".
- 411840 cpu_core_1 "3.9215686274509802".
- 412531 cpu_core_1 "3.9215686274509802".
- 412540 cpu_core_1 "3.9215686274509802".
- 412936 cpu_core_1 "3.9215686274509802".
- 413196 cpu_core_1 "3.9215686274509802".
- 413784 cpu_core_1 "3.9215686274509802".
- 414513 cpu_core_1 "3.9215686274509802".
- 415274 cpu_core_1 "3.9215686274509802".
- 416833 cpu_core_1 "3.9215686274509802".
- 420348 cpu_core_1 "3.9215686274509802".
- 420794 cpu_core_1 "3.9215686274509802".
- 422721 cpu_core_1 "3.9215686274509802".
- 423028 cpu_core_1 "3.9215686274509802".
- 423467 cpu_core_1 "3.9215686274509802".
- 423836 cpu_core_1 "3.9215686274509802".
- 424608 cpu_core_1 "3.9215686274509802".
- 424700 cpu_core_1 "3.9215686274509802".
- 425145 cpu_core_1 "3.9215686274509802".
- 426173 cpu_core_1 "3.9215686274509802".
- 426755 cpu_core_1 "3.9215686274509802".
- 428038 cpu_core_1 "3.9215686274509802".
- 429981 cpu_core_1 "3.9215686274509802".
- 430028 cpu_core_1 "3.9215686274509802".
- 430856 cpu_core_1 "3.9215686274509802".
- 430878 cpu_core_1 "3.9215686274509802".
- 431341 cpu_core_1 "3.9215686274509802".
- 432092 cpu_core_1 "3.9215686274509802".
- 433069 cpu_core_1 "3.9215686274509802".
- 433587 cpu_core_1 "3.9215686274509802".
- 433972 cpu_core_1 "3.9215686274509802".
- 434760 cpu_core_1 "3.9215686274509802".
- 435686 cpu_core_1 "3.9215686274509802".
- 435823 cpu_core_1 "3.9215686274509802".
- 435860 cpu_core_1 "3.9215686274509802".
- 436288 cpu_core_1 "3.9215686274509802".
- 438870 cpu_core_1 "3.9215686274509802".
- 438926 cpu_core_1 "3.9215686274509802".
- 443214 cpu_core_1 "3.9215686274509802".
- 443366 cpu_core_1 "3.9215686274509802".
- 443609 cpu_core_1 "3.9215686274509802".
- 444096 cpu_core_1 "3.9215686274509802".
- 444383 cpu_core_1 "3.9215686274509802".
- 444762 cpu_core_1 "3.9215686274509802".
- 444925 cpu_core_1 "3.9215686274509802".
- 445824 cpu_core_1 "3.9215686274509802".
- 446974 cpu_core_1 "3.9215686274509802".
- 447938 cpu_core_1 "3.9215686274509802".
- 450490 cpu_core_1 "3.9215686274509802".
- 450630 cpu_core_1 "3.9215686274509802".
- 453039 cpu_core_1 "3.9215686274509802".
- 453543 cpu_core_1 "3.9215686274509802".
- 454688 cpu_core_1 "3.9215686274509802".
- 462303 cpu_core_1 "3.9215686274509802".
- 462949 cpu_core_1 "3.9215686274509802".
- 462981 cpu_core_1 "3.9215686274509802".
- 463723 cpu_core_1 "3.9215686274509802".
- 463917 cpu_core_1 "3.9215686274509802".
- 464013 cpu_core_1 "3.9215686274509802".
- 464278 cpu_core_1 "3.9215686274509802".
- 464855 cpu_core_1 "3.9215686274509802".
- 465926 cpu_core_1 "3.9215686274509802".
- 466338 cpu_core_1 "3.9215686274509802".
- 467344 cpu_core_1 "3.9215686274509802".
- 467464 cpu_core_1 "3.9215686274509802".
- 467494 cpu_core_1 "3.9215686274509802".
- 468826 cpu_core_1 "3.9215686274509802".
- 469922 cpu_core_1 "3.9215686274509802".
- 471204 cpu_core_1 "3.9215686274509802".
- 471243 cpu_core_1 "3.9215686274509802".
- 471634 cpu_core_1 "3.9215686274509802".
- 474273 cpu_core_1 "3.9215686274509802".
- 476277 cpu_core_1 "3.9215686274509802".
- 476488 cpu_core_1 "3.9215686274509802".
- 478006 cpu_core_1 "3.9215686274509802".
- 478384 cpu_core_1 "3.9215686274509802".
- 482904 cpu_core_1 "3.9215686274509802".
- 484185 cpu_core_1 "3.9215686274509802".
- 487785 cpu_core_1 "3.9215686274509802".
- 489442 cpu_core_1 "3.9215686274509802".
- 490506 cpu_core_1 "3.9215686274509802".
- 490623 cpu_core_1 "3.9215686274509802".
- 491959 cpu_core_1 "3.9215686274509802".
- 493998 cpu_core_1 "3.9215686274509802".
- 494158 cpu_core_1 "3.9215686274509802".
- 494539 cpu_core_1 "3.9215686274509802".
- 497320 cpu_core_1 "3.9215686274509802".
- 497369 cpu_core_1 "3.9215686274509802".
- 497375 cpu_core_1 "3.9215686274509802".
- 497458 cpu_core_1 "3.9215686274509802".
- 498213 cpu_core_1 "3.9215686274509802".