Matches in ISWC2014 Benchmark for { ?s ?p 9.278350515463918. }
- 1410591 cpu_core_0 "9.278350515463918".
- 1410596 cpu_core_0 "9.278350515463918".
- 1410610 cpu_core_0 "9.278350515463918".
- 1410765 cpu_core_0 "9.278350515463918".
- 1410818 cpu_core_0 "9.278350515463918".
- 1411068 cpu_core_0 "9.278350515463918".
- 1411234 cpu_core_0 "9.278350515463918".
- 1411349 cpu_core_0 "9.278350515463918".
- 1411622 cpu_core_0 "9.278350515463918".
- 1411664 cpu_core_0 "9.278350515463918".
- 1411779 cpu_core_0 "9.278350515463918".
- 1411895 cpu_core_0 "9.278350515463918".
- 1411961 cpu_core_0 "9.278350515463918".
- 1412012 cpu_core_0 "9.278350515463918".
- 1412020 cpu_core_0 "9.278350515463918".
- 1412086 cpu_core_0 "9.278350515463918".
- 1412210 cpu_core_0 "9.278350515463918".
- 1412270 cpu_core_0 "9.278350515463918".
- 1412277 cpu_core_0 "9.278350515463918".
- 1412327 cpu_core_0 "9.278350515463918".
- 1412495 cpu_core_0 "9.278350515463918".
- 1412567 cpu_core_0 "9.278350515463918".
- 1412639 cpu_core_0 "9.278350515463918".
- 1412642 cpu_core_0 "9.278350515463918".
- 1412675 cpu_core_0 "9.278350515463918".
- 1412924 cpu_core_0 "9.278350515463918".
- 1412988 cpu_core_0 "9.278350515463918".
- 1412999 cpu_core_0 "9.278350515463918".
- 1413009 cpu_core_0 "9.278350515463918".
- 1413018 cpu_core_0 "9.278350515463918".
- 1413056 cpu_core_0 "9.278350515463918".
- 1413249 cpu_core_0 "9.278350515463918".
- 1413456 cpu_core_0 "9.278350515463918".
- 1413469 cpu_core_0 "9.278350515463918".
- 1413647 cpu_core_0 "9.278350515463918".
- 1413932 cpu_core_0 "9.278350515463918".
- 1414019 cpu_core_0 "9.278350515463918".
- 1414075 cpu_core_0 "9.278350515463918".
- 1414148 cpu_core_0 "9.278350515463918".
- 1414919 cpu_core_0 "9.278350515463918".
- 1424066 cpu_core_0 "9.278350515463918".
- 1424310 cpu_core_0 "9.278350515463918".
- 1441531 cpu_core_0 "9.278350515463918".
- 1448563 cpu_core_0 "9.278350515463918".
- 1543025 cpu_core_0 "9.278350515463918".
- 1566928 cpu_core_0 "9.278350515463918".
- 1594785 cpu_core_0 "9.278350515463918".
- 1634075 cpu_core_0 "9.278350515463918".
- 1634860 cpu_core_0 "9.278350515463918".
- 1646427 cpu_core_0 "9.278350515463918".
- 1646981 cpu_core_0 "9.278350515463918".
- 1647530 cpu_core_0 "9.278350515463918".
- 1647757 cpu_core_0 "9.278350515463918".
- 1647908 cpu_core_0 "9.278350515463918".
- 1648010 cpu_core_0 "9.278350515463918".
- 1648372 cpu_core_0 "9.278350515463918".
- 1648800 cpu_core_0 "9.278350515463918".
- 1649099 cpu_core_0 "9.278350515463918".
- 1649149 cpu_core_0 "9.278350515463918".
- 1649235 cpu_core_0 "9.278350515463918".
- 1649265 cpu_core_0 "9.278350515463918".
- 1649379 cpu_core_0 "9.278350515463918".
- 1649443 cpu_core_0 "9.278350515463918".
- 1649679 cpu_core_0 "9.278350515463918".
- 1649822 cpu_core_0 "9.278350515463918".
- 1649857 cpu_core_0 "9.278350515463918".
- 1649859 cpu_core_0 "9.278350515463918".
- 1649915 cpu_core_0 "9.278350515463918".
- 1649997 cpu_core_0 "9.278350515463918".
- 1650295 cpu_core_0 "9.278350515463918".
- 1650526 cpu_core_0 "9.278350515463918".
- 1650586 cpu_core_0 "9.278350515463918".
- 1650761 cpu_core_0 "9.278350515463918".
- 1650896 cpu_core_0 "9.278350515463918".
- 1651126 cpu_core_0 "9.278350515463918".
- 1651384 cpu_core_0 "9.278350515463918".
- 1651412 cpu_core_0 "9.278350515463918".
- 1651587 cpu_core_0 "9.278350515463918".
- 1651612 cpu_core_0 "9.278350515463918".
- 1651638 cpu_core_0 "9.278350515463918".
- 1651721 cpu_core_0 "9.278350515463918".
- 1651733 cpu_core_0 "9.278350515463918".
- 1651775 cpu_core_0 "9.278350515463918".
- 1652085 cpu_core_0 "9.278350515463918".
- 1652158 cpu_core_0 "9.278350515463918".
- 1652169 cpu_core_0 "9.278350515463918".
- 1652382 cpu_core_0 "9.278350515463918".
- 1652403 cpu_core_0 "9.278350515463918".
- 1652857 cpu_core_0 "9.278350515463918".
- 1652863 cpu_core_0 "9.278350515463918".
- 1652963 cpu_core_0 "9.278350515463918".
- 1653062 cpu_core_0 "9.278350515463918".
- 1653100 cpu_core_0 "9.278350515463918".
- 1653289 cpu_core_0 "9.278350515463918".
- 1653773 cpu_core_0 "9.278350515463918".
- 1653959 cpu_core_0 "9.278350515463918".
- 1654379 cpu_core_0 "9.278350515463918".
- 1670571 cpu_core_0 "9.278350515463918".
- 1671618 cpu_core_0 "9.278350515463918".
- 1671707 cpu_core_0 "9.278350515463918".