Matches in ISWC2014 Benchmark for { ?s ?p 1.9607843137254901. }
- 1575225 cpu_core_0 "1.9607843137254901".
- 1575820 cpu_core_0 "1.9607843137254901".
- 157687 cpu_core_0 "1.9607843137254901".
- 157713 cpu_core_0 "1.9607843137254901".
- 1577293 cpu_core_0 "1.9607843137254901".
- 1577625 cpu_core_0 "1.9607843137254901".
- 1577862 cpu_core_0 "1.9607843137254901".
- 1577988 cpu_core_0 "1.9607843137254901".
- 1578104 cpu_core_0 "1.9607843137254901".
- 1578116 cpu_core_0 "1.9607843137254901".
- 1578474 cpu_core_0 "1.9607843137254901".
- 157861 cpu_core_0 "1.9607843137254901".
- 157889 cpu_core_0 "1.9607843137254901".
- 1579 cpu_core_0 "1.9607843137254901".
- 1579065 cpu_core_0 "1.9607843137254901".
- 1579185 cpu_core_0 "1.9607843137254901".
- 1579190 cpu_core_0 "1.9607843137254901".
- 158009 cpu_core_0 "1.9607843137254901".
- 1580271 cpu_core_0 "1.9607843137254901".
- 1580509 cpu_core_0 "1.9607843137254901".
- 158117 cpu_core_0 "1.9607843137254901".
- 1583395 cpu_core_0 "1.9607843137254901".
- 1583402 cpu_core_0 "1.9607843137254901".
- 1583533 cpu_core_0 "1.9607843137254901".
- 1584375 cpu_core_0 "1.9607843137254901".
- 1585195 cpu_core_0 "1.9607843137254901".
- 158526 cpu_core_0 "1.9607843137254901".
- 158623 cpu_core_0 "1.9607843137254901".
- 158689 cpu_core_0 "1.9607843137254901".
- 1587346 cpu_core_0 "1.9607843137254901".
- 1587570 cpu_core_0 "1.9607843137254901".
- 1587831 cpu_core_0 "1.9607843137254901".
- 15883 cpu_core_0 "1.9607843137254901".
- 1588411 cpu_core_0 "1.9607843137254901".
- 1588543 cpu_core_0 "1.9607843137254901".
- 158948 cpu_core_0 "1.9607843137254901".
- 1589526 cpu_core_0 "1.9607843137254901".
- 1589530 cpu_core_0 "1.9607843137254901".
- 158961 cpu_core_0 "1.9607843137254901".
- 1590 cpu_core_0 "1.9607843137254901".
- 159063 cpu_core_0 "1.9607843137254901".
- 1591241 cpu_core_0 "1.9607843137254901".
- 159187 cpu_core_0 "1.9607843137254901".
- 1591907 cpu_core_0 "1.9607843137254901".
- 15929 cpu_core_0 "1.9607843137254901".
- 1593025 cpu_core_0 "1.9607843137254901".
- 159325 cpu_core_0 "1.9607843137254901".
- 159389 cpu_core_0 "1.9607843137254901".
- 15943 cpu_core_0 "1.9607843137254901".
- 1594532 cpu_core_0 "1.9607843137254901".
- 1594786 cpu_core_0 "1.9607843137254901".
- 1594838 cpu_core_0 "1.9607843137254901".
- 159485 cpu_core_0 "1.9607843137254901".
- 1595914 cpu_core_0 "1.9607843137254901".
- 1596032 cpu_core_0 "1.9607843137254901".
- 1596048 cpu_core_0 "1.9607843137254901".
- 159650 cpu_core_0 "1.9607843137254901".
- 1596768 cpu_core_0 "1.9607843137254901".
- 1597979 cpu_core_0 "1.9607843137254901".
- 1597990 cpu_core_0 "1.9607843137254901".
- 159941 cpu_core_0 "1.9607843137254901".
- 1599639 cpu_core_0 "1.9607843137254901".
- 159993 cpu_core_0 "1.9607843137254901".
- 159999 cpu_core_0 "1.9607843137254901".
- 1600383 cpu_core_0 "1.9607843137254901".
- 1600644 cpu_core_0 "1.9607843137254901".
- 160109 cpu_core_0 "1.9607843137254901".
- 1601443 cpu_core_0 "1.9607843137254901".
- 1602214 cpu_core_0 "1.9607843137254901".
- 160245 cpu_core_0 "1.9607843137254901".
- 1602545 cpu_core_0 "1.9607843137254901".
- 1602556 cpu_core_0 "1.9607843137254901".
- 1602567 cpu_core_0 "1.9607843137254901".
- 1603049 cpu_core_0 "1.9607843137254901".
- 1603147 cpu_core_0 "1.9607843137254901".
- 1603391 cpu_core_0 "1.9607843137254901".
- 160349 cpu_core_0 "1.9607843137254901".
- 1604144 cpu_core_0 "1.9607843137254901".
- 160540 cpu_core_0 "1.9607843137254901".
- 160563 cpu_core_0 "1.9607843137254901".
- 1605742 cpu_core_0 "1.9607843137254901".
- 1606185 cpu_core_0 "1.9607843137254901".
- 1607235 cpu_core_0 "1.9607843137254901".
- 160751 cpu_core_0 "1.9607843137254901".
- 160865 cpu_core_0 "1.9607843137254901".
- 160870 cpu_core_0 "1.9607843137254901".
- 1608787 cpu_core_0 "1.9607843137254901".
- 1609051 cpu_core_0 "1.9607843137254901".
- 1609306 cpu_core_0 "1.9607843137254901".
- 160971 cpu_core_0 "1.9607843137254901".
- 160992 cpu_core_0 "1.9607843137254901".
- 161010 cpu_core_0 "1.9607843137254901".
- 161047 cpu_core_0 "1.9607843137254901".
- 1610925 cpu_core_0 "1.9607843137254901".
- 16112 cpu_core_0 "1.9607843137254901".
- 1611239 cpu_core_0 "1.9607843137254901".
- 161146 cpu_core_0 "1.9607843137254901".
- 1611486 cpu_core_0 "1.9607843137254901".
- 1612324 cpu_core_0 "1.9607843137254901".
- 161236 cpu_core_0 "1.9607843137254901".