Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1040898 cpu_core_0 "14.000000000000002".
- 1041292 cpu_core_0 "14.000000000000002".
- 1041383 cpu_core_0 "14.000000000000002".
- 1041801 cpu_core_0 "14.000000000000002".
- 1042219 cpu_core_0 "14.000000000000002".
- 1042365 cpu_core_0 "14.000000000000002".
- 1042854 cpu_core_0 "14.000000000000002".
- 1043147 cpu_core_0 "14.000000000000002".
- 1043178 cpu_core_0 "14.000000000000002".
- 1043199 cpu_core_0 "14.000000000000002".
- 1043300 cpu_core_0 "14.000000000000002".
- 1044681 cpu_core_0 "14.000000000000002".
- 1044688 cpu_core_0 "14.000000000000002".
- 1044813 cpu_core_0 "14.000000000000002".
- 1044907 cpu_core_0 "14.000000000000002".
- 1045592 cpu_core_0 "14.000000000000002".
- 1046700 cpu_core_0 "14.000000000000002".
- 1046832 cpu_core_0 "14.000000000000002".
- 1046851 cpu_core_0 "14.000000000000002".
- 1046896 cpu_core_0 "14.000000000000002".
- 1048055 cpu_core_0 "14.000000000000002".
- 1048070 cpu_core_0 "14.000000000000002".
- 1048738 cpu_core_0 "14.000000000000002".
- 1048887 cpu_core_0 "14.000000000000002".
- 1050426 cpu_core_0 "14.000000000000002".
- 1050701 cpu_core_0 "14.000000000000002".
- 1050760 cpu_core_0 "14.000000000000002".
- 1051278 cpu_core_0 "14.000000000000002".
- 1051430 cpu_core_0 "14.000000000000002".
- 1052147 cpu_core_0 "14.000000000000002".
- 1052657 cpu_core_0 "14.000000000000002".
- 1052709 cpu_core_0 "14.000000000000002".
- 1053375 cpu_core_0 "14.000000000000002".
- 1053503 cpu_core_0 "14.000000000000002".
- 1053518 cpu_core_0 "14.000000000000002".
- 1053869 cpu_core_0 "14.000000000000002".
- 1053922 cpu_core_0 "14.000000000000002".
- 1053940 cpu_core_0 "14.000000000000002".
- 1053990 cpu_core_0 "14.000000000000002".
- 1054041 cpu_core_0 "14.000000000000002".
- 1054412 cpu_core_0 "14.000000000000002".
- 1055002 cpu_core_0 "14.000000000000002".
- 1055634 cpu_core_0 "14.000000000000002".
- 1056340 cpu_core_0 "14.000000000000002".
- 1057588 cpu_core_0 "14.000000000000002".
- 1057670 cpu_core_0 "14.000000000000002".
- 1057848 cpu_core_0 "14.000000000000002".
- 1058070 cpu_core_0 "14.000000000000002".
- 1058178 cpu_core_0 "14.000000000000002".
- 1058409 cpu_core_0 "14.000000000000002".
- 1058477 cpu_core_0 "14.000000000000002".
- 1058844 cpu_core_0 "14.000000000000002".
- 1058893 cpu_core_0 "14.000000000000002".
- 1059143 cpu_core_0 "14.000000000000002".
- 1060045 cpu_core_0 "14.000000000000002".
- 1060316 cpu_core_0 "14.000000000000002".
- 1060690 cpu_core_0 "14.000000000000002".
- 1061244 cpu_core_0 "14.000000000000002".
- 1061751 cpu_core_0 "14.000000000000002".
- 1062046 cpu_core_0 "14.000000000000002".
- 1062114 cpu_core_0 "14.000000000000002".
- 1062785 cpu_core_0 "14.000000000000002".
- 1062910 cpu_core_0 "14.000000000000002".
- 1063214 cpu_core_0 "14.000000000000002".
- 1063293 cpu_core_0 "14.000000000000002".
- 1063358 cpu_core_0 "14.000000000000002".
- 1063649 cpu_core_0 "14.000000000000002".
- 1063757 cpu_core_0 "14.000000000000002".
- 1063998 cpu_core_0 "14.000000000000002".
- 1064244 cpu_core_0 "14.000000000000002".
- 1064665 cpu_core_0 "14.000000000000002".
- 1064720 cpu_core_0 "14.000000000000002".
- 1064802 cpu_core_0 "14.000000000000002".
- 1065585 cpu_core_0 "14.000000000000002".
- 1065603 cpu_core_0 "14.000000000000002".
- 1066165 cpu_core_0 "14.000000000000002".
- 1066528 cpu_core_0 "14.000000000000002".
- 1066893 cpu_core_0 "14.000000000000002".
- 1067291 cpu_core_0 "14.000000000000002".
- 1067415 cpu_core_0 "14.000000000000002".
- 1067465 cpu_core_0 "14.000000000000002".
- 1067532 cpu_core_0 "14.000000000000002".
- 1067662 cpu_core_0 "14.000000000000002".
- 1067889 cpu_core_0 "14.000000000000002".
- 1068121 cpu_core_0 "14.000000000000002".
- 1068681 cpu_core_0 "14.000000000000002".
- 1068868 cpu_core_0 "14.000000000000002".
- 1068996 cpu_core_0 "14.000000000000002".
- 1070193 cpu_core_0 "14.000000000000002".
- 1070407 cpu_core_0 "14.000000000000002".
- 1070630 cpu_core_0 "14.000000000000002".
- 1071077 cpu_core_0 "14.000000000000002".
- 1071731 cpu_core_0 "14.000000000000002".
- 1071771 cpu_core_0 "14.000000000000002".
- 1071892 cpu_core_0 "14.000000000000002".
- 1072005 cpu_core_0 "14.000000000000002".
- 1072378 cpu_core_0 "14.000000000000002".
- 1072656 cpu_core_0 "14.000000000000002".
- 1073403 cpu_core_0 "14.000000000000002".
- 1073570 cpu_core_0 "14.000000000000002".