Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1255198 cpu_core_0 "6.93069306930693".
- 1255235 cpu_core_0 "6.93069306930693".
- 1255255 cpu_core_0 "6.93069306930693".
- 1255414 cpu_core_0 "6.93069306930693".
- 1255504 cpu_core_0 "6.93069306930693".
- 1255674 cpu_core_0 "6.93069306930693".
- 1255731 cpu_core_0 "6.93069306930693".
- 1255966 cpu_core_0 "6.93069306930693".
- 1255995 cpu_core_0 "6.93069306930693".
- 1256096 cpu_core_0 "6.93069306930693".
- 1256163 cpu_core_0 "6.93069306930693".
- 1256908 cpu_core_0 "6.93069306930693".
- 1257004 cpu_core_0 "6.93069306930693".
- 1257016 cpu_core_0 "6.93069306930693".
- 1257469 cpu_core_0 "6.93069306930693".
- 1257729 cpu_core_0 "6.93069306930693".
- 1257958 cpu_core_0 "6.93069306930693".
- 1258045 cpu_core_0 "6.93069306930693".
- 1258055 cpu_core_0 "6.93069306930693".
- 1258236 cpu_core_0 "6.93069306930693".
- 1258461 cpu_core_0 "6.93069306930693".
- 1258650 cpu_core_0 "6.93069306930693".
- 1258745 cpu_core_0 "6.93069306930693".
- 1258837 cpu_core_0 "6.93069306930693".
- 1258937 cpu_core_0 "6.93069306930693".
- 1259084 cpu_core_0 "6.93069306930693".
- 1259191 cpu_core_0 "6.93069306930693".
- 1259487 cpu_core_0 "6.93069306930693".
- 1259834 cpu_core_0 "6.93069306930693".
- 1259842 cpu_core_0 "6.93069306930693".
- 1260013 cpu_core_0 "6.93069306930693".
- 1260150 cpu_core_0 "6.93069306930693".
- 1260203 cpu_core_0 "6.93069306930693".
- 1260254 cpu_core_0 "6.93069306930693".
- 1260696 cpu_core_0 "6.93069306930693".
- 1260709 cpu_core_0 "6.93069306930693".
- 1260934 cpu_core_0 "6.93069306930693".
- 1260976 cpu_core_0 "6.93069306930693".
- 1261014 cpu_core_0 "6.93069306930693".
- 1261021 cpu_core_0 "6.93069306930693".
- 1261284 cpu_core_0 "6.93069306930693".
- 1261299 cpu_core_0 "6.93069306930693".
- 1261301 cpu_core_0 "6.93069306930693".
- 1261350 cpu_core_0 "6.93069306930693".
- 1261441 cpu_core_0 "6.93069306930693".
- 1261488 cpu_core_0 "6.93069306930693".
- 1261536 cpu_core_0 "6.93069306930693".
- 1261637 cpu_core_0 "6.93069306930693".
- 1261756 cpu_core_0 "6.93069306930693".
- 1261784 cpu_core_0 "6.93069306930693".
- 1261876 cpu_core_0 "6.93069306930693".
- 1261991 cpu_core_0 "6.93069306930693".
- 1262145 cpu_core_0 "6.93069306930693".
- 1262349 cpu_core_0 "6.93069306930693".
- 1262460 cpu_core_0 "6.93069306930693".
- 1262499 cpu_core_0 "6.93069306930693".
- 1262542 cpu_core_0 "6.93069306930693".
- 1262602 cpu_core_0 "6.93069306930693".
- 1262617 cpu_core_0 "6.93069306930693".
- 1262623 cpu_core_0 "6.93069306930693".
- 1262985 cpu_core_0 "6.93069306930693".
- 1263052 cpu_core_0 "6.93069306930693".
- 1263109 cpu_core_0 "6.93069306930693".
- 1263129 cpu_core_0 "6.93069306930693".
- 1263264 cpu_core_0 "6.93069306930693".
- 1263327 cpu_core_0 "6.93069306930693".
- 1263580 cpu_core_0 "6.93069306930693".
- 1263798 cpu_core_0 "6.93069306930693".
- 1263803 cpu_core_0 "6.93069306930693".
- 1263877 cpu_core_0 "6.93069306930693".
- 1263950 cpu_core_0 "6.93069306930693".
- 1264140 cpu_core_0 "6.93069306930693".
- 1264308 cpu_core_0 "6.93069306930693".
- 1264503 cpu_core_0 "6.93069306930693".
- 1264534 cpu_core_0 "6.93069306930693".
- 1264558 cpu_core_0 "6.93069306930693".
- 1265366 cpu_core_0 "6.93069306930693".
- 1265383 cpu_core_0 "6.93069306930693".
- 1265386 cpu_core_0 "6.93069306930693".
- 1265491 cpu_core_0 "6.93069306930693".
- 1265511 cpu_core_0 "6.93069306930693".
- 1266116 cpu_core_0 "6.93069306930693".
- 1266145 cpu_core_0 "6.93069306930693".
- 1266182 cpu_core_0 "6.93069306930693".
- 1266411 cpu_core_0 "6.93069306930693".
- 1266414 cpu_core_0 "6.93069306930693".
- 1266780 cpu_core_0 "6.93069306930693".
- 1266930 cpu_core_0 "6.93069306930693".
- 1267110 cpu_core_0 "6.93069306930693".
- 1267170 cpu_core_0 "6.93069306930693".
- 1267300 cpu_core_0 "6.93069306930693".
- 1267323 cpu_core_0 "6.93069306930693".
- 1267457 cpu_core_0 "6.93069306930693".
- 1267713 cpu_core_0 "6.93069306930693".
- 1267803 cpu_core_0 "6.93069306930693".
- 1267823 cpu_core_0 "6.93069306930693".
- 1267934 cpu_core_0 "6.93069306930693".
- 1268298 cpu_core_0 "6.93069306930693".
- 1268336 cpu_core_0 "6.93069306930693".
- 1268569 cpu_core_0 "6.93069306930693".