Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1309994 cpu_core_0 "13.999999999999998".
- 1310004 cpu_core_0 "13.999999999999998".
- 1310025 cpu_core_0 "13.999999999999998".
- 1310060 cpu_core_0 "13.999999999999998".
- 1310120 cpu_core_0 "13.999999999999998".
- 1310180 cpu_core_0 "13.999999999999998".
- 1310184 cpu_core_0 "13.999999999999998".
- 1310283 cpu_core_0 "13.999999999999998".
- 1310298 cpu_core_0 "13.999999999999998".
- 1310372 cpu_core_0 "13.999999999999998".
- 1310458 cpu_core_0 "13.999999999999998".
- 1310502 cpu_core_0 "13.999999999999998".
- 1310556 cpu_core_0 "13.999999999999998".
- 1310561 cpu_core_0 "13.999999999999998".
- 1310564 cpu_core_0 "13.999999999999998".
- 1310576 cpu_core_0 "13.999999999999998".
- 1310587 cpu_core_0 "13.999999999999998".
- 1310589 cpu_core_0 "13.999999999999998".
- 1310625 cpu_core_0 "13.999999999999998".
- 1310706 cpu_core_0 "13.999999999999998".
- 1310766 cpu_core_0 "13.999999999999998".
- 1310987 cpu_core_0 "13.999999999999998".
- 1311049 cpu_core_0 "13.999999999999998".
- 1311100 cpu_core_0 "13.999999999999998".
- 1311152 cpu_core_0 "13.999999999999998".
- 1311190 cpu_core_0 "13.999999999999998".
- 1311268 cpu_core_0 "13.999999999999998".
- 1311282 cpu_core_0 "13.999999999999998".
- 1311327 cpu_core_0 "13.999999999999998".
- 1311336 cpu_core_0 "13.999999999999998".
- 1311432 cpu_core_0 "13.999999999999998".
- 1311547 cpu_core_0 "13.999999999999998".
- 1311631 cpu_core_0 "13.999999999999998".
- 1311657 cpu_core_0 "13.999999999999998".
- 1311708 cpu_core_0 "13.999999999999998".
- 1311875 cpu_core_0 "13.999999999999998".
- 1311896 cpu_core_0 "13.999999999999998".
- 1311917 cpu_core_0 "13.999999999999998".
- 1312033 cpu_core_0 "13.999999999999998".
- 1312129 cpu_core_0 "13.999999999999998".
- 1312192 cpu_core_0 "13.999999999999998".
- 1312276 cpu_core_0 "13.999999999999998".
- 1312479 cpu_core_0 "13.999999999999998".
- 1312484 cpu_core_0 "13.999999999999998".
- 1312485 cpu_core_0 "13.999999999999998".
- 1312530 cpu_core_0 "13.999999999999998".
- 1312552 cpu_core_0 "13.999999999999998".
- 1312554 cpu_core_0 "13.999999999999998".
- 1312654 cpu_core_0 "13.999999999999998".
- 1312655 cpu_core_0 "13.999999999999998".
- 1312713 cpu_core_0 "13.999999999999998".
- 1312745 cpu_core_0 "13.999999999999998".
- 1312753 cpu_core_0 "13.999999999999998".
- 1312777 cpu_core_0 "13.999999999999998".
- 1312780 cpu_core_0 "13.999999999999998".
- 1312799 cpu_core_0 "13.999999999999998".
- 1312881 cpu_core_0 "13.999999999999998".
- 1313120 cpu_core_0 "13.999999999999998".
- 1313130 cpu_core_0 "13.999999999999998".
- 1313196 cpu_core_0 "13.999999999999998".
- 1313220 cpu_core_0 "13.999999999999998".
- 1313275 cpu_core_0 "13.999999999999998".
- 1313404 cpu_core_0 "13.999999999999998".
- 1313444 cpu_core_0 "13.999999999999998".
- 1313471 cpu_core_0 "13.999999999999998".
- 1313499 cpu_core_0 "13.999999999999998".
- 1313517 cpu_core_0 "13.999999999999998".
- 1313651 cpu_core_0 "13.999999999999998".
- 1313800 cpu_core_0 "13.999999999999998".
- 1313802 cpu_core_0 "13.999999999999998".
- 1313873 cpu_core_0 "13.999999999999998".
- 1314085 cpu_core_0 "13.999999999999998".
- 1314300 cpu_core_0 "13.999999999999998".
- 1314326 cpu_core_0 "13.999999999999998".
- 1314331 cpu_core_0 "13.999999999999998".
- 1314392 cpu_core_0 "13.999999999999998".
- 1314455 cpu_core_0 "13.999999999999998".
- 1314459 cpu_core_0 "13.999999999999998".
- 1314515 cpu_core_0 "13.999999999999998".
- 1314516 cpu_core_0 "13.999999999999998".
- 1314528 cpu_core_0 "13.999999999999998".
- 1314683 cpu_core_0 "13.999999999999998".
- 1314689 cpu_core_0 "13.999999999999998".
- 1314692 cpu_core_0 "13.999999999999998".
- 1314710 cpu_core_0 "13.999999999999998".
- 1314804 cpu_core_0 "13.999999999999998".
- 1314805 cpu_core_0 "13.999999999999998".
- 1314847 cpu_core_0 "13.999999999999998".
- 1314875 cpu_core_0 "13.999999999999998".
- 1314961 cpu_core_0 "13.999999999999998".
- 1315006 cpu_core_0 "13.999999999999998".
- 1315121 cpu_core_0 "13.999999999999998".
- 1315196 cpu_core_0 "13.999999999999998".
- 1315233 cpu_core_0 "13.999999999999998".
- 1315256 cpu_core_0 "13.999999999999998".
- 1315261 cpu_core_0 "13.999999999999998".
- 1315396 cpu_core_0 "13.999999999999998".
- 1315417 cpu_core_0 "13.999999999999998".
- 1315616 cpu_core_0 "13.999999999999998".
- 1315637 cpu_core_0 "13.999999999999998".