Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1177345 cpu_core_0 "6.93069306930693".
- 1177363 cpu_core_0 "6.93069306930693".
- 1177471 cpu_core_0 "6.93069306930693".
- 1178215 cpu_core_0 "6.93069306930693".
- 1178373 cpu_core_0 "6.93069306930693".
- 1178458 cpu_core_0 "6.93069306930693".
- 1178712 cpu_core_0 "6.93069306930693".
- 1178927 cpu_core_0 "6.93069306930693".
- 1179113 cpu_core_0 "6.93069306930693".
- 1179122 cpu_core_0 "6.93069306930693".
- 1179165 cpu_core_0 "6.93069306930693".
- 1179238 cpu_core_0 "6.93069306930693".
- 1179268 cpu_core_0 "6.93069306930693".
- 1179350 cpu_core_0 "6.93069306930693".
- 1179429 cpu_core_0 "6.93069306930693".
- 1179520 cpu_core_0 "6.93069306930693".
- 1179601 cpu_core_0 "6.93069306930693".
- 1179604 cpu_core_0 "6.93069306930693".
- 1179635 cpu_core_0 "6.93069306930693".
- 1180297 cpu_core_0 "6.93069306930693".
- 1180503 cpu_core_0 "6.93069306930693".
- 1180598 cpu_core_0 "6.93069306930693".
- 1180618 cpu_core_0 "6.93069306930693".
- 1180872 cpu_core_0 "6.93069306930693".
- 1180876 cpu_core_0 "6.93069306930693".
- 1181006 cpu_core_0 "6.93069306930693".
- 1181088 cpu_core_0 "6.93069306930693".
- 1181137 cpu_core_0 "6.93069306930693".
- 1181270 cpu_core_0 "6.93069306930693".
- 1181310 cpu_core_0 "6.93069306930693".
- 1181434 cpu_core_0 "6.93069306930693".
- 1181849 cpu_core_0 "6.93069306930693".
- 1182081 cpu_core_0 "6.93069306930693".
- 1182607 cpu_core_0 "6.93069306930693".
- 1182668 cpu_core_0 "6.93069306930693".
- 1182749 cpu_core_0 "6.93069306930693".
- 1183109 cpu_core_0 "6.93069306930693".
- 1183235 cpu_core_0 "6.93069306930693".
- 1183848 cpu_core_0 "6.93069306930693".
- 1183891 cpu_core_0 "6.93069306930693".
- 1183915 cpu_core_0 "6.93069306930693".
- 1183957 cpu_core_0 "6.93069306930693".
- 1184262 cpu_core_0 "6.93069306930693".
- 1184310 cpu_core_0 "6.93069306930693".
- 1184418 cpu_core_0 "6.93069306930693".
- 1184584 cpu_core_0 "6.93069306930693".
- 1184790 cpu_core_0 "6.93069306930693".
- 1184978 cpu_core_0 "6.93069306930693".
- 1184988 cpu_core_0 "6.93069306930693".
- 1185181 cpu_core_0 "6.93069306930693".
- 1185273 cpu_core_0 "6.93069306930693".
- 1185308 cpu_core_0 "6.93069306930693".
- 1185408 cpu_core_0 "6.93069306930693".
- 1185537 cpu_core_0 "6.93069306930693".
- 1185569 cpu_core_0 "6.93069306930693".
- 1185615 cpu_core_0 "6.93069306930693".
- 1185619 cpu_core_0 "6.93069306930693".
- 1185638 cpu_core_0 "6.93069306930693".
- 1185679 cpu_core_0 "6.93069306930693".
- 1185752 cpu_core_0 "6.93069306930693".
- 1185760 cpu_core_0 "6.93069306930693".
- 1185788 cpu_core_0 "6.93069306930693".
- 1185795 cpu_core_0 "6.93069306930693".
- 1185811 cpu_core_0 "6.93069306930693".
- 1185820 cpu_core_0 "6.93069306930693".
- 1186273 cpu_core_0 "6.93069306930693".
- 1186402 cpu_core_0 "6.93069306930693".
- 1186542 cpu_core_0 "6.93069306930693".
- 1186663 cpu_core_0 "6.93069306930693".
- 1186762 cpu_core_0 "6.93069306930693".
- 1187019 cpu_core_0 "6.93069306930693".
- 1187123 cpu_core_0 "6.93069306930693".
- 1187201 cpu_core_0 "6.93069306930693".
- 1187264 cpu_core_0 "6.93069306930693".
- 1187317 cpu_core_0 "6.93069306930693".
- 1187394 cpu_core_0 "6.93069306930693".
- 1187450 cpu_core_0 "6.93069306930693".
- 1187579 cpu_core_0 "6.93069306930693".
- 1187759 cpu_core_0 "6.93069306930693".
- 1188119 cpu_core_0 "6.93069306930693".
- 1188140 cpu_core_0 "6.93069306930693".
- 1188148 cpu_core_0 "6.93069306930693".
- 1188410 cpu_core_0 "6.93069306930693".
- 1188413 cpu_core_0 "6.93069306930693".
- 1188777 cpu_core_0 "6.93069306930693".
- 1188830 cpu_core_0 "6.93069306930693".
- 1188854 cpu_core_0 "6.93069306930693".
- 1188869 cpu_core_0 "6.93069306930693".
- 1189002 cpu_core_0 "6.93069306930693".
- 1189061 cpu_core_0 "6.93069306930693".
- 1189234 cpu_core_0 "6.93069306930693".
- 1189283 cpu_core_0 "6.93069306930693".
- 1189339 cpu_core_0 "6.93069306930693".
- 1189686 cpu_core_0 "6.93069306930693".
- 1189859 cpu_core_0 "6.93069306930693".
- 1189975 cpu_core_0 "6.93069306930693".
- 1190091 cpu_core_0 "6.93069306930693".
- 1190102 cpu_core_0 "6.93069306930693".
- 1190106 cpu_core_0 "6.93069306930693".
- 1190198 cpu_core_0 "6.93069306930693".