Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1124267 cpu_core_0 "15.841584158415841".
- 1124289 cpu_core_0 "15.841584158415841".
- 1124844 cpu_core_0 "15.841584158415841".
- 1124869 cpu_core_0 "15.841584158415841".
- 1125086 cpu_core_0 "15.841584158415841".
- 1125182 cpu_core_0 "15.841584158415841".
- 1125189 cpu_core_0 "15.841584158415841".
- 1125232 cpu_core_0 "15.841584158415841".
- 1125636 cpu_core_0 "15.841584158415841".
- 1125737 cpu_core_0 "15.841584158415841".
- 1125916 cpu_core_0 "15.841584158415841".
- 1126041 cpu_core_0 "15.841584158415841".
- 1126094 cpu_core_0 "15.841584158415841".
- 1126132 cpu_core_0 "15.841584158415841".
- 1126360 cpu_core_0 "15.841584158415841".
- 1126485 cpu_core_0 "15.841584158415841".
- 1126553 cpu_core_0 "15.841584158415841".
- 1126923 cpu_core_0 "15.841584158415841".
- 1127052 cpu_core_0 "15.841584158415841".
- 1127069 cpu_core_0 "15.841584158415841".
- 1127288 cpu_core_0 "15.841584158415841".
- 1127318 cpu_core_0 "15.841584158415841".
- 1127540 cpu_core_0 "15.841584158415841".
- 1127847 cpu_core_0 "15.841584158415841".
- 1127946 cpu_core_0 "15.841584158415841".
- 1127956 cpu_core_0 "15.841584158415841".
- 1128277 cpu_core_0 "15.841584158415841".
- 1128419 cpu_core_0 "15.841584158415841".
- 1128562 cpu_core_0 "15.841584158415841".
- 1128690 cpu_core_0 "15.841584158415841".
- 1128794 cpu_core_0 "15.841584158415841".
- 1128978 cpu_core_0 "15.841584158415841".
- 1128997 cpu_core_0 "15.841584158415841".
- 1129022 cpu_core_0 "15.841584158415841".
- 1129047 cpu_core_0 "15.841584158415841".
- 1129240 cpu_core_0 "15.841584158415841".
- 1129258 cpu_core_0 "15.841584158415841".
- 1129390 cpu_core_0 "15.841584158415841".
- 1129488 cpu_core_0 "15.841584158415841".
- 1129505 cpu_core_0 "15.841584158415841".
- 1129643 cpu_core_0 "15.841584158415841".
- 1129687 cpu_core_0 "15.841584158415841".
- 1130281 cpu_core_0 "15.841584158415841".
- 1130994 cpu_core_0 "15.841584158415841".
- 1131409 cpu_core_0 "15.841584158415841".
- 1131497 cpu_core_0 "15.841584158415841".
- 1131564 cpu_core_0 "15.841584158415841".
- 1132197 cpu_core_0 "15.841584158415841".
- 1132232 cpu_core_0 "15.841584158415841".
- 1132238 cpu_core_0 "15.841584158415841".
- 1132356 cpu_core_0 "15.841584158415841".
- 1132369 cpu_core_0 "15.841584158415841".
- 1132627 cpu_core_0 "15.841584158415841".
- 1132633 cpu_core_0 "15.841584158415841".
- 1132848 cpu_core_0 "15.841584158415841".
- 1132971 cpu_core_0 "15.841584158415841".
- 1133067 cpu_core_0 "15.841584158415841".
- 1133076 cpu_core_0 "15.841584158415841".
- 1133303 cpu_core_0 "15.841584158415841".
- 1133516 cpu_core_0 "15.841584158415841".
- 1133616 cpu_core_0 "15.841584158415841".
- 1133907 cpu_core_0 "15.841584158415841".
- 1134027 cpu_core_0 "15.841584158415841".
- 1134042 cpu_core_0 "15.841584158415841".
- 1134172 cpu_core_0 "15.841584158415841".
- 1135264 cpu_core_0 "15.841584158415841".
- 1135385 cpu_core_0 "15.841584158415841".
- 1135394 cpu_core_0 "15.841584158415841".
- 1135459 cpu_core_0 "15.841584158415841".
- 1135477 cpu_core_0 "15.841584158415841".
- 1136365 cpu_core_0 "15.841584158415841".
- 1137119 cpu_core_0 "15.841584158415841".
- 1137197 cpu_core_0 "15.841584158415841".
- 1137382 cpu_core_0 "15.841584158415841".
- 1137413 cpu_core_0 "15.841584158415841".
- 1137459 cpu_core_0 "15.841584158415841".
- 1137834 cpu_core_0 "15.841584158415841".
- 1137867 cpu_core_0 "15.841584158415841".
- 1138288 cpu_core_0 "15.841584158415841".
- 1138475 cpu_core_0 "15.841584158415841".
- 1138545 cpu_core_0 "15.841584158415841".
- 1138827 cpu_core_0 "15.841584158415841".
- 1138915 cpu_core_0 "15.841584158415841".
- 1139144 cpu_core_0 "15.841584158415841".
- 1139147 cpu_core_0 "15.841584158415841".
- 1139435 cpu_core_0 "15.841584158415841".
- 1139773 cpu_core_0 "15.841584158415841".
- 1139849 cpu_core_0 "15.841584158415841".
- 1139868 cpu_core_0 "15.841584158415841".
- 1139899 cpu_core_0 "15.841584158415841".
- 1139912 cpu_core_0 "15.841584158415841".
- 1140101 cpu_core_0 "15.841584158415841".
- 1140216 cpu_core_0 "15.841584158415841".
- 1140256 cpu_core_0 "15.841584158415841".
- 1140272 cpu_core_0 "15.841584158415841".
- 1140365 cpu_core_0 "15.841584158415841".
- 1140410 cpu_core_0 "15.841584158415841".
- 1140445 cpu_core_0 "15.841584158415841".
- 1140820 cpu_core_0 "15.841584158415841".
- 1141200 cpu_core_0 "15.841584158415841".