Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1255298 cpu_core_0 "13.999999999999998".
- 1255365 cpu_core_0 "13.999999999999998".
- 1255430 cpu_core_0 "13.999999999999998".
- 1255432 cpu_core_0 "13.999999999999998".
- 1255663 cpu_core_0 "13.999999999999998".
- 1255794 cpu_core_0 "13.999999999999998".
- 1255809 cpu_core_0 "13.999999999999998".
- 1255913 cpu_core_0 "13.999999999999998".
- 1256068 cpu_core_0 "13.999999999999998".
- 1256084 cpu_core_0 "13.999999999999998".
- 1256141 cpu_core_0 "13.999999999999998".
- 1256150 cpu_core_0 "13.999999999999998".
- 1256176 cpu_core_0 "13.999999999999998".
- 1256187 cpu_core_0 "13.999999999999998".
- 1256301 cpu_core_0 "13.999999999999998".
- 1256310 cpu_core_0 "13.999999999999998".
- 1256311 cpu_core_0 "13.999999999999998".
- 1256317 cpu_core_0 "13.999999999999998".
- 1256335 cpu_core_0 "13.999999999999998".
- 1256343 cpu_core_0 "13.999999999999998".
- 1256405 cpu_core_0 "13.999999999999998".
- 1256426 cpu_core_0 "13.999999999999998".
- 1256505 cpu_core_0 "13.999999999999998".
- 1256549 cpu_core_0 "13.999999999999998".
- 1256566 cpu_core_0 "13.999999999999998".
- 1256574 cpu_core_0 "13.999999999999998".
- 1256795 cpu_core_0 "13.999999999999998".
- 1256863 cpu_core_0 "13.999999999999998".
- 1256934 cpu_core_0 "13.999999999999998".
- 1256941 cpu_core_0 "13.999999999999998".
- 1257166 cpu_core_0 "13.999999999999998".
- 1257219 cpu_core_0 "13.999999999999998".
- 1257237 cpu_core_0 "13.999999999999998".
- 1257245 cpu_core_0 "13.999999999999998".
- 1257517 cpu_core_0 "13.999999999999998".
- 1257535 cpu_core_0 "13.999999999999998".
- 1257625 cpu_core_0 "13.999999999999998".
- 1257632 cpu_core_0 "13.999999999999998".
- 1257641 cpu_core_0 "13.999999999999998".
- 1257665 cpu_core_0 "13.999999999999998".
- 1257741 cpu_core_0 "13.999999999999998".
- 1257742 cpu_core_0 "13.999999999999998".
- 1257789 cpu_core_0 "13.999999999999998".
- 1257826 cpu_core_0 "13.999999999999998".
- 1257871 cpu_core_0 "13.999999999999998".
- 1257970 cpu_core_0 "13.999999999999998".
- 1257977 cpu_core_0 "13.999999999999998".
- 1257995 cpu_core_0 "13.999999999999998".
- 1258001 cpu_core_0 "13.999999999999998".
- 1258057 cpu_core_0 "13.999999999999998".
- 1258061 cpu_core_0 "13.999999999999998".
- 1258071 cpu_core_0 "13.999999999999998".
- 1258091 cpu_core_0 "13.999999999999998".
- 1258123 cpu_core_0 "13.999999999999998".
- 1258140 cpu_core_0 "13.999999999999998".
- 1258199 cpu_core_0 "13.999999999999998".
- 1258224 cpu_core_0 "13.999999999999998".
- 1258225 cpu_core_0 "13.999999999999998".
- 1258248 cpu_core_0 "13.999999999999998".
- 1258252 cpu_core_0 "13.999999999999998".
- 1258335 cpu_core_0 "13.999999999999998".
- 1258348 cpu_core_0 "13.999999999999998".
- 1258465 cpu_core_0 "13.999999999999998".
- 1258475 cpu_core_0 "13.999999999999998".
- 1258588 cpu_core_0 "13.999999999999998".
- 1258604 cpu_core_0 "13.999999999999998".
- 1258628 cpu_core_0 "13.999999999999998".
- 1258654 cpu_core_0 "13.999999999999998".
- 1258796 cpu_core_0 "13.999999999999998".
- 1258867 cpu_core_0 "13.999999999999998".
- 1258905 cpu_core_0 "13.999999999999998".
- 1258913 cpu_core_0 "13.999999999999998".
- 1258952 cpu_core_0 "13.999999999999998".
- 1259035 cpu_core_0 "13.999999999999998".
- 1259058 cpu_core_0 "13.999999999999998".
- 1259109 cpu_core_0 "13.999999999999998".
- 1259215 cpu_core_0 "13.999999999999998".
- 1259223 cpu_core_0 "13.999999999999998".
- 1259246 cpu_core_0 "13.999999999999998".
- 1259309 cpu_core_0 "13.999999999999998".
- 1259432 cpu_core_0 "13.999999999999998".
- 1259479 cpu_core_0 "13.999999999999998".
- 1259526 cpu_core_0 "13.999999999999998".
- 1259531 cpu_core_0 "13.999999999999998".
- 1259594 cpu_core_0 "13.999999999999998".
- 1259617 cpu_core_0 "13.999999999999998".
- 1259665 cpu_core_0 "13.999999999999998".
- 1259669 cpu_core_0 "13.999999999999998".
- 1259673 cpu_core_0 "13.999999999999998".
- 1259688 cpu_core_0 "13.999999999999998".
- 1259706 cpu_core_0 "13.999999999999998".
- 1259744 cpu_core_0 "13.999999999999998".
- 1259752 cpu_core_0 "13.999999999999998".
- 1259755 cpu_core_0 "13.999999999999998".
- 1259846 cpu_core_0 "13.999999999999998".
- 1259874 cpu_core_0 "13.999999999999998".
- 1259937 cpu_core_0 "13.999999999999998".
- 1259943 cpu_core_0 "13.999999999999998".
- 1259966 cpu_core_0 "13.999999999999998".
- 1259971 cpu_core_0 "13.999999999999998".