Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1079984 cpu_core_0 "25.742574257425744".
- 1080881 cpu_core_0 "25.742574257425744".
- 1081416 cpu_core_0 "25.742574257425744".
- 1082060 cpu_core_0 "25.742574257425744".
- 1082622 cpu_core_0 "25.742574257425744".
- 1082774 cpu_core_0 "25.742574257425744".
- 1082809 cpu_core_0 "25.742574257425744".
- 1084550 cpu_core_0 "25.742574257425744".
- 1084693 cpu_core_0 "25.742574257425744".
- 1088786 cpu_core_0 "25.742574257425744".
- 1088825 cpu_core_0 "25.742574257425744".
- 1088845 cpu_core_0 "25.742574257425744".
- 1090455 cpu_core_0 "25.742574257425744".
- 1090523 cpu_core_0 "25.742574257425744".
- 1091555 cpu_core_0 "25.742574257425744".
- 1092863 cpu_core_0 "25.742574257425744".
- 1093420 cpu_core_0 "25.742574257425744".
- 1093598 cpu_core_0 "25.742574257425744".
- 1094594 cpu_core_0 "25.742574257425744".
- 1094844 cpu_core_0 "25.742574257425744".
- 1095106 cpu_core_0 "25.742574257425744".
- 1095286 cpu_core_0 "25.742574257425744".
- 1095652 cpu_core_0 "25.742574257425744".
- 1096403 cpu_core_0 "25.742574257425744".
- 1096617 cpu_core_0 "25.742574257425744".
- 1096838 cpu_core_0 "25.742574257425744".
- 1097522 cpu_core_0 "25.742574257425744".
- 1098857 cpu_core_0 "25.742574257425744".
- 1099498 cpu_core_0 "25.742574257425744".
- 1100833 cpu_core_0 "25.742574257425744".
- 1100962 cpu_core_0 "25.742574257425744".
- 1103273 cpu_core_0 "25.742574257425744".
- 1103817 cpu_core_0 "25.742574257425744".
- 1103854 cpu_core_0 "25.742574257425744".
- 1104907 cpu_core_0 "25.742574257425744".
- 1105595 cpu_core_0 "25.742574257425744".
- 1106057 cpu_core_0 "25.742574257425744".
- 1106535 cpu_core_0 "25.742574257425744".
- 1107253 cpu_core_0 "25.742574257425744".
- 1108467 cpu_core_0 "25.742574257425744".
- 1108630 cpu_core_0 "25.742574257425744".
- 1111554 cpu_core_0 "25.742574257425744".
- 1111633 cpu_core_0 "25.742574257425744".
- 1112060 cpu_core_0 "25.742574257425744".
- 1112911 cpu_core_0 "25.742574257425744".
- 1113111 cpu_core_0 "25.742574257425744".
- 1113445 cpu_core_0 "25.742574257425744".
- 1114006 cpu_core_0 "25.742574257425744".
- 1115336 cpu_core_0 "25.742574257425744".
- 1115730 cpu_core_0 "25.742574257425744".
- 1117303 cpu_core_0 "25.742574257425744".
- 1117446 cpu_core_0 "25.742574257425744".
- 1117521 cpu_core_0 "25.742574257425744".
- 1117629 cpu_core_0 "25.742574257425744".
- 1118060 cpu_core_0 "25.742574257425744".
- 1121229 cpu_core_0 "25.742574257425744".
- 1122931 cpu_core_0 "25.742574257425744".
- 1123098 cpu_core_0 "25.742574257425744".
- 1123816 cpu_core_0 "25.742574257425744".
- 1123858 cpu_core_0 "25.742574257425744".
- 1124131 cpu_core_0 "25.742574257425744".
- 1124341 cpu_core_0 "25.742574257425744".
- 1125528 cpu_core_0 "25.742574257425744".
- 1127707 cpu_core_0 "25.742574257425744".
- 1128749 cpu_core_0 "25.742574257425744".
- 1132803 cpu_core_0 "25.742574257425744".
- 1134073 cpu_core_0 "25.742574257425744".
- 1134324 cpu_core_0 "25.742574257425744".
- 1134457 cpu_core_0 "25.742574257425744".
- 1134569 cpu_core_0 "25.742574257425744".
- 1138330 cpu_core_0 "25.742574257425744".
- 1138486 cpu_core_0 "25.742574257425744".
- 1140230 cpu_core_0 "25.742574257425744".
- 1141402 cpu_core_0 "25.742574257425744".
- 1141959 cpu_core_0 "25.742574257425744".
- 1142077 cpu_core_0 "25.742574257425744".
- 1142371 cpu_core_0 "25.742574257425744".
- 1142528 cpu_core_0 "25.742574257425744".
- 1146811 cpu_core_0 "25.742574257425744".
- 1146854 cpu_core_0 "25.742574257425744".
- 1146875 cpu_core_0 "25.742574257425744".
- 1147098 cpu_core_0 "25.742574257425744".
- 1147579 cpu_core_0 "25.742574257425744".
- 1148075 cpu_core_0 "25.742574257425744".
- 1148355 cpu_core_0 "25.742574257425744".
- 1150986 cpu_core_0 "25.742574257425744".
- 1151202 cpu_core_0 "25.742574257425744".
- 1153246 cpu_core_0 "25.742574257425744".
- 1154375 cpu_core_0 "25.742574257425744".
- 1155328 cpu_core_0 "25.742574257425744".
- 1155506 cpu_core_0 "25.742574257425744".
- 1158398 cpu_core_0 "25.742574257425744".
- 1159325 cpu_core_0 "25.742574257425744".
- 1159647 cpu_core_0 "25.742574257425744".
- 1160012 cpu_core_0 "25.742574257425744".
- 1160532 cpu_core_0 "25.742574257425744".
- 1162841 cpu_core_0 "25.742574257425744".
- 1163199 cpu_core_0 "25.742574257425744".
- 1163695 cpu_core_0 "25.742574257425744".
- 1164496 cpu_core_0 "25.742574257425744".