Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1249310 cpu_core_0 "15.841584158415841".
- 1249342 cpu_core_0 "15.841584158415841".
- 1249393 cpu_core_0 "15.841584158415841".
- 1249627 cpu_core_0 "15.841584158415841".
- 1249671 cpu_core_0 "15.841584158415841".
- 1249740 cpu_core_0 "15.841584158415841".
- 1249978 cpu_core_0 "15.841584158415841".
- 1250574 cpu_core_0 "15.841584158415841".
- 1250600 cpu_core_0 "15.841584158415841".
- 1250879 cpu_core_0 "15.841584158415841".
- 1250890 cpu_core_0 "15.841584158415841".
- 1251189 cpu_core_0 "15.841584158415841".
- 1251429 cpu_core_0 "15.841584158415841".
- 1251468 cpu_core_0 "15.841584158415841".
- 1251550 cpu_core_0 "15.841584158415841".
- 1251575 cpu_core_0 "15.841584158415841".
- 1251618 cpu_core_0 "15.841584158415841".
- 1251658 cpu_core_0 "15.841584158415841".
- 1251981 cpu_core_0 "15.841584158415841".
- 1252058 cpu_core_0 "15.841584158415841".
- 1252145 cpu_core_0 "15.841584158415841".
- 1252335 cpu_core_0 "15.841584158415841".
- 1252340 cpu_core_0 "15.841584158415841".
- 1252425 cpu_core_0 "15.841584158415841".
- 1252470 cpu_core_0 "15.841584158415841".
- 1252780 cpu_core_0 "15.841584158415841".
- 1252808 cpu_core_0 "15.841584158415841".
- 1252855 cpu_core_0 "15.841584158415841".
- 1252951 cpu_core_0 "15.841584158415841".
- 1253177 cpu_core_0 "15.841584158415841".
- 1253536 cpu_core_0 "15.841584158415841".
- 1253596 cpu_core_0 "15.841584158415841".
- 1253897 cpu_core_0 "15.841584158415841".
- 1254003 cpu_core_0 "15.841584158415841".
- 1254105 cpu_core_0 "15.841584158415841".
- 1254224 cpu_core_0 "15.841584158415841".
- 1254296 cpu_core_0 "15.841584158415841".
- 1254329 cpu_core_0 "15.841584158415841".
- 1254409 cpu_core_0 "15.841584158415841".
- 1254489 cpu_core_0 "15.841584158415841".
- 1254590 cpu_core_0 "15.841584158415841".
- 1254657 cpu_core_0 "15.841584158415841".
- 1254737 cpu_core_0 "15.841584158415841".
- 1254873 cpu_core_0 "15.841584158415841".
- 1254937 cpu_core_0 "15.841584158415841".
- 1255327 cpu_core_0 "15.841584158415841".
- 1255454 cpu_core_0 "15.841584158415841".
- 1255481 cpu_core_0 "15.841584158415841".
- 1255543 cpu_core_0 "15.841584158415841".
- 1255579 cpu_core_0 "15.841584158415841".
- 1255819 cpu_core_0 "15.841584158415841".
- 1256033 cpu_core_0 "15.841584158415841".
- 1256090 cpu_core_0 "15.841584158415841".
- 1256149 cpu_core_0 "15.841584158415841".
- 1256177 cpu_core_0 "15.841584158415841".
- 1256193 cpu_core_0 "15.841584158415841".
- 1256256 cpu_core_0 "15.841584158415841".
- 1256259 cpu_core_0 "15.841584158415841".
- 1256331 cpu_core_0 "15.841584158415841".
- 1256393 cpu_core_0 "15.841584158415841".
- 1256554 cpu_core_0 "15.841584158415841".
- 1256633 cpu_core_0 "15.841584158415841".
- 1256677 cpu_core_0 "15.841584158415841".
- 1256731 cpu_core_0 "15.841584158415841".
- 1256779 cpu_core_0 "15.841584158415841".
- 1256803 cpu_core_0 "15.841584158415841".
- 1256987 cpu_core_0 "15.841584158415841".
- 1257366 cpu_core_0 "15.841584158415841".
- 1257409 cpu_core_0 "15.841584158415841".
- 1257754 cpu_core_0 "15.841584158415841".
- 1257762 cpu_core_0 "15.841584158415841".
- 1257783 cpu_core_0 "15.841584158415841".
- 1257796 cpu_core_0 "15.841584158415841".
- 1257856 cpu_core_0 "15.841584158415841".
- 1257889 cpu_core_0 "15.841584158415841".
- 1257898 cpu_core_0 "15.841584158415841".
- 1257943 cpu_core_0 "15.841584158415841".
- 1258028 cpu_core_0 "15.841584158415841".
- 1258104 cpu_core_0 "15.841584158415841".
- 1258301 cpu_core_0 "15.841584158415841".
- 1258553 cpu_core_0 "15.841584158415841".
- 1258661 cpu_core_0 "15.841584158415841".
- 1258708 cpu_core_0 "15.841584158415841".
- 1258986 cpu_core_0 "15.841584158415841".
- 1259108 cpu_core_0 "15.841584158415841".
- 1259242 cpu_core_0 "15.841584158415841".
- 1259312 cpu_core_0 "15.841584158415841".
- 1259614 cpu_core_0 "15.841584158415841".
- 1259620 cpu_core_0 "15.841584158415841".
- 1259623 cpu_core_0 "15.841584158415841".
- 1259627 cpu_core_0 "15.841584158415841".
- 1259749 cpu_core_0 "15.841584158415841".
- 1259808 cpu_core_0 "15.841584158415841".
- 1259901 cpu_core_0 "15.841584158415841".
- 1260335 cpu_core_0 "15.841584158415841".
- 1260433 cpu_core_0 "15.841584158415841".
- 1260514 cpu_core_0 "15.841584158415841".
- 1260543 cpu_core_0 "15.841584158415841".
- 1260717 cpu_core_0 "15.841584158415841".
- 1260862 cpu_core_0 "15.841584158415841".