Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1041118 cpu_core_0 "13.999999999999998".
- 1041237 cpu_core_0 "13.999999999999998".
- 1041270 cpu_core_0 "13.999999999999998".
- 1041278 cpu_core_0 "13.999999999999998".
- 1041360 cpu_core_0 "13.999999999999998".
- 1041504 cpu_core_0 "13.999999999999998".
- 1041565 cpu_core_0 "13.999999999999998".
- 1041572 cpu_core_0 "13.999999999999998".
- 1041619 cpu_core_0 "13.999999999999998".
- 1041640 cpu_core_0 "13.999999999999998".
- 1041704 cpu_core_0 "13.999999999999998".
- 1041716 cpu_core_0 "13.999999999999998".
- 1041729 cpu_core_0 "13.999999999999998".
- 1041731 cpu_core_0 "13.999999999999998".
- 1041734 cpu_core_0 "13.999999999999998".
- 1041798 cpu_core_0 "13.999999999999998".
- 1041856 cpu_core_0 "13.999999999999998".
- 1041857 cpu_core_0 "13.999999999999998".
- 1041931 cpu_core_0 "13.999999999999998".
- 1041933 cpu_core_0 "13.999999999999998".
- 1042079 cpu_core_0 "13.999999999999998".
- 1042128 cpu_core_0 "13.999999999999998".
- 1042207 cpu_core_0 "13.999999999999998".
- 1042336 cpu_core_0 "13.999999999999998".
- 1042424 cpu_core_0 "13.999999999999998".
- 1042677 cpu_core_0 "13.999999999999998".
- 1042901 cpu_core_0 "13.999999999999998".
- 1043021 cpu_core_0 "13.999999999999998".
- 1043034 cpu_core_0 "13.999999999999998".
- 1043040 cpu_core_0 "13.999999999999998".
- 1043042 cpu_core_0 "13.999999999999998".
- 1043044 cpu_core_0 "13.999999999999998".
- 1043209 cpu_core_0 "13.999999999999998".
- 1043284 cpu_core_0 "13.999999999999998".
- 1043316 cpu_core_0 "13.999999999999998".
- 1043397 cpu_core_0 "13.999999999999998".
- 1043493 cpu_core_0 "13.999999999999998".
- 1043545 cpu_core_0 "13.999999999999998".
- 1043561 cpu_core_0 "13.999999999999998".
- 1043562 cpu_core_0 "13.999999999999998".
- 1043810 cpu_core_0 "13.999999999999998".
- 1043897 cpu_core_0 "13.999999999999998".
- 1044243 cpu_core_0 "13.999999999999998".
- 1044398 cpu_core_0 "13.999999999999998".
- 1044409 cpu_core_0 "13.999999999999998".
- 1044415 cpu_core_0 "13.999999999999998".
- 1044447 cpu_core_0 "13.999999999999998".
- 1044452 cpu_core_0 "13.999999999999998".
- 1044519 cpu_core_0 "13.999999999999998".
- 1044533 cpu_core_0 "13.999999999999998".
- 1044605 cpu_core_0 "13.999999999999998".
- 1044730 cpu_core_0 "13.999999999999998".
- 1044741 cpu_core_0 "13.999999999999998".
- 1044757 cpu_core_0 "13.999999999999998".
- 1044761 cpu_core_0 "13.999999999999998".
- 1044781 cpu_core_0 "13.999999999999998".
- 1044804 cpu_core_0 "13.999999999999998".
- 1044817 cpu_core_0 "13.999999999999998".
- 1044869 cpu_core_0 "13.999999999999998".
- 1044924 cpu_core_0 "13.999999999999998".
- 1045028 cpu_core_0 "13.999999999999998".
- 1045054 cpu_core_0 "13.999999999999998".
- 1045149 cpu_core_0 "13.999999999999998".
- 1045167 cpu_core_0 "13.999999999999998".
- 1045173 cpu_core_0 "13.999999999999998".
- 1045184 cpu_core_0 "13.999999999999998".
- 1045226 cpu_core_0 "13.999999999999998".
- 1045384 cpu_core_0 "13.999999999999998".
- 1045413 cpu_core_0 "13.999999999999998".
- 1045505 cpu_core_0 "13.999999999999998".
- 1045607 cpu_core_0 "13.999999999999998".
- 1045614 cpu_core_0 "13.999999999999998".
- 1045767 cpu_core_0 "13.999999999999998".
- 1045807 cpu_core_0 "13.999999999999998".
- 1045841 cpu_core_0 "13.999999999999998".
- 1045844 cpu_core_0 "13.999999999999998".
- 1045932 cpu_core_0 "13.999999999999998".
- 1045949 cpu_core_0 "13.999999999999998".
- 1046170 cpu_core_0 "13.999999999999998".
- 1046180 cpu_core_0 "13.999999999999998".
- 1046262 cpu_core_0 "13.999999999999998".
- 1046303 cpu_core_0 "13.999999999999998".
- 1046337 cpu_core_0 "13.999999999999998".
- 1046353 cpu_core_0 "13.999999999999998".
- 1046440 cpu_core_0 "13.999999999999998".
- 1046441 cpu_core_0 "13.999999999999998".
- 1046447 cpu_core_0 "13.999999999999998".
- 1046471 cpu_core_0 "13.999999999999998".
- 1046479 cpu_core_0 "13.999999999999998".
- 1046483 cpu_core_0 "13.999999999999998".
- 1046575 cpu_core_0 "13.999999999999998".
- 1046608 cpu_core_0 "13.999999999999998".
- 1046655 cpu_core_0 "13.999999999999998".
- 1046675 cpu_core_0 "13.999999999999998".
- 1046740 cpu_core_0 "13.999999999999998".
- 1046801 cpu_core_0 "13.999999999999998".
- 1046817 cpu_core_0 "13.999999999999998".
- 1046947 cpu_core_0 "13.999999999999998".
- 1046951 cpu_core_0 "13.999999999999998".
- 1046969 cpu_core_0 "13.999999999999998".