Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1344559 cpu_core_0 "13.999999999999998".
- 1344613 cpu_core_0 "13.999999999999998".
- 1344652 cpu_core_0 "13.999999999999998".
- 1344831 cpu_core_0 "13.999999999999998".
- 1344833 cpu_core_0 "13.999999999999998".
- 1344920 cpu_core_0 "13.999999999999998".
- 1344959 cpu_core_0 "13.999999999999998".
- 1345016 cpu_core_0 "13.999999999999998".
- 1345048 cpu_core_0 "13.999999999999998".
- 1345114 cpu_core_0 "13.999999999999998".
- 1345118 cpu_core_0 "13.999999999999998".
- 1345125 cpu_core_0 "13.999999999999998".
- 1345216 cpu_core_0 "13.999999999999998".
- 1345380 cpu_core_0 "13.999999999999998".
- 1345505 cpu_core_0 "13.999999999999998".
- 1345544 cpu_core_0 "13.999999999999998".
- 1345555 cpu_core_0 "13.999999999999998".
- 1345702 cpu_core_0 "13.999999999999998".
- 1345760 cpu_core_0 "13.999999999999998".
- 1345848 cpu_core_0 "13.999999999999998".
- 1345850 cpu_core_0 "13.999999999999998".
- 1345856 cpu_core_0 "13.999999999999998".
- 1345922 cpu_core_0 "13.999999999999998".
- 1345970 cpu_core_0 "13.999999999999998".
- 1345985 cpu_core_0 "13.999999999999998".
- 1346067 cpu_core_0 "13.999999999999998".
- 1346090 cpu_core_0 "13.999999999999998".
- 1346203 cpu_core_0 "13.999999999999998".
- 1346233 cpu_core_0 "13.999999999999998".
- 1346364 cpu_core_0 "13.999999999999998".
- 1346372 cpu_core_0 "13.999999999999998".
- 1346469 cpu_core_0 "13.999999999999998".
- 1346580 cpu_core_0 "13.999999999999998".
- 1346605 cpu_core_0 "13.999999999999998".
- 1346666 cpu_core_0 "13.999999999999998".
- 1346680 cpu_core_0 "13.999999999999998".
- 1346716 cpu_core_0 "13.999999999999998".
- 1346727 cpu_core_0 "13.999999999999998".
- 1346733 cpu_core_0 "13.999999999999998".
- 1346762 cpu_core_0 "13.999999999999998".
- 1346774 cpu_core_0 "13.999999999999998".
- 1346789 cpu_core_0 "13.999999999999998".
- 1346798 cpu_core_0 "13.999999999999998".
- 1346807 cpu_core_0 "13.999999999999998".
- 1346812 cpu_core_0 "13.999999999999998".
- 1346819 cpu_core_0 "13.999999999999998".
- 1346861 cpu_core_0 "13.999999999999998".
- 1347063 cpu_core_0 "13.999999999999998".
- 1347132 cpu_core_0 "13.999999999999998".
- 1347133 cpu_core_0 "13.999999999999998".
- 1347149 cpu_core_0 "13.999999999999998".
- 1347166 cpu_core_0 "13.999999999999998".
- 1347202 cpu_core_0 "13.999999999999998".
- 1347208 cpu_core_0 "13.999999999999998".
- 1347300 cpu_core_0 "13.999999999999998".
- 1347431 cpu_core_0 "13.999999999999998".
- 1347495 cpu_core_0 "13.999999999999998".
- 1347533 cpu_core_0 "13.999999999999998".
- 1347559 cpu_core_0 "13.999999999999998".
- 1347565 cpu_core_0 "13.999999999999998".
- 1347580 cpu_core_0 "13.999999999999998".
- 1347583 cpu_core_0 "13.999999999999998".
- 1347661 cpu_core_0 "13.999999999999998".
- 1347768 cpu_core_0 "13.999999999999998".
- 1347863 cpu_core_0 "13.999999999999998".
- 1347872 cpu_core_0 "13.999999999999998".
- 1347968 cpu_core_0 "13.999999999999998".
- 1347975 cpu_core_0 "13.999999999999998".
- 1348092 cpu_core_0 "13.999999999999998".
- 1348107 cpu_core_0 "13.999999999999998".
- 1348237 cpu_core_0 "13.999999999999998".
- 1348273 cpu_core_0 "13.999999999999998".
- 1348285 cpu_core_0 "13.999999999999998".
- 1348399 cpu_core_0 "13.999999999999998".
- 1348493 cpu_core_0 "13.999999999999998".
- 1348512 cpu_core_0 "13.999999999999998".
- 1348535 cpu_core_0 "13.999999999999998".
- 1348573 cpu_core_0 "13.999999999999998".
- 1348583 cpu_core_0 "13.999999999999998".
- 1348642 cpu_core_0 "13.999999999999998".
- 1348657 cpu_core_0 "13.999999999999998".
- 1348743 cpu_core_0 "13.999999999999998".
- 1348835 cpu_core_0 "13.999999999999998".
- 1348865 cpu_core_0 "13.999999999999998".
- 1348869 cpu_core_0 "13.999999999999998".
- 1348882 cpu_core_0 "13.999999999999998".
- 1349005 cpu_core_0 "13.999999999999998".
- 1349029 cpu_core_0 "13.999999999999998".
- 1349054 cpu_core_0 "13.999999999999998".
- 1349095 cpu_core_0 "13.999999999999998".
- 1349131 cpu_core_0 "13.999999999999998".
- 1349171 cpu_core_0 "13.999999999999998".
- 1349209 cpu_core_0 "13.999999999999998".
- 1349234 cpu_core_0 "13.999999999999998".
- 1349245 cpu_core_0 "13.999999999999998".
- 1349313 cpu_core_0 "13.999999999999998".
- 1349319 cpu_core_0 "13.999999999999998".
- 1349334 cpu_core_0 "13.999999999999998".
- 1349413 cpu_core_0 "13.999999999999998".
- 1349419 cpu_core_0 "13.999999999999998".