Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1240437 cpu_core_0 "6.93069306930693".
- 1240546 cpu_core_0 "6.93069306930693".
- 1240638 cpu_core_0 "6.93069306930693".
- 1240897 cpu_core_0 "6.93069306930693".
- 1241180 cpu_core_0 "6.93069306930693".
- 1241341 cpu_core_0 "6.93069306930693".
- 1241460 cpu_core_0 "6.93069306930693".
- 1241487 cpu_core_0 "6.93069306930693".
- 1242031 cpu_core_0 "6.93069306930693".
- 1242051 cpu_core_0 "6.93069306930693".
- 1242435 cpu_core_0 "6.93069306930693".
- 1242700 cpu_core_0 "6.93069306930693".
- 1242763 cpu_core_0 "6.93069306930693".
- 1242776 cpu_core_0 "6.93069306930693".
- 1243094 cpu_core_0 "6.93069306930693".
- 1243098 cpu_core_0 "6.93069306930693".
- 1243682 cpu_core_0 "6.93069306930693".
- 1243689 cpu_core_0 "6.93069306930693".
- 1243730 cpu_core_0 "6.93069306930693".
- 1243800 cpu_core_0 "6.93069306930693".
- 1243917 cpu_core_0 "6.93069306930693".
- 1243922 cpu_core_0 "6.93069306930693".
- 1244190 cpu_core_0 "6.93069306930693".
- 1244301 cpu_core_0 "6.93069306930693".
- 1244338 cpu_core_0 "6.93069306930693".
- 1244662 cpu_core_0 "6.93069306930693".
- 1244735 cpu_core_0 "6.93069306930693".
- 1244762 cpu_core_0 "6.93069306930693".
- 1245266 cpu_core_0 "6.93069306930693".
- 1245381 cpu_core_0 "6.93069306930693".
- 1245409 cpu_core_0 "6.93069306930693".
- 1245417 cpu_core_0 "6.93069306930693".
- 1245646 cpu_core_0 "6.93069306930693".
- 1245650 cpu_core_0 "6.93069306930693".
- 1245658 cpu_core_0 "6.93069306930693".
- 1245723 cpu_core_0 "6.93069306930693".
- 1246382 cpu_core_0 "6.93069306930693".
- 1246563 cpu_core_0 "6.93069306930693".
- 1246621 cpu_core_0 "6.93069306930693".
- 1246628 cpu_core_0 "6.93069306930693".
- 1246862 cpu_core_0 "6.93069306930693".
- 1246998 cpu_core_0 "6.93069306930693".
- 1247226 cpu_core_0 "6.93069306930693".
- 1247250 cpu_core_0 "6.93069306930693".
- 1247827 cpu_core_0 "6.93069306930693".
- 1247889 cpu_core_0 "6.93069306930693".
- 1247933 cpu_core_0 "6.93069306930693".
- 1247955 cpu_core_0 "6.93069306930693".
- 1248084 cpu_core_0 "6.93069306930693".
- 1248121 cpu_core_0 "6.93069306930693".
- 1248306 cpu_core_0 "6.93069306930693".
- 1248350 cpu_core_0 "6.93069306930693".
- 1248778 cpu_core_0 "6.93069306930693".
- 1248787 cpu_core_0 "6.93069306930693".
- 1248838 cpu_core_0 "6.93069306930693".
- 1249007 cpu_core_0 "6.93069306930693".
- 1249169 cpu_core_0 "6.93069306930693".
- 1249257 cpu_core_0 "6.93069306930693".
- 1249321 cpu_core_0 "6.93069306930693".
- 1249387 cpu_core_0 "6.93069306930693".
- 1249514 cpu_core_0 "6.93069306930693".
- 1249712 cpu_core_0 "6.93069306930693".
- 1249716 cpu_core_0 "6.93069306930693".
- 1249792 cpu_core_0 "6.93069306930693".
- 1249893 cpu_core_0 "6.93069306930693".
- 1249949 cpu_core_0 "6.93069306930693".
- 1249991 cpu_core_0 "6.93069306930693".
- 1250000 cpu_core_0 "6.93069306930693".
- 1250314 cpu_core_0 "6.93069306930693".
- 1250485 cpu_core_0 "6.93069306930693".
- 1250525 cpu_core_0 "6.93069306930693".
- 1250561 cpu_core_0 "6.93069306930693".
- 1250621 cpu_core_0 "6.93069306930693".
- 1250708 cpu_core_0 "6.93069306930693".
- 1251172 cpu_core_0 "6.93069306930693".
- 1251226 cpu_core_0 "6.93069306930693".
- 1251259 cpu_core_0 "6.93069306930693".
- 1251439 cpu_core_0 "6.93069306930693".
- 1251481 cpu_core_0 "6.93069306930693".
- 1251566 cpu_core_0 "6.93069306930693".
- 1251616 cpu_core_0 "6.93069306930693".
- 1251626 cpu_core_0 "6.93069306930693".
- 1251654 cpu_core_0 "6.93069306930693".
- 1251724 cpu_core_0 "6.93069306930693".
- 1252067 cpu_core_0 "6.93069306930693".
- 1252094 cpu_core_0 "6.93069306930693".
- 1252285 cpu_core_0 "6.93069306930693".
- 1252445 cpu_core_0 "6.93069306930693".
- 1252495 cpu_core_0 "6.93069306930693".
- 1252836 cpu_core_0 "6.93069306930693".
- 1253300 cpu_core_0 "6.93069306930693".
- 1253447 cpu_core_0 "6.93069306930693".
- 1253644 cpu_core_0 "6.93069306930693".
- 1253740 cpu_core_0 "6.93069306930693".
- 1254321 cpu_core_0 "6.93069306930693".
- 1254431 cpu_core_0 "6.93069306930693".
- 1254444 cpu_core_0 "6.93069306930693".
- 1254452 cpu_core_0 "6.93069306930693".
- 1254831 cpu_core_0 "6.93069306930693".
- 1255148 cpu_core_0 "6.93069306930693".