Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1360060 cpu_core_0 "13.999999999999998".
- 1360084 cpu_core_0 "13.999999999999998".
- 1360096 cpu_core_0 "13.999999999999998".
- 1360207 cpu_core_0 "13.999999999999998".
- 1360413 cpu_core_0 "13.999999999999998".
- 1360447 cpu_core_0 "13.999999999999998".
- 1360454 cpu_core_0 "13.999999999999998".
- 1360487 cpu_core_0 "13.999999999999998".
- 1360527 cpu_core_0 "13.999999999999998".
- 1360528 cpu_core_0 "13.999999999999998".
- 1360615 cpu_core_0 "13.999999999999998".
- 1360673 cpu_core_0 "13.999999999999998".
- 1360684 cpu_core_0 "13.999999999999998".
- 1360703 cpu_core_0 "13.999999999999998".
- 1360751 cpu_core_0 "13.999999999999998".
- 1360820 cpu_core_0 "13.999999999999998".
- 1360846 cpu_core_0 "13.999999999999998".
- 1360855 cpu_core_0 "13.999999999999998".
- 1360891 cpu_core_0 "13.999999999999998".
- 1360973 cpu_core_0 "13.999999999999998".
- 1360997 cpu_core_0 "13.999999999999998".
- 1361043 cpu_core_0 "13.999999999999998".
- 1361130 cpu_core_0 "13.999999999999998".
- 1361340 cpu_core_0 "13.999999999999998".
- 1361424 cpu_core_0 "13.999999999999998".
- 1361481 cpu_core_0 "13.999999999999998".
- 1361492 cpu_core_0 "13.999999999999998".
- 1361581 cpu_core_0 "13.999999999999998".
- 1361686 cpu_core_0 "13.999999999999998".
- 1361708 cpu_core_0 "13.999999999999998".
- 1361774 cpu_core_0 "13.999999999999998".
- 1361824 cpu_core_0 "13.999999999999998".
- 1361866 cpu_core_0 "13.999999999999998".
- 1361949 cpu_core_0 "13.999999999999998".
- 1362165 cpu_core_0 "13.999999999999998".
- 1362170 cpu_core_0 "13.999999999999998".
- 1362269 cpu_core_0 "13.999999999999998".
- 1362276 cpu_core_0 "13.999999999999998".
- 1362467 cpu_core_0 "13.999999999999998".
- 1362614 cpu_core_0 "13.999999999999998".
- 1362675 cpu_core_0 "13.999999999999998".
- 1362688 cpu_core_0 "13.999999999999998".
- 1362717 cpu_core_0 "13.999999999999998".
- 1362767 cpu_core_0 "13.999999999999998".
- 1362771 cpu_core_0 "13.999999999999998".
- 1362868 cpu_core_0 "13.999999999999998".
- 1362899 cpu_core_0 "13.999999999999998".
- 1362936 cpu_core_0 "13.999999999999998".
- 1363064 cpu_core_0 "13.999999999999998".
- 1363226 cpu_core_0 "13.999999999999998".
- 1363260 cpu_core_0 "13.999999999999998".
- 1363348 cpu_core_0 "13.999999999999998".
- 1363491 cpu_core_0 "13.999999999999998".
- 1363585 cpu_core_0 "13.999999999999998".
- 1363587 cpu_core_0 "13.999999999999998".
- 1363637 cpu_core_0 "13.999999999999998".
- 1363659 cpu_core_0 "13.999999999999998".
- 1363660 cpu_core_0 "13.999999999999998".
- 1363725 cpu_core_0 "13.999999999999998".
- 1363738 cpu_core_0 "13.999999999999998".
- 1363772 cpu_core_0 "13.999999999999998".
- 1363789 cpu_core_0 "13.999999999999998".
- 1363798 cpu_core_0 "13.999999999999998".
- 1363908 cpu_core_0 "13.999999999999998".
- 1363986 cpu_core_0 "13.999999999999998".
- 1364063 cpu_core_0 "13.999999999999998".
- 1364084 cpu_core_0 "13.999999999999998".
- 1364133 cpu_core_0 "13.999999999999998".
- 1364193 cpu_core_0 "13.999999999999998".
- 1364295 cpu_core_0 "13.999999999999998".
- 1364306 cpu_core_0 "13.999999999999998".
- 1364376 cpu_core_0 "13.999999999999998".
- 1364393 cpu_core_0 "13.999999999999998".
- 1364444 cpu_core_0 "13.999999999999998".
- 1364524 cpu_core_0 "13.999999999999998".
- 1364560 cpu_core_0 "13.999999999999998".
- 1364567 cpu_core_0 "13.999999999999998".
- 1364632 cpu_core_0 "13.999999999999998".
- 1364663 cpu_core_0 "13.999999999999998".
- 1364743 cpu_core_0 "13.999999999999998".
- 1364755 cpu_core_0 "13.999999999999998".
- 1364811 cpu_core_0 "13.999999999999998".
- 1364862 cpu_core_0 "13.999999999999998".
- 1364877 cpu_core_0 "13.999999999999998".
- 1364956 cpu_core_0 "13.999999999999998".
- 1364982 cpu_core_0 "13.999999999999998".
- 1365000 cpu_core_0 "13.999999999999998".
- 1365113 cpu_core_0 "13.999999999999998".
- 1365150 cpu_core_0 "13.999999999999998".
- 1365188 cpu_core_0 "13.999999999999998".
- 1365198 cpu_core_0 "13.999999999999998".
- 1365228 cpu_core_0 "13.999999999999998".
- 1365234 cpu_core_0 "13.999999999999998".
- 1365272 cpu_core_0 "13.999999999999998".
- 1365396 cpu_core_0 "13.999999999999998".
- 1365459 cpu_core_0 "13.999999999999998".
- 1365498 cpu_core_0 "13.999999999999998".
- 1365521 cpu_core_0 "13.999999999999998".
- 1365530 cpu_core_0 "13.999999999999998".
- 1365532 cpu_core_0 "13.999999999999998".