Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1365549 cpu_core_0 "13.999999999999998".
- 1365550 cpu_core_0 "13.999999999999998".
- 1365591 cpu_core_0 "13.999999999999998".
- 1365594 cpu_core_0 "13.999999999999998".
- 1365617 cpu_core_0 "13.999999999999998".
- 1365669 cpu_core_0 "13.999999999999998".
- 1365716 cpu_core_0 "13.999999999999998".
- 1365776 cpu_core_0 "13.999999999999998".
- 1365779 cpu_core_0 "13.999999999999998".
- 1365848 cpu_core_0 "13.999999999999998".
- 1365875 cpu_core_0 "13.999999999999998".
- 1366020 cpu_core_0 "13.999999999999998".
- 1366065 cpu_core_0 "13.999999999999998".
- 1366109 cpu_core_0 "13.999999999999998".
- 1366130 cpu_core_0 "13.999999999999998".
- 1366238 cpu_core_0 "13.999999999999998".
- 1366249 cpu_core_0 "13.999999999999998".
- 1366261 cpu_core_0 "13.999999999999998".
- 1366314 cpu_core_0 "13.999999999999998".
- 1366316 cpu_core_0 "13.999999999999998".
- 1366356 cpu_core_0 "13.999999999999998".
- 1366372 cpu_core_0 "13.999999999999998".
- 1366386 cpu_core_0 "13.999999999999998".
- 1366514 cpu_core_0 "13.999999999999998".
- 1366667 cpu_core_0 "13.999999999999998".
- 1366721 cpu_core_0 "13.999999999999998".
- 1366729 cpu_core_0 "13.999999999999998".
- 1366780 cpu_core_0 "13.999999999999998".
- 1366785 cpu_core_0 "13.999999999999998".
- 1366788 cpu_core_0 "13.999999999999998".
- 1366832 cpu_core_0 "13.999999999999998".
- 1366841 cpu_core_0 "13.999999999999998".
- 1366953 cpu_core_0 "13.999999999999998".
- 1366968 cpu_core_0 "13.999999999999998".
- 1367140 cpu_core_0 "13.999999999999998".
- 1367158 cpu_core_0 "13.999999999999998".
- 1367159 cpu_core_0 "13.999999999999998".
- 1367274 cpu_core_0 "13.999999999999998".
- 1367316 cpu_core_0 "13.999999999999998".
- 1367502 cpu_core_0 "13.999999999999998".
- 1367518 cpu_core_0 "13.999999999999998".
- 1367525 cpu_core_0 "13.999999999999998".
- 1367620 cpu_core_0 "13.999999999999998".
- 1367633 cpu_core_0 "13.999999999999998".
- 1367673 cpu_core_0 "13.999999999999998".
- 1367761 cpu_core_0 "13.999999999999998".
- 1367803 cpu_core_0 "13.999999999999998".
- 1367915 cpu_core_0 "13.999999999999998".
- 1367989 cpu_core_0 "13.999999999999998".
- 1368009 cpu_core_0 "13.999999999999998".
- 1368176 cpu_core_0 "13.999999999999998".
- 1368344 cpu_core_0 "13.999999999999998".
- 1368382 cpu_core_0 "13.999999999999998".
- 1368387 cpu_core_0 "13.999999999999998".
- 1368400 cpu_core_0 "13.999999999999998".
- 1368427 cpu_core_0 "13.999999999999998".
- 1368437 cpu_core_0 "13.999999999999998".
- 1368525 cpu_core_0 "13.999999999999998".
- 1368614 cpu_core_0 "13.999999999999998".
- 1368616 cpu_core_0 "13.999999999999998".
- 1368665 cpu_core_0 "13.999999999999998".
- 1368681 cpu_core_0 "13.999999999999998".
- 1368787 cpu_core_0 "13.999999999999998".
- 1368848 cpu_core_0 "13.999999999999998".
- 1368872 cpu_core_0 "13.999999999999998".
- 1368879 cpu_core_0 "13.999999999999998".
- 1368965 cpu_core_0 "13.999999999999998".
- 1369119 cpu_core_0 "13.999999999999998".
- 1369122 cpu_core_0 "13.999999999999998".
- 1369138 cpu_core_0 "13.999999999999998".
- 1369277 cpu_core_0 "13.999999999999998".
- 1369342 cpu_core_0 "13.999999999999998".
- 1369462 cpu_core_0 "13.999999999999998".
- 1369550 cpu_core_0 "13.999999999999998".
- 1369806 cpu_core_0 "13.999999999999998".
- 1369823 cpu_core_0 "13.999999999999998".
- 1369862 cpu_core_0 "13.999999999999998".
- 1369951 cpu_core_0 "13.999999999999998".
- 1369957 cpu_core_0 "13.999999999999998".
- 1370000 cpu_core_0 "13.999999999999998".
- 1370042 cpu_core_0 "13.999999999999998".
- 1370078 cpu_core_0 "13.999999999999998".
- 1370091 cpu_core_0 "13.999999999999998".
- 1370095 cpu_core_0 "13.999999999999998".
- 1370102 cpu_core_0 "13.999999999999998".
- 1370164 cpu_core_0 "13.999999999999998".
- 1370177 cpu_core_0 "13.999999999999998".
- 1370297 cpu_core_0 "13.999999999999998".
- 1370328 cpu_core_0 "13.999999999999998".
- 1370347 cpu_core_0 "13.999999999999998".
- 1370399 cpu_core_0 "13.999999999999998".
- 1370409 cpu_core_0 "13.999999999999998".
- 1370421 cpu_core_0 "13.999999999999998".
- 1370436 cpu_core_0 "13.999999999999998".
- 1370437 cpu_core_0 "13.999999999999998".
- 1370462 cpu_core_0 "13.999999999999998".
- 1370570 cpu_core_0 "13.999999999999998".
- 1370660 cpu_core_0 "13.999999999999998".
- 1370690 cpu_core_0 "13.999999999999998".
- 1370709 cpu_core_0 "13.999999999999998".