Matches in ISWC2014 Benchmark for { ?s ?p 4.9504950495049505. }
- 1271109 cpu_core_0 "4.9504950495049505".
- 1271347 cpu_core_0 "4.9504950495049505".
- 1271414 cpu_core_0 "4.9504950495049505".
- 1271536 cpu_core_0 "4.9504950495049505".
- 1271587 cpu_core_0 "4.9504950495049505".
- 1271637 cpu_core_0 "4.9504950495049505".
- 1271648 cpu_core_0 "4.9504950495049505".
- 1271831 cpu_core_0 "4.9504950495049505".
- 1271865 cpu_core_0 "4.9504950495049505".
- 1271924 cpu_core_0 "4.9504950495049505".
- 1272189 cpu_core_0 "4.9504950495049505".
- 1272257 cpu_core_0 "4.9504950495049505".
- 1272305 cpu_core_0 "4.9504950495049505".
- 1272442 cpu_core_0 "4.9504950495049505".
- 1272543 cpu_core_0 "4.9504950495049505".
- 1272606 cpu_core_0 "4.9504950495049505".
- 1272670 cpu_core_0 "4.9504950495049505".
- 1272741 cpu_core_0 "4.9504950495049505".
- 1272778 cpu_core_0 "4.9504950495049505".
- 1272780 cpu_core_0 "4.9504950495049505".
- 1272834 cpu_core_0 "4.9504950495049505".
- 1272958 cpu_core_0 "4.9504950495049505".
- 1273029 cpu_core_0 "4.9504950495049505".
- 1273162 cpu_core_0 "4.9504950495049505".
- 1273501 cpu_core_0 "4.9504950495049505".
- 1273561 cpu_core_0 "4.9504950495049505".
- 1273714 cpu_core_0 "4.9504950495049505".
- 1273925 cpu_core_0 "4.9504950495049505".
- 1273971 cpu_core_0 "4.9504950495049505".
- 1273978 cpu_core_0 "4.9504950495049505".
- 1274632 cpu_core_0 "4.9504950495049505".
- 1274720 cpu_core_0 "4.9504950495049505".
- 1274839 cpu_core_0 "4.9504950495049505".
- 1275073 cpu_core_0 "4.9504950495049505".
- 1275131 cpu_core_0 "4.9504950495049505".
- 1275214 cpu_core_0 "4.9504950495049505".
- 1275319 cpu_core_0 "4.9504950495049505".
- 1275374 cpu_core_0 "4.9504950495049505".
- 1275439 cpu_core_0 "4.9504950495049505".
- 1275554 cpu_core_0 "4.9504950495049505".
- 1275607 cpu_core_0 "4.9504950495049505".
- 1275727 cpu_core_0 "4.9504950495049505".
- 1275736 cpu_core_0 "4.9504950495049505".
- 1275932 cpu_core_0 "4.9504950495049505".
- 1276016 cpu_core_0 "4.9504950495049505".
- 1276093 cpu_core_0 "4.9504950495049505".
- 1276142 cpu_core_0 "4.9504950495049505".
- 1276311 cpu_core_0 "4.9504950495049505".
- 1276512 cpu_core_0 "4.9504950495049505".
- 1276564 cpu_core_0 "4.9504950495049505".
- 1276690 cpu_core_0 "4.9504950495049505".
- 1276828 cpu_core_0 "4.9504950495049505".
- 1276973 cpu_core_0 "4.9504950495049505".
- 1276985 cpu_core_0 "4.9504950495049505".
- 127703 cpu_core_0 "4.9504950495049505".
- 1277056 cpu_core_0 "4.9504950495049505".
- 1277174 cpu_core_0 "4.9504950495049505".
- 1277358 cpu_core_0 "4.9504950495049505".
- 1277374 cpu_core_0 "4.9504950495049505".
- 1277403 cpu_core_0 "4.9504950495049505".
- 1277477 cpu_core_0 "4.9504950495049505".
- 1277605 cpu_core_0 "4.9504950495049505".
- 1277685 cpu_core_0 "4.9504950495049505".
- 1277853 cpu_core_0 "4.9504950495049505".
- 1278014 cpu_core_0 "4.9504950495049505".
- 1278095 cpu_core_0 "4.9504950495049505".
- 1278184 cpu_core_0 "4.9504950495049505".
- 1278337 cpu_core_0 "4.9504950495049505".
- 1278373 cpu_core_0 "4.9504950495049505".
- 1278375 cpu_core_0 "4.9504950495049505".
- 1278442 cpu_core_0 "4.9504950495049505".
- 127858 cpu_core_0 "4.9504950495049505".
- 1279214 cpu_core_0 "4.9504950495049505".
- 1279243 cpu_core_0 "4.9504950495049505".
- 1279364 cpu_core_0 "4.9504950495049505".
- 1279583 cpu_core_0 "4.9504950495049505".
- 1279749 cpu_core_0 "4.9504950495049505".
- 1279762 cpu_core_0 "4.9504950495049505".
- 1279849 cpu_core_0 "4.9504950495049505".
- 1280064 cpu_core_0 "4.9504950495049505".
- 1280075 cpu_core_0 "4.9504950495049505".
- 1280141 cpu_core_0 "4.9504950495049505".
- 1280312 cpu_core_0 "4.9504950495049505".
- 1280465 cpu_core_0 "4.9504950495049505".
- 1280913 cpu_core_0 "4.9504950495049505".
- 1280920 cpu_core_0 "4.9504950495049505".
- 1281156 cpu_core_0 "4.9504950495049505".
- 1281173 cpu_core_0 "4.9504950495049505".
- 1281298 cpu_core_0 "4.9504950495049505".
- 1281381 cpu_core_0 "4.9504950495049505".
- 1281463 cpu_core_0 "4.9504950495049505".
- 1281471 cpu_core_0 "4.9504950495049505".
- 1281612 cpu_core_0 "4.9504950495049505".
- 1281636 cpu_core_0 "4.9504950495049505".
- 1281696 cpu_core_0 "4.9504950495049505".
- 1281699 cpu_core_0 "4.9504950495049505".
- 1281803 cpu_core_0 "4.9504950495049505".
- 1281836 cpu_core_0 "4.9504950495049505".
- 1281930 cpu_core_0 "4.9504950495049505".
- 1282108 cpu_core_0 "4.9504950495049505".