Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1164364 cpu_core_0 "6.93069306930693".
- 1164380 cpu_core_0 "6.93069306930693".
- 1164582 cpu_core_0 "6.93069306930693".
- 1164644 cpu_core_0 "6.93069306930693".
- 1164840 cpu_core_0 "6.93069306930693".
- 1164919 cpu_core_0 "6.93069306930693".
- 1164946 cpu_core_0 "6.93069306930693".
- 1165048 cpu_core_0 "6.93069306930693".
- 1165228 cpu_core_0 "6.93069306930693".
- 1165336 cpu_core_0 "6.93069306930693".
- 1165351 cpu_core_0 "6.93069306930693".
- 1165456 cpu_core_0 "6.93069306930693".
- 1165474 cpu_core_0 "6.93069306930693".
- 1165558 cpu_core_0 "6.93069306930693".
- 1165592 cpu_core_0 "6.93069306930693".
- 1165797 cpu_core_0 "6.93069306930693".
- 1166241 cpu_core_0 "6.93069306930693".
- 1166269 cpu_core_0 "6.93069306930693".
- 1166354 cpu_core_0 "6.93069306930693".
- 1166567 cpu_core_0 "6.93069306930693".
- 1166594 cpu_core_0 "6.93069306930693".
- 116665 cpu_core_0 "6.93069306930693".
- 1166760 cpu_core_0 "6.93069306930693".
- 1166763 cpu_core_0 "6.93069306930693".
- 1167061 cpu_core_0 "6.93069306930693".
- 1167239 cpu_core_0 "6.93069306930693".
- 1167265 cpu_core_0 "6.93069306930693".
- 1167347 cpu_core_0 "6.93069306930693".
- 1167417 cpu_core_0 "6.93069306930693".
- 1167443 cpu_core_0 "6.93069306930693".
- 1167548 cpu_core_0 "6.93069306930693".
- 1167562 cpu_core_0 "6.93069306930693".
- 1167665 cpu_core_0 "6.93069306930693".
- 1167705 cpu_core_0 "6.93069306930693".
- 1167727 cpu_core_0 "6.93069306930693".
- 1167736 cpu_core_0 "6.93069306930693".
- 1167824 cpu_core_0 "6.93069306930693".
- 1168152 cpu_core_0 "6.93069306930693".
- 1168194 cpu_core_0 "6.93069306930693".
- 1168241 cpu_core_0 "6.93069306930693".
- 1168261 cpu_core_0 "6.93069306930693".
- 1168361 cpu_core_0 "6.93069306930693".
- 1168627 cpu_core_0 "6.93069306930693".
- 1168633 cpu_core_0 "6.93069306930693".
- 1168865 cpu_core_0 "6.93069306930693".
- 1169290 cpu_core_0 "6.93069306930693".
- 1169501 cpu_core_0 "6.93069306930693".
- 1169655 cpu_core_0 "6.93069306930693".
- 1169659 cpu_core_0 "6.93069306930693".
- 1169700 cpu_core_0 "6.93069306930693".
- 1169717 cpu_core_0 "6.93069306930693".
- 1169820 cpu_core_0 "6.93069306930693".
- 1169840 cpu_core_0 "6.93069306930693".
- 1170240 cpu_core_0 "6.93069306930693".
- 1170339 cpu_core_0 "6.93069306930693".
- 1170371 cpu_core_0 "6.93069306930693".
- 1170568 cpu_core_0 "6.93069306930693".
- 1170595 cpu_core_0 "6.93069306930693".
- 1170619 cpu_core_0 "6.93069306930693".
- 1170648 cpu_core_0 "6.93069306930693".
- 1170996 cpu_core_0 "6.93069306930693".
- 1171042 cpu_core_0 "6.93069306930693".
- 1171089 cpu_core_0 "6.93069306930693".
- 1171095 cpu_core_0 "6.93069306930693".
- 1171484 cpu_core_0 "6.93069306930693".
- 1171690 cpu_core_0 "6.93069306930693".
- 1171820 cpu_core_0 "6.93069306930693".
- 1172265 cpu_core_0 "6.93069306930693".
- 1172554 cpu_core_0 "6.93069306930693".
- 1172774 cpu_core_0 "6.93069306930693".
- 1172921 cpu_core_0 "6.93069306930693".
- 1173187 cpu_core_0 "6.93069306930693".
- 1173348 cpu_core_0 "6.93069306930693".
- 1173380 cpu_core_0 "6.93069306930693".
- 1173747 cpu_core_0 "6.93069306930693".
- 1173823 cpu_core_0 "6.93069306930693".
- 1173835 cpu_core_0 "6.93069306930693".
- 1173879 cpu_core_0 "6.93069306930693".
- 1173990 cpu_core_0 "6.93069306930693".
- 1174238 cpu_core_0 "6.93069306930693".
- 1174339 cpu_core_0 "6.93069306930693".
- 1174623 cpu_core_0 "6.93069306930693".
- 1174629 cpu_core_0 "6.93069306930693".
- 1175111 cpu_core_0 "6.93069306930693".
- 1175125 cpu_core_0 "6.93069306930693".
- 1175240 cpu_core_0 "6.93069306930693".
- 1175350 cpu_core_0 "6.93069306930693".
- 1175751 cpu_core_0 "6.93069306930693".
- 1176265 cpu_core_0 "6.93069306930693".
- 1176407 cpu_core_0 "6.93069306930693".
- 1176425 cpu_core_0 "6.93069306930693".
- 1176737 cpu_core_0 "6.93069306930693".
- 1176830 cpu_core_0 "6.93069306930693".
- 1176910 cpu_core_0 "6.93069306930693".
- 1176918 cpu_core_0 "6.93069306930693".
- 1176962 cpu_core_0 "6.93069306930693".
- 1177095 cpu_core_0 "6.93069306930693".
- 1177115 cpu_core_0 "6.93069306930693".
- 1177151 cpu_core_0 "6.93069306930693".
- 1177275 cpu_core_0 "6.93069306930693".