Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1082609 cpu_core_0 "15.841584158415841".
- 1082638 cpu_core_0 "15.841584158415841".
- 1082649 cpu_core_0 "15.841584158415841".
- 1082683 cpu_core_0 "15.841584158415841".
- 1082751 cpu_core_0 "15.841584158415841".
- 1082859 cpu_core_0 "15.841584158415841".
- 1082910 cpu_core_0 "15.841584158415841".
- 1082991 cpu_core_0 "15.841584158415841".
- 1083227 cpu_core_0 "15.841584158415841".
- 1083284 cpu_core_0 "15.841584158415841".
- 1083394 cpu_core_0 "15.841584158415841".
- 1083648 cpu_core_0 "15.841584158415841".
- 1083679 cpu_core_0 "15.841584158415841".
- 1083808 cpu_core_0 "15.841584158415841".
- 1084126 cpu_core_0 "15.841584158415841".
- 1084168 cpu_core_0 "15.841584158415841".
- 1084173 cpu_core_0 "15.841584158415841".
- 1084297 cpu_core_0 "15.841584158415841".
- 1084516 cpu_core_0 "15.841584158415841".
- 1084529 cpu_core_0 "15.841584158415841".
- 1084697 cpu_core_0 "15.841584158415841".
- 1084830 cpu_core_0 "15.841584158415841".
- 1085127 cpu_core_0 "15.841584158415841".
- 1085132 cpu_core_0 "15.841584158415841".
- 1085187 cpu_core_0 "15.841584158415841".
- 1085376 cpu_core_0 "15.841584158415841".
- 1085467 cpu_core_0 "15.841584158415841".
- 1085646 cpu_core_0 "15.841584158415841".
- 1085718 cpu_core_0 "15.841584158415841".
- 1085754 cpu_core_0 "15.841584158415841".
- 1085760 cpu_core_0 "15.841584158415841".
- 1085852 cpu_core_0 "15.841584158415841".
- 1085994 cpu_core_0 "15.841584158415841".
- 1086085 cpu_core_0 "15.841584158415841".
- 1086132 cpu_core_0 "15.841584158415841".
- 1086307 cpu_core_0 "15.841584158415841".
- 1086414 cpu_core_0 "15.841584158415841".
- 1086447 cpu_core_0 "15.841584158415841".
- 1086586 cpu_core_0 "15.841584158415841".
- 1086849 cpu_core_0 "15.841584158415841".
- 1086866 cpu_core_0 "15.841584158415841".
- 1086911 cpu_core_0 "15.841584158415841".
- 1087059 cpu_core_0 "15.841584158415841".
- 1087879 cpu_core_0 "15.841584158415841".
- 1088401 cpu_core_0 "15.841584158415841".
- 1088422 cpu_core_0 "15.841584158415841".
- 1088620 cpu_core_0 "15.841584158415841".
- 1088767 cpu_core_0 "15.841584158415841".
- 1088775 cpu_core_0 "15.841584158415841".
- 1088837 cpu_core_0 "15.841584158415841".
- 1089066 cpu_core_0 "15.841584158415841".
- 1089114 cpu_core_0 "15.841584158415841".
- 1089224 cpu_core_0 "15.841584158415841".
- 1089253 cpu_core_0 "15.841584158415841".
- 1089362 cpu_core_0 "15.841584158415841".
- 1089840 cpu_core_0 "15.841584158415841".
- 1090003 cpu_core_0 "15.841584158415841".
- 1090419 cpu_core_0 "15.841584158415841".
- 1090576 cpu_core_0 "15.841584158415841".
- 1090703 cpu_core_0 "15.841584158415841".
- 1090795 cpu_core_0 "15.841584158415841".
- 1090819 cpu_core_0 "15.841584158415841".
- 1090979 cpu_core_0 "15.841584158415841".
- 1091219 cpu_core_0 "15.841584158415841".
- 1091226 cpu_core_0 "15.841584158415841".
- 1091234 cpu_core_0 "15.841584158415841".
- 1091261 cpu_core_0 "15.841584158415841".
- 1091274 cpu_core_0 "15.841584158415841".
- 1091441 cpu_core_0 "15.841584158415841".
- 1091604 cpu_core_0 "15.841584158415841".
- 1091630 cpu_core_0 "15.841584158415841".
- 1091634 cpu_core_0 "15.841584158415841".
- 1091828 cpu_core_0 "15.841584158415841".
- 1092020 cpu_core_0 "15.841584158415841".
- 1092330 cpu_core_0 "15.841584158415841".
- 1092405 cpu_core_0 "15.841584158415841".
- 1092512 cpu_core_0 "15.841584158415841".
- 1092544 cpu_core_0 "15.841584158415841".
- 1092571 cpu_core_0 "15.841584158415841".
- 1092597 cpu_core_0 "15.841584158415841".
- 1092710 cpu_core_0 "15.841584158415841".
- 1093048 cpu_core_0 "15.841584158415841".
- 1093078 cpu_core_0 "15.841584158415841".
- 1093142 cpu_core_0 "15.841584158415841".
- 1093246 cpu_core_0 "15.841584158415841".
- 1093258 cpu_core_0 "15.841584158415841".
- 1093377 cpu_core_0 "15.841584158415841".
- 1093470 cpu_core_0 "15.841584158415841".
- 1093481 cpu_core_0 "15.841584158415841".
- 1093544 cpu_core_0 "15.841584158415841".
- 1093766 cpu_core_0 "15.841584158415841".
- 1093785 cpu_core_0 "15.841584158415841".
- 1094015 cpu_core_0 "15.841584158415841".
- 1094109 cpu_core_0 "15.841584158415841".
- 1094245 cpu_core_0 "15.841584158415841".
- 1094317 cpu_core_0 "15.841584158415841".
- 1094449 cpu_core_0 "15.841584158415841".
- 1094597 cpu_core_0 "15.841584158415841".
- 1094830 cpu_core_0 "15.841584158415841".
- 1095088 cpu_core_0 "15.841584158415841".