Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1172444 cpu_core_0 "15.841584158415841".
- 1172677 cpu_core_0 "15.841584158415841".
- 1172787 cpu_core_0 "15.841584158415841".
- 1172946 cpu_core_0 "15.841584158415841".
- 1173222 cpu_core_0 "15.841584158415841".
- 1173415 cpu_core_0 "15.841584158415841".
- 1173614 cpu_core_0 "15.841584158415841".
- 1173656 cpu_core_0 "15.841584158415841".
- 1173711 cpu_core_0 "15.841584158415841".
- 1173852 cpu_core_0 "15.841584158415841".
- 1174425 cpu_core_0 "15.841584158415841".
- 1174516 cpu_core_0 "15.841584158415841".
- 1174593 cpu_core_0 "15.841584158415841".
- 1174606 cpu_core_0 "15.841584158415841".
- 1175352 cpu_core_0 "15.841584158415841".
- 1175360 cpu_core_0 "15.841584158415841".
- 1176020 cpu_core_0 "15.841584158415841".
- 1176025 cpu_core_0 "15.841584158415841".
- 1176027 cpu_core_0 "15.841584158415841".
- 1176122 cpu_core_0 "15.841584158415841".
- 1176318 cpu_core_0 "15.841584158415841".
- 1176320 cpu_core_0 "15.841584158415841".
- 1176423 cpu_core_0 "15.841584158415841".
- 1176438 cpu_core_0 "15.841584158415841".
- 1176473 cpu_core_0 "15.841584158415841".
- 1176604 cpu_core_0 "15.841584158415841".
- 1176636 cpu_core_0 "15.841584158415841".
- 1176664 cpu_core_0 "15.841584158415841".
- 1176720 cpu_core_0 "15.841584158415841".
- 1176756 cpu_core_0 "15.841584158415841".
- 1176766 cpu_core_0 "15.841584158415841".
- 1176793 cpu_core_0 "15.841584158415841".
- 1176899 cpu_core_0 "15.841584158415841".
- 1177039 cpu_core_0 "15.841584158415841".
- 1177074 cpu_core_0 "15.841584158415841".
- 1177164 cpu_core_0 "15.841584158415841".
- 1177350 cpu_core_0 "15.841584158415841".
- 1177373 cpu_core_0 "15.841584158415841".
- 1177447 cpu_core_0 "15.841584158415841".
- 1177455 cpu_core_0 "15.841584158415841".
- 1177503 cpu_core_0 "15.841584158415841".
- 1177522 cpu_core_0 "15.841584158415841".
- 1177834 cpu_core_0 "15.841584158415841".
- 1177836 cpu_core_0 "15.841584158415841".
- 1177849 cpu_core_0 "15.841584158415841".
- 1178117 cpu_core_0 "15.841584158415841".
- 1178192 cpu_core_0 "15.841584158415841".
- 1178232 cpu_core_0 "15.841584158415841".
- 1178275 cpu_core_0 "15.841584158415841".
- 1178304 cpu_core_0 "15.841584158415841".
- 1178328 cpu_core_0 "15.841584158415841".
- 1179359 cpu_core_0 "15.841584158415841".
- 1179369 cpu_core_0 "15.841584158415841".
- 1179627 cpu_core_0 "15.841584158415841".
- 1179683 cpu_core_0 "15.841584158415841".
- 1179758 cpu_core_0 "15.841584158415841".
- 1179846 cpu_core_0 "15.841584158415841".
- 1179996 cpu_core_0 "15.841584158415841".
- 1180044 cpu_core_0 "15.841584158415841".
- 1180294 cpu_core_0 "15.841584158415841".
- 1180340 cpu_core_0 "15.841584158415841".
- 1180479 cpu_core_0 "15.841584158415841".
- 1180517 cpu_core_0 "15.841584158415841".
- 1180689 cpu_core_0 "15.841584158415841".
- 1180711 cpu_core_0 "15.841584158415841".
- 1180820 cpu_core_0 "15.841584158415841".
- 1181076 cpu_core_0 "15.841584158415841".
- 1181200 cpu_core_0 "15.841584158415841".
- 1181226 cpu_core_0 "15.841584158415841".
- 1181290 cpu_core_0 "15.841584158415841".
- 1181456 cpu_core_0 "15.841584158415841".
- 1181494 cpu_core_0 "15.841584158415841".
- 1181646 cpu_core_0 "15.841584158415841".
- 1181652 cpu_core_0 "15.841584158415841".
- 1181671 cpu_core_0 "15.841584158415841".
- 1181827 cpu_core_0 "15.841584158415841".
- 1181831 cpu_core_0 "15.841584158415841".
- 1182038 cpu_core_0 "15.841584158415841".
- 1182522 cpu_core_0 "15.841584158415841".
- 1182928 cpu_core_0 "15.841584158415841".
- 1183572 cpu_core_0 "15.841584158415841".
- 1183828 cpu_core_0 "15.841584158415841".
- 1184345 cpu_core_0 "15.841584158415841".
- 1184676 cpu_core_0 "15.841584158415841".
- 1184751 cpu_core_0 "15.841584158415841".
- 1184984 cpu_core_0 "15.841584158415841".
- 1185059 cpu_core_0 "15.841584158415841".
- 1185195 cpu_core_0 "15.841584158415841".
- 1185200 cpu_core_0 "15.841584158415841".
- 1185323 cpu_core_0 "15.841584158415841".
- 1185466 cpu_core_0 "15.841584158415841".
- 1185626 cpu_core_0 "15.841584158415841".
- 1185918 cpu_core_0 "15.841584158415841".
- 1186008 cpu_core_0 "15.841584158415841".
- 1186228 cpu_core_0 "15.841584158415841".
- 1186308 cpu_core_0 "15.841584158415841".
- 1186471 cpu_core_0 "15.841584158415841".
- 1186482 cpu_core_0 "15.841584158415841".
- 1186540 cpu_core_0 "15.841584158415841".
- 1186883 cpu_core_0 "15.841584158415841".