Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1316882 cpu_core_0 "15.841584158415841".
- 1317023 cpu_core_0 "15.841584158415841".
- 1317079 cpu_core_0 "15.841584158415841".
- 1317141 cpu_core_0 "15.841584158415841".
- 1317266 cpu_core_0 "15.841584158415841".
- 1317422 cpu_core_0 "15.841584158415841".
- 1317608 cpu_core_0 "15.841584158415841".
- 1317747 cpu_core_0 "15.841584158415841".
- 1317787 cpu_core_0 "15.841584158415841".
- 1318017 cpu_core_0 "15.841584158415841".
- 1318062 cpu_core_0 "15.841584158415841".
- 1318402 cpu_core_0 "15.841584158415841".
- 1318488 cpu_core_0 "15.841584158415841".
- 1318579 cpu_core_0 "15.841584158415841".
- 1318890 cpu_core_0 "15.841584158415841".
- 1318936 cpu_core_0 "15.841584158415841".
- 1318994 cpu_core_0 "15.841584158415841".
- 1319023 cpu_core_0 "15.841584158415841".
- 1319298 cpu_core_0 "15.841584158415841".
- 1319352 cpu_core_0 "15.841584158415841".
- 1319461 cpu_core_0 "15.841584158415841".
- 1319553 cpu_core_0 "15.841584158415841".
- 1319705 cpu_core_0 "15.841584158415841".
- 1319940 cpu_core_0 "15.841584158415841".
- 1320052 cpu_core_0 "15.841584158415841".
- 1320063 cpu_core_0 "15.841584158415841".
- 1320176 cpu_core_0 "15.841584158415841".
- 1320207 cpu_core_0 "15.841584158415841".
- 1320220 cpu_core_0 "15.841584158415841".
- 1320333 cpu_core_0 "15.841584158415841".
- 1320408 cpu_core_0 "15.841584158415841".
- 1320422 cpu_core_0 "15.841584158415841".
- 1320445 cpu_core_0 "15.841584158415841".
- 1320514 cpu_core_0 "15.841584158415841".
- 1320746 cpu_core_0 "15.841584158415841".
- 1320767 cpu_core_0 "15.841584158415841".
- 1320771 cpu_core_0 "15.841584158415841".
- 1320787 cpu_core_0 "15.841584158415841".
- 1320797 cpu_core_0 "15.841584158415841".
- 1320935 cpu_core_0 "15.841584158415841".
- 1321033 cpu_core_0 "15.841584158415841".
- 1321039 cpu_core_0 "15.841584158415841".
- 1321055 cpu_core_0 "15.841584158415841".
- 1321101 cpu_core_0 "15.841584158415841".
- 1321104 cpu_core_0 "15.841584158415841".
- 1321189 cpu_core_0 "15.841584158415841".
- 1321579 cpu_core_0 "15.841584158415841".
- 1321832 cpu_core_0 "15.841584158415841".
- 1321840 cpu_core_0 "15.841584158415841".
- 1321949 cpu_core_0 "15.841584158415841".
- 1321958 cpu_core_0 "15.841584158415841".
- 1322319 cpu_core_0 "15.841584158415841".
- 1322365 cpu_core_0 "15.841584158415841".
- 1322992 cpu_core_0 "15.841584158415841".
- 1323142 cpu_core_0 "15.841584158415841".
- 1323201 cpu_core_0 "15.841584158415841".
- 1323244 cpu_core_0 "15.841584158415841".
- 1323264 cpu_core_0 "15.841584158415841".
- 1323423 cpu_core_0 "15.841584158415841".
- 1323545 cpu_core_0 "15.841584158415841".
- 1323564 cpu_core_0 "15.841584158415841".
- 1323678 cpu_core_0 "15.841584158415841".
- 1323808 cpu_core_0 "15.841584158415841".
- 1323841 cpu_core_0 "15.841584158415841".
- 1323866 cpu_core_0 "15.841584158415841".
- 1323960 cpu_core_0 "15.841584158415841".
- 1323976 cpu_core_0 "15.841584158415841".
- 1324050 cpu_core_0 "15.841584158415841".
- 1324061 cpu_core_0 "15.841584158415841".
- 1324133 cpu_core_0 "15.841584158415841".
- 1324182 cpu_core_0 "15.841584158415841".
- 1324264 cpu_core_0 "15.841584158415841".
- 1324306 cpu_core_0 "15.841584158415841".
- 1324401 cpu_core_0 "15.841584158415841".
- 1324454 cpu_core_0 "15.841584158415841".
- 1324523 cpu_core_0 "15.841584158415841".
- 1324540 cpu_core_0 "15.841584158415841".
- 1324584 cpu_core_0 "15.841584158415841".
- 1324663 cpu_core_0 "15.841584158415841".
- 1324688 cpu_core_0 "15.841584158415841".
- 1324693 cpu_core_0 "15.841584158415841".
- 1324793 cpu_core_0 "15.841584158415841".
- 1324988 cpu_core_0 "15.841584158415841".
- 1325076 cpu_core_0 "15.841584158415841".
- 1325094 cpu_core_0 "15.841584158415841".
- 1325146 cpu_core_0 "15.841584158415841".
- 1325160 cpu_core_0 "15.841584158415841".
- 1325241 cpu_core_0 "15.841584158415841".
- 1325277 cpu_core_0 "15.841584158415841".
- 1325311 cpu_core_0 "15.841584158415841".
- 1325395 cpu_core_0 "15.841584158415841".
- 1325586 cpu_core_0 "15.841584158415841".
- 1325673 cpu_core_0 "15.841584158415841".
- 1325798 cpu_core_0 "15.841584158415841".
- 1325822 cpu_core_0 "15.841584158415841".
- 1325892 cpu_core_0 "15.841584158415841".
- 1325990 cpu_core_0 "15.841584158415841".
- 1325995 cpu_core_0 "15.841584158415841".
- 1326026 cpu_core_0 "15.841584158415841".
- 1326115 cpu_core_0 "15.841584158415841".