Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1381348 cpu_core_0 "13.999999999999998".
- 1381354 cpu_core_0 "13.999999999999998".
- 1381360 cpu_core_0 "13.999999999999998".
- 1381370 cpu_core_0 "13.999999999999998".
- 1381450 cpu_core_0 "13.999999999999998".
- 1381465 cpu_core_0 "13.999999999999998".
- 1381484 cpu_core_0 "13.999999999999998".
- 1381552 cpu_core_0 "13.999999999999998".
- 1381563 cpu_core_0 "13.999999999999998".
- 1381568 cpu_core_0 "13.999999999999998".
- 1381572 cpu_core_0 "13.999999999999998".
- 1381604 cpu_core_0 "13.999999999999998".
- 1381624 cpu_core_0 "13.999999999999998".
- 1381628 cpu_core_0 "13.999999999999998".
- 1381724 cpu_core_0 "13.999999999999998".
- 1381747 cpu_core_0 "13.999999999999998".
- 1381749 cpu_core_0 "13.999999999999998".
- 1381805 cpu_core_0 "13.999999999999998".
- 1381844 cpu_core_0 "13.999999999999998".
- 1381853 cpu_core_0 "13.999999999999998".
- 1382001 cpu_core_0 "13.999999999999998".
- 1382066 cpu_core_0 "13.999999999999998".
- 1382079 cpu_core_0 "13.999999999999998".
- 1382207 cpu_core_0 "13.999999999999998".
- 1382287 cpu_core_0 "13.999999999999998".
- 1382364 cpu_core_0 "13.999999999999998".
- 1382410 cpu_core_0 "13.999999999999998".
- 1382417 cpu_core_0 "13.999999999999998".
- 1382423 cpu_core_0 "13.999999999999998".
- 1382432 cpu_core_0 "13.999999999999998".
- 1382443 cpu_core_0 "13.999999999999998".
- 1382449 cpu_core_0 "13.999999999999998".
- 1382519 cpu_core_0 "13.999999999999998".
- 1382524 cpu_core_0 "13.999999999999998".
- 1382538 cpu_core_0 "13.999999999999998".
- 1382552 cpu_core_0 "13.999999999999998".
- 1382713 cpu_core_0 "13.999999999999998".
- 1382771 cpu_core_0 "13.999999999999998".
- 1382945 cpu_core_0 "13.999999999999998".
- 1383020 cpu_core_0 "13.999999999999998".
- 1383037 cpu_core_0 "13.999999999999998".
- 1383049 cpu_core_0 "13.999999999999998".
- 1383065 cpu_core_0 "13.999999999999998".
- 1383128 cpu_core_0 "13.999999999999998".
- 1383313 cpu_core_0 "13.999999999999998".
- 1383365 cpu_core_0 "13.999999999999998".
- 1383401 cpu_core_0 "13.999999999999998".
- 1383518 cpu_core_0 "13.999999999999998".
- 1383532 cpu_core_0 "13.999999999999998".
- 1383544 cpu_core_0 "13.999999999999998".
- 1383619 cpu_core_0 "13.999999999999998".
- 1383621 cpu_core_0 "13.999999999999998".
- 1383726 cpu_core_0 "13.999999999999998".
- 1383807 cpu_core_0 "13.999999999999998".
- 1383837 cpu_core_0 "13.999999999999998".
- 1383899 cpu_core_0 "13.999999999999998".
- 1383956 cpu_core_0 "13.999999999999998".
- 1384034 cpu_core_0 "13.999999999999998".
- 1384046 cpu_core_0 "13.999999999999998".
- 1384076 cpu_core_0 "13.999999999999998".
- 1384143 cpu_core_0 "13.999999999999998".
- 1384153 cpu_core_0 "13.999999999999998".
- 1384162 cpu_core_0 "13.999999999999998".
- 1384177 cpu_core_0 "13.999999999999998".
- 1384200 cpu_core_0 "13.999999999999998".
- 1384241 cpu_core_0 "13.999999999999998".
- 1384264 cpu_core_0 "13.999999999999998".
- 1384275 cpu_core_0 "13.999999999999998".
- 1384402 cpu_core_0 "13.999999999999998".
- 1384484 cpu_core_0 "13.999999999999998".
- 1384506 cpu_core_0 "13.999999999999998".
- 1384625 cpu_core_0 "13.999999999999998".
- 1384703 cpu_core_0 "13.999999999999998".
- 1384844 cpu_core_0 "13.999999999999998".
- 1384883 cpu_core_0 "13.999999999999998".
- 1384885 cpu_core_0 "13.999999999999998".
- 1384919 cpu_core_0 "13.999999999999998".
- 1385042 cpu_core_0 "13.999999999999998".
- 1385082 cpu_core_0 "13.999999999999998".
- 1385099 cpu_core_0 "13.999999999999998".
- 1385119 cpu_core_0 "13.999999999999998".
- 1385131 cpu_core_0 "13.999999999999998".
- 1385159 cpu_core_0 "13.999999999999998".
- 1385182 cpu_core_0 "13.999999999999998".
- 1385183 cpu_core_0 "13.999999999999998".
- 1385230 cpu_core_0 "13.999999999999998".
- 1385245 cpu_core_0 "13.999999999999998".
- 1385292 cpu_core_0 "13.999999999999998".
- 1385704 cpu_core_0 "13.999999999999998".
- 1385809 cpu_core_0 "13.999999999999998".
- 1385818 cpu_core_0 "13.999999999999998".
- 1385846 cpu_core_0 "13.999999999999998".
- 1385998 cpu_core_0 "13.999999999999998".
- 1386064 cpu_core_0 "13.999999999999998".
- 1386088 cpu_core_0 "13.999999999999998".
- 1386115 cpu_core_0 "13.999999999999998".
- 1386206 cpu_core_0 "13.999999999999998".
- 1386214 cpu_core_0 "13.999999999999998".
- 1386304 cpu_core_0 "13.999999999999998".
- 1386318 cpu_core_0 "13.999999999999998".