Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1275274 cpu_core_0 "13.999999999999998".
- 1275276 cpu_core_0 "13.999999999999998".
- 1275342 cpu_core_0 "13.999999999999998".
- 1275347 cpu_core_0 "13.999999999999998".
- 1275404 cpu_core_0 "13.999999999999998".
- 1275423 cpu_core_0 "13.999999999999998".
- 1275473 cpu_core_0 "13.999999999999998".
- 1275547 cpu_core_0 "13.999999999999998".
- 1275602 cpu_core_0 "13.999999999999998".
- 1275615 cpu_core_0 "13.999999999999998".
- 1275619 cpu_core_0 "13.999999999999998".
- 1275621 cpu_core_0 "13.999999999999998".
- 1275658 cpu_core_0 "13.999999999999998".
- 1275785 cpu_core_0 "13.999999999999998".
- 1275790 cpu_core_0 "13.999999999999998".
- 1275798 cpu_core_0 "13.999999999999998".
- 1275833 cpu_core_0 "13.999999999999998".
- 1275869 cpu_core_0 "13.999999999999998".
- 1275871 cpu_core_0 "13.999999999999998".
- 1275945 cpu_core_0 "13.999999999999998".
- 1275996 cpu_core_0 "13.999999999999998".
- 1276013 cpu_core_0 "13.999999999999998".
- 1276189 cpu_core_0 "13.999999999999998".
- 1276215 cpu_core_0 "13.999999999999998".
- 1276368 cpu_core_0 "13.999999999999998".
- 1276422 cpu_core_0 "13.999999999999998".
- 1276428 cpu_core_0 "13.999999999999998".
- 1276436 cpu_core_0 "13.999999999999998".
- 1276468 cpu_core_0 "13.999999999999998".
- 1276479 cpu_core_0 "13.999999999999998".
- 1276482 cpu_core_0 "13.999999999999998".
- 1276505 cpu_core_0 "13.999999999999998".
- 1276510 cpu_core_0 "13.999999999999998".
- 1276581 cpu_core_0 "13.999999999999998".
- 1276619 cpu_core_0 "13.999999999999998".
- 1276620 cpu_core_0 "13.999999999999998".
- 1276622 cpu_core_0 "13.999999999999998".
- 1276626 cpu_core_0 "13.999999999999998".
- 1276701 cpu_core_0 "13.999999999999998".
- 1276806 cpu_core_0 "13.999999999999998".
- 1276894 cpu_core_0 "13.999999999999998".
- 1276902 cpu_core_0 "13.999999999999998".
- 1276906 cpu_core_0 "13.999999999999998".
- 1276919 cpu_core_0 "13.999999999999998".
- 1277038 cpu_core_0 "13.999999999999998".
- 1277069 cpu_core_0 "13.999999999999998".
- 1277079 cpu_core_0 "13.999999999999998".
- 1277100 cpu_core_0 "13.999999999999998".
- 1277103 cpu_core_0 "13.999999999999998".
- 1277150 cpu_core_0 "13.999999999999998".
- 1277151 cpu_core_0 "13.999999999999998".
- 1277160 cpu_core_0 "13.999999999999998".
- 1277220 cpu_core_0 "13.999999999999998".
- 1277231 cpu_core_0 "13.999999999999998".
- 1277259 cpu_core_0 "13.999999999999998".
- 1277290 cpu_core_0 "13.999999999999998".
- 1277409 cpu_core_0 "13.999999999999998".
- 1277452 cpu_core_0 "13.999999999999998".
- 1277510 cpu_core_0 "13.999999999999998".
- 1277549 cpu_core_0 "13.999999999999998".
- 1277624 cpu_core_0 "13.999999999999998".
- 1277672 cpu_core_0 "13.999999999999998".
- 1277791 cpu_core_0 "13.999999999999998".
- 1277795 cpu_core_0 "13.999999999999998".
- 1277877 cpu_core_0 "13.999999999999998".
- 1277897 cpu_core_0 "13.999999999999998".
- 1277944 cpu_core_0 "13.999999999999998".
- 1278009 cpu_core_0 "13.999999999999998".
- 1278021 cpu_core_0 "13.999999999999998".
- 1278034 cpu_core_0 "13.999999999999998".
- 1278157 cpu_core_0 "13.999999999999998".
- 1278197 cpu_core_0 "13.999999999999998".
- 1278237 cpu_core_0 "13.999999999999998".
- 1278287 cpu_core_0 "13.999999999999998".
- 1278288 cpu_core_0 "13.999999999999998".
- 1278360 cpu_core_0 "13.999999999999998".
- 1278406 cpu_core_0 "13.999999999999998".
- 1278433 cpu_core_0 "13.999999999999998".
- 1278521 cpu_core_0 "13.999999999999998".
- 1278546 cpu_core_0 "13.999999999999998".
- 1278587 cpu_core_0 "13.999999999999998".
- 1278599 cpu_core_0 "13.999999999999998".
- 1278647 cpu_core_0 "13.999999999999998".
- 1278668 cpu_core_0 "13.999999999999998".
- 1278748 cpu_core_0 "13.999999999999998".
- 1278789 cpu_core_0 "13.999999999999998".
- 1278821 cpu_core_0 "13.999999999999998".
- 1278838 cpu_core_0 "13.999999999999998".
- 1278839 cpu_core_0 "13.999999999999998".
- 1278877 cpu_core_0 "13.999999999999998".
- 1278991 cpu_core_0 "13.999999999999998".
- 1279073 cpu_core_0 "13.999999999999998".
- 1279224 cpu_core_0 "13.999999999999998".
- 1279358 cpu_core_0 "13.999999999999998".
- 1279386 cpu_core_0 "13.999999999999998".
- 1279639 cpu_core_0 "13.999999999999998".
- 1279822 cpu_core_0 "13.999999999999998".
- 1279831 cpu_core_0 "13.999999999999998".
- 1280053 cpu_core_0 "13.999999999999998".
- 1280088 cpu_core_0 "13.999999999999998".