Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1270786 cpu_core_0 "13.999999999999998".
- 1270828 cpu_core_0 "13.999999999999998".
- 1270949 cpu_core_0 "13.999999999999998".
- 1271011 cpu_core_0 "13.999999999999998".
- 1271024 cpu_core_0 "13.999999999999998".
- 1271042 cpu_core_0 "13.999999999999998".
- 1271049 cpu_core_0 "13.999999999999998".
- 1271082 cpu_core_0 "13.999999999999998".
- 1271086 cpu_core_0 "13.999999999999998".
- 1271095 cpu_core_0 "13.999999999999998".
- 1271205 cpu_core_0 "13.999999999999998".
- 1271265 cpu_core_0 "13.999999999999998".
- 1271387 cpu_core_0 "13.999999999999998".
- 1271405 cpu_core_0 "13.999999999999998".
- 1271430 cpu_core_0 "13.999999999999998".
- 1271431 cpu_core_0 "13.999999999999998".
- 1271448 cpu_core_0 "13.999999999999998".
- 1271468 cpu_core_0 "13.999999999999998".
- 1271570 cpu_core_0 "13.999999999999998".
- 1271699 cpu_core_0 "13.999999999999998".
- 1271740 cpu_core_0 "13.999999999999998".
- 1271781 cpu_core_0 "13.999999999999998".
- 1271829 cpu_core_0 "13.999999999999998".
- 1271846 cpu_core_0 "13.999999999999998".
- 1271857 cpu_core_0 "13.999999999999998".
- 1271859 cpu_core_0 "13.999999999999998".
- 1271860 cpu_core_0 "13.999999999999998".
- 1271883 cpu_core_0 "13.999999999999998".
- 1271886 cpu_core_0 "13.999999999999998".
- 1271932 cpu_core_0 "13.999999999999998".
- 1271985 cpu_core_0 "13.999999999999998".
- 1272068 cpu_core_0 "13.999999999999998".
- 1272083 cpu_core_0 "13.999999999999998".
- 1272104 cpu_core_0 "13.999999999999998".
- 1272170 cpu_core_0 "13.999999999999998".
- 1272272 cpu_core_0 "13.999999999999998".
- 1272295 cpu_core_0 "13.999999999999998".
- 1272340 cpu_core_0 "13.999999999999998".
- 1272387 cpu_core_0 "13.999999999999998".
- 1272399 cpu_core_0 "13.999999999999998".
- 1272402 cpu_core_0 "13.999999999999998".
- 1272473 cpu_core_0 "13.999999999999998".
- 1272499 cpu_core_0 "13.999999999999998".
- 1272502 cpu_core_0 "13.999999999999998".
- 1272512 cpu_core_0 "13.999999999999998".
- 1272518 cpu_core_0 "13.999999999999998".
- 1272687 cpu_core_0 "13.999999999999998".
- 1272777 cpu_core_0 "13.999999999999998".
- 1272887 cpu_core_0 "13.999999999999998".
- 1272947 cpu_core_0 "13.999999999999998".
- 1272994 cpu_core_0 "13.999999999999998".
- 1273097 cpu_core_0 "13.999999999999998".
- 1273104 cpu_core_0 "13.999999999999998".
- 1273152 cpu_core_0 "13.999999999999998".
- 1273172 cpu_core_0 "13.999999999999998".
- 1273174 cpu_core_0 "13.999999999999998".
- 1273284 cpu_core_0 "13.999999999999998".
- 1273298 cpu_core_0 "13.999999999999998".
- 1273339 cpu_core_0 "13.999999999999998".
- 1273347 cpu_core_0 "13.999999999999998".
- 1273379 cpu_core_0 "13.999999999999998".
- 1273384 cpu_core_0 "13.999999999999998".
- 1273435 cpu_core_0 "13.999999999999998".
- 1273442 cpu_core_0 "13.999999999999998".
- 1273484 cpu_core_0 "13.999999999999998".
- 1273532 cpu_core_0 "13.999999999999998".
- 1273597 cpu_core_0 "13.999999999999998".
- 1273657 cpu_core_0 "13.999999999999998".
- 1273711 cpu_core_0 "13.999999999999998".
- 1273718 cpu_core_0 "13.999999999999998".
- 1273792 cpu_core_0 "13.999999999999998".
- 1273802 cpu_core_0 "13.999999999999998".
- 1273818 cpu_core_0 "13.999999999999998".
- 1273830 cpu_core_0 "13.999999999999998".
- 1273832 cpu_core_0 "13.999999999999998".
- 1273893 cpu_core_0 "13.999999999999998".
- 1273908 cpu_core_0 "13.999999999999998".
- 1273963 cpu_core_0 "13.999999999999998".
- 1274092 cpu_core_0 "13.999999999999998".
- 1274093 cpu_core_0 "13.999999999999998".
- 1274144 cpu_core_0 "13.999999999999998".
- 1274193 cpu_core_0 "13.999999999999998".
- 1274321 cpu_core_0 "13.999999999999998".
- 1274404 cpu_core_0 "13.999999999999998".
- 1274436 cpu_core_0 "13.999999999999998".
- 1274544 cpu_core_0 "13.999999999999998".
- 1274587 cpu_core_0 "13.999999999999998".
- 1274680 cpu_core_0 "13.999999999999998".
- 1274693 cpu_core_0 "13.999999999999998".
- 1274698 cpu_core_0 "13.999999999999998".
- 1274761 cpu_core_0 "13.999999999999998".
- 1274794 cpu_core_0 "13.999999999999998".
- 1274797 cpu_core_0 "13.999999999999998".
- 1274929 cpu_core_0 "13.999999999999998".
- 1275064 cpu_core_0 "13.999999999999998".
- 1275120 cpu_core_0 "13.999999999999998".
- 1275219 cpu_core_0 "13.999999999999998".
- 1275238 cpu_core_0 "13.999999999999998".
- 1275241 cpu_core_0 "13.999999999999998".
- 1275255 cpu_core_0 "13.999999999999998".