Matches in ISWC2014 Benchmark for { ?s ?p 15.000000000000002. }
- 1007783 cpu_core_0 "15.000000000000002".
- 1011304 cpu_core_0 "15.000000000000002".
- 1012000 cpu_core_0 "15.000000000000002".
- 1012740 cpu_core_0 "15.000000000000002".
- 1013323 cpu_core_0 "15.000000000000002".
- 1013346 cpu_core_0 "15.000000000000002".
- 1016430 cpu_core_0 "15.000000000000002".
- 1018983 cpu_core_0 "15.000000000000002".
- 1020082 cpu_core_0 "15.000000000000002".
- 1020178 cpu_core_0 "15.000000000000002".
- 1020922 cpu_core_0 "15.000000000000002".
- 1021322 cpu_core_0 "15.000000000000002".
- 1022333 cpu_core_0 "15.000000000000002".
- 1022644 cpu_core_0 "15.000000000000002".
- 1022852 cpu_core_0 "15.000000000000002".
- 1025681 cpu_core_0 "15.000000000000002".
- 1029343 cpu_core_0 "15.000000000000002".
- 1031234 cpu_core_0 "15.000000000000002".
- 1034647 cpu_core_0 "15.000000000000002".
- 1036736 cpu_core_0 "15.000000000000002".
- 1037301 cpu_core_0 "15.000000000000002".
- 1038334 cpu_core_0 "15.000000000000002".
- 1040864 cpu_core_0 "15.000000000000002".
- 1041610 cpu_core_0 "15.000000000000002".
- 1041894 cpu_core_0 "15.000000000000002".
- 1042053 cpu_core_0 "15.000000000000002".
- 1042962 cpu_core_0 "15.000000000000002".
- 1047174 cpu_core_0 "15.000000000000002".
- 1047894 cpu_core_0 "15.000000000000002".
- 1048844 cpu_core_0 "15.000000000000002".
- 1050759 cpu_core_0 "15.000000000000002".
- 1050824 cpu_core_0 "15.000000000000002".
- 1051235 cpu_core_0 "15.000000000000002".
- 1052156 cpu_core_0 "15.000000000000002".
- 1052434 cpu_core_0 "15.000000000000002".
- 1054946 cpu_core_0 "15.000000000000002".
- 1057415 cpu_core_0 "15.000000000000002".
- 1059493 cpu_core_0 "15.000000000000002".
- 1066757 cpu_core_0 "15.000000000000002".
- 1067272 cpu_core_0 "15.000000000000002".
- 1072047 cpu_core_0 "15.000000000000002".
- 1074608 cpu_core_0 "15.000000000000002".
- 1074857 cpu_core_0 "15.000000000000002".
- 1075317 cpu_core_0 "15.000000000000002".
- 1076537 cpu_core_0 "15.000000000000002".
- 1078484 cpu_core_0 "15.000000000000002".
- 1079894 cpu_core_0 "15.000000000000002".
- 1081046 cpu_core_0 "15.000000000000002".
- 1082179 cpu_core_0 "15.000000000000002".
- 1082733 cpu_core_0 "15.000000000000002".
- 1085785 cpu_core_0 "15.000000000000002".
- 1089900 cpu_core_0 "15.000000000000002".
- 1091264 cpu_core_0 "15.000000000000002".
- 1092037 cpu_core_0 "15.000000000000002".
- 1092935 cpu_core_0 "15.000000000000002".
- 1093793 cpu_core_0 "15.000000000000002".
- 1094659 cpu_core_0 "15.000000000000002".
- 1095882 cpu_core_0 "15.000000000000002".
- 1096161 cpu_core_0 "15.000000000000002".
- 1100244 cpu_core_0 "15.000000000000002".
- 1100303 cpu_core_0 "15.000000000000002".
- 1102014 cpu_core_0 "15.000000000000002".
- 1102080 cpu_core_0 "15.000000000000002".
- 1103809 cpu_core_0 "15.000000000000002".
- 1106134 cpu_core_0 "15.000000000000002".
- 1107126 cpu_core_0 "15.000000000000002".
- 1108863 cpu_core_0 "15.000000000000002".
- 1109385 cpu_core_0 "15.000000000000002".
- 1111031 cpu_core_0 "15.000000000000002".
- 1113627 cpu_core_0 "15.000000000000002".
- 1113798 cpu_core_0 "15.000000000000002".
- 1115151 cpu_core_0 "15.000000000000002".
- 1116007 cpu_core_0 "15.000000000000002".
- 1117179 cpu_core_0 "15.000000000000002".
- 1118178 cpu_core_0 "15.000000000000002".
- 1122021 cpu_core_0 "15.000000000000002".
- 1123139 cpu_core_0 "15.000000000000002".
- 1124018 cpu_core_0 "15.000000000000002".
- 1124128 cpu_core_0 "15.000000000000002".
- 1129481 cpu_core_0 "15.000000000000002".
- 1129945 cpu_core_0 "15.000000000000002".
- 1130289 cpu_core_0 "15.000000000000002".
- 1131671 cpu_core_0 "15.000000000000002".
- 1133702 cpu_core_0 "15.000000000000002".
- 1135377 cpu_core_0 "15.000000000000002".
- 1135728 cpu_core_0 "15.000000000000002".
- 1135819 cpu_core_0 "15.000000000000002".
- 1135886 cpu_core_0 "15.000000000000002".
- 1136718 cpu_core_0 "15.000000000000002".
- 1136842 cpu_core_0 "15.000000000000002".
- 1140119 cpu_core_0 "15.000000000000002".
- 1140246 cpu_core_0 "15.000000000000002".
- 1142817 cpu_core_0 "15.000000000000002".
- 1142819 cpu_core_0 "15.000000000000002".
- 1142828 cpu_core_0 "15.000000000000002".
- 1142948 cpu_core_0 "15.000000000000002".
- 1144808 cpu_core_0 "15.000000000000002".
- 1144816 cpu_core_0 "15.000000000000002".
- 1150336 cpu_core_0 "15.000000000000002".
- 1151926 cpu_core_0 "15.000000000000002".