Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1095221 cpu_core_0 "15.841584158415841".
- 1095325 cpu_core_0 "15.841584158415841".
- 1095842 cpu_core_0 "15.841584158415841".
- 1096242 cpu_core_0 "15.841584158415841".
- 1096276 cpu_core_0 "15.841584158415841".
- 1096444 cpu_core_0 "15.841584158415841".
- 1096458 cpu_core_0 "15.841584158415841".
- 1096470 cpu_core_0 "15.841584158415841".
- 1096497 cpu_core_0 "15.841584158415841".
- 1096646 cpu_core_0 "15.841584158415841".
- 1096826 cpu_core_0 "15.841584158415841".
- 1097078 cpu_core_0 "15.841584158415841".
- 1097097 cpu_core_0 "15.841584158415841".
- 1097446 cpu_core_0 "15.841584158415841".
- 1097467 cpu_core_0 "15.841584158415841".
- 1098127 cpu_core_0 "15.841584158415841".
- 1098177 cpu_core_0 "15.841584158415841".
- 1098280 cpu_core_0 "15.841584158415841".
- 1098376 cpu_core_0 "15.841584158415841".
- 1098380 cpu_core_0 "15.841584158415841".
- 1098417 cpu_core_0 "15.841584158415841".
- 1098769 cpu_core_0 "15.841584158415841".
- 1098848 cpu_core_0 "15.841584158415841".
- 1098963 cpu_core_0 "15.841584158415841".
- 1098995 cpu_core_0 "15.841584158415841".
- 1099000 cpu_core_0 "15.841584158415841".
- 1099023 cpu_core_0 "15.841584158415841".
- 1099486 cpu_core_0 "15.841584158415841".
- 1099503 cpu_core_0 "15.841584158415841".
- 1100085 cpu_core_0 "15.841584158415841".
- 1100224 cpu_core_0 "15.841584158415841".
- 1100229 cpu_core_0 "15.841584158415841".
- 1100304 cpu_core_0 "15.841584158415841".
- 1100580 cpu_core_0 "15.841584158415841".
- 1100596 cpu_core_0 "15.841584158415841".
- 1100812 cpu_core_0 "15.841584158415841".
- 1100965 cpu_core_0 "15.841584158415841".
- 1101933 cpu_core_0 "15.841584158415841".
- 1102151 cpu_core_0 "15.841584158415841".
- 1102394 cpu_core_0 "15.841584158415841".
- 1102497 cpu_core_0 "15.841584158415841".
- 1102515 cpu_core_0 "15.841584158415841".
- 1102662 cpu_core_0 "15.841584158415841".
- 1102747 cpu_core_0 "15.841584158415841".
- 1102874 cpu_core_0 "15.841584158415841".
- 1102898 cpu_core_0 "15.841584158415841".
- 1103154 cpu_core_0 "15.841584158415841".
- 1103282 cpu_core_0 "15.841584158415841".
- 1103527 cpu_core_0 "15.841584158415841".
- 1103721 cpu_core_0 "15.841584158415841".
- 1103756 cpu_core_0 "15.841584158415841".
- 1104433 cpu_core_0 "15.841584158415841".
- 1104616 cpu_core_0 "15.841584158415841".
- 1104810 cpu_core_0 "15.841584158415841".
- 1104833 cpu_core_0 "15.841584158415841".
- 1105177 cpu_core_0 "15.841584158415841".
- 1105276 cpu_core_0 "15.841584158415841".
- 1105282 cpu_core_0 "15.841584158415841".
- 1105473 cpu_core_0 "15.841584158415841".
- 1105585 cpu_core_0 "15.841584158415841".
- 1105651 cpu_core_0 "15.841584158415841".
- 1106015 cpu_core_0 "15.841584158415841".
- 1106172 cpu_core_0 "15.841584158415841".
- 1106279 cpu_core_0 "15.841584158415841".
- 1106556 cpu_core_0 "15.841584158415841".
- 1106704 cpu_core_0 "15.841584158415841".
- 1106916 cpu_core_0 "15.841584158415841".
- 1107063 cpu_core_0 "15.841584158415841".
- 1107369 cpu_core_0 "15.841584158415841".
- 1107586 cpu_core_0 "15.841584158415841".
- 1107591 cpu_core_0 "15.841584158415841".
- 1107981 cpu_core_0 "15.841584158415841".
- 1108016 cpu_core_0 "15.841584158415841".
- 1108070 cpu_core_0 "15.841584158415841".
- 1108224 cpu_core_0 "15.841584158415841".
- 1108431 cpu_core_0 "15.841584158415841".
- 1108460 cpu_core_0 "15.841584158415841".
- 1108574 cpu_core_0 "15.841584158415841".
- 1108594 cpu_core_0 "15.841584158415841".
- 1108822 cpu_core_0 "15.841584158415841".
- 1108939 cpu_core_0 "15.841584158415841".
- 1108941 cpu_core_0 "15.841584158415841".
- 1109208 cpu_core_0 "15.841584158415841".
- 1109295 cpu_core_0 "15.841584158415841".
- 1109345 cpu_core_0 "15.841584158415841".
- 1109383 cpu_core_0 "15.841584158415841".
- 1109509 cpu_core_0 "15.841584158415841".
- 1109690 cpu_core_0 "15.841584158415841".
- 1110004 cpu_core_0 "15.841584158415841".
- 1110039 cpu_core_0 "15.841584158415841".
- 1110063 cpu_core_0 "15.841584158415841".
- 1110245 cpu_core_0 "15.841584158415841".
- 1110412 cpu_core_0 "15.841584158415841".
- 1110598 cpu_core_0 "15.841584158415841".
- 1110663 cpu_core_0 "15.841584158415841".
- 1111476 cpu_core_0 "15.841584158415841".
- 1111580 cpu_core_0 "15.841584158415841".
- 1111736 cpu_core_0 "15.841584158415841".
- 1111950 cpu_core_0 "15.841584158415841".
- 1112162 cpu_core_0 "15.841584158415841".