Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 307745 cpu_core_0 "5.88235294117647".
- 310561 cpu_core_0 "5.88235294117647".
- 313371 cpu_core_0 "5.88235294117647".
- 315481 cpu_core_0 "5.88235294117647".
- 317928 cpu_core_0 "5.88235294117647".
- 319232 cpu_core_0 "5.88235294117647".
- 323776 cpu_core_0 "5.88235294117647".
- 324235 cpu_core_0 "5.88235294117647".
- 325953 cpu_core_0 "5.88235294117647".
- 332319 cpu_core_0 "5.88235294117647".
- 337917 cpu_core_0 "5.88235294117647".
- 339273 cpu_core_0 "5.88235294117647".
- 339610 cpu_core_0 "5.88235294117647".
- 341099 cpu_core_0 "5.88235294117647".
- 342908 cpu_core_0 "5.88235294117647".
- 344091 cpu_core_0 "5.88235294117647".
- 346044 cpu_core_0 "5.88235294117647".
- 350524 cpu_core_0 "5.88235294117647".
- 353562 cpu_core_0 "5.88235294117647".
- 354746 cpu_core_0 "5.88235294117647".
- 356170 cpu_core_0 "5.88235294117647".
- 357499 cpu_core_0 "5.88235294117647".
- 358141 cpu_core_0 "5.88235294117647".
- 359259 cpu_core_0 "5.88235294117647".
- 362486 cpu_core_0 "5.88235294117647".
- 380126 cpu_core_0 "5.88235294117647".
- 399210 cpu_core_0 "5.88235294117647".
- 404594 cpu_core_0 "5.88235294117647".
- 405431 cpu_core_0 "5.88235294117647".
- 405692 cpu_core_0 "5.88235294117647".
- 406240 cpu_core_0 "5.88235294117647".
- 406307 cpu_core_0 "5.88235294117647".
- 408494 cpu_core_0 "5.88235294117647".
- 411721 cpu_core_0 "5.88235294117647".
- 414568 cpu_core_0 "5.88235294117647".
- 418548 cpu_core_0 "5.88235294117647".
- 435684 cpu_core_0 "5.88235294117647".
- 441027 cpu_core_0 "5.88235294117647".
- 444534 cpu_core_0 "5.88235294117647".
- 447201 cpu_core_0 "5.88235294117647".
- 448818 cpu_core_0 "5.88235294117647".
- 451881 cpu_core_0 "5.88235294117647".
- 452753 cpu_core_0 "5.88235294117647".
- 459765 cpu_core_0 "5.88235294117647".
- 470680 cpu_core_0 "5.88235294117647".
- 479069 cpu_core_0 "5.88235294117647".
- 480321 cpu_core_0 "5.88235294117647".
- 490649 cpu_core_0 "5.88235294117647".
- 490984 cpu_core_0 "5.88235294117647".
- 492788 cpu_core_0 "5.88235294117647".
- 505310 cpu_core_0 "5.88235294117647".
- 505901 cpu_core_0 "5.88235294117647".
- 511929 cpu_core_0 "5.88235294117647".
- 519339 cpu_core_0 "5.88235294117647".
- 519431 cpu_core_0 "5.88235294117647".
- 523708 cpu_core_0 "5.88235294117647".
- 525228 cpu_core_0 "5.88235294117647".
- 526844 cpu_core_0 "5.88235294117647".
- 526921 cpu_core_0 "5.88235294117647".
- 527022 cpu_core_0 "5.88235294117647".
- 528939 cpu_core_0 "5.88235294117647".
- 529592 cpu_core_0 "5.88235294117647".
- 530244 cpu_core_0 "5.88235294117647".
- 53025 cpu_core_0 "5.88235294117647".
- 530803 cpu_core_0 "5.88235294117647".
- 531653 cpu_core_0 "5.88235294117647".
- 534632 cpu_core_0 "5.88235294117647".
- 538617 cpu_core_0 "5.88235294117647".
- 539503 cpu_core_0 "5.88235294117647".
- 539800 cpu_core_0 "5.88235294117647".
- 542360 cpu_core_0 "5.88235294117647".
- 543139 cpu_core_0 "5.88235294117647".
- 543872 cpu_core_0 "5.88235294117647".
- 544713 cpu_core_0 "5.88235294117647".
- 545638 cpu_core_0 "5.88235294117647".
- 550518 cpu_core_0 "5.88235294117647".
- 550666 cpu_core_0 "5.88235294117647".
- 551323 cpu_core_0 "5.88235294117647".
- 554309 cpu_core_0 "5.88235294117647".
- 555154 cpu_core_0 "5.88235294117647".
- 556805 cpu_core_0 "5.88235294117647".
- 563001 cpu_core_0 "5.88235294117647".
- 563591 cpu_core_0 "5.88235294117647".
- 566309 cpu_core_0 "5.88235294117647".
- 568799 cpu_core_0 "5.88235294117647".
- 574212 cpu_core_0 "5.88235294117647".
- 577221 cpu_core_0 "5.88235294117647".
- 579349 cpu_core_0 "5.88235294117647".
- 579404 cpu_core_0 "5.88235294117647".
- 579537 cpu_core_0 "5.88235294117647".
- 580584 cpu_core_0 "5.88235294117647".
- 581898 cpu_core_0 "5.88235294117647".
- 585473 cpu_core_0 "5.88235294117647".
- 585873 cpu_core_0 "5.88235294117647".
- 586726 cpu_core_0 "5.88235294117647".
- 587337 cpu_core_0 "5.88235294117647".
- 588096 cpu_core_0 "5.88235294117647".
- 588510 cpu_core_0 "5.88235294117647".
- 589004 cpu_core_0 "5.88235294117647".
- 589695 cpu_core_0 "5.88235294117647".