Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1354970 cpu_core_0 "13.999999999999998".
- 1354978 cpu_core_0 "13.999999999999998".
- 1354981 cpu_core_0 "13.999999999999998".
- 1355067 cpu_core_0 "13.999999999999998".
- 1355148 cpu_core_0 "13.999999999999998".
- 1355162 cpu_core_0 "13.999999999999998".
- 1355198 cpu_core_0 "13.999999999999998".
- 1355304 cpu_core_0 "13.999999999999998".
- 1355329 cpu_core_0 "13.999999999999998".
- 1355330 cpu_core_0 "13.999999999999998".
- 1355332 cpu_core_0 "13.999999999999998".
- 1355379 cpu_core_0 "13.999999999999998".
- 1355494 cpu_core_0 "13.999999999999998".
- 1355568 cpu_core_0 "13.999999999999998".
- 1355602 cpu_core_0 "13.999999999999998".
- 1355627 cpu_core_0 "13.999999999999998".
- 1355676 cpu_core_0 "13.999999999999998".
- 1355799 cpu_core_0 "13.999999999999998".
- 1355822 cpu_core_0 "13.999999999999998".
- 1355915 cpu_core_0 "13.999999999999998".
- 1355945 cpu_core_0 "13.999999999999998".
- 1356102 cpu_core_0 "13.999999999999998".
- 1356118 cpu_core_0 "13.999999999999998".
- 1356130 cpu_core_0 "13.999999999999998".
- 1356145 cpu_core_0 "13.999999999999998".
- 1356151 cpu_core_0 "13.999999999999998".
- 1356178 cpu_core_0 "13.999999999999998".
- 1356393 cpu_core_0 "13.999999999999998".
- 1356512 cpu_core_0 "13.999999999999998".
- 1356531 cpu_core_0 "13.999999999999998".
- 1356597 cpu_core_0 "13.999999999999998".
- 1356604 cpu_core_0 "13.999999999999998".
- 1356654 cpu_core_0 "13.999999999999998".
- 1356708 cpu_core_0 "13.999999999999998".
- 1356725 cpu_core_0 "13.999999999999998".
- 1356727 cpu_core_0 "13.999999999999998".
- 1356777 cpu_core_0 "13.999999999999998".
- 1356785 cpu_core_0 "13.999999999999998".
- 1356845 cpu_core_0 "13.999999999999998".
- 1356961 cpu_core_0 "13.999999999999998".
- 1356966 cpu_core_0 "13.999999999999998".
- 1356990 cpu_core_0 "13.999999999999998".
- 1357118 cpu_core_0 "13.999999999999998".
- 1357122 cpu_core_0 "13.999999999999998".
- 1357135 cpu_core_0 "13.999999999999998".
- 1357317 cpu_core_0 "13.999999999999998".
- 1357326 cpu_core_0 "13.999999999999998".
- 1357356 cpu_core_0 "13.999999999999998".
- 1357375 cpu_core_0 "13.999999999999998".
- 1357489 cpu_core_0 "13.999999999999998".
- 1357609 cpu_core_0 "13.999999999999998".
- 1357646 cpu_core_0 "13.999999999999998".
- 1357699 cpu_core_0 "13.999999999999998".
- 1357717 cpu_core_0 "13.999999999999998".
- 1357725 cpu_core_0 "13.999999999999998".
- 1357759 cpu_core_0 "13.999999999999998".
- 1357817 cpu_core_0 "13.999999999999998".
- 1357818 cpu_core_0 "13.999999999999998".
- 1357845 cpu_core_0 "13.999999999999998".
- 1357859 cpu_core_0 "13.999999999999998".
- 1358001 cpu_core_0 "13.999999999999998".
- 1358041 cpu_core_0 "13.999999999999998".
- 1358058 cpu_core_0 "13.999999999999998".
- 1358063 cpu_core_0 "13.999999999999998".
- 1358411 cpu_core_0 "13.999999999999998".
- 1358445 cpu_core_0 "13.999999999999998".
- 1358519 cpu_core_0 "13.999999999999998".
- 1358585 cpu_core_0 "13.999999999999998".
- 1358611 cpu_core_0 "13.999999999999998".
- 1358662 cpu_core_0 "13.999999999999998".
- 1358769 cpu_core_0 "13.999999999999998".
- 1358770 cpu_core_0 "13.999999999999998".
- 1358899 cpu_core_0 "13.999999999999998".
- 1359010 cpu_core_0 "13.999999999999998".
- 1359041 cpu_core_0 "13.999999999999998".
- 1359070 cpu_core_0 "13.999999999999998".
- 1359125 cpu_core_0 "13.999999999999998".
- 1359144 cpu_core_0 "13.999999999999998".
- 1359148 cpu_core_0 "13.999999999999998".
- 1359203 cpu_core_0 "13.999999999999998".
- 1359261 cpu_core_0 "13.999999999999998".
- 1359277 cpu_core_0 "13.999999999999998".
- 1359384 cpu_core_0 "13.999999999999998".
- 1359402 cpu_core_0 "13.999999999999998".
- 1359410 cpu_core_0 "13.999999999999998".
- 1359547 cpu_core_0 "13.999999999999998".
- 1359548 cpu_core_0 "13.999999999999998".
- 1359607 cpu_core_0 "13.999999999999998".
- 1359666 cpu_core_0 "13.999999999999998".
- 1359693 cpu_core_0 "13.999999999999998".
- 1359748 cpu_core_0 "13.999999999999998".
- 1359776 cpu_core_0 "13.999999999999998".
- 1359777 cpu_core_0 "13.999999999999998".
- 1359788 cpu_core_0 "13.999999999999998".
- 1359794 cpu_core_0 "13.999999999999998".
- 1359887 cpu_core_0 "13.999999999999998".
- 1359895 cpu_core_0 "13.999999999999998".
- 1359903 cpu_core_0 "13.999999999999998".
- 1359999 cpu_core_0 "13.999999999999998".
- 1360013 cpu_core_0 "13.999999999999998".