Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1282261 cpu_core_0 "6.93069306930693".
- 1282425 cpu_core_0 "6.93069306930693".
- 1282621 cpu_core_0 "6.93069306930693".
- 1282969 cpu_core_0 "6.93069306930693".
- 1283003 cpu_core_0 "6.93069306930693".
- 1283125 cpu_core_0 "6.93069306930693".
- 1283165 cpu_core_0 "6.93069306930693".
- 1283167 cpu_core_0 "6.93069306930693".
- 1283183 cpu_core_0 "6.93069306930693".
- 1283697 cpu_core_0 "6.93069306930693".
- 1283800 cpu_core_0 "6.93069306930693".
- 1284236 cpu_core_0 "6.93069306930693".
- 1284264 cpu_core_0 "6.93069306930693".
- 1284583 cpu_core_0 "6.93069306930693".
- 1284627 cpu_core_0 "6.93069306930693".
- 1284695 cpu_core_0 "6.93069306930693".
- 1284869 cpu_core_0 "6.93069306930693".
- 1284936 cpu_core_0 "6.93069306930693".
- 1284941 cpu_core_0 "6.93069306930693".
- 1285077 cpu_core_0 "6.93069306930693".
- 1285128 cpu_core_0 "6.93069306930693".
- 1285284 cpu_core_0 "6.93069306930693".
- 1285295 cpu_core_0 "6.93069306930693".
- 1286343 cpu_core_0 "6.93069306930693".
- 1286412 cpu_core_0 "6.93069306930693".
- 1286509 cpu_core_0 "6.93069306930693".
- 1286655 cpu_core_0 "6.93069306930693".
- 1286661 cpu_core_0 "6.93069306930693".
- 1286817 cpu_core_0 "6.93069306930693".
- 1286935 cpu_core_0 "6.93069306930693".
- 1287007 cpu_core_0 "6.93069306930693".
- 1287057 cpu_core_0 "6.93069306930693".
- 1287665 cpu_core_0 "6.93069306930693".
- 1287852 cpu_core_0 "6.93069306930693".
- 1287913 cpu_core_0 "6.93069306930693".
- 1287920 cpu_core_0 "6.93069306930693".
- 1287998 cpu_core_0 "6.93069306930693".
- 1288087 cpu_core_0 "6.93069306930693".
- 1288165 cpu_core_0 "6.93069306930693".
- 128818 cpu_core_0 "6.93069306930693".
- 1288588 cpu_core_0 "6.93069306930693".
- 1288885 cpu_core_0 "6.93069306930693".
- 1288912 cpu_core_0 "6.93069306930693".
- 1288923 cpu_core_0 "6.93069306930693".
- 1289041 cpu_core_0 "6.93069306930693".
- 1289126 cpu_core_0 "6.93069306930693".
- 1289161 cpu_core_0 "6.93069306930693".
- 1289537 cpu_core_0 "6.93069306930693".
- 1289882 cpu_core_0 "6.93069306930693".
- 1289888 cpu_core_0 "6.93069306930693".
- 1290296 cpu_core_0 "6.93069306930693".
- 1290395 cpu_core_0 "6.93069306930693".
- 1290621 cpu_core_0 "6.93069306930693".
- 1290828 cpu_core_0 "6.93069306930693".
- 1290842 cpu_core_0 "6.93069306930693".
- 1290853 cpu_core_0 "6.93069306930693".
- 1291036 cpu_core_0 "6.93069306930693".
- 1291200 cpu_core_0 "6.93069306930693".
- 1291239 cpu_core_0 "6.93069306930693".
- 1291307 cpu_core_0 "6.93069306930693".
- 1291453 cpu_core_0 "6.93069306930693".
- 1291619 cpu_core_0 "6.93069306930693".
- 1291654 cpu_core_0 "6.93069306930693".
- 1291684 cpu_core_0 "6.93069306930693".
- 1291824 cpu_core_0 "6.93069306930693".
- 1291844 cpu_core_0 "6.93069306930693".
- 1291905 cpu_core_0 "6.93069306930693".
- 1292197 cpu_core_0 "6.93069306930693".
- 1292373 cpu_core_0 "6.93069306930693".
- 1292398 cpu_core_0 "6.93069306930693".
- 1292553 cpu_core_0 "6.93069306930693".
- 1292575 cpu_core_0 "6.93069306930693".
- 1292580 cpu_core_0 "6.93069306930693".
- 1292854 cpu_core_0 "6.93069306930693".
- 1292898 cpu_core_0 "6.93069306930693".
- 1293067 cpu_core_0 "6.93069306930693".
- 1293107 cpu_core_0 "6.93069306930693".
- 1293273 cpu_core_0 "6.93069306930693".
- 1293602 cpu_core_0 "6.93069306930693".
- 1293647 cpu_core_0 "6.93069306930693".
- 1293979 cpu_core_0 "6.93069306930693".
- 1294095 cpu_core_0 "6.93069306930693".
- 1294219 cpu_core_0 "6.93069306930693".
- 1294222 cpu_core_0 "6.93069306930693".
- 1294253 cpu_core_0 "6.93069306930693".
- 1294302 cpu_core_0 "6.93069306930693".
- 1294414 cpu_core_0 "6.93069306930693".
- 1294802 cpu_core_0 "6.93069306930693".
- 1294871 cpu_core_0 "6.93069306930693".
- 1294907 cpu_core_0 "6.93069306930693".
- 1295045 cpu_core_0 "6.93069306930693".
- 1295099 cpu_core_0 "6.93069306930693".
- 1295268 cpu_core_0 "6.93069306930693".
- 1295591 cpu_core_0 "6.93069306930693".
- 1295768 cpu_core_0 "6.93069306930693".
- 1295833 cpu_core_0 "6.93069306930693".
- 1295957 cpu_core_0 "6.93069306930693".
- 1296084 cpu_core_0 "6.93069306930693".
- 1296099 cpu_core_0 "6.93069306930693".
- 1296270 cpu_core_0 "6.93069306930693".