Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1132264 cpu_core_0 "6.93069306930693".
- 1132485 cpu_core_0 "6.93069306930693".
- 1132500 cpu_core_0 "6.93069306930693".
- 1132515 cpu_core_0 "6.93069306930693".
- 1132614 cpu_core_0 "6.93069306930693".
- 1132790 cpu_core_0 "6.93069306930693".
- 1133213 cpu_core_0 "6.93069306930693".
- 1133472 cpu_core_0 "6.93069306930693".
- 1133688 cpu_core_0 "6.93069306930693".
- 1133711 cpu_core_0 "6.93069306930693".
- 1133798 cpu_core_0 "6.93069306930693".
- 1133839 cpu_core_0 "6.93069306930693".
- 1133845 cpu_core_0 "6.93069306930693".
- 1133887 cpu_core_0 "6.93069306930693".
- 1133917 cpu_core_0 "6.93069306930693".
- 1134177 cpu_core_0 "6.93069306930693".
- 1134614 cpu_core_0 "6.93069306930693".
- 1134618 cpu_core_0 "6.93069306930693".
- 1134846 cpu_core_0 "6.93069306930693".
- 1135226 cpu_core_0 "6.93069306930693".
- 1135267 cpu_core_0 "6.93069306930693".
- 1135419 cpu_core_0 "6.93069306930693".
- 1135538 cpu_core_0 "6.93069306930693".
- 1135557 cpu_core_0 "6.93069306930693".
- 1135824 cpu_core_0 "6.93069306930693".
- 1135829 cpu_core_0 "6.93069306930693".
- 1135938 cpu_core_0 "6.93069306930693".
- 1136377 cpu_core_0 "6.93069306930693".
- 1136522 cpu_core_0 "6.93069306930693".
- 1136676 cpu_core_0 "6.93069306930693".
- 1137087 cpu_core_0 "6.93069306930693".
- 1137109 cpu_core_0 "6.93069306930693".
- 1137560 cpu_core_0 "6.93069306930693".
- 1137641 cpu_core_0 "6.93069306930693".
- 1137714 cpu_core_0 "6.93069306930693".
- 1137865 cpu_core_0 "6.93069306930693".
- 1138106 cpu_core_0 "6.93069306930693".
- 1138175 cpu_core_0 "6.93069306930693".
- 1138298 cpu_core_0 "6.93069306930693".
- 1138453 cpu_core_0 "6.93069306930693".
- 1138513 cpu_core_0 "6.93069306930693".
- 1138531 cpu_core_0 "6.93069306930693".
- 1138554 cpu_core_0 "6.93069306930693".
- 1139030 cpu_core_0 "6.93069306930693".
- 1139074 cpu_core_0 "6.93069306930693".
- 1139370 cpu_core_0 "6.93069306930693".
- 1139781 cpu_core_0 "6.93069306930693".
- 1140037 cpu_core_0 "6.93069306930693".
- 1140092 cpu_core_0 "6.93069306930693".
- 1140130 cpu_core_0 "6.93069306930693".
- 1140723 cpu_core_0 "6.93069306930693".
- 1140774 cpu_core_0 "6.93069306930693".
- 1141723 cpu_core_0 "6.93069306930693".
- 1141781 cpu_core_0 "6.93069306930693".
- 1142084 cpu_core_0 "6.93069306930693".
- 1142099 cpu_core_0 "6.93069306930693".
- 1142311 cpu_core_0 "6.93069306930693".
- 1142348 cpu_core_0 "6.93069306930693".
- 1142465 cpu_core_0 "6.93069306930693".
- 1142554 cpu_core_0 "6.93069306930693".
- 1142599 cpu_core_0 "6.93069306930693".
- 1142901 cpu_core_0 "6.93069306930693".
- 1142908 cpu_core_0 "6.93069306930693".
- 1143014 cpu_core_0 "6.93069306930693".
- 1143068 cpu_core_0 "6.93069306930693".
- 1143368 cpu_core_0 "6.93069306930693".
- 1143402 cpu_core_0 "6.93069306930693".
- 1143408 cpu_core_0 "6.93069306930693".
- 1143484 cpu_core_0 "6.93069306930693".
- 1143675 cpu_core_0 "6.93069306930693".
- 1143765 cpu_core_0 "6.93069306930693".
- 1143874 cpu_core_0 "6.93069306930693".
- 1143902 cpu_core_0 "6.93069306930693".
- 1143921 cpu_core_0 "6.93069306930693".
- 1144104 cpu_core_0 "6.93069306930693".
- 1144480 cpu_core_0 "6.93069306930693".
- 1144573 cpu_core_0 "6.93069306930693".
- 1144748 cpu_core_0 "6.93069306930693".
- 1144898 cpu_core_0 "6.93069306930693".
- 1145022 cpu_core_0 "6.93069306930693".
- 1145358 cpu_core_0 "6.93069306930693".
- 1145569 cpu_core_0 "6.93069306930693".
- 1145717 cpu_core_0 "6.93069306930693".
- 1145723 cpu_core_0 "6.93069306930693".
- 1145744 cpu_core_0 "6.93069306930693".
- 1145894 cpu_core_0 "6.93069306930693".
- 1146026 cpu_core_0 "6.93069306930693".
- 1146669 cpu_core_0 "6.93069306930693".
- 1146762 cpu_core_0 "6.93069306930693".
- 1146803 cpu_core_0 "6.93069306930693".
- 1146913 cpu_core_0 "6.93069306930693".
- 1147203 cpu_core_0 "6.93069306930693".
- 1147302 cpu_core_0 "6.93069306930693".
- 1147305 cpu_core_0 "6.93069306930693".
- 1147382 cpu_core_0 "6.93069306930693".
- 1147667 cpu_core_0 "6.93069306930693".
- 1147751 cpu_core_0 "6.93069306930693".
- 1148246 cpu_core_0 "6.93069306930693".
- 1148531 cpu_core_0 "6.93069306930693".
- 1148570 cpu_core_0 "6.93069306930693".