Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1547354 cpu_core_0 "12.745098039215685".
- 1547717 cpu_core_0 "12.745098039215685".
- 1548155 cpu_core_0 "12.745098039215685".
- 1548771 cpu_core_0 "12.745098039215685".
- 1551856 cpu_core_0 "12.745098039215685".
- 1553399 cpu_core_0 "12.745098039215685".
- 1553838 cpu_core_0 "12.745098039215685".
- 1553860 cpu_core_0 "12.745098039215685".
- 1555750 cpu_core_0 "12.745098039215685".
- 1556323 cpu_core_0 "12.745098039215685".
- 1556508 cpu_core_0 "12.745098039215685".
- 1557361 cpu_core_0 "12.745098039215685".
- 1558036 cpu_core_0 "12.745098039215685".
- 1558678 cpu_core_0 "12.745098039215685".
- 1558744 cpu_core_0 "12.745098039215685".
- 1560423 cpu_core_0 "12.745098039215685".
- 1560675 cpu_core_0 "12.745098039215685".
- 1561399 cpu_core_0 "12.745098039215685".
- 1562712 cpu_core_0 "12.745098039215685".
- 1563150 cpu_core_0 "12.745098039215685".
- 1563386 cpu_core_0 "12.745098039215685".
- 1563738 cpu_core_0 "12.745098039215685".
- 1563837 cpu_core_0 "12.745098039215685".
- 1566540 cpu_core_0 "12.745098039215685".
- 1567139 cpu_core_0 "12.745098039215685".
- 1568580 cpu_core_0 "12.745098039215685".
- 1568987 cpu_core_0 "12.745098039215685".
- 1569329 cpu_core_0 "12.745098039215685".
- 1569454 cpu_core_0 "12.745098039215685".
- 1569658 cpu_core_0 "12.745098039215685".
- 1569801 cpu_core_0 "12.745098039215685".
- 1571598 cpu_core_0 "12.745098039215685".
- 1572354 cpu_core_0 "12.745098039215685".
- 1572534 cpu_core_0 "12.745098039215685".
- 1573022 cpu_core_0 "12.745098039215685".
- 1573609 cpu_core_0 "12.745098039215685".
- 1573921 cpu_core_0 "12.745098039215685".
- 1574110 cpu_core_0 "12.745098039215685".
- 1574401 cpu_core_0 "12.745098039215685".
- 1575842 cpu_core_0 "12.745098039215685".
- 1575853 cpu_core_0 "12.745098039215685".
- 1576287 cpu_core_0 "12.745098039215685".
- 1576391 cpu_core_0 "12.745098039215685".
- 1576568 cpu_core_0 "12.745098039215685".
- 1578000 cpu_core_0 "12.745098039215685".
- 1579993 cpu_core_0 "12.745098039215685".
- 1580240 cpu_core_0 "12.745098039215685".
- 1580431 cpu_core_0 "12.745098039215685".
- 1581156 cpu_core_0 "12.745098039215685".
- 1581421 cpu_core_0 "12.745098039215685".
- 1582393 cpu_core_0 "12.745098039215685".
- 1582777 cpu_core_0 "12.745098039215685".
- 1583254 cpu_core_0 "12.745098039215685".
- 1583432 cpu_core_0 "12.745098039215685".
- 1583510 cpu_core_0 "12.745098039215685".
- 1583628 cpu_core_0 "12.745098039215685".
- 1584134 cpu_core_0 "12.745098039215685".
- 1584288 cpu_core_0 "12.745098039215685".
- 1584466 cpu_core_0 "12.745098039215685".
- 1585027 cpu_core_0 "12.745098039215685".
- 1585614 cpu_core_0 "12.745098039215685".
- 1585824 cpu_core_0 "12.745098039215685".
- 1586039 cpu_core_0 "12.745098039215685".
- 1587186 cpu_core_0 "12.745098039215685".
- 1588473 cpu_core_0 "12.745098039215685".
- 1588966 cpu_core_0 "12.745098039215685".
- 1589049 cpu_core_0 "12.745098039215685".
- 1589238 cpu_core_0 "12.745098039215685".
- 1589543 cpu_core_0 "12.745098039215685".
- 1590675 cpu_core_0 "12.745098039215685".
- 1591170 cpu_core_0 "12.745098039215685".
- 1592950 cpu_core_0 "12.745098039215685".
- 1593848 cpu_core_0 "12.745098039215685".
- 1594022 cpu_core_0 "12.745098039215685".
- 1595726 cpu_core_0 "12.745098039215685".
- 1596141 cpu_core_0 "12.745098039215685".
- 1596324 cpu_core_0 "12.745098039215685".
- 1596846 cpu_core_0 "12.745098039215685".
- 1596959 cpu_core_0 "12.745098039215685".
- 1596998 cpu_core_0 "12.745098039215685".
- 1598883 cpu_core_0 "12.745098039215685".
- 1601062 cpu_core_0 "12.745098039215685".
- 1601476 cpu_core_0 "12.745098039215685".
- 1601492 cpu_core_0 "12.745098039215685".
- 1602196 cpu_core_0 "12.745098039215685".
- 1604402 cpu_core_0 "12.745098039215685".
- 1605072 cpu_core_0 "12.745098039215685".
- 1605363 cpu_core_0 "12.745098039215685".
- 1606852 cpu_core_0 "12.745098039215685".
- 1609580 cpu_core_0 "12.745098039215685".
- 1611152 cpu_core_0 "12.745098039215685".
- 1612885 cpu_core_0 "12.745098039215685".
- 1612940 cpu_core_0 "12.745098039215685".
- 1613396 cpu_core_0 "12.745098039215685".
- 1614201 cpu_core_0 "12.745098039215685".
- 1614880 cpu_core_0 "12.745098039215685".
- 1615271 cpu_core_0 "12.745098039215685".
- 1615277 cpu_core_0 "12.745098039215685".
- 1615759 cpu_core_0 "12.745098039215685".
- 1616594 cpu_core_0 "12.745098039215685".