Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1051417 cpu_core_1 "25.742574257425744".
- 1051652 cpu_core_1 "25.742574257425744".
- 1056503 cpu_core_1 "25.742574257425744".
- 1064858 cpu_core_1 "25.742574257425744".
- 1066662 cpu_core_1 "25.742574257425744".
- 1068376 cpu_core_1 "25.742574257425744".
- 1071292 cpu_core_1 "25.742574257425744".
- 1071978 cpu_core_1 "25.742574257425744".
- 1079545 cpu_core_1 "25.742574257425744".
- 1081113 cpu_core_1 "25.742574257425744".
- 1083965 cpu_core_1 "25.742574257425744".
- 1084707 cpu_core_1 "25.742574257425744".
- 1085396 cpu_core_1 "25.742574257425744".
- 1085575 cpu_core_1 "25.742574257425744".
- 1086347 cpu_core_1 "25.742574257425744".
- 1087874 cpu_core_1 "25.742574257425744".
- 1088128 cpu_core_1 "25.742574257425744".
- 1091431 cpu_core_1 "25.742574257425744".
- 1092173 cpu_core_1 "25.742574257425744".
- 1094364 cpu_core_1 "25.742574257425744".
- 1095464 cpu_core_1 "25.742574257425744".
- 1095478 cpu_core_1 "25.742574257425744".
- 1095819 cpu_core_1 "25.742574257425744".
- 1098743 cpu_core_1 "25.742574257425744".
- 1099801 cpu_core_1 "25.742574257425744".
- 1099804 cpu_core_1 "25.742574257425744".
- 1100637 cpu_core_1 "25.742574257425744".
- 1101045 cpu_core_1 "25.742574257425744".
- 1101320 cpu_core_1 "25.742574257425744".
- 1104747 cpu_core_1 "25.742574257425744".
- 1105622 cpu_core_1 "25.742574257425744".
- 1107367 cpu_core_1 "25.742574257425744".
- 1109882 cpu_core_1 "25.742574257425744".
- 1110168 cpu_core_1 "25.742574257425744".
- 1113242 cpu_core_1 "25.742574257425744".
- 1117772 cpu_core_1 "25.742574257425744".
- 1117785 cpu_core_1 "25.742574257425744".
- 1119627 cpu_core_1 "25.742574257425744".
- 1120303 cpu_core_1 "25.742574257425744".
- 1121126 cpu_core_1 "25.742574257425744".
- 1121423 cpu_core_1 "25.742574257425744".
- 1124906 cpu_core_1 "25.742574257425744".
- 1125663 cpu_core_1 "25.742574257425744".
- 1126023 cpu_core_1 "25.742574257425744".
- 1130554 cpu_core_1 "25.742574257425744".
- 1132355 cpu_core_1 "25.742574257425744".
- 1133073 cpu_core_1 "25.742574257425744".
- 1142631 cpu_core_1 "25.742574257425744".
- 1144168 cpu_core_1 "25.742574257425744".
- 1145232 cpu_core_1 "25.742574257425744".
- 1146531 cpu_core_1 "25.742574257425744".
- 1149400 cpu_core_1 "25.742574257425744".
- 1151252 cpu_core_1 "25.742574257425744".
- 1151853 cpu_core_1 "25.742574257425744".
- 1155328 cpu_core_1 "25.742574257425744".
- 1157829 cpu_core_1 "25.742574257425744".
- 1162237 cpu_core_1 "25.742574257425744".
- 1162790 cpu_core_1 "25.742574257425744".
- 1167176 cpu_core_1 "25.742574257425744".
- 1168798 cpu_core_1 "25.742574257425744".
- 1169959 cpu_core_1 "25.742574257425744".
- 1171832 cpu_core_1 "25.742574257425744".
- 1171928 cpu_core_1 "25.742574257425744".
- 1173160 cpu_core_1 "25.742574257425744".
- 1174801 cpu_core_1 "25.742574257425744".
- 1174813 cpu_core_1 "25.742574257425744".
- 1174836 cpu_core_1 "25.742574257425744".
- 1177510 cpu_core_1 "25.742574257425744".
- 1181496 cpu_core_1 "25.742574257425744".
- 1181939 cpu_core_1 "25.742574257425744".
- 1182490 cpu_core_1 "25.742574257425744".
- 1182847 cpu_core_1 "25.742574257425744".
- 1186401 cpu_core_1 "25.742574257425744".
- 1194131 cpu_core_1 "25.742574257425744".
- 1195815 cpu_core_1 "25.742574257425744".
- 1200298 cpu_core_1 "25.742574257425744".
- 1201159 cpu_core_1 "25.742574257425744".
- 1201248 cpu_core_1 "25.742574257425744".
- 1205353 cpu_core_1 "25.742574257425744".
- 1207177 cpu_core_1 "25.742574257425744".
- 1207355 cpu_core_1 "25.742574257425744".
- 1207514 cpu_core_1 "25.742574257425744".
- 1207827 cpu_core_1 "25.742574257425744".
- 1208060 cpu_core_1 "25.742574257425744".
- 1208611 cpu_core_1 "25.742574257425744".
- 1208914 cpu_core_1 "25.742574257425744".
- 1209019 cpu_core_1 "25.742574257425744".
- 1209225 cpu_core_1 "25.742574257425744".
- 1209492 cpu_core_1 "25.742574257425744".
- 1209821 cpu_core_1 "25.742574257425744".
- 1210016 cpu_core_1 "25.742574257425744".
- 1210077 cpu_core_1 "25.742574257425744".
- 1210425 cpu_core_1 "25.742574257425744".
- 1211004 cpu_core_1 "25.742574257425744".
- 1212827 cpu_core_1 "25.742574257425744".
- 1212938 cpu_core_1 "25.742574257425744".
- 1213426 cpu_core_1 "25.742574257425744".
- 1219707 cpu_core_1 "25.742574257425744".
- 1220544 cpu_core_1 "25.742574257425744".
- 1220878 cpu_core_1 "25.742574257425744".