Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1103258 cpu_core_0 "6.93069306930693".
- 1103302 cpu_core_0 "6.93069306930693".
- 110338 cpu_core_0 "6.93069306930693".
- 1103648 cpu_core_0 "6.93069306930693".
- 1103734 cpu_core_0 "6.93069306930693".
- 1103813 cpu_core_0 "6.93069306930693".
- 1103873 cpu_core_0 "6.93069306930693".
- 1103960 cpu_core_0 "6.93069306930693".
- 1103990 cpu_core_0 "6.93069306930693".
- 1103999 cpu_core_0 "6.93069306930693".
- 1104126 cpu_core_0 "6.93069306930693".
- 1104214 cpu_core_0 "6.93069306930693".
- 1104314 cpu_core_0 "6.93069306930693".
- 1104448 cpu_core_0 "6.93069306930693".
- 1104486 cpu_core_0 "6.93069306930693".
- 1104493 cpu_core_0 "6.93069306930693".
- 1104534 cpu_core_0 "6.93069306930693".
- 1105075 cpu_core_0 "6.93069306930693".
- 1105097 cpu_core_0 "6.93069306930693".
- 1105293 cpu_core_0 "6.93069306930693".
- 1105748 cpu_core_0 "6.93069306930693".
- 110582 cpu_core_0 "6.93069306930693".
- 1105918 cpu_core_0 "6.93069306930693".
- 1105933 cpu_core_0 "6.93069306930693".
- 1106102 cpu_core_0 "6.93069306930693".
- 1106475 cpu_core_0 "6.93069306930693".
- 1106713 cpu_core_0 "6.93069306930693".
- 1107082 cpu_core_0 "6.93069306930693".
- 1107153 cpu_core_0 "6.93069306930693".
- 1107310 cpu_core_0 "6.93069306930693".
- 1107440 cpu_core_0 "6.93069306930693".
- 1107456 cpu_core_0 "6.93069306930693".
- 1107459 cpu_core_0 "6.93069306930693".
- 1107681 cpu_core_0 "6.93069306930693".
- 1108276 cpu_core_0 "6.93069306930693".
- 1108783 cpu_core_0 "6.93069306930693".
- 1108913 cpu_core_0 "6.93069306930693".
- 1108978 cpu_core_0 "6.93069306930693".
- 1109059 cpu_core_0 "6.93069306930693".
- 1109331 cpu_core_0 "6.93069306930693".
- 1109399 cpu_core_0 "6.93069306930693".
- 1109627 cpu_core_0 "6.93069306930693".
- 1109637 cpu_core_0 "6.93069306930693".
- 1109707 cpu_core_0 "6.93069306930693".
- 1109819 cpu_core_0 "6.93069306930693".
- 1109838 cpu_core_0 "6.93069306930693".
- 1110110 cpu_core_0 "6.93069306930693".
- 1110381 cpu_core_0 "6.93069306930693".
- 1110482 cpu_core_0 "6.93069306930693".
- 1110828 cpu_core_0 "6.93069306930693".
- 1111120 cpu_core_0 "6.93069306930693".
- 1111196 cpu_core_0 "6.93069306930693".
- 1111614 cpu_core_0 "6.93069306930693".
- 1111739 cpu_core_0 "6.93069306930693".
- 1111741 cpu_core_0 "6.93069306930693".
- 1111974 cpu_core_0 "6.93069306930693".
- 1111981 cpu_core_0 "6.93069306930693".
- 1112080 cpu_core_0 "6.93069306930693".
- 1112183 cpu_core_0 "6.93069306930693".
- 1112227 cpu_core_0 "6.93069306930693".
- 1112737 cpu_core_0 "6.93069306930693".
- 1112738 cpu_core_0 "6.93069306930693".
- 1112746 cpu_core_0 "6.93069306930693".
- 1112760 cpu_core_0 "6.93069306930693".
- 1112802 cpu_core_0 "6.93069306930693".
- 1112918 cpu_core_0 "6.93069306930693".
- 1112981 cpu_core_0 "6.93069306930693".
- 1112991 cpu_core_0 "6.93069306930693".
- 1113023 cpu_core_0 "6.93069306930693".
- 1113422 cpu_core_0 "6.93069306930693".
- 1114177 cpu_core_0 "6.93069306930693".
- 1114205 cpu_core_0 "6.93069306930693".
- 1114577 cpu_core_0 "6.93069306930693".
- 1114628 cpu_core_0 "6.93069306930693".
- 1114698 cpu_core_0 "6.93069306930693".
- 1114987 cpu_core_0 "6.93069306930693".
- 1115032 cpu_core_0 "6.93069306930693".
- 1115041 cpu_core_0 "6.93069306930693".
- 1115209 cpu_core_0 "6.93069306930693".
- 1115411 cpu_core_0 "6.93069306930693".
- 1115517 cpu_core_0 "6.93069306930693".
- 1115601 cpu_core_0 "6.93069306930693".
- 1115622 cpu_core_0 "6.93069306930693".
- 1115648 cpu_core_0 "6.93069306930693".
- 1116333 cpu_core_0 "6.93069306930693".
- 1116959 cpu_core_0 "6.93069306930693".
- 1116976 cpu_core_0 "6.93069306930693".
- 1117040 cpu_core_0 "6.93069306930693".
- 1117159 cpu_core_0 "6.93069306930693".
- 1117420 cpu_core_0 "6.93069306930693".
- 1117603 cpu_core_0 "6.93069306930693".
- 1117739 cpu_core_0 "6.93069306930693".
- 1117804 cpu_core_0 "6.93069306930693".
- 1117885 cpu_core_0 "6.93069306930693".
- 1118213 cpu_core_0 "6.93069306930693".
- 1118401 cpu_core_0 "6.93069306930693".
- 1118659 cpu_core_0 "6.93069306930693".
- 1118839 cpu_core_0 "6.93069306930693".
- 1118868 cpu_core_0 "6.93069306930693".
- 1118878 cpu_core_0 "6.93069306930693".