Matches in ISWC2014 Benchmark for { ?s ?p 3.9215686274509802. }
- 25140 cpu_core_0 "3.9215686274509802".
- 25357 cpu_core_0 "3.9215686274509802".
- 25577 cpu_core_0 "3.9215686274509802".
- 25602 cpu_core_0 "3.9215686274509802".
- 261444 cpu_core_0 "3.9215686274509802".
- 261742 cpu_core_0 "3.9215686274509802".
- 264926 cpu_core_0 "3.9215686274509802".
- 270099 cpu_core_0 "3.9215686274509802".
- 278434 cpu_core_0 "3.9215686274509802".
- 280658 cpu_core_0 "3.9215686274509802".
- 282345 cpu_core_0 "3.9215686274509802".
- 282485 cpu_core_0 "3.9215686274509802".
- 28516 cpu_core_0 "3.9215686274509802".
- 287079 cpu_core_0 "3.9215686274509802".
- 288397 cpu_core_0 "3.9215686274509802".
- 296 cpu_core_0 "3.9215686274509802".
- 305801 cpu_core_0 "3.9215686274509802".
- 306378 cpu_core_0 "3.9215686274509802".
- 306686 cpu_core_0 "3.9215686274509802".
- 310514 cpu_core_0 "3.9215686274509802".
- 312235 cpu_core_0 "3.9215686274509802".
- 315511 cpu_core_0 "3.9215686274509802".
- 316588 cpu_core_0 "3.9215686274509802".
- 320600 cpu_core_0 "3.9215686274509802".
- 322279 cpu_core_0 "3.9215686274509802".
- 322789 cpu_core_0 "3.9215686274509802".
- 322795 cpu_core_0 "3.9215686274509802".
- 324118 cpu_core_0 "3.9215686274509802".
- 326610 cpu_core_0 "3.9215686274509802".
- 332870 cpu_core_0 "3.9215686274509802".
- 332899 cpu_core_0 "3.9215686274509802".
- 338905 cpu_core_0 "3.9215686274509802".
- 339017 cpu_core_0 "3.9215686274509802".
- 346583 cpu_core_0 "3.9215686274509802".
- 347210 cpu_core_0 "3.9215686274509802".
- 348251 cpu_core_0 "3.9215686274509802".
- 348434 cpu_core_0 "3.9215686274509802".
- 34926 cpu_core_0 "3.9215686274509802".
- 356145 cpu_core_0 "3.9215686274509802".
- 357488 cpu_core_0 "3.9215686274509802".
- 387062 cpu_core_0 "3.9215686274509802".
- 398907 cpu_core_0 "3.9215686274509802".
- 405556 cpu_core_0 "3.9215686274509802".
- 405665 cpu_core_0 "3.9215686274509802".
- 406096 cpu_core_0 "3.9215686274509802".
- 407330 cpu_core_0 "3.9215686274509802".
- 407612 cpu_core_0 "3.9215686274509802".
- 408524 cpu_core_0 "3.9215686274509802".
- 409572 cpu_core_0 "3.9215686274509802".
- 412333 cpu_core_0 "3.9215686274509802".
- 419694 cpu_core_0 "3.9215686274509802".
- 421612 cpu_core_0 "3.9215686274509802".
- 424766 cpu_core_0 "3.9215686274509802".
- 428518 cpu_core_0 "3.9215686274509802".
- 4300 cpu_core_0 "3.9215686274509802".
- 438862 cpu_core_0 "3.9215686274509802".
- 440420 cpu_core_0 "3.9215686274509802".
- 443317 cpu_core_0 "3.9215686274509802".
- 444377 cpu_core_0 "3.9215686274509802".
- 446201 cpu_core_0 "3.9215686274509802".
- 453697 cpu_core_0 "3.9215686274509802".
- 463324 cpu_core_0 "3.9215686274509802".
- 464250 cpu_core_0 "3.9215686274509802".
- 464995 cpu_core_0 "3.9215686274509802".
- 466182 cpu_core_0 "3.9215686274509802".
- 477036 cpu_core_0 "3.9215686274509802".
- 478922 cpu_core_0 "3.9215686274509802".
- 481275 cpu_core_0 "3.9215686274509802".
- 487634 cpu_core_0 "3.9215686274509802".
- 491095 cpu_core_0 "3.9215686274509802".
- 494050 cpu_core_0 "3.9215686274509802".
- 494708 cpu_core_0 "3.9215686274509802".
- 496836 cpu_core_0 "3.9215686274509802".
- 500055 cpu_core_0 "3.9215686274509802".
- 508895 cpu_core_0 "3.9215686274509802".
- 518491 cpu_core_0 "3.9215686274509802".
- 51993 cpu_core_0 "3.9215686274509802".
- 521502 cpu_core_0 "3.9215686274509802".
- 52191 cpu_core_0 "3.9215686274509802".
- 524192 cpu_core_0 "3.9215686274509802".
- 526680 cpu_core_0 "3.9215686274509802".
- 527446 cpu_core_0 "3.9215686274509802".
- 527467 cpu_core_0 "3.9215686274509802".
- 528396 cpu_core_0 "3.9215686274509802".
- 529489 cpu_core_0 "3.9215686274509802".
- 530523 cpu_core_0 "3.9215686274509802".
- 532126 cpu_core_0 "3.9215686274509802".
- 533379 cpu_core_0 "3.9215686274509802".
- 533832 cpu_core_0 "3.9215686274509802".
- 533905 cpu_core_0 "3.9215686274509802".
- 535521 cpu_core_0 "3.9215686274509802".
- 536698 cpu_core_0 "3.9215686274509802".
- 538763 cpu_core_0 "3.9215686274509802".
- 542109 cpu_core_0 "3.9215686274509802".
- 545495 cpu_core_0 "3.9215686274509802".
- 547174 cpu_core_0 "3.9215686274509802".
- 549450 cpu_core_0 "3.9215686274509802".
- 550407 cpu_core_0 "3.9215686274509802".
- 550889 cpu_core_0 "3.9215686274509802".
- 553509 cpu_core_0 "3.9215686274509802".