Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1043346 cpu_core_0 "6.93069306930693".
- 1043440 cpu_core_0 "6.93069306930693".
- 1043705 cpu_core_0 "6.93069306930693".
- 1043751 cpu_core_0 "6.93069306930693".
- 1043845 cpu_core_0 "6.93069306930693".
- 1043959 cpu_core_0 "6.93069306930693".
- 1044100 cpu_core_0 "6.93069306930693".
- 1044153 cpu_core_0 "6.93069306930693".
- 1045068 cpu_core_0 "6.93069306930693".
- 1045168 cpu_core_0 "6.93069306930693".
- 1045246 cpu_core_0 "6.93069306930693".
- 1045269 cpu_core_0 "6.93069306930693".
- 1045447 cpu_core_0 "6.93069306930693".
- 1045474 cpu_core_0 "6.93069306930693".
- 1045616 cpu_core_0 "6.93069306930693".
- 1045714 cpu_core_0 "6.93069306930693".
- 1045897 cpu_core_0 "6.93069306930693".
- 1045937 cpu_core_0 "6.93069306930693".
- 1046111 cpu_core_0 "6.93069306930693".
- 1046177 cpu_core_0 "6.93069306930693".
- 1046329 cpu_core_0 "6.93069306930693".
- 1046538 cpu_core_0 "6.93069306930693".
- 1046562 cpu_core_0 "6.93069306930693".
- 1046710 cpu_core_0 "6.93069306930693".
- 1046859 cpu_core_0 "6.93069306930693".
- 1047637 cpu_core_0 "6.93069306930693".
- 1047683 cpu_core_0 "6.93069306930693".
- 1047831 cpu_core_0 "6.93069306930693".
- 1048056 cpu_core_0 "6.93069306930693".
- 1048122 cpu_core_0 "6.93069306930693".
- 1048584 cpu_core_0 "6.93069306930693".
- 1048585 cpu_core_0 "6.93069306930693".
- 1050002 cpu_core_0 "6.93069306930693".
- 1050069 cpu_core_0 "6.93069306930693".
- 1050246 cpu_core_0 "6.93069306930693".
- 1050479 cpu_core_0 "6.93069306930693".
- 1050609 cpu_core_0 "6.93069306930693".
- 1050822 cpu_core_0 "6.93069306930693".
- 1051435 cpu_core_0 "6.93069306930693".
- 1051508 cpu_core_0 "6.93069306930693".
- 1051551 cpu_core_0 "6.93069306930693".
- 1051580 cpu_core_0 "6.93069306930693".
- 1051749 cpu_core_0 "6.93069306930693".
- 1051844 cpu_core_0 "6.93069306930693".
- 1051870 cpu_core_0 "6.93069306930693".
- 1052153 cpu_core_0 "6.93069306930693".
- 1052282 cpu_core_0 "6.93069306930693".
- 1052286 cpu_core_0 "6.93069306930693".
- 1052625 cpu_core_0 "6.93069306930693".
- 1052647 cpu_core_0 "6.93069306930693".
- 1052656 cpu_core_0 "6.93069306930693".
- 1052758 cpu_core_0 "6.93069306930693".
- 1052768 cpu_core_0 "6.93069306930693".
- 1053068 cpu_core_0 "6.93069306930693".
- 1053267 cpu_core_0 "6.93069306930693".
- 1053289 cpu_core_0 "6.93069306930693".
- 1053926 cpu_core_0 "6.93069306930693".
- 1054070 cpu_core_0 "6.93069306930693".
- 1054354 cpu_core_0 "6.93069306930693".
- 1054424 cpu_core_0 "6.93069306930693".
- 1054942 cpu_core_0 "6.93069306930693".
- 1055178 cpu_core_0 "6.93069306930693".
- 1055213 cpu_core_0 "6.93069306930693".
- 1055309 cpu_core_0 "6.93069306930693".
- 1055379 cpu_core_0 "6.93069306930693".
- 1055397 cpu_core_0 "6.93069306930693".
- 1055414 cpu_core_0 "6.93069306930693".
- 1055638 cpu_core_0 "6.93069306930693".
- 1055933 cpu_core_0 "6.93069306930693".
- 1056126 cpu_core_0 "6.93069306930693".
- 1056216 cpu_core_0 "6.93069306930693".
- 1056897 cpu_core_0 "6.93069306930693".
- 1056950 cpu_core_0 "6.93069306930693".
- 1057043 cpu_core_0 "6.93069306930693".
- 1057155 cpu_core_0 "6.93069306930693".
- 1057335 cpu_core_0 "6.93069306930693".
- 1057448 cpu_core_0 "6.93069306930693".
- 1057643 cpu_core_0 "6.93069306930693".
- 1057646 cpu_core_0 "6.93069306930693".
- 1057689 cpu_core_0 "6.93069306930693".
- 1057893 cpu_core_0 "6.93069306930693".
- 1057920 cpu_core_0 "6.93069306930693".
- 1057984 cpu_core_0 "6.93069306930693".
- 1058167 cpu_core_0 "6.93069306930693".
- 1058348 cpu_core_0 "6.93069306930693".
- 1058530 cpu_core_0 "6.93069306930693".
- 1058554 cpu_core_0 "6.93069306930693".
- 1058787 cpu_core_0 "6.93069306930693".
- 1058894 cpu_core_0 "6.93069306930693".
- 1059017 cpu_core_0 "6.93069306930693".
- 1059116 cpu_core_0 "6.93069306930693".
- 1059188 cpu_core_0 "6.93069306930693".
- 1059379 cpu_core_0 "6.93069306930693".
- 1059553 cpu_core_0 "6.93069306930693".
- 1059602 cpu_core_0 "6.93069306930693".
- 1059743 cpu_core_0 "6.93069306930693".
- 1059817 cpu_core_0 "6.93069306930693".
- 1060269 cpu_core_0 "6.93069306930693".
- 1060347 cpu_core_0 "6.93069306930693".
- 1060398 cpu_core_0 "6.93069306930693".