Matches in ISWC2014 Benchmark for { ?s ?p 15.000000000000002. }
- 866210 cpu_core_0 "15.000000000000002".
- 866613 cpu_core_0 "15.000000000000002".
- 866628 cpu_core_0 "15.000000000000002".
- 866800 cpu_core_0 "15.000000000000002".
- 867892 cpu_core_0 "15.000000000000002".
- 868159 cpu_core_0 "15.000000000000002".
- 868278 cpu_core_0 "15.000000000000002".
- 868927 cpu_core_0 "15.000000000000002".
- 869422 cpu_core_0 "15.000000000000002".
- 870252 cpu_core_0 "15.000000000000002".
- 870883 cpu_core_0 "15.000000000000002".
- 870952 cpu_core_0 "15.000000000000002".
- 871246 cpu_core_0 "15.000000000000002".
- 871261 cpu_core_0 "15.000000000000002".
- 871361 cpu_core_0 "15.000000000000002".
- 871393 cpu_core_0 "15.000000000000002".
- 871501 cpu_core_0 "15.000000000000002".
- 871915 cpu_core_0 "15.000000000000002".
- 871982 cpu_core_0 "15.000000000000002".
- 872117 cpu_core_0 "15.000000000000002".
- 872230 cpu_core_0 "15.000000000000002".
- 872350 cpu_core_0 "15.000000000000002".
- 873164 cpu_core_0 "15.000000000000002".
- 873626 cpu_core_0 "15.000000000000002".
- 873632 cpu_core_0 "15.000000000000002".
- 874192 cpu_core_0 "15.000000000000002".
- 874307 cpu_core_0 "15.000000000000002".
- 875402 cpu_core_0 "15.000000000000002".
- 875759 cpu_core_0 "15.000000000000002".
- 875965 cpu_core_0 "15.000000000000002".
- 876278 cpu_core_0 "15.000000000000002".
- 877117 cpu_core_0 "15.000000000000002".
- 877773 cpu_core_0 "15.000000000000002".
- 877801 cpu_core_0 "15.000000000000002".
- 878370 cpu_core_0 "15.000000000000002".
- 878378 cpu_core_0 "15.000000000000002".
- 878462 cpu_core_0 "15.000000000000002".
- 878704 cpu_core_0 "15.000000000000002".
- 878840 cpu_core_0 "15.000000000000002".
- 878862 cpu_core_0 "15.000000000000002".
- 879425 cpu_core_0 "15.000000000000002".
- 879703 cpu_core_0 "15.000000000000002".
- 879754 cpu_core_0 "15.000000000000002".
- 879757 cpu_core_0 "15.000000000000002".
- 879920 cpu_core_0 "15.000000000000002".
- 881943 cpu_core_0 "15.000000000000002".
- 882023 cpu_core_0 "15.000000000000002".
- 882128 cpu_core_0 "15.000000000000002".
- 882757 cpu_core_0 "15.000000000000002".
- 883120 cpu_core_0 "15.000000000000002".
- 883785 cpu_core_0 "15.000000000000002".
- 883862 cpu_core_0 "15.000000000000002".
- 883960 cpu_core_0 "15.000000000000002".
- 884121 cpu_core_0 "15.000000000000002".
- 884413 cpu_core_0 "15.000000000000002".
- 884611 cpu_core_0 "15.000000000000002".
- 885010 cpu_core_0 "15.000000000000002".
- 885045 cpu_core_0 "15.000000000000002".
- 885238 cpu_core_0 "15.000000000000002".
- 885452 cpu_core_0 "15.000000000000002".
- 885545 cpu_core_0 "15.000000000000002".
- 885934 cpu_core_0 "15.000000000000002".
- 886483 cpu_core_0 "15.000000000000002".
- 886492 cpu_core_0 "15.000000000000002".
- 886812 cpu_core_0 "15.000000000000002".
- 887468 cpu_core_0 "15.000000000000002".
- 887601 cpu_core_0 "15.000000000000002".
- 887640 cpu_core_0 "15.000000000000002".
- 887760 cpu_core_0 "15.000000000000002".
- 888142 cpu_core_0 "15.000000000000002".
- 888375 cpu_core_0 "15.000000000000002".
- 889736 cpu_core_0 "15.000000000000002".
- 889909 cpu_core_0 "15.000000000000002".
- 890282 cpu_core_0 "15.000000000000002".
- 890713 cpu_core_0 "15.000000000000002".
- 890894 cpu_core_0 "15.000000000000002".
- 891010 cpu_core_0 "15.000000000000002".
- 891187 cpu_core_0 "15.000000000000002".
- 892233 cpu_core_0 "15.000000000000002".
- 892479 cpu_core_0 "15.000000000000002".
- 892685 cpu_core_0 "15.000000000000002".
- 892997 cpu_core_0 "15.000000000000002".
- 893148 cpu_core_0 "15.000000000000002".
- 893218 cpu_core_0 "15.000000000000002".
- 893249 cpu_core_0 "15.000000000000002".
- 893652 cpu_core_0 "15.000000000000002".
- 893967 cpu_core_0 "15.000000000000002".
- 894287 cpu_core_0 "15.000000000000002".
- 894476 cpu_core_0 "15.000000000000002".
- 895534 cpu_core_0 "15.000000000000002".
- 895645 cpu_core_0 "15.000000000000002".
- 896356 cpu_core_0 "15.000000000000002".
- 896612 cpu_core_0 "15.000000000000002".
- 896867 cpu_core_0 "15.000000000000002".
- 896934 cpu_core_0 "15.000000000000002".
- 897207 cpu_core_0 "15.000000000000002".
- 897267 cpu_core_0 "15.000000000000002".
- 897832 cpu_core_0 "15.000000000000002".
- 897997 cpu_core_0 "15.000000000000002".
- 898497 cpu_core_0 "15.000000000000002".