Matches in ISWC2014 Benchmark for { ?s ?p 13.26530612244898. }
- 1146891 cpu_core_0 "13.26530612244898".
- 1146895 cpu_core_0 "13.26530612244898".
- 1148322 cpu_core_0 "13.26530612244898".
- 1148492 cpu_core_0 "13.26530612244898".
- 1149039 cpu_core_0 "13.26530612244898".
- 1149398 cpu_core_0 "13.26530612244898".
- 1149991 cpu_core_0 "13.26530612244898".
- 1150113 cpu_core_0 "13.26530612244898".
- 1150648 cpu_core_0 "13.26530612244898".
- 1150903 cpu_core_0 "13.26530612244898".
- 1151408 cpu_core_0 "13.26530612244898".
- 1152069 cpu_core_0 "13.26530612244898".
- 1152945 cpu_core_0 "13.26530612244898".
- 1153421 cpu_core_0 "13.26530612244898".
- 1153630 cpu_core_0 "13.26530612244898".
- 1153818 cpu_core_0 "13.26530612244898".
- 1154302 cpu_core_0 "13.26530612244898".
- 1154443 cpu_core_0 "13.26530612244898".
- 1154594 cpu_core_0 "13.26530612244898".
- 1154659 cpu_core_0 "13.26530612244898".
- 1154855 cpu_core_0 "13.26530612244898".
- 1156515 cpu_core_0 "13.26530612244898".
- 1157553 cpu_core_0 "13.26530612244898".
- 1160852 cpu_core_0 "13.26530612244898".
- 1160863 cpu_core_0 "13.26530612244898".
- 1160922 cpu_core_0 "13.26530612244898".
- 1161013 cpu_core_0 "13.26530612244898".
- 1161508 cpu_core_0 "13.26530612244898".
- 1161982 cpu_core_0 "13.26530612244898".
- 1162331 cpu_core_0 "13.26530612244898".
- 1162951 cpu_core_0 "13.26530612244898".
- 1163400 cpu_core_0 "13.26530612244898".
- 1163652 cpu_core_0 "13.26530612244898".
- 1164382 cpu_core_0 "13.26530612244898".
- 1165112 cpu_core_0 "13.26530612244898".
- 1166147 cpu_core_0 "13.26530612244898".
- 1166675 cpu_core_0 "13.26530612244898".
- 1166797 cpu_core_0 "13.26530612244898".
- 1167041 cpu_core_0 "13.26530612244898".
- 1167247 cpu_core_0 "13.26530612244898".
- 1167999 cpu_core_0 "13.26530612244898".
- 1168216 cpu_core_0 "13.26530612244898".
- 1168459 cpu_core_0 "13.26530612244898".
- 1168487 cpu_core_0 "13.26530612244898".
- 1168622 cpu_core_0 "13.26530612244898".
- 1168785 cpu_core_0 "13.26530612244898".
- 1169044 cpu_core_0 "13.26530612244898".
- 1169761 cpu_core_0 "13.26530612244898".
- 1169914 cpu_core_0 "13.26530612244898".
- 1170050 cpu_core_0 "13.26530612244898".
- 1170875 cpu_core_0 "13.26530612244898".
- 1170889 cpu_core_0 "13.26530612244898".
- 1172208 cpu_core_0 "13.26530612244898".
- 1172236 cpu_core_0 "13.26530612244898".
- 1172528 cpu_core_0 "13.26530612244898".
- 1172886 cpu_core_0 "13.26530612244898".
- 1172907 cpu_core_0 "13.26530612244898".
- 1173434 cpu_core_0 "13.26530612244898".
- 1173436 cpu_core_0 "13.26530612244898".
- 1173790 cpu_core_0 "13.26530612244898".
- 1174922 cpu_core_0 "13.26530612244898".
- 1175483 cpu_core_0 "13.26530612244898".
- 1175571 cpu_core_0 "13.26530612244898".
- 1175870 cpu_core_0 "13.26530612244898".
- 1176070 cpu_core_0 "13.26530612244898".
- 1176131 cpu_core_0 "13.26530612244898".
- 1176401 cpu_core_0 "13.26530612244898".
- 1178803 cpu_core_0 "13.26530612244898".
- 1179332 cpu_core_0 "13.26530612244898".
- 1179452 cpu_core_0 "13.26530612244898".
- 1179925 cpu_core_0 "13.26530612244898".
- 1180611 cpu_core_0 "13.26530612244898".
- 1180773 cpu_core_0 "13.26530612244898".
- 1181089 cpu_core_0 "13.26530612244898".
- 1181182 cpu_core_0 "13.26530612244898".
- 1181229 cpu_core_0 "13.26530612244898".
- 1181249 cpu_core_0 "13.26530612244898".
- 1181941 cpu_core_0 "13.26530612244898".
- 1182506 cpu_core_0 "13.26530612244898".
- 1183715 cpu_core_0 "13.26530612244898".
- 1183746 cpu_core_0 "13.26530612244898".
- 1184455 cpu_core_0 "13.26530612244898".
- 1184789 cpu_core_0 "13.26530612244898".
- 1184991 cpu_core_0 "13.26530612244898".
- 1185016 cpu_core_0 "13.26530612244898".
- 1185257 cpu_core_0 "13.26530612244898".
- 1185401 cpu_core_0 "13.26530612244898".
- 1186843 cpu_core_0 "13.26530612244898".
- 1187105 cpu_core_0 "13.26530612244898".
- 1187395 cpu_core_0 "13.26530612244898".
- 1187833 cpu_core_0 "13.26530612244898".
- 1187860 cpu_core_0 "13.26530612244898".
- 1187920 cpu_core_0 "13.26530612244898".
- 1188118 cpu_core_0 "13.26530612244898".
- 1188572 cpu_core_0 "13.26530612244898".
- 1190112 cpu_core_0 "13.26530612244898".
- 1190152 cpu_core_0 "13.26530612244898".
- 1190210 cpu_core_0 "13.26530612244898".
- 1190387 cpu_core_0 "13.26530612244898".
- 1190631 cpu_core_0 "13.26530612244898".