Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1068052 cpu_core_0 "15.841584158415841".
- 1068081 cpu_core_0 "15.841584158415841".
- 1068118 cpu_core_0 "15.841584158415841".
- 1068276 cpu_core_0 "15.841584158415841".
- 1068473 cpu_core_0 "15.841584158415841".
- 1068492 cpu_core_0 "15.841584158415841".
- 1068631 cpu_core_0 "15.841584158415841".
- 1068766 cpu_core_0 "15.841584158415841".
- 1069018 cpu_core_0 "15.841584158415841".
- 1069098 cpu_core_0 "15.841584158415841".
- 1069212 cpu_core_0 "15.841584158415841".
- 1069365 cpu_core_0 "15.841584158415841".
- 1069483 cpu_core_0 "15.841584158415841".
- 1069507 cpu_core_0 "15.841584158415841".
- 1069620 cpu_core_0 "15.841584158415841".
- 1069706 cpu_core_0 "15.841584158415841".
- 1070001 cpu_core_0 "15.841584158415841".
- 1070252 cpu_core_0 "15.841584158415841".
- 1070303 cpu_core_0 "15.841584158415841".
- 1070308 cpu_core_0 "15.841584158415841".
- 1070326 cpu_core_0 "15.841584158415841".
- 1070461 cpu_core_0 "15.841584158415841".
- 1070546 cpu_core_0 "15.841584158415841".
- 1070791 cpu_core_0 "15.841584158415841".
- 1070940 cpu_core_0 "15.841584158415841".
- 1071136 cpu_core_0 "15.841584158415841".
- 1071316 cpu_core_0 "15.841584158415841".
- 1071455 cpu_core_0 "15.841584158415841".
- 1071743 cpu_core_0 "15.841584158415841".
- 1072174 cpu_core_0 "15.841584158415841".
- 1072481 cpu_core_0 "15.841584158415841".
- 1072488 cpu_core_0 "15.841584158415841".
- 1072647 cpu_core_0 "15.841584158415841".
- 1072653 cpu_core_0 "15.841584158415841".
- 1073040 cpu_core_0 "15.841584158415841".
- 1073364 cpu_core_0 "15.841584158415841".
- 1073456 cpu_core_0 "15.841584158415841".
- 1073567 cpu_core_0 "15.841584158415841".
- 1073587 cpu_core_0 "15.841584158415841".
- 1073686 cpu_core_0 "15.841584158415841".
- 1073747 cpu_core_0 "15.841584158415841".
- 1074299 cpu_core_0 "15.841584158415841".
- 1074567 cpu_core_0 "15.841584158415841".
- 1074583 cpu_core_0 "15.841584158415841".
- 1074603 cpu_core_0 "15.841584158415841".
- 1074671 cpu_core_0 "15.841584158415841".
- 1074708 cpu_core_0 "15.841584158415841".
- 1074925 cpu_core_0 "15.841584158415841".
- 1074933 cpu_core_0 "15.841584158415841".
- 1075074 cpu_core_0 "15.841584158415841".
- 1075250 cpu_core_0 "15.841584158415841".
- 1075288 cpu_core_0 "15.841584158415841".
- 1075409 cpu_core_0 "15.841584158415841".
- 1075502 cpu_core_0 "15.841584158415841".
- 1075648 cpu_core_0 "15.841584158415841".
- 1075657 cpu_core_0 "15.841584158415841".
- 1075874 cpu_core_0 "15.841584158415841".
- 1075906 cpu_core_0 "15.841584158415841".
- 1075930 cpu_core_0 "15.841584158415841".
- 1075938 cpu_core_0 "15.841584158415841".
- 1075978 cpu_core_0 "15.841584158415841".
- 1076010 cpu_core_0 "15.841584158415841".
- 1076118 cpu_core_0 "15.841584158415841".
- 1076281 cpu_core_0 "15.841584158415841".
- 1076502 cpu_core_0 "15.841584158415841".
- 1076512 cpu_core_0 "15.841584158415841".
- 1076651 cpu_core_0 "15.841584158415841".
- 1076989 cpu_core_0 "15.841584158415841".
- 1076990 cpu_core_0 "15.841584158415841".
- 1077294 cpu_core_0 "15.841584158415841".
- 1077301 cpu_core_0 "15.841584158415841".
- 1077561 cpu_core_0 "15.841584158415841".
- 1077596 cpu_core_0 "15.841584158415841".
- 1077605 cpu_core_0 "15.841584158415841".
- 1077810 cpu_core_0 "15.841584158415841".
- 1077974 cpu_core_0 "15.841584158415841".
- 1078067 cpu_core_0 "15.841584158415841".
- 1079067 cpu_core_0 "15.841584158415841".
- 1079285 cpu_core_0 "15.841584158415841".
- 1079780 cpu_core_0 "15.841584158415841".
- 1080031 cpu_core_0 "15.841584158415841".
- 1080373 cpu_core_0 "15.841584158415841".
- 1080820 cpu_core_0 "15.841584158415841".
- 1081036 cpu_core_0 "15.841584158415841".
- 1081280 cpu_core_0 "15.841584158415841".
- 1081521 cpu_core_0 "15.841584158415841".
- 1081577 cpu_core_0 "15.841584158415841".
- 1081644 cpu_core_0 "15.841584158415841".
- 1081808 cpu_core_0 "15.841584158415841".
- 1081820 cpu_core_0 "15.841584158415841".
- 1081844 cpu_core_0 "15.841584158415841".
- 1082086 cpu_core_0 "15.841584158415841".
- 1082139 cpu_core_0 "15.841584158415841".
- 1082322 cpu_core_0 "15.841584158415841".
- 1082346 cpu_core_0 "15.841584158415841".
- 1082373 cpu_core_0 "15.841584158415841".
- 1082505 cpu_core_0 "15.841584158415841".
- 1082511 cpu_core_0 "15.841584158415841".
- 1082543 cpu_core_0 "15.841584158415841".
- 1082591 cpu_core_0 "15.841584158415841".