Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1501124 cpu_core_0 "12.745098039215685".
- 1501178 cpu_core_0 "12.745098039215685".
- 1502761 cpu_core_0 "12.745098039215685".
- 1502844 cpu_core_0 "12.745098039215685".
- 1503668 cpu_core_0 "12.745098039215685".
- 1503954 cpu_core_0 "12.745098039215685".
- 1503966 cpu_core_0 "12.745098039215685".
- 1504203 cpu_core_0 "12.745098039215685".
- 1504838 cpu_core_0 "12.745098039215685".
- 1504884 cpu_core_0 "12.745098039215685".
- 1505635 cpu_core_0 "12.745098039215685".
- 1505783 cpu_core_0 "12.745098039215685".
- 1506421 cpu_core_0 "12.745098039215685".
- 1506914 cpu_core_0 "12.745098039215685".
- 1507078 cpu_core_0 "12.745098039215685".
- 1507431 cpu_core_0 "12.745098039215685".
- 1508109 cpu_core_0 "12.745098039215685".
- 1508736 cpu_core_0 "12.745098039215685".
- 1508767 cpu_core_0 "12.745098039215685".
- 1509023 cpu_core_0 "12.745098039215685".
- 1510105 cpu_core_0 "12.745098039215685".
- 1510127 cpu_core_0 "12.745098039215685".
- 1510304 cpu_core_0 "12.745098039215685".
- 1510439 cpu_core_0 "12.745098039215685".
- 1511412 cpu_core_0 "12.745098039215685".
- 1512159 cpu_core_0 "12.745098039215685".
- 1512495 cpu_core_0 "12.745098039215685".
- 1512900 cpu_core_0 "12.745098039215685".
- 1513695 cpu_core_0 "12.745098039215685".
- 1513790 cpu_core_0 "12.745098039215685".
- 1513978 cpu_core_0 "12.745098039215685".
- 1515648 cpu_core_0 "12.745098039215685".
- 1516049 cpu_core_0 "12.745098039215685".
- 1516421 cpu_core_0 "12.745098039215685".
- 1516876 cpu_core_0 "12.745098039215685".
- 1517193 cpu_core_0 "12.745098039215685".
- 1517935 cpu_core_0 "12.745098039215685".
- 1518184 cpu_core_0 "12.745098039215685".
- 1518483 cpu_core_0 "12.745098039215685".
- 1519367 cpu_core_0 "12.745098039215685".
- 1520633 cpu_core_0 "12.745098039215685".
- 1520937 cpu_core_0 "12.745098039215685".
- 1521551 cpu_core_0 "12.745098039215685".
- 1522608 cpu_core_0 "12.745098039215685".
- 1523858 cpu_core_0 "12.745098039215685".
- 1524222 cpu_core_0 "12.745098039215685".
- 1524884 cpu_core_0 "12.745098039215685".
- 1524973 cpu_core_0 "12.745098039215685".
- 1526075 cpu_core_0 "12.745098039215685".
- 1526219 cpu_core_0 "12.745098039215685".
- 1526385 cpu_core_0 "12.745098039215685".
- 1526626 cpu_core_0 "12.745098039215685".
- 1527172 cpu_core_0 "12.745098039215685".
- 1527695 cpu_core_0 "12.745098039215685".
- 1528624 cpu_core_0 "12.745098039215685".
- 1528811 cpu_core_0 "12.745098039215685".
- 1528812 cpu_core_0 "12.745098039215685".
- 1528917 cpu_core_0 "12.745098039215685".
- 1529530 cpu_core_0 "12.745098039215685".
- 1530278 cpu_core_0 "12.745098039215685".
- 1530949 cpu_core_0 "12.745098039215685".
- 1530998 cpu_core_0 "12.745098039215685".
- 1531147 cpu_core_0 "12.745098039215685".
- 1531984 cpu_core_0 "12.745098039215685".
- 1532091 cpu_core_0 "12.745098039215685".
- 1532488 cpu_core_0 "12.745098039215685".
- 1532861 cpu_core_0 "12.745098039215685".
- 1533433 cpu_core_0 "12.745098039215685".
- 1534799 cpu_core_0 "12.745098039215685".
- 1534909 cpu_core_0 "12.745098039215685".
- 1535338 cpu_core_0 "12.745098039215685".
- 1536286 cpu_core_0 "12.745098039215685".
- 1537220 cpu_core_0 "12.745098039215685".
- 1537307 cpu_core_0 "12.745098039215685".
- 1537837 cpu_core_0 "12.745098039215685".
- 1537947 cpu_core_0 "12.745098039215685".
- 1538059 cpu_core_0 "12.745098039215685".
- 1538122 cpu_core_0 "12.745098039215685".
- 1538405 cpu_core_0 "12.745098039215685".
- 1538671 cpu_core_0 "12.745098039215685".
- 1538755 cpu_core_0 "12.745098039215685".
- 1538847 cpu_core_0 "12.745098039215685".
- 1539016 cpu_core_0 "12.745098039215685".
- 1539328 cpu_core_0 "12.745098039215685".
- 1539488 cpu_core_0 "12.745098039215685".
- 1540418 cpu_core_0 "12.745098039215685".
- 1540608 cpu_core_0 "12.745098039215685".
- 1540709 cpu_core_0 "12.745098039215685".
- 1540876 cpu_core_0 "12.745098039215685".
- 1541454 cpu_core_0 "12.745098039215685".
- 1541647 cpu_core_0 "12.745098039215685".
- 1541920 cpu_core_0 "12.745098039215685".
- 1542196 cpu_core_0 "12.745098039215685".
- 1543178 cpu_core_0 "12.745098039215685".
- 1543373 cpu_core_0 "12.745098039215685".
- 1543810 cpu_core_0 "12.745098039215685".
- 1544042 cpu_core_0 "12.745098039215685".
- 1544438 cpu_core_0 "12.745098039215685".
- 1546202 cpu_core_0 "12.745098039215685".
- 1547310 cpu_core_0 "12.745098039215685".