Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1148918 cpu_core_0 "6.93069306930693".
- 1149128 cpu_core_0 "6.93069306930693".
- 1149219 cpu_core_0 "6.93069306930693".
- 1149261 cpu_core_0 "6.93069306930693".
- 1149297 cpu_core_0 "6.93069306930693".
- 1149643 cpu_core_0 "6.93069306930693".
- 1149771 cpu_core_0 "6.93069306930693".
- 1149880 cpu_core_0 "6.93069306930693".
- 1149882 cpu_core_0 "6.93069306930693".
- 1149975 cpu_core_0 "6.93069306930693".
- 1150058 cpu_core_0 "6.93069306930693".
- 1150111 cpu_core_0 "6.93069306930693".
- 1150235 cpu_core_0 "6.93069306930693".
- 1150593 cpu_core_0 "6.93069306930693".
- 1150608 cpu_core_0 "6.93069306930693".
- 1150624 cpu_core_0 "6.93069306930693".
- 1150862 cpu_core_0 "6.93069306930693".
- 1151037 cpu_core_0 "6.93069306930693".
- 1151272 cpu_core_0 "6.93069306930693".
- 1151297 cpu_core_0 "6.93069306930693".
- 1151674 cpu_core_0 "6.93069306930693".
- 1151914 cpu_core_0 "6.93069306930693".
- 1151985 cpu_core_0 "6.93069306930693".
- 1152032 cpu_core_0 "6.93069306930693".
- 1152033 cpu_core_0 "6.93069306930693".
- 1152146 cpu_core_0 "6.93069306930693".
- 1152205 cpu_core_0 "6.93069306930693".
- 1152569 cpu_core_0 "6.93069306930693".
- 1152738 cpu_core_0 "6.93069306930693".
- 1152833 cpu_core_0 "6.93069306930693".
- 1153214 cpu_core_0 "6.93069306930693".
- 1153244 cpu_core_0 "6.93069306930693".
- 1153574 cpu_core_0 "6.93069306930693".
- 1153706 cpu_core_0 "6.93069306930693".
- 1153717 cpu_core_0 "6.93069306930693".
- 1153859 cpu_core_0 "6.93069306930693".
- 1154665 cpu_core_0 "6.93069306930693".
- 1155085 cpu_core_0 "6.93069306930693".
- 1155108 cpu_core_0 "6.93069306930693".
- 1155110 cpu_core_0 "6.93069306930693".
- 1155206 cpu_core_0 "6.93069306930693".
- 1155348 cpu_core_0 "6.93069306930693".
- 1156076 cpu_core_0 "6.93069306930693".
- 1156278 cpu_core_0 "6.93069306930693".
- 1156475 cpu_core_0 "6.93069306930693".
- 1156561 cpu_core_0 "6.93069306930693".
- 1156652 cpu_core_0 "6.93069306930693".
- 1156819 cpu_core_0 "6.93069306930693".
- 1157001 cpu_core_0 "6.93069306930693".
- 1157033 cpu_core_0 "6.93069306930693".
- 1157321 cpu_core_0 "6.93069306930693".
- 1157406 cpu_core_0 "6.93069306930693".
- 1157507 cpu_core_0 "6.93069306930693".
- 1158406 cpu_core_0 "6.93069306930693".
- 1158518 cpu_core_0 "6.93069306930693".
- 1158722 cpu_core_0 "6.93069306930693".
- 1158797 cpu_core_0 "6.93069306930693".
- 1158880 cpu_core_0 "6.93069306930693".
- 1159014 cpu_core_0 "6.93069306930693".
- 1159041 cpu_core_0 "6.93069306930693".
- 1159111 cpu_core_0 "6.93069306930693".
- 1159121 cpu_core_0 "6.93069306930693".
- 1159175 cpu_core_0 "6.93069306930693".
- 1159178 cpu_core_0 "6.93069306930693".
- 1159198 cpu_core_0 "6.93069306930693".
- 1159483 cpu_core_0 "6.93069306930693".
- 1159622 cpu_core_0 "6.93069306930693".
- 1160210 cpu_core_0 "6.93069306930693".
- 1160527 cpu_core_0 "6.93069306930693".
- 1160567 cpu_core_0 "6.93069306930693".
- 1161108 cpu_core_0 "6.93069306930693".
- 1161115 cpu_core_0 "6.93069306930693".
- 1161127 cpu_core_0 "6.93069306930693".
- 1161137 cpu_core_0 "6.93069306930693".
- 1161141 cpu_core_0 "6.93069306930693".
- 1161194 cpu_core_0 "6.93069306930693".
- 1161215 cpu_core_0 "6.93069306930693".
- 1161276 cpu_core_0 "6.93069306930693".
- 1161343 cpu_core_0 "6.93069306930693".
- 116138 cpu_core_0 "6.93069306930693".
- 1161767 cpu_core_0 "6.93069306930693".
- 1161997 cpu_core_0 "6.93069306930693".
- 1162158 cpu_core_0 "6.93069306930693".
- 1162173 cpu_core_0 "6.93069306930693".
- 1162529 cpu_core_0 "6.93069306930693".
- 1162781 cpu_core_0 "6.93069306930693".
- 1162787 cpu_core_0 "6.93069306930693".
- 1162817 cpu_core_0 "6.93069306930693".
- 1162887 cpu_core_0 "6.93069306930693".
- 1163292 cpu_core_0 "6.93069306930693".
- 1163379 cpu_core_0 "6.93069306930693".
- 1163471 cpu_core_0 "6.93069306930693".
- 1163732 cpu_core_0 "6.93069306930693".
- 1163887 cpu_core_0 "6.93069306930693".
- 1163905 cpu_core_0 "6.93069306930693".
- 1164103 cpu_core_0 "6.93069306930693".
- 1164209 cpu_core_0 "6.93069306930693".
- 1164290 cpu_core_0 "6.93069306930693".
- 1164300 cpu_core_0 "6.93069306930693".
- 1164345 cpu_core_0 "6.93069306930693".