Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 809704 cpu_core_0 "72.00000000000001".
- 809735 cpu_core_0 "72.00000000000001".
- 809939 cpu_core_0 "72.00000000000001".
- 810197 cpu_core_0 "72.00000000000001".
- 810275 cpu_core_0 "72.00000000000001".
- 810286 cpu_core_0 "72.00000000000001".
- 810350 cpu_core_0 "72.00000000000001".
- 810724 cpu_core_0 "72.00000000000001".
- 811025 cpu_core_0 "72.00000000000001".
- 811288 cpu_core_0 "72.00000000000001".
- 811473 cpu_core_0 "72.00000000000001".
- 811594 cpu_core_0 "72.00000000000001".
- 813083 cpu_core_0 "72.00000000000001".
- 813094 cpu_core_0 "72.00000000000001".
- 813308 cpu_core_0 "72.00000000000001".
- 813678 cpu_core_0 "72.00000000000001".
- 813829 cpu_core_0 "72.00000000000001".
- 814199 cpu_core_0 "72.00000000000001".
- 814531 cpu_core_0 "72.00000000000001".
- 814578 cpu_core_0 "72.00000000000001".
- 814778 cpu_core_0 "72.00000000000001".
- 814787 cpu_core_0 "72.00000000000001".
- 814790 cpu_core_0 "72.00000000000001".
- 814987 cpu_core_0 "72.00000000000001".
- 815042 cpu_core_0 "72.00000000000001".
- 815117 cpu_core_0 "72.00000000000001".
- 815362 cpu_core_0 "72.00000000000001".
- 815372 cpu_core_0 "72.00000000000001".
- 815393 cpu_core_0 "72.00000000000001".
- 815478 cpu_core_0 "72.00000000000001".
- 815527 cpu_core_0 "72.00000000000001".
- 816361 cpu_core_0 "72.00000000000001".
- 816609 cpu_core_0 "72.00000000000001".
- 816649 cpu_core_0 "72.00000000000001".
- 817207 cpu_core_0 "72.00000000000001".
- 817226 cpu_core_0 "72.00000000000001".
- 817296 cpu_core_0 "72.00000000000001".
- 817492 cpu_core_0 "72.00000000000001".
- 817540 cpu_core_0 "72.00000000000001".
- 817574 cpu_core_0 "72.00000000000001".
- 817618 cpu_core_0 "72.00000000000001".
- 817704 cpu_core_0 "72.00000000000001".
- 818019 cpu_core_0 "72.00000000000001".
- 818278 cpu_core_0 "72.00000000000001".
- 818376 cpu_core_0 "72.00000000000001".
- 818892 cpu_core_0 "72.00000000000001".
- 819190 cpu_core_0 "72.00000000000001".
- 819210 cpu_core_0 "72.00000000000001".
- 819323 cpu_core_0 "72.00000000000001".
- 819427 cpu_core_0 "72.00000000000001".
- 819759 cpu_core_0 "72.00000000000001".
- 820348 cpu_core_0 "72.00000000000001".
- 820563 cpu_core_0 "72.00000000000001".
- 820601 cpu_core_0 "72.00000000000001".
- 822207 cpu_core_0 "72.00000000000001".
- 822249 cpu_core_0 "72.00000000000001".
- 822370 cpu_core_0 "72.00000000000001".
- 822514 cpu_core_0 "72.00000000000001".
- 823167 cpu_core_0 "72.00000000000001".
- 823198 cpu_core_0 "72.00000000000001".
- 823306 cpu_core_0 "72.00000000000001".
- 823309 cpu_core_0 "72.00000000000001".
- 823429 cpu_core_0 "72.00000000000001".
- 823573 cpu_core_0 "72.00000000000001".
- 823795 cpu_core_0 "72.00000000000001".
- 823890 cpu_core_0 "72.00000000000001".
- 824188 cpu_core_0 "72.00000000000001".
- 824224 cpu_core_0 "72.00000000000001".
- 824288 cpu_core_0 "72.00000000000001".
- 824523 cpu_core_0 "72.00000000000001".
- 824549 cpu_core_0 "72.00000000000001".
- 825587 cpu_core_0 "72.00000000000001".
- 825619 cpu_core_0 "72.00000000000001".
- 825640 cpu_core_0 "72.00000000000001".
- 825720 cpu_core_0 "72.00000000000001".
- 826156 cpu_core_0 "72.00000000000001".
- 826490 cpu_core_0 "72.00000000000001".
- 826643 cpu_core_0 "72.00000000000001".
- 826822 cpu_core_0 "72.00000000000001".
- 826999 cpu_core_0 "72.00000000000001".
- 827512 cpu_core_0 "72.00000000000001".
- 827615 cpu_core_0 "72.00000000000001".
- 827685 cpu_core_0 "72.00000000000001".
- 827877 cpu_core_0 "72.00000000000001".
- 827950 cpu_core_0 "72.00000000000001".
- 828085 cpu_core_0 "72.00000000000001".
- 828166 cpu_core_0 "72.00000000000001".
- 828426 cpu_core_0 "72.00000000000001".
- 828438 cpu_core_0 "72.00000000000001".
- 828506 cpu_core_0 "72.00000000000001".
- 828840 cpu_core_0 "72.00000000000001".
- 829088 cpu_core_0 "72.00000000000001".
- 829515 cpu_core_0 "72.00000000000001".
- 829535 cpu_core_0 "72.00000000000001".
- 829710 cpu_core_0 "72.00000000000001".
- 829895 cpu_core_0 "72.00000000000001".
- 830055 cpu_core_0 "72.00000000000001".
- 830148 cpu_core_0 "72.00000000000001".
- 830358 cpu_core_0 "72.00000000000001".
- 831151 cpu_core_0 "72.00000000000001".