Matches in ISWC2014 Benchmark for { ?s ?p 28.000000000000004. }
- 1082408 cpu_core_0 "28.000000000000004".
- 1082666 cpu_core_0 "28.000000000000004".
- 1083022 cpu_core_0 "28.000000000000004".
- 1083511 cpu_core_0 "28.000000000000004".
- 1083589 cpu_core_0 "28.000000000000004".
- 1083870 cpu_core_0 "28.000000000000004".
- 1084387 cpu_core_0 "28.000000000000004".
- 1086112 cpu_core_0 "28.000000000000004".
- 1086303 cpu_core_0 "28.000000000000004".
- 1086514 cpu_core_0 "28.000000000000004".
- 1087170 cpu_core_0 "28.000000000000004".
- 1090035 cpu_core_0 "28.000000000000004".
- 1093312 cpu_core_0 "28.000000000000004".
- 1093866 cpu_core_0 "28.000000000000004".
- 1094364 cpu_core_0 "28.000000000000004".
- 1094375 cpu_core_0 "28.000000000000004".
- 1094831 cpu_core_0 "28.000000000000004".
- 1095145 cpu_core_0 "28.000000000000004".
- 1095869 cpu_core_0 "28.000000000000004".
- 1096460 cpu_core_0 "28.000000000000004".
- 1097047 cpu_core_0 "28.000000000000004".
- 1099946 cpu_core_0 "28.000000000000004".
- 1100881 cpu_core_0 "28.000000000000004".
- 1100971 cpu_core_0 "28.000000000000004".
- 1102167 cpu_core_0 "28.000000000000004".
- 1102455 cpu_core_0 "28.000000000000004".
- 1103120 cpu_core_0 "28.000000000000004".
- 1104267 cpu_core_0 "28.000000000000004".
- 1105108 cpu_core_0 "28.000000000000004".
- 1107237 cpu_core_0 "28.000000000000004".
- 1107958 cpu_core_0 "28.000000000000004".
- 1109159 cpu_core_0 "28.000000000000004".
- 1109324 cpu_core_0 "28.000000000000004".
- 1109471 cpu_core_0 "28.000000000000004".
- 1110744 cpu_core_0 "28.000000000000004".
- 1112058 cpu_core_0 "28.000000000000004".
- 1113654 cpu_core_0 "28.000000000000004".
- 1115892 cpu_core_0 "28.000000000000004".
- 1118114 cpu_core_0 "28.000000000000004".
- 1118394 cpu_core_0 "28.000000000000004".
- 1119056 cpu_core_0 "28.000000000000004".
- 1119309 cpu_core_0 "28.000000000000004".
- 1119805 cpu_core_0 "28.000000000000004".
- 1122236 cpu_core_0 "28.000000000000004".
- 1122535 cpu_core_0 "28.000000000000004".
- 1125101 cpu_core_0 "28.000000000000004".
- 1130743 cpu_core_0 "28.000000000000004".
- 1130816 cpu_core_0 "28.000000000000004".
- 1131303 cpu_core_0 "28.000000000000004".
- 1132768 cpu_core_0 "28.000000000000004".
- 1133937 cpu_core_0 "28.000000000000004".
- 1135444 cpu_core_0 "28.000000000000004".
- 1136847 cpu_core_0 "28.000000000000004".
- 1139063 cpu_core_0 "28.000000000000004".
- 1140763 cpu_core_0 "28.000000000000004".
- 1141088 cpu_core_0 "28.000000000000004".
- 1142463 cpu_core_0 "28.000000000000004".
- 1142765 cpu_core_0 "28.000000000000004".
- 1142785 cpu_core_0 "28.000000000000004".
- 1142842 cpu_core_0 "28.000000000000004".
- 1144038 cpu_core_0 "28.000000000000004".
- 1145231 cpu_core_0 "28.000000000000004".
- 1148131 cpu_core_0 "28.000000000000004".
- 1148292 cpu_core_0 "28.000000000000004".
- 1148449 cpu_core_0 "28.000000000000004".
- 1148985 cpu_core_0 "28.000000000000004".
- 1149868 cpu_core_0 "28.000000000000004".
- 1150703 cpu_core_0 "28.000000000000004".
- 1151802 cpu_core_0 "28.000000000000004".
- 1153208 cpu_core_0 "28.000000000000004".
- 1154125 cpu_core_0 "28.000000000000004".
- 1154241 cpu_core_0 "28.000000000000004".
- 1154303 cpu_core_0 "28.000000000000004".
- 1157835 cpu_core_0 "28.000000000000004".
- 1158019 cpu_core_0 "28.000000000000004".
- 1158765 cpu_core_0 "28.000000000000004".
- 1158968 cpu_core_0 "28.000000000000004".
- 1159535 cpu_core_0 "28.000000000000004".
- 1159985 cpu_core_0 "28.000000000000004".
- 1159996 cpu_core_0 "28.000000000000004".
- 1165466 cpu_core_0 "28.000000000000004".
- 1165702 cpu_core_0 "28.000000000000004".
- 1166043 cpu_core_0 "28.000000000000004".
- 1166459 cpu_core_0 "28.000000000000004".
- 1166696 cpu_core_0 "28.000000000000004".
- 1168384 cpu_core_0 "28.000000000000004".
- 1168630 cpu_core_0 "28.000000000000004".
- 1169245 cpu_core_0 "28.000000000000004".
- 1171088 cpu_core_0 "28.000000000000004".
- 1171365 cpu_core_0 "28.000000000000004".
- 1171743 cpu_core_0 "28.000000000000004".
- 1171796 cpu_core_0 "28.000000000000004".
- 1173737 cpu_core_0 "28.000000000000004".
- 1173847 cpu_core_0 "28.000000000000004".
- 1176953 cpu_core_0 "28.000000000000004".
- 1177437 cpu_core_0 "28.000000000000004".
- 1178462 cpu_core_0 "28.000000000000004".
- 1183009 cpu_core_0 "28.000000000000004".
- 1183291 cpu_core_0 "28.000000000000004".
- 1183401 cpu_core_0 "28.000000000000004".