Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1205758 cpu_core_0 "11.76470588235294".
- 1213930 cpu_core_0 "11.76470588235294".
- 1215213 cpu_core_0 "11.76470588235294".
- 1215340 cpu_core_0 "11.76470588235294".
- 1215341 cpu_core_0 "11.76470588235294".
- 1215596 cpu_core_0 "11.76470588235294".
- 1215684 cpu_core_0 "11.76470588235294".
- 1215767 cpu_core_0 "11.76470588235294".
- 1215818 cpu_core_0 "11.76470588235294".
- 1215882 cpu_core_0 "11.76470588235294".
- 1215917 cpu_core_0 "11.76470588235294".
- 1215941 cpu_core_0 "11.76470588235294".
- 1216195 cpu_core_0 "11.76470588235294".
- 1216234 cpu_core_0 "11.76470588235294".
- 1216314 cpu_core_0 "11.76470588235294".
- 1216431 cpu_core_0 "11.76470588235294".
- 1216651 cpu_core_0 "11.76470588235294".
- 1216689 cpu_core_0 "11.76470588235294".
- 1217027 cpu_core_0 "11.76470588235294".
- 1217158 cpu_core_0 "11.76470588235294".
- 1217160 cpu_core_0 "11.76470588235294".
- 1217196 cpu_core_0 "11.76470588235294".
- 1217606 cpu_core_0 "11.76470588235294".
- 1217618 cpu_core_0 "11.76470588235294".
- 1217756 cpu_core_0 "11.76470588235294".
- 1217781 cpu_core_0 "11.76470588235294".
- 1217788 cpu_core_0 "11.76470588235294".
- 1217855 cpu_core_0 "11.76470588235294".
- 1218039 cpu_core_0 "11.76470588235294".
- 1218200 cpu_core_0 "11.76470588235294".
- 1218321 cpu_core_0 "11.76470588235294".
- 1218731 cpu_core_0 "11.76470588235294".
- 1218945 cpu_core_0 "11.76470588235294".
- 1219065 cpu_core_0 "11.76470588235294".
- 1219326 cpu_core_0 "11.76470588235294".
- 1219521 cpu_core_0 "11.76470588235294".
- 1235087 cpu_core_0 "11.76470588235294".
- 1236709 cpu_core_0 "11.76470588235294".
- 1236755 cpu_core_0 "11.76470588235294".
- 1237620 cpu_core_0 "11.76470588235294".
- 1237768 cpu_core_0 "11.76470588235294".
- 1237851 cpu_core_0 "11.76470588235294".
- 1237999 cpu_core_0 "11.76470588235294".
- 1239377 cpu_core_0 "11.76470588235294".
- 1239391 cpu_core_0 "11.76470588235294".
- 1239690 cpu_core_0 "11.76470588235294".
- 1239842 cpu_core_0 "11.76470588235294".
- 1241975 cpu_core_0 "11.76470588235294".
- 1243808 cpu_core_0 "11.76470588235294".
- 1244141 cpu_core_0 "11.76470588235294".
- 1244541 cpu_core_0 "11.76470588235294".
- 1245784 cpu_core_0 "11.76470588235294".
- 1246607 cpu_core_0 "11.76470588235294".
- 1246710 cpu_core_0 "11.76470588235294".
- 1247757 cpu_core_0 "11.76470588235294".
- 1248678 cpu_core_0 "11.76470588235294".
- 1249209 cpu_core_0 "11.76470588235294".
- 1249731 cpu_core_0 "11.76470588235294".
- 1251064 cpu_core_0 "11.76470588235294".
- 1251426 cpu_core_0 "11.76470588235294".
- 1251965 cpu_core_0 "11.76470588235294".
- 1252398 cpu_core_0 "11.76470588235294".
- 1252758 cpu_core_0 "11.76470588235294".
- 1253623 cpu_core_0 "11.76470588235294".
- 1255056 cpu_core_0 "11.76470588235294".
- 1255721 cpu_core_0 "11.76470588235294".
- 1256495 cpu_core_0 "11.76470588235294".
- 1257105 cpu_core_0 "11.76470588235294".
- 1257221 cpu_core_0 "11.76470588235294".
- 1257497 cpu_core_0 "11.76470588235294".
- 1257703 cpu_core_0 "11.76470588235294".
- 1258309 cpu_core_0 "11.76470588235294".
- 1258538 cpu_core_0 "11.76470588235294".
- 1259307 cpu_core_0 "11.76470588235294".
- 1259764 cpu_core_0 "11.76470588235294".
- 1260261 cpu_core_0 "11.76470588235294".
- 1260438 cpu_core_0 "11.76470588235294".
- 1260525 cpu_core_0 "11.76470588235294".
- 1261915 cpu_core_0 "11.76470588235294".
- 1262571 cpu_core_0 "11.76470588235294".
- 1263014 cpu_core_0 "11.76470588235294".
- 1263819 cpu_core_0 "11.76470588235294".
- 1266086 cpu_core_0 "11.76470588235294".
- 1266471 cpu_core_0 "11.76470588235294".
- 1267956 cpu_core_0 "11.76470588235294".
- 1268273 cpu_core_0 "11.76470588235294".
- 1268349 cpu_core_0 "11.76470588235294".
- 1268633 cpu_core_0 "11.76470588235294".
- 1269343 cpu_core_0 "11.76470588235294".
- 1269446 cpu_core_0 "11.76470588235294".
- 1269570 cpu_core_0 "11.76470588235294".
- 1270242 cpu_core_0 "11.76470588235294".
- 1270338 cpu_core_0 "11.76470588235294".
- 1270825 cpu_core_0 "11.76470588235294".
- 1271675 cpu_core_0 "11.76470588235294".
- 1272229 cpu_core_0 "11.76470588235294".
- 1273510 cpu_core_0 "11.76470588235294".
- 1273629 cpu_core_0 "11.76470588235294".
- 1273687 cpu_core_0 "11.76470588235294".
- 1273914 cpu_core_0 "11.76470588235294".