Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1336248 cpu_core_0 "15.841584158415841".
- 1336253 cpu_core_0 "15.841584158415841".
- 1336258 cpu_core_0 "15.841584158415841".
- 1336276 cpu_core_0 "15.841584158415841".
- 1336290 cpu_core_0 "15.841584158415841".
- 1336331 cpu_core_0 "15.841584158415841".
- 1336443 cpu_core_0 "15.841584158415841".
- 1336546 cpu_core_0 "15.841584158415841".
- 1336905 cpu_core_0 "15.841584158415841".
- 1337082 cpu_core_0 "15.841584158415841".
- 1337146 cpu_core_0 "15.841584158415841".
- 1337220 cpu_core_0 "15.841584158415841".
- 1337344 cpu_core_0 "15.841584158415841".
- 1337490 cpu_core_0 "15.841584158415841".
- 1337947 cpu_core_0 "15.841584158415841".
- 1338113 cpu_core_0 "15.841584158415841".
- 1339028 cpu_core_0 "15.841584158415841".
- 1339069 cpu_core_0 "15.841584158415841".
- 1339087 cpu_core_0 "15.841584158415841".
- 1339420 cpu_core_0 "15.841584158415841".
- 1339778 cpu_core_0 "15.841584158415841".
- 1339850 cpu_core_0 "15.841584158415841".
- 1340030 cpu_core_0 "15.841584158415841".
- 1340146 cpu_core_0 "15.841584158415841".
- 1340244 cpu_core_0 "15.841584158415841".
- 1340262 cpu_core_0 "15.841584158415841".
- 1340350 cpu_core_0 "15.841584158415841".
- 1340439 cpu_core_0 "15.841584158415841".
- 1340654 cpu_core_0 "15.841584158415841".
- 1340686 cpu_core_0 "15.841584158415841".
- 1340688 cpu_core_0 "15.841584158415841".
- 1340726 cpu_core_0 "15.841584158415841".
- 1340737 cpu_core_0 "15.841584158415841".
- 1340751 cpu_core_0 "15.841584158415841".
- 1341027 cpu_core_0 "15.841584158415841".
- 1341063 cpu_core_0 "15.841584158415841".
- 1341409 cpu_core_0 "15.841584158415841".
- 1341517 cpu_core_0 "15.841584158415841".
- 1341669 cpu_core_0 "15.841584158415841".
- 1341705 cpu_core_0 "15.841584158415841".
- 1341755 cpu_core_0 "15.841584158415841".
- 1341798 cpu_core_0 "15.841584158415841".
- 1341820 cpu_core_0 "15.841584158415841".
- 1341929 cpu_core_0 "15.841584158415841".
- 1341938 cpu_core_0 "15.841584158415841".
- 1341954 cpu_core_0 "15.841584158415841".
- 1342008 cpu_core_0 "15.841584158415841".
- 1342113 cpu_core_0 "15.841584158415841".
- 1342122 cpu_core_0 "15.841584158415841".
- 1342132 cpu_core_0 "15.841584158415841".
- 1342238 cpu_core_0 "15.841584158415841".
- 1342513 cpu_core_0 "15.841584158415841".
- 1342653 cpu_core_0 "15.841584158415841".
- 1342661 cpu_core_0 "15.841584158415841".
- 1342701 cpu_core_0 "15.841584158415841".
- 1342754 cpu_core_0 "15.841584158415841".
- 1342800 cpu_core_0 "15.841584158415841".
- 1342876 cpu_core_0 "15.841584158415841".
- 1343082 cpu_core_0 "15.841584158415841".
- 1343203 cpu_core_0 "15.841584158415841".
- 1343244 cpu_core_0 "15.841584158415841".
- 1343255 cpu_core_0 "15.841584158415841".
- 1343404 cpu_core_0 "15.841584158415841".
- 1343458 cpu_core_0 "15.841584158415841".
- 1343559 cpu_core_0 "15.841584158415841".
- 1343624 cpu_core_0 "15.841584158415841".
- 1343646 cpu_core_0 "15.841584158415841".
- 1343766 cpu_core_0 "15.841584158415841".
- 1343806 cpu_core_0 "15.841584158415841".
- 1344048 cpu_core_0 "15.841584158415841".
- 1344120 cpu_core_0 "15.841584158415841".
- 1344394 cpu_core_0 "15.841584158415841".
- 1344467 cpu_core_0 "15.841584158415841".
- 1344567 cpu_core_0 "15.841584158415841".
- 1344665 cpu_core_0 "15.841584158415841".
- 1344702 cpu_core_0 "15.841584158415841".
- 1344763 cpu_core_0 "15.841584158415841".
- 1345233 cpu_core_0 "15.841584158415841".
- 1345307 cpu_core_0 "15.841584158415841".
- 1345358 cpu_core_0 "15.841584158415841".
- 1345387 cpu_core_0 "15.841584158415841".
- 1345486 cpu_core_0 "15.841584158415841".
- 1345770 cpu_core_0 "15.841584158415841".
- 1345775 cpu_core_0 "15.841584158415841".
- 1345796 cpu_core_0 "15.841584158415841".
- 1345799 cpu_core_0 "15.841584158415841".
- 1345988 cpu_core_0 "15.841584158415841".
- 1346046 cpu_core_0 "15.841584158415841".
- 1346071 cpu_core_0 "15.841584158415841".
- 1346446 cpu_core_0 "15.841584158415841".
- 1346523 cpu_core_0 "15.841584158415841".
- 1346768 cpu_core_0 "15.841584158415841".
- 1346856 cpu_core_0 "15.841584158415841".
- 1346943 cpu_core_0 "15.841584158415841".
- 1347143 cpu_core_0 "15.841584158415841".
- 1347159 cpu_core_0 "15.841584158415841".
- 1347606 cpu_core_0 "15.841584158415841".
- 1347752 cpu_core_0 "15.841584158415841".
- 1348100 cpu_core_0 "15.841584158415841".
- 1348153 cpu_core_0 "15.841584158415841".