Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1200878 cpu_core_0 "15.841584158415841".
- 1200993 cpu_core_0 "15.841584158415841".
- 1201107 cpu_core_0 "15.841584158415841".
- 1201118 cpu_core_0 "15.841584158415841".
- 1201130 cpu_core_0 "15.841584158415841".
- 1201348 cpu_core_0 "15.841584158415841".
- 1201426 cpu_core_0 "15.841584158415841".
- 1201432 cpu_core_0 "15.841584158415841".
- 1201852 cpu_core_0 "15.841584158415841".
- 1202003 cpu_core_0 "15.841584158415841".
- 1202082 cpu_core_0 "15.841584158415841".
- 1202092 cpu_core_0 "15.841584158415841".
- 1202280 cpu_core_0 "15.841584158415841".
- 1202357 cpu_core_0 "15.841584158415841".
- 1202398 cpu_core_0 "15.841584158415841".
- 1202492 cpu_core_0 "15.841584158415841".
- 1202496 cpu_core_0 "15.841584158415841".
- 1202650 cpu_core_0 "15.841584158415841".
- 1202924 cpu_core_0 "15.841584158415841".
- 1202961 cpu_core_0 "15.841584158415841".
- 1202963 cpu_core_0 "15.841584158415841".
- 1203044 cpu_core_0 "15.841584158415841".
- 1203367 cpu_core_0 "15.841584158415841".
- 1203537 cpu_core_0 "15.841584158415841".
- 1203603 cpu_core_0 "15.841584158415841".
- 1203693 cpu_core_0 "15.841584158415841".
- 1203728 cpu_core_0 "15.841584158415841".
- 1203781 cpu_core_0 "15.841584158415841".
- 1203919 cpu_core_0 "15.841584158415841".
- 1204011 cpu_core_0 "15.841584158415841".
- 1204072 cpu_core_0 "15.841584158415841".
- 1204247 cpu_core_0 "15.841584158415841".
- 1204315 cpu_core_0 "15.841584158415841".
- 1204601 cpu_core_0 "15.841584158415841".
- 1204643 cpu_core_0 "15.841584158415841".
- 1204673 cpu_core_0 "15.841584158415841".
- 1204748 cpu_core_0 "15.841584158415841".
- 1204879 cpu_core_0 "15.841584158415841".
- 1204899 cpu_core_0 "15.841584158415841".
- 1204907 cpu_core_0 "15.841584158415841".
- 1205004 cpu_core_0 "15.841584158415841".
- 1205334 cpu_core_0 "15.841584158415841".
- 1205347 cpu_core_0 "15.841584158415841".
- 1205405 cpu_core_0 "15.841584158415841".
- 1205456 cpu_core_0 "15.841584158415841".
- 1205560 cpu_core_0 "15.841584158415841".
- 1205612 cpu_core_0 "15.841584158415841".
- 1205621 cpu_core_0 "15.841584158415841".
- 1205730 cpu_core_0 "15.841584158415841".
- 1205754 cpu_core_0 "15.841584158415841".
- 1205843 cpu_core_0 "15.841584158415841".
- 1205951 cpu_core_0 "15.841584158415841".
- 1206326 cpu_core_0 "15.841584158415841".
- 1206816 cpu_core_0 "15.841584158415841".
- 1206876 cpu_core_0 "15.841584158415841".
- 1206932 cpu_core_0 "15.841584158415841".
- 1208927 cpu_core_0 "15.841584158415841".
- 1209230 cpu_core_0 "15.841584158415841".
- 1211241 cpu_core_0 "15.841584158415841".
- 1212396 cpu_core_0 "15.841584158415841".
- 1212994 cpu_core_0 "15.841584158415841".
- 1213808 cpu_core_0 "15.841584158415841".
- 1214434 cpu_core_0 "15.841584158415841".
- 1215019 cpu_core_0 "15.841584158415841".
- 1215920 cpu_core_0 "15.841584158415841".
- 1216539 cpu_core_0 "15.841584158415841".
- 1216601 cpu_core_0 "15.841584158415841".
- 1216908 cpu_core_0 "15.841584158415841".
- 1216997 cpu_core_0 "15.841584158415841".
- 1217558 cpu_core_0 "15.841584158415841".
- 1217682 cpu_core_0 "15.841584158415841".
- 1219227 cpu_core_0 "15.841584158415841".
- 1220335 cpu_core_0 "15.841584158415841".
- 1222658 cpu_core_0 "15.841584158415841".
- 1224865 cpu_core_0 "15.841584158415841".
- 1224909 cpu_core_0 "15.841584158415841".
- 1226143 cpu_core_0 "15.841584158415841".
- 1229047 cpu_core_0 "15.841584158415841".
- 1229676 cpu_core_0 "15.841584158415841".
- 1235133 cpu_core_0 "15.841584158415841".
- 1235238 cpu_core_0 "15.841584158415841".
- 1235564 cpu_core_0 "15.841584158415841".
- 1236240 cpu_core_0 "15.841584158415841".
- 1236431 cpu_core_0 "15.841584158415841".
- 1236989 cpu_core_0 "15.841584158415841".
- 1237301 cpu_core_0 "15.841584158415841".
- 1237358 cpu_core_0 "15.841584158415841".
- 1237363 cpu_core_0 "15.841584158415841".
- 1237418 cpu_core_0 "15.841584158415841".
- 1237485 cpu_core_0 "15.841584158415841".
- 1237508 cpu_core_0 "15.841584158415841".
- 1237753 cpu_core_0 "15.841584158415841".
- 1237805 cpu_core_0 "15.841584158415841".
- 1237889 cpu_core_0 "15.841584158415841".
- 1237950 cpu_core_0 "15.841584158415841".
- 1237955 cpu_core_0 "15.841584158415841".
- 1237966 cpu_core_0 "15.841584158415841".
- 1238040 cpu_core_0 "15.841584158415841".
- 1238093 cpu_core_0 "15.841584158415841".
- 1238238 cpu_core_0 "15.841584158415841".