Matches in ISWC2014 Benchmark for { ?s ?p 18.000000000000004. }
- 587486 cpu_core_0 "18.000000000000004".
- 587511 cpu_core_0 "18.000000000000004".
- 587628 cpu_core_0 "18.000000000000004".
- 587765 cpu_core_0 "18.000000000000004".
- 587790 cpu_core_0 "18.000000000000004".
- 587958 cpu_core_0 "18.000000000000004".
- 588153 cpu_core_0 "18.000000000000004".
- 588248 cpu_core_0 "18.000000000000004".
- 588674 cpu_core_0 "18.000000000000004".
- 588948 cpu_core_0 "18.000000000000004".
- 589129 cpu_core_0 "18.000000000000004".
- 589130 cpu_core_0 "18.000000000000004".
- 589304 cpu_core_0 "18.000000000000004".
- 589577 cpu_core_0 "18.000000000000004".
- 589643 cpu_core_0 "18.000000000000004".
- 589650 cpu_core_0 "18.000000000000004".
- 589853 cpu_core_0 "18.000000000000004".
- 589870 cpu_core_0 "18.000000000000004".
- 590241 cpu_core_0 "18.000000000000004".
- 590261 cpu_core_0 "18.000000000000004".
- 590365 cpu_core_0 "18.000000000000004".
- 590439 cpu_core_0 "18.000000000000004".
- 590650 cpu_core_0 "18.000000000000004".
- 590773 cpu_core_0 "18.000000000000004".
- 591152 cpu_core_0 "18.000000000000004".
- 591179 cpu_core_0 "18.000000000000004".
- 591845 cpu_core_0 "18.000000000000004".
- 591939 cpu_core_0 "18.000000000000004".
- 592487 cpu_core_0 "18.000000000000004".
- 592575 cpu_core_0 "18.000000000000004".
- 592762 cpu_core_0 "18.000000000000004".
- 592952 cpu_core_0 "18.000000000000004".
- 593013 cpu_core_0 "18.000000000000004".
- 593281 cpu_core_0 "18.000000000000004".
- 593323 cpu_core_0 "18.000000000000004".
- 593534 cpu_core_0 "18.000000000000004".
- 593804 cpu_core_0 "18.000000000000004".
- 593842 cpu_core_0 "18.000000000000004".
- 594205 cpu_core_0 "18.000000000000004".
- 594852 cpu_core_0 "18.000000000000004".
- 594958 cpu_core_0 "18.000000000000004".
- 595322 cpu_core_0 "18.000000000000004".
- 595440 cpu_core_0 "18.000000000000004".
- 595442 cpu_core_0 "18.000000000000004".
- 595598 cpu_core_0 "18.000000000000004".
- 595698 cpu_core_0 "18.000000000000004".
- 595807 cpu_core_0 "18.000000000000004".
- 595924 cpu_core_0 "18.000000000000004".
- 595983 cpu_core_0 "18.000000000000004".
- 596424 cpu_core_0 "18.000000000000004".
- 596539 cpu_core_0 "18.000000000000004".
- 596635 cpu_core_0 "18.000000000000004".
- 596737 cpu_core_0 "18.000000000000004".
- 601737 cpu_core_0 "18.000000000000004".
- 602024 cpu_core_0 "18.000000000000004".
- 602399 cpu_core_0 "18.000000000000004".
- 602550 cpu_core_0 "18.000000000000004".
- 604008 cpu_core_0 "18.000000000000004".
- 604129 cpu_core_0 "18.000000000000004".
- 604350 cpu_core_0 "18.000000000000004".
- 604836 cpu_core_0 "18.000000000000004".
- 605045 cpu_core_0 "18.000000000000004".
- 605790 cpu_core_0 "18.000000000000004".
- 605802 cpu_core_0 "18.000000000000004".
- 606001 cpu_core_0 "18.000000000000004".
- 606584 cpu_core_0 "18.000000000000004".
- 606641 cpu_core_0 "18.000000000000004".
- 606996 cpu_core_0 "18.000000000000004".
- 607234 cpu_core_0 "18.000000000000004".
- 607430 cpu_core_0 "18.000000000000004".
- 607868 cpu_core_0 "18.000000000000004".
- 609570 cpu_core_0 "18.000000000000004".
- 609711 cpu_core_0 "18.000000000000004".
- 610530 cpu_core_0 "18.000000000000004".
- 611334 cpu_core_0 "18.000000000000004".
- 611420 cpu_core_0 "18.000000000000004".
- 611552 cpu_core_0 "18.000000000000004".
- 611892 cpu_core_0 "18.000000000000004".
- 612208 cpu_core_0 "18.000000000000004".
- 613132 cpu_core_0 "18.000000000000004".
- 614113 cpu_core_0 "18.000000000000004".
- 614579 cpu_core_0 "18.000000000000004".
- 615278 cpu_core_0 "18.000000000000004".
- 615395 cpu_core_0 "18.000000000000004".
- 616059 cpu_core_0 "18.000000000000004".
- 616149 cpu_core_0 "18.000000000000004".
- 616311 cpu_core_0 "18.000000000000004".
- 616790 cpu_core_0 "18.000000000000004".
- 617848 cpu_core_0 "18.000000000000004".
- 618307 cpu_core_0 "18.000000000000004".
- 618611 cpu_core_0 "18.000000000000004".
- 618774 cpu_core_0 "18.000000000000004".
- 618905 cpu_core_0 "18.000000000000004".
- 619340 cpu_core_0 "18.000000000000004".
- 619385 cpu_core_0 "18.000000000000004".
- 619715 cpu_core_0 "18.000000000000004".
- 621603 cpu_core_0 "18.000000000000004".
- 622083 cpu_core_0 "18.000000000000004".
- 622502 cpu_core_0 "18.000000000000004".
- 622873 cpu_core_0 "18.000000000000004".