Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1052779 cpu_core_0 "13.999999999999998".
- 1052877 cpu_core_0 "13.999999999999998".
- 1052891 cpu_core_0 "13.999999999999998".
- 1052897 cpu_core_0 "13.999999999999998".
- 1052991 cpu_core_0 "13.999999999999998".
- 1052993 cpu_core_0 "13.999999999999998".
- 1053102 cpu_core_0 "13.999999999999998".
- 1053121 cpu_core_0 "13.999999999999998".
- 1053251 cpu_core_0 "13.999999999999998".
- 1053262 cpu_core_0 "13.999999999999998".
- 1053285 cpu_core_0 "13.999999999999998".
- 1053377 cpu_core_0 "13.999999999999998".
- 1053459 cpu_core_0 "13.999999999999998".
- 1053467 cpu_core_0 "13.999999999999998".
- 1053494 cpu_core_0 "13.999999999999998".
- 1053597 cpu_core_0 "13.999999999999998".
- 1053819 cpu_core_0 "13.999999999999998".
- 1053867 cpu_core_0 "13.999999999999998".
- 1053886 cpu_core_0 "13.999999999999998".
- 1053888 cpu_core_0 "13.999999999999998".
- 1053924 cpu_core_0 "13.999999999999998".
- 1053941 cpu_core_0 "13.999999999999998".
- 1053974 cpu_core_0 "13.999999999999998".
- 1054162 cpu_core_0 "13.999999999999998".
- 1054247 cpu_core_0 "13.999999999999998".
- 1054302 cpu_core_0 "13.999999999999998".
- 1054321 cpu_core_0 "13.999999999999998".
- 1054364 cpu_core_0 "13.999999999999998".
- 1054483 cpu_core_0 "13.999999999999998".
- 1054665 cpu_core_0 "13.999999999999998".
- 1054796 cpu_core_0 "13.999999999999998".
- 1054850 cpu_core_0 "13.999999999999998".
- 1054929 cpu_core_0 "13.999999999999998".
- 1054941 cpu_core_0 "13.999999999999998".
- 1054950 cpu_core_0 "13.999999999999998".
- 1054991 cpu_core_0 "13.999999999999998".
- 1055003 cpu_core_0 "13.999999999999998".
- 1055024 cpu_core_0 "13.999999999999998".
- 1055139 cpu_core_0 "13.999999999999998".
- 1055429 cpu_core_0 "13.999999999999998".
- 1055435 cpu_core_0 "13.999999999999998".
- 1055549 cpu_core_0 "13.999999999999998".
- 1055861 cpu_core_0 "13.999999999999998".
- 1055967 cpu_core_0 "13.999999999999998".
- 1055970 cpu_core_0 "13.999999999999998".
- 1056005 cpu_core_0 "13.999999999999998".
- 1056050 cpu_core_0 "13.999999999999998".
- 1056087 cpu_core_0 "13.999999999999998".
- 1056096 cpu_core_0 "13.999999999999998".
- 1056102 cpu_core_0 "13.999999999999998".
- 1056108 cpu_core_0 "13.999999999999998".
- 1056137 cpu_core_0 "13.999999999999998".
- 1056193 cpu_core_0 "13.999999999999998".
- 1056196 cpu_core_0 "13.999999999999998".
- 1056226 cpu_core_0 "13.999999999999998".
- 1056262 cpu_core_0 "13.999999999999998".
- 1056454 cpu_core_0 "13.999999999999998".
- 1056482 cpu_core_0 "13.999999999999998".
- 1056533 cpu_core_0 "13.999999999999998".
- 1056539 cpu_core_0 "13.999999999999998".
- 1056541 cpu_core_0 "13.999999999999998".
- 1056554 cpu_core_0 "13.999999999999998".
- 1056750 cpu_core_0 "13.999999999999998".
- 1056825 cpu_core_0 "13.999999999999998".
- 1056850 cpu_core_0 "13.999999999999998".
- 1056936 cpu_core_0 "13.999999999999998".
- 1056990 cpu_core_0 "13.999999999999998".
- 1057399 cpu_core_0 "13.999999999999998".
- 1057427 cpu_core_0 "13.999999999999998".
- 1057504 cpu_core_0 "13.999999999999998".
- 1057513 cpu_core_0 "13.999999999999998".
- 1057519 cpu_core_0 "13.999999999999998".
- 1057523 cpu_core_0 "13.999999999999998".
- 1057564 cpu_core_0 "13.999999999999998".
- 1057593 cpu_core_0 "13.999999999999998".
- 1057672 cpu_core_0 "13.999999999999998".
- 1057678 cpu_core_0 "13.999999999999998".
- 1057756 cpu_core_0 "13.999999999999998".
- 1057863 cpu_core_0 "13.999999999999998".
- 1057900 cpu_core_0 "13.999999999999998".
- 1057952 cpu_core_0 "13.999999999999998".
- 1058017 cpu_core_0 "13.999999999999998".
- 1058059 cpu_core_0 "13.999999999999998".
- 1058064 cpu_core_0 "13.999999999999998".
- 1058117 cpu_core_0 "13.999999999999998".
- 1058140 cpu_core_0 "13.999999999999998".
- 1058156 cpu_core_0 "13.999999999999998".
- 1058258 cpu_core_0 "13.999999999999998".
- 1058301 cpu_core_0 "13.999999999999998".
- 1058350 cpu_core_0 "13.999999999999998".
- 1058384 cpu_core_0 "13.999999999999998".
- 1058389 cpu_core_0 "13.999999999999998".
- 1058395 cpu_core_0 "13.999999999999998".
- 1058507 cpu_core_0 "13.999999999999998".
- 1058528 cpu_core_0 "13.999999999999998".
- 1058613 cpu_core_0 "13.999999999999998".
- 1058739 cpu_core_0 "13.999999999999998".
- 1058839 cpu_core_0 "13.999999999999998".
- 1058858 cpu_core_0 "13.999999999999998".
- 1058882 cpu_core_0 "13.999999999999998".