Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1339661 cpu_core_0 "13.999999999999998".
- 1339691 cpu_core_0 "13.999999999999998".
- 1339727 cpu_core_0 "13.999999999999998".
- 1339847 cpu_core_0 "13.999999999999998".
- 1339853 cpu_core_0 "13.999999999999998".
- 1339860 cpu_core_0 "13.999999999999998".
- 1339891 cpu_core_0 "13.999999999999998".
- 1339966 cpu_core_0 "13.999999999999998".
- 1339982 cpu_core_0 "13.999999999999998".
- 1340169 cpu_core_0 "13.999999999999998".
- 1340216 cpu_core_0 "13.999999999999998".
- 1340252 cpu_core_0 "13.999999999999998".
- 1340255 cpu_core_0 "13.999999999999998".
- 1340277 cpu_core_0 "13.999999999999998".
- 1340289 cpu_core_0 "13.999999999999998".
- 1340413 cpu_core_0 "13.999999999999998".
- 1340453 cpu_core_0 "13.999999999999998".
- 1340470 cpu_core_0 "13.999999999999998".
- 1340528 cpu_core_0 "13.999999999999998".
- 1340531 cpu_core_0 "13.999999999999998".
- 1340722 cpu_core_0 "13.999999999999998".
- 1340739 cpu_core_0 "13.999999999999998".
- 1340957 cpu_core_0 "13.999999999999998".
- 1340976 cpu_core_0 "13.999999999999998".
- 1341029 cpu_core_0 "13.999999999999998".
- 1341092 cpu_core_0 "13.999999999999998".
- 1341173 cpu_core_0 "13.999999999999998".
- 1341174 cpu_core_0 "13.999999999999998".
- 1341195 cpu_core_0 "13.999999999999998".
- 1341222 cpu_core_0 "13.999999999999998".
- 1341320 cpu_core_0 "13.999999999999998".
- 1341346 cpu_core_0 "13.999999999999998".
- 1341435 cpu_core_0 "13.999999999999998".
- 1341514 cpu_core_0 "13.999999999999998".
- 1341584 cpu_core_0 "13.999999999999998".
- 1341680 cpu_core_0 "13.999999999999998".
- 1341681 cpu_core_0 "13.999999999999998".
- 1341788 cpu_core_0 "13.999999999999998".
- 1341831 cpu_core_0 "13.999999999999998".
- 1341848 cpu_core_0 "13.999999999999998".
- 1341891 cpu_core_0 "13.999999999999998".
- 1341905 cpu_core_0 "13.999999999999998".
- 1341945 cpu_core_0 "13.999999999999998".
- 1341992 cpu_core_0 "13.999999999999998".
- 1342091 cpu_core_0 "13.999999999999998".
- 1342138 cpu_core_0 "13.999999999999998".
- 1342173 cpu_core_0 "13.999999999999998".
- 1342256 cpu_core_0 "13.999999999999998".
- 1342276 cpu_core_0 "13.999999999999998".
- 1342277 cpu_core_0 "13.999999999999998".
- 1342291 cpu_core_0 "13.999999999999998".
- 1342303 cpu_core_0 "13.999999999999998".
- 1342364 cpu_core_0 "13.999999999999998".
- 1342385 cpu_core_0 "13.999999999999998".
- 1342422 cpu_core_0 "13.999999999999998".
- 1342449 cpu_core_0 "13.999999999999998".
- 1342539 cpu_core_0 "13.999999999999998".
- 1342612 cpu_core_0 "13.999999999999998".
- 1342639 cpu_core_0 "13.999999999999998".
- 1342675 cpu_core_0 "13.999999999999998".
- 1342711 cpu_core_0 "13.999999999999998".
- 1342775 cpu_core_0 "13.999999999999998".
- 1342848 cpu_core_0 "13.999999999999998".
- 1342851 cpu_core_0 "13.999999999999998".
- 1342855 cpu_core_0 "13.999999999999998".
- 1342861 cpu_core_0 "13.999999999999998".
- 1342905 cpu_core_0 "13.999999999999998".
- 1342906 cpu_core_0 "13.999999999999998".
- 1342913 cpu_core_0 "13.999999999999998".
- 1342925 cpu_core_0 "13.999999999999998".
- 1342968 cpu_core_0 "13.999999999999998".
- 1343034 cpu_core_0 "13.999999999999998".
- 1343249 cpu_core_0 "13.999999999999998".
- 1343253 cpu_core_0 "13.999999999999998".
- 1343259 cpu_core_0 "13.999999999999998".
- 1343316 cpu_core_0 "13.999999999999998".
- 1343341 cpu_core_0 "13.999999999999998".
- 1343440 cpu_core_0 "13.999999999999998".
- 1343442 cpu_core_0 "13.999999999999998".
- 1343456 cpu_core_0 "13.999999999999998".
- 1343476 cpu_core_0 "13.999999999999998".
- 1343485 cpu_core_0 "13.999999999999998".
- 1343491 cpu_core_0 "13.999999999999998".
- 1343501 cpu_core_0 "13.999999999999998".
- 1343558 cpu_core_0 "13.999999999999998".
- 1343626 cpu_core_0 "13.999999999999998".
- 1343636 cpu_core_0 "13.999999999999998".
- 1343746 cpu_core_0 "13.999999999999998".
- 1343764 cpu_core_0 "13.999999999999998".
- 1343836 cpu_core_0 "13.999999999999998".
- 1344097 cpu_core_0 "13.999999999999998".
- 1344196 cpu_core_0 "13.999999999999998".
- 1344206 cpu_core_0 "13.999999999999998".
- 1344223 cpu_core_0 "13.999999999999998".
- 1344224 cpu_core_0 "13.999999999999998".
- 1344242 cpu_core_0 "13.999999999999998".
- 1344345 cpu_core_0 "13.999999999999998".
- 1344350 cpu_core_0 "13.999999999999998".
- 1344360 cpu_core_0 "13.999999999999998".
- 1344528 cpu_core_0 "13.999999999999998".