Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1296726 cpu_core_0 "6.93069306930693".
- 1296970 cpu_core_0 "6.93069306930693".
- 1297012 cpu_core_0 "6.93069306930693".
- 1297043 cpu_core_0 "6.93069306930693".
- 1297089 cpu_core_0 "6.93069306930693".
- 1297154 cpu_core_0 "6.93069306930693".
- 1297201 cpu_core_0 "6.93069306930693".
- 1297204 cpu_core_0 "6.93069306930693".
- 1297286 cpu_core_0 "6.93069306930693".
- 1297364 cpu_core_0 "6.93069306930693".
- 1297384 cpu_core_0 "6.93069306930693".
- 1297528 cpu_core_0 "6.93069306930693".
- 1297601 cpu_core_0 "6.93069306930693".
- 1297653 cpu_core_0 "6.93069306930693".
- 1297745 cpu_core_0 "6.93069306930693".
- 1298053 cpu_core_0 "6.93069306930693".
- 1298080 cpu_core_0 "6.93069306930693".
- 1298089 cpu_core_0 "6.93069306930693".
- 1298500 cpu_core_0 "6.93069306930693".
- 1298505 cpu_core_0 "6.93069306930693".
- 1298709 cpu_core_0 "6.93069306930693".
- 1298876 cpu_core_0 "6.93069306930693".
- 1298951 cpu_core_0 "6.93069306930693".
- 1299123 cpu_core_0 "6.93069306930693".
- 1299268 cpu_core_0 "6.93069306930693".
- 1299380 cpu_core_0 "6.93069306930693".
- 1299505 cpu_core_0 "6.93069306930693".
- 1300152 cpu_core_0 "6.93069306930693".
- 1300325 cpu_core_0 "6.93069306930693".
- 1300353 cpu_core_0 "6.93069306930693".
- 1300558 cpu_core_0 "6.93069306930693".
- 1300776 cpu_core_0 "6.93069306930693".
- 1301090 cpu_core_0 "6.93069306930693".
- 1301293 cpu_core_0 "6.93069306930693".
- 1301297 cpu_core_0 "6.93069306930693".
- 1301547 cpu_core_0 "6.93069306930693".
- 1301698 cpu_core_0 "6.93069306930693".
- 1302001 cpu_core_0 "6.93069306930693".
- 1302056 cpu_core_0 "6.93069306930693".
- 1302085 cpu_core_0 "6.93069306930693".
- 1302121 cpu_core_0 "6.93069306930693".
- 1302322 cpu_core_0 "6.93069306930693".
- 1302477 cpu_core_0 "6.93069306930693".
- 1302589 cpu_core_0 "6.93069306930693".
- 1302603 cpu_core_0 "6.93069306930693".
- 1302757 cpu_core_0 "6.93069306930693".
- 1303001 cpu_core_0 "6.93069306930693".
- 1303061 cpu_core_0 "6.93069306930693".
- 1303262 cpu_core_0 "6.93069306930693".
- 1303639 cpu_core_0 "6.93069306930693".
- 1303655 cpu_core_0 "6.93069306930693".
- 1303710 cpu_core_0 "6.93069306930693".
- 1303756 cpu_core_0 "6.93069306930693".
- 1303983 cpu_core_0 "6.93069306930693".
- 1304130 cpu_core_0 "6.93069306930693".
- 1304236 cpu_core_0 "6.93069306930693".
- 1304254 cpu_core_0 "6.93069306930693".
- 1304435 cpu_core_0 "6.93069306930693".
- 1304499 cpu_core_0 "6.93069306930693".
- 1304504 cpu_core_0 "6.93069306930693".
- 1304516 cpu_core_0 "6.93069306930693".
- 1304597 cpu_core_0 "6.93069306930693".
- 1304797 cpu_core_0 "6.93069306930693".
- 1305000 cpu_core_0 "6.93069306930693".
- 1305041 cpu_core_0 "6.93069306930693".
- 1305254 cpu_core_0 "6.93069306930693".
- 1305282 cpu_core_0 "6.93069306930693".
- 1305289 cpu_core_0 "6.93069306930693".
- 1305985 cpu_core_0 "6.93069306930693".
- 1306300 cpu_core_0 "6.93069306930693".
- 1306362 cpu_core_0 "6.93069306930693".
- 1306395 cpu_core_0 "6.93069306930693".
- 1306810 cpu_core_0 "6.93069306930693".
- 1306955 cpu_core_0 "6.93069306930693".
- 1306983 cpu_core_0 "6.93069306930693".
- 1307125 cpu_core_0 "6.93069306930693".
- 1307191 cpu_core_0 "6.93069306930693".
- 1307415 cpu_core_0 "6.93069306930693".
- 1307418 cpu_core_0 "6.93069306930693".
- 1307443 cpu_core_0 "6.93069306930693".
- 1307452 cpu_core_0 "6.93069306930693".
- 1307499 cpu_core_0 "6.93069306930693".
- 1307576 cpu_core_0 "6.93069306930693".
- 1307965 cpu_core_0 "6.93069306930693".
- 1308678 cpu_core_0 "6.93069306930693".
- 1308753 cpu_core_0 "6.93069306930693".
- 1308841 cpu_core_0 "6.93069306930693".
- 1309087 cpu_core_0 "6.93069306930693".
- 1309350 cpu_core_0 "6.93069306930693".
- 1309471 cpu_core_0 "6.93069306930693".
- 1309699 cpu_core_0 "6.93069306930693".
- 1309749 cpu_core_0 "6.93069306930693".
- 1309790 cpu_core_0 "6.93069306930693".
- 1309802 cpu_core_0 "6.93069306930693".
- 1309966 cpu_core_0 "6.93069306930693".
- 1310024 cpu_core_0 "6.93069306930693".
- 1310093 cpu_core_0 "6.93069306930693".
- 1310151 cpu_core_0 "6.93069306930693".
- 1310361 cpu_core_0 "6.93069306930693".
- 1310697 cpu_core_0 "6.93069306930693".