Matches in ISWC2014 Benchmark for { ?s ?p 13.86138613861386. }
- 1136901 cpu_core_0 "13.86138613861386".
- 1136990 cpu_core_0 "13.86138613861386".
- 1137004 cpu_core_0 "13.86138613861386".
- 1137200 cpu_core_0 "13.86138613861386".
- 1137219 cpu_core_0 "13.86138613861386".
- 1137286 cpu_core_0 "13.86138613861386".
- 1137494 cpu_core_0 "13.86138613861386".
- 1137525 cpu_core_0 "13.86138613861386".
- 1137590 cpu_core_0 "13.86138613861386".
- 1137683 cpu_core_0 "13.86138613861386".
- 1137701 cpu_core_0 "13.86138613861386".
- 1137748 cpu_core_0 "13.86138613861386".
- 1137931 cpu_core_0 "13.86138613861386".
- 1137951 cpu_core_0 "13.86138613861386".
- 1137961 cpu_core_0 "13.86138613861386".
- 1138412 cpu_core_0 "13.86138613861386".
- 1138671 cpu_core_0 "13.86138613861386".
- 1138690 cpu_core_0 "13.86138613861386".
- 1138772 cpu_core_0 "13.86138613861386".
- 1138952 cpu_core_0 "13.86138613861386".
- 1139117 cpu_core_0 "13.86138613861386".
- 1139123 cpu_core_0 "13.86138613861386".
- 1139160 cpu_core_0 "13.86138613861386".
- 1139274 cpu_core_0 "13.86138613861386".
- 1139312 cpu_core_0 "13.86138613861386".
- 1139394 cpu_core_0 "13.86138613861386".
- 1139420 cpu_core_0 "13.86138613861386".
- 1139741 cpu_core_0 "13.86138613861386".
- 1139841 cpu_core_0 "13.86138613861386".
- 1139979 cpu_core_0 "13.86138613861386".
- 1140044 cpu_core_0 "13.86138613861386".
- 1140122 cpu_core_0 "13.86138613861386".
- 1140235 cpu_core_0 "13.86138613861386".
- 1140244 cpu_core_0 "13.86138613861386".
- 1140295 cpu_core_0 "13.86138613861386".
- 1140491 cpu_core_0 "13.86138613861386".
- 1140514 cpu_core_0 "13.86138613861386".
- 1140737 cpu_core_0 "13.86138613861386".
- 1140841 cpu_core_0 "13.86138613861386".
- 1141087 cpu_core_0 "13.86138613861386".
- 1141348 cpu_core_0 "13.86138613861386".
- 1141372 cpu_core_0 "13.86138613861386".
- 1141613 cpu_core_0 "13.86138613861386".
- 1141760 cpu_core_0 "13.86138613861386".
- 1141885 cpu_core_0 "13.86138613861386".
- 1142050 cpu_core_0 "13.86138613861386".
- 1142198 cpu_core_0 "13.86138613861386".
- 1142303 cpu_core_0 "13.86138613861386".
- 1142416 cpu_core_0 "13.86138613861386".
- 1142600 cpu_core_0 "13.86138613861386".
- 1143019 cpu_core_0 "13.86138613861386".
- 1143059 cpu_core_0 "13.86138613861386".
- 1143503 cpu_core_0 "13.86138613861386".
- 1143515 cpu_core_0 "13.86138613861386".
- 1143651 cpu_core_0 "13.86138613861386".
- 1143798 cpu_core_0 "13.86138613861386".
- 1143865 cpu_core_0 "13.86138613861386".
- 1144011 cpu_core_0 "13.86138613861386".
- 1144176 cpu_core_0 "13.86138613861386".
- 1144327 cpu_core_0 "13.86138613861386".
- 1144367 cpu_core_0 "13.86138613861386".
- 1144635 cpu_core_0 "13.86138613861386".
- 1144756 cpu_core_0 "13.86138613861386".
- 1144837 cpu_core_0 "13.86138613861386".
- 1144941 cpu_core_0 "13.86138613861386".
- 1144955 cpu_core_0 "13.86138613861386".
- 1144967 cpu_core_0 "13.86138613861386".
- 1145077 cpu_core_0 "13.86138613861386".
- 1145089 cpu_core_0 "13.86138613861386".
- 1145101 cpu_core_0 "13.86138613861386".
- 1145566 cpu_core_0 "13.86138613861386".
- 1146213 cpu_core_0 "13.86138613861386".
- 1146785 cpu_core_0 "13.86138613861386".
- 1146794 cpu_core_0 "13.86138613861386".
- 1147097 cpu_core_0 "13.86138613861386".
- 1147172 cpu_core_0 "13.86138613861386".
- 1147296 cpu_core_0 "13.86138613861386".
- 1147426 cpu_core_0 "13.86138613861386".
- 1147596 cpu_core_0 "13.86138613861386".
- 1147639 cpu_core_0 "13.86138613861386".
- 1147703 cpu_core_0 "13.86138613861386".
- 1148017 cpu_core_0 "13.86138613861386".
- 1148047 cpu_core_0 "13.86138613861386".
- 1148205 cpu_core_0 "13.86138613861386".
- 1148244 cpu_core_0 "13.86138613861386".
- 1148253 cpu_core_0 "13.86138613861386".
- 1148331 cpu_core_0 "13.86138613861386".
- 1148444 cpu_core_0 "13.86138613861386".
- 1148911 cpu_core_0 "13.86138613861386".
- 1149117 cpu_core_0 "13.86138613861386".
- 1149164 cpu_core_0 "13.86138613861386".
- 1149218 cpu_core_0 "13.86138613861386".
- 1149283 cpu_core_0 "13.86138613861386".
- 1149489 cpu_core_0 "13.86138613861386".
- 1149850 cpu_core_0 "13.86138613861386".
- 1149854 cpu_core_0 "13.86138613861386".
- 1149951 cpu_core_0 "13.86138613861386".
- 1150170 cpu_core_0 "13.86138613861386".
- 1150328 cpu_core_0 "13.86138613861386".
- 1150340 cpu_core_0 "13.86138613861386".