Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1174696 cpu_core_0 "13.999999999999998".
- 1174722 cpu_core_0 "13.999999999999998".
- 1174728 cpu_core_0 "13.999999999999998".
- 1174807 cpu_core_0 "13.999999999999998".
- 1174923 cpu_core_0 "13.999999999999998".
- 1174973 cpu_core_0 "13.999999999999998".
- 1174977 cpu_core_0 "13.999999999999998".
- 1174988 cpu_core_0 "13.999999999999998".
- 1175038 cpu_core_0 "13.999999999999998".
- 1175052 cpu_core_0 "13.999999999999998".
- 1175172 cpu_core_0 "13.999999999999998".
- 1175272 cpu_core_0 "13.999999999999998".
- 1175276 cpu_core_0 "13.999999999999998".
- 1175305 cpu_core_0 "13.999999999999998".
- 1175434 cpu_core_0 "13.999999999999998".
- 1175521 cpu_core_0 "13.999999999999998".
- 1175573 cpu_core_0 "13.999999999999998".
- 1175768 cpu_core_0 "13.999999999999998".
- 1175815 cpu_core_0 "13.999999999999998".
- 1175843 cpu_core_0 "13.999999999999998".
- 1175958 cpu_core_0 "13.999999999999998".
- 1176062 cpu_core_0 "13.999999999999998".
- 1176126 cpu_core_0 "13.999999999999998".
- 1176226 cpu_core_0 "13.999999999999998".
- 1176301 cpu_core_0 "13.999999999999998".
- 1176313 cpu_core_0 "13.999999999999998".
- 1176321 cpu_core_0 "13.999999999999998".
- 1176345 cpu_core_0 "13.999999999999998".
- 1176358 cpu_core_0 "13.999999999999998".
- 1176435 cpu_core_0 "13.999999999999998".
- 1176468 cpu_core_0 "13.999999999999998".
- 1176478 cpu_core_0 "13.999999999999998".
- 1176482 cpu_core_0 "13.999999999999998".
- 1176660 cpu_core_0 "13.999999999999998".
- 1176733 cpu_core_0 "13.999999999999998".
- 1176773 cpu_core_0 "13.999999999999998".
- 1176842 cpu_core_0 "13.999999999999998".
- 1177077 cpu_core_0 "13.999999999999998".
- 1177271 cpu_core_0 "13.999999999999998".
- 1177324 cpu_core_0 "13.999999999999998".
- 1177392 cpu_core_0 "13.999999999999998".
- 1177512 cpu_core_0 "13.999999999999998".
- 1177519 cpu_core_0 "13.999999999999998".
- 1177868 cpu_core_0 "13.999999999999998".
- 1177881 cpu_core_0 "13.999999999999998".
- 1177937 cpu_core_0 "13.999999999999998".
- 1177986 cpu_core_0 "13.999999999999998".
- 1177995 cpu_core_0 "13.999999999999998".
- 1178132 cpu_core_0 "13.999999999999998".
- 1178151 cpu_core_0 "13.999999999999998".
- 1178160 cpu_core_0 "13.999999999999998".
- 1178179 cpu_core_0 "13.999999999999998".
- 1178185 cpu_core_0 "13.999999999999998".
- 1178253 cpu_core_0 "13.999999999999998".
- 1178294 cpu_core_0 "13.999999999999998".
- 1178330 cpu_core_0 "13.999999999999998".
- 1178334 cpu_core_0 "13.999999999999998".
- 1178351 cpu_core_0 "13.999999999999998".
- 1178404 cpu_core_0 "13.999999999999998".
- 1178411 cpu_core_0 "13.999999999999998".
- 1178440 cpu_core_0 "13.999999999999998".
- 1178443 cpu_core_0 "13.999999999999998".
- 1178472 cpu_core_0 "13.999999999999998".
- 1178478 cpu_core_0 "13.999999999999998".
- 1178514 cpu_core_0 "13.999999999999998".
- 1178606 cpu_core_0 "13.999999999999998".
- 1178778 cpu_core_0 "13.999999999999998".
- 1178852 cpu_core_0 "13.999999999999998".
- 1178998 cpu_core_0 "13.999999999999998".
- 1179048 cpu_core_0 "13.999999999999998".
- 1179120 cpu_core_0 "13.999999999999998".
- 1179200 cpu_core_0 "13.999999999999998".
- 1179320 cpu_core_0 "13.999999999999998".
- 1179334 cpu_core_0 "13.999999999999998".
- 1179403 cpu_core_0 "13.999999999999998".
- 1179482 cpu_core_0 "13.999999999999998".
- 1179552 cpu_core_0 "13.999999999999998".
- 1179561 cpu_core_0 "13.999999999999998".
- 1179723 cpu_core_0 "13.999999999999998".
- 1179725 cpu_core_0 "13.999999999999998".
- 1179726 cpu_core_0 "13.999999999999998".
- 1179772 cpu_core_0 "13.999999999999998".
- 1179793 cpu_core_0 "13.999999999999998".
- 1179857 cpu_core_0 "13.999999999999998".
- 1179898 cpu_core_0 "13.999999999999998".
- 1179907 cpu_core_0 "13.999999999999998".
- 1179961 cpu_core_0 "13.999999999999998".
- 1180004 cpu_core_0 "13.999999999999998".
- 1180024 cpu_core_0 "13.999999999999998".
- 1180045 cpu_core_0 "13.999999999999998".
- 1180239 cpu_core_0 "13.999999999999998".
- 1180257 cpu_core_0 "13.999999999999998".
- 1180272 cpu_core_0 "13.999999999999998".
- 1180346 cpu_core_0 "13.999999999999998".
- 1180474 cpu_core_0 "13.999999999999998".
- 1180492 cpu_core_0 "13.999999999999998".
- 1180501 cpu_core_0 "13.999999999999998".
- 1180588 cpu_core_0 "13.999999999999998".
- 1180621 cpu_core_0 "13.999999999999998".
- 1180748 cpu_core_0 "13.999999999999998".