Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1321703 cpu_core_0 "13.999999999999998".
- 1321861 cpu_core_0 "13.999999999999998".
- 1321864 cpu_core_0 "13.999999999999998".
- 1321940 cpu_core_0 "13.999999999999998".
- 1322067 cpu_core_0 "13.999999999999998".
- 1322214 cpu_core_0 "13.999999999999998".
- 1322261 cpu_core_0 "13.999999999999998".
- 1322313 cpu_core_0 "13.999999999999998".
- 1322341 cpu_core_0 "13.999999999999998".
- 1322356 cpu_core_0 "13.999999999999998".
- 1322415 cpu_core_0 "13.999999999999998".
- 1322457 cpu_core_0 "13.999999999999998".
- 1322784 cpu_core_0 "13.999999999999998".
- 1322841 cpu_core_0 "13.999999999999998".
- 1322877 cpu_core_0 "13.999999999999998".
- 1322880 cpu_core_0 "13.999999999999998".
- 1322941 cpu_core_0 "13.999999999999998".
- 1322944 cpu_core_0 "13.999999999999998".
- 1322947 cpu_core_0 "13.999999999999998".
- 1322961 cpu_core_0 "13.999999999999998".
- 1323079 cpu_core_0 "13.999999999999998".
- 1323106 cpu_core_0 "13.999999999999998".
- 1323120 cpu_core_0 "13.999999999999998".
- 1323139 cpu_core_0 "13.999999999999998".
- 1323261 cpu_core_0 "13.999999999999998".
- 1323334 cpu_core_0 "13.999999999999998".
- 1323386 cpu_core_0 "13.999999999999998".
- 1323424 cpu_core_0 "13.999999999999998".
- 1323615 cpu_core_0 "13.999999999999998".
- 1323676 cpu_core_0 "13.999999999999998".
- 1323677 cpu_core_0 "13.999999999999998".
- 1323812 cpu_core_0 "13.999999999999998".
- 1323828 cpu_core_0 "13.999999999999998".
- 1323898 cpu_core_0 "13.999999999999998".
- 1323925 cpu_core_0 "13.999999999999998".
- 1323951 cpu_core_0 "13.999999999999998".
- 1324075 cpu_core_0 "13.999999999999998".
- 1324208 cpu_core_0 "13.999999999999998".
- 1324274 cpu_core_0 "13.999999999999998".
- 1324418 cpu_core_0 "13.999999999999998".
- 1324419 cpu_core_0 "13.999999999999998".
- 1324427 cpu_core_0 "13.999999999999998".
- 1324554 cpu_core_0 "13.999999999999998".
- 1324594 cpu_core_0 "13.999999999999998".
- 1324629 cpu_core_0 "13.999999999999998".
- 1324675 cpu_core_0 "13.999999999999998".
- 1324888 cpu_core_0 "13.999999999999998".
- 1324931 cpu_core_0 "13.999999999999998".
- 1324941 cpu_core_0 "13.999999999999998".
- 1325004 cpu_core_0 "13.999999999999998".
- 1325035 cpu_core_0 "13.999999999999998".
- 1325040 cpu_core_0 "13.999999999999998".
- 1325071 cpu_core_0 "13.999999999999998".
- 1325134 cpu_core_0 "13.999999999999998".
- 1325293 cpu_core_0 "13.999999999999998".
- 1325477 cpu_core_0 "13.999999999999998".
- 1325549 cpu_core_0 "13.999999999999998".
- 1325595 cpu_core_0 "13.999999999999998".
- 1325607 cpu_core_0 "13.999999999999998".
- 1325676 cpu_core_0 "13.999999999999998".
- 1325704 cpu_core_0 "13.999999999999998".
- 1325716 cpu_core_0 "13.999999999999998".
- 1325749 cpu_core_0 "13.999999999999998".
- 1325876 cpu_core_0 "13.999999999999998".
- 1325902 cpu_core_0 "13.999999999999998".
- 1325904 cpu_core_0 "13.999999999999998".
- 1326004 cpu_core_0 "13.999999999999998".
- 1326023 cpu_core_0 "13.999999999999998".
- 1326108 cpu_core_0 "13.999999999999998".
- 1326195 cpu_core_0 "13.999999999999998".
- 1326196 cpu_core_0 "13.999999999999998".
- 1326201 cpu_core_0 "13.999999999999998".
- 1326216 cpu_core_0 "13.999999999999998".
- 1326230 cpu_core_0 "13.999999999999998".
- 1326326 cpu_core_0 "13.999999999999998".
- 1326363 cpu_core_0 "13.999999999999998".
- 1326392 cpu_core_0 "13.999999999999998".
- 1326435 cpu_core_0 "13.999999999999998".
- 1326446 cpu_core_0 "13.999999999999998".
- 1326492 cpu_core_0 "13.999999999999998".
- 1326512 cpu_core_0 "13.999999999999998".
- 1326594 cpu_core_0 "13.999999999999998".
- 1326605 cpu_core_0 "13.999999999999998".
- 1326607 cpu_core_0 "13.999999999999998".
- 1326617 cpu_core_0 "13.999999999999998".
- 1326721 cpu_core_0 "13.999999999999998".
- 1326851 cpu_core_0 "13.999999999999998".
- 1326870 cpu_core_0 "13.999999999999998".
- 1326916 cpu_core_0 "13.999999999999998".
- 1326956 cpu_core_0 "13.999999999999998".
- 1327151 cpu_core_0 "13.999999999999998".
- 1327294 cpu_core_0 "13.999999999999998".
- 1327433 cpu_core_0 "13.999999999999998".
- 1327439 cpu_core_0 "13.999999999999998".
- 1327517 cpu_core_0 "13.999999999999998".
- 1327545 cpu_core_0 "13.999999999999998".
- 1327770 cpu_core_0 "13.999999999999998".
- 1327799 cpu_core_0 "13.999999999999998".
- 1327876 cpu_core_0 "13.999999999999998".
- 1327966 cpu_core_0 "13.999999999999998".