Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1186904 cpu_core_0 "15.841584158415841".
- 1186913 cpu_core_0 "15.841584158415841".
- 1187072 cpu_core_0 "15.841584158415841".
- 1187272 cpu_core_0 "15.841584158415841".
- 1187387 cpu_core_0 "15.841584158415841".
- 1187486 cpu_core_0 "15.841584158415841".
- 1187513 cpu_core_0 "15.841584158415841".
- 1187951 cpu_core_0 "15.841584158415841".
- 1188459 cpu_core_0 "15.841584158415841".
- 1188548 cpu_core_0 "15.841584158415841".
- 1188767 cpu_core_0 "15.841584158415841".
- 1188817 cpu_core_0 "15.841584158415841".
- 1189792 cpu_core_0 "15.841584158415841".
- 1189984 cpu_core_0 "15.841584158415841".
- 1189989 cpu_core_0 "15.841584158415841".
- 1190015 cpu_core_0 "15.841584158415841".
- 1190039 cpu_core_0 "15.841584158415841".
- 1190147 cpu_core_0 "15.841584158415841".
- 1190208 cpu_core_0 "15.841584158415841".
- 1190253 cpu_core_0 "15.841584158415841".
- 1190350 cpu_core_0 "15.841584158415841".
- 1190390 cpu_core_0 "15.841584158415841".
- 1190489 cpu_core_0 "15.841584158415841".
- 1190698 cpu_core_0 "15.841584158415841".
- 1191185 cpu_core_0 "15.841584158415841".
- 1191228 cpu_core_0 "15.841584158415841".
- 1191258 cpu_core_0 "15.841584158415841".
- 1191457 cpu_core_0 "15.841584158415841".
- 1191545 cpu_core_0 "15.841584158415841".
- 1191548 cpu_core_0 "15.841584158415841".
- 1191577 cpu_core_0 "15.841584158415841".
- 1191579 cpu_core_0 "15.841584158415841".
- 1191657 cpu_core_0 "15.841584158415841".
- 1191885 cpu_core_0 "15.841584158415841".
- 1192030 cpu_core_0 "15.841584158415841".
- 1192049 cpu_core_0 "15.841584158415841".
- 1192524 cpu_core_0 "15.841584158415841".
- 1192526 cpu_core_0 "15.841584158415841".
- 1192543 cpu_core_0 "15.841584158415841".
- 1192907 cpu_core_0 "15.841584158415841".
- 1192933 cpu_core_0 "15.841584158415841".
- 1193014 cpu_core_0 "15.841584158415841".
- 1193098 cpu_core_0 "15.841584158415841".
- 1193164 cpu_core_0 "15.841584158415841".
- 1193221 cpu_core_0 "15.841584158415841".
- 1193333 cpu_core_0 "15.841584158415841".
- 1193342 cpu_core_0 "15.841584158415841".
- 1193725 cpu_core_0 "15.841584158415841".
- 1193843 cpu_core_0 "15.841584158415841".
- 1193900 cpu_core_0 "15.841584158415841".
- 1194002 cpu_core_0 "15.841584158415841".
- 1194108 cpu_core_0 "15.841584158415841".
- 1194114 cpu_core_0 "15.841584158415841".
- 1194404 cpu_core_0 "15.841584158415841".
- 1194421 cpu_core_0 "15.841584158415841".
- 1194565 cpu_core_0 "15.841584158415841".
- 1194855 cpu_core_0 "15.841584158415841".
- 1194983 cpu_core_0 "15.841584158415841".
- 1195040 cpu_core_0 "15.841584158415841".
- 1195604 cpu_core_0 "15.841584158415841".
- 1195614 cpu_core_0 "15.841584158415841".
- 1195629 cpu_core_0 "15.841584158415841".
- 1195643 cpu_core_0 "15.841584158415841".
- 1195697 cpu_core_0 "15.841584158415841".
- 1195765 cpu_core_0 "15.841584158415841".
- 1196081 cpu_core_0 "15.841584158415841".
- 1196086 cpu_core_0 "15.841584158415841".
- 1196111 cpu_core_0 "15.841584158415841".
- 1196353 cpu_core_0 "15.841584158415841".
- 1196442 cpu_core_0 "15.841584158415841".
- 1196581 cpu_core_0 "15.841584158415841".
- 1196859 cpu_core_0 "15.841584158415841".
- 1196973 cpu_core_0 "15.841584158415841".
- 1197184 cpu_core_0 "15.841584158415841".
- 1197193 cpu_core_0 "15.841584158415841".
- 1197200 cpu_core_0 "15.841584158415841".
- 1197690 cpu_core_0 "15.841584158415841".
- 1197745 cpu_core_0 "15.841584158415841".
- 1197909 cpu_core_0 "15.841584158415841".
- 1197937 cpu_core_0 "15.841584158415841".
- 1198250 cpu_core_0 "15.841584158415841".
- 1198391 cpu_core_0 "15.841584158415841".
- 1198750 cpu_core_0 "15.841584158415841".
- 1199076 cpu_core_0 "15.841584158415841".
- 1199098 cpu_core_0 "15.841584158415841".
- 1199313 cpu_core_0 "15.841584158415841".
- 1199432 cpu_core_0 "15.841584158415841".
- 1199570 cpu_core_0 "15.841584158415841".
- 1199828 cpu_core_0 "15.841584158415841".
- 1199835 cpu_core_0 "15.841584158415841".
- 1199939 cpu_core_0 "15.841584158415841".
- 1199979 cpu_core_0 "15.841584158415841".
- 1199981 cpu_core_0 "15.841584158415841".
- 1200097 cpu_core_0 "15.841584158415841".
- 1200213 cpu_core_0 "15.841584158415841".
- 1200264 cpu_core_0 "15.841584158415841".
- 1200326 cpu_core_0 "15.841584158415841".
- 1200339 cpu_core_0 "15.841584158415841".
- 1200548 cpu_core_0 "15.841584158415841".
- 1200737 cpu_core_0 "15.841584158415841".