Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1140887 cpu_core_0 "3.061224489795918".
- 1141761 cpu_core_0 "3.061224489795918".
- 1142312 cpu_core_0 "3.061224489795918".
- 114238 cpu_core_0 "3.061224489795918".
- 1142602 cpu_core_0 "3.061224489795918".
- 1142614 cpu_core_0 "3.061224489795918".
- 1144080 cpu_core_0 "3.061224489795918".
- 1144496 cpu_core_0 "3.061224489795918".
- 1146412 cpu_core_0 "3.061224489795918".
- 1146776 cpu_core_0 "3.061224489795918".
- 1147500 cpu_core_0 "3.061224489795918".
- 1149118 cpu_core_0 "3.061224489795918".
- 1149860 cpu_core_0 "3.061224489795918".
- 1150044 cpu_core_0 "3.061224489795918".
- 1150166 cpu_core_0 "3.061224489795918".
- 1150344 cpu_core_0 "3.061224489795918".
- 1150409 cpu_core_0 "3.061224489795918".
- 1151017 cpu_core_0 "3.061224489795918".
- 1151326 cpu_core_0 "3.061224489795918".
- 1151702 cpu_core_0 "3.061224489795918".
- 1153092 cpu_core_0 "3.061224489795918".
- 1153577 cpu_core_0 "3.061224489795918".
- 1154645 cpu_core_0 "3.061224489795918".
- 1154851 cpu_core_0 "3.061224489795918".
- 1155424 cpu_core_0 "3.061224489795918".
- 1155606 cpu_core_0 "3.061224489795918".
- 1155747 cpu_core_0 "3.061224489795918".
- 1158189 cpu_core_0 "3.061224489795918".
- 1159665 cpu_core_0 "3.061224489795918".
- 1160875 cpu_core_0 "3.061224489795918".
- 1161630 cpu_core_0 "3.061224489795918".
- 1162786 cpu_core_0 "3.061224489795918".
- 1163380 cpu_core_0 "3.061224489795918".
- 1163730 cpu_core_0 "3.061224489795918".
- 1164104 cpu_core_0 "3.061224489795918".
- 1164591 cpu_core_0 "3.061224489795918".
- 1165843 cpu_core_0 "3.061224489795918".
- 1166862 cpu_core_0 "3.061224489795918".
- 1166978 cpu_core_0 "3.061224489795918".
- 1167341 cpu_core_0 "3.061224489795918".
- 1167375 cpu_core_0 "3.061224489795918".
- 1168260 cpu_core_0 "3.061224489795918".
- 1168521 cpu_core_0 "3.061224489795918".
- 1168878 cpu_core_0 "3.061224489795918".
- 1169025 cpu_core_0 "3.061224489795918".
- 1169819 cpu_core_0 "3.061224489795918".
- 1169909 cpu_core_0 "3.061224489795918".
- 1170267 cpu_core_0 "3.061224489795918".
- 1172979 cpu_core_0 "3.061224489795918".
- 1173191 cpu_core_0 "3.061224489795918".
- 1173311 cpu_core_0 "3.061224489795918".
- 1173425 cpu_core_0 "3.061224489795918".
- 1174384 cpu_core_0 "3.061224489795918".
- 1174765 cpu_core_0 "3.061224489795918".
- 117597 cpu_core_0 "3.061224489795918".
- 1176107 cpu_core_0 "3.061224489795918".
- 1176242 cpu_core_0 "3.061224489795918".
- 1176944 cpu_core_0 "3.061224489795918".
- 1177005 cpu_core_0 "3.061224489795918".
- 1178118 cpu_core_0 "3.061224489795918".
- 1178953 cpu_core_0 "3.061224489795918".
- 1179009 cpu_core_0 "3.061224489795918".
- 1179813 cpu_core_0 "3.061224489795918".
- 1181437 cpu_core_0 "3.061224489795918".
- 1181499 cpu_core_0 "3.061224489795918".
- 1181547 cpu_core_0 "3.061224489795918".
- 1183981 cpu_core_0 "3.061224489795918".
- 1185299 cpu_core_0 "3.061224489795918".
- 1186551 cpu_core_0 "3.061224489795918".
- 1186873 cpu_core_0 "3.061224489795918".
- 1187481 cpu_core_0 "3.061224489795918".
- 1190299 cpu_core_0 "3.061224489795918".
- 1190896 cpu_core_0 "3.061224489795918".
- 1191085 cpu_core_0 "3.061224489795918".
- 1191239 cpu_core_0 "3.061224489795918".
- 1191609 cpu_core_0 "3.061224489795918".
- 1192133 cpu_core_0 "3.061224489795918".
- 1192256 cpu_core_0 "3.061224489795918".
- 1192438 cpu_core_0 "3.061224489795918".
- 1192862 cpu_core_0 "3.061224489795918".
- 1194605 cpu_core_0 "3.061224489795918".
- 1195123 cpu_core_0 "3.061224489795918".
- 1195266 cpu_core_0 "3.061224489795918".
- 1195852 cpu_core_0 "3.061224489795918".
- 1195995 cpu_core_0 "3.061224489795918".
- 1196132 cpu_core_0 "3.061224489795918".
- 1196596 cpu_core_0 "3.061224489795918".
- 1196687 cpu_core_0 "3.061224489795918".
- 1196708 cpu_core_0 "3.061224489795918".
- 1197306 cpu_core_0 "3.061224489795918".
- 1198655 cpu_core_0 "3.061224489795918".
- 1199532 cpu_core_0 "3.061224489795918".
- 1199818 cpu_core_0 "3.061224489795918".
- 1201905 cpu_core_0 "3.061224489795918".
- 1202402 cpu_core_0 "3.061224489795918".
- 1202493 cpu_core_0 "3.061224489795918".
- 1204191 cpu_core_0 "3.061224489795918".
- 1205643 cpu_core_0 "3.061224489795918".
- 1206696 cpu_core_0 "3.061224489795918".
- 1209791 cpu_core_0 "3.061224489795918".