Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1813704 cpu_core_0 "12.745098039215685".
- 1813912 cpu_core_0 "12.745098039215685".
- 1815376 cpu_core_0 "12.745098039215685".
- 1816508 cpu_core_0 "12.745098039215685".
- 1816541 cpu_core_0 "12.745098039215685".
- 1816545 cpu_core_0 "12.745098039215685".
- 1816661 cpu_core_0 "12.745098039215685".
- 1817886 cpu_core_0 "12.745098039215685".
- 1818406 cpu_core_0 "12.745098039215685".
- 1819592 cpu_core_0 "12.745098039215685".
- 1820356 cpu_core_0 "12.745098039215685".
- 1820358 cpu_core_0 "12.745098039215685".
- 1820491 cpu_core_0 "12.745098039215685".
- 1820529 cpu_core_0 "12.745098039215685".
- 1820702 cpu_core_0 "12.745098039215685".
- 1820855 cpu_core_0 "12.745098039215685".
- 1822349 cpu_core_0 "12.745098039215685".
- 1822387 cpu_core_0 "12.745098039215685".
- 1822515 cpu_core_0 "12.745098039215685".
- 1822752 cpu_core_0 "12.745098039215685".
- 1822822 cpu_core_0 "12.745098039215685".
- 1823193 cpu_core_0 "12.745098039215685".
- 1823300 cpu_core_0 "12.745098039215685".
- 1824192 cpu_core_0 "12.745098039215685".
- 1824306 cpu_core_0 "12.745098039215685".
- 1824408 cpu_core_0 "12.745098039215685".
- 1824490 cpu_core_0 "12.745098039215685".
- 1825230 cpu_core_0 "12.745098039215685".
- 1825600 cpu_core_0 "12.745098039215685".
- 1827575 cpu_core_0 "12.745098039215685".
- 1828430 cpu_core_0 "12.745098039215685".
- 1828780 cpu_core_0 "12.745098039215685".
- 1829189 cpu_core_0 "12.745098039215685".
- 1829732 cpu_core_0 "12.745098039215685".
- 1829793 cpu_core_0 "12.745098039215685".
- 1829882 cpu_core_0 "12.745098039215685".
- 1829983 cpu_core_0 "12.745098039215685".
- 1830371 cpu_core_0 "12.745098039215685".
- 1830497 cpu_core_0 "12.745098039215685".
- 1831162 cpu_core_0 "12.745098039215685".
- 1831707 cpu_core_0 "12.745098039215685".
- 1831921 cpu_core_0 "12.745098039215685".
- 1832213 cpu_core_0 "12.745098039215685".
- 1832824 cpu_core_0 "12.745098039215685".
- 1833127 cpu_core_0 "12.745098039215685".
- 1833696 cpu_core_0 "12.745098039215685".
- 1834115 cpu_core_0 "12.745098039215685".
- 1834565 cpu_core_0 "12.745098039215685".
- 1834615 cpu_core_0 "12.745098039215685".
- 1835086 cpu_core_0 "12.745098039215685".
- 1835110 cpu_core_0 "12.745098039215685".
- 1835431 cpu_core_0 "12.745098039215685".
- 1835682 cpu_core_0 "12.745098039215685".
- 1835817 cpu_core_0 "12.745098039215685".
- 1835823 cpu_core_0 "12.745098039215685".
- 1836658 cpu_core_0 "12.745098039215685".
- 1837255 cpu_core_0 "12.745098039215685".
- 1837633 cpu_core_0 "12.745098039215685".
- 1838468 cpu_core_0 "12.745098039215685".
- 1838535 cpu_core_0 "12.745098039215685".
- 1838694 cpu_core_0 "12.745098039215685".
- 1841292 cpu_core_0 "12.745098039215685".
- 1841990 cpu_core_0 "12.745098039215685".
- 1843767 cpu_core_0 "12.745098039215685".
- 1843841 cpu_core_0 "12.745098039215685".
- 1844548 cpu_core_0 "12.745098039215685".
- 1845249 cpu_core_0 "12.745098039215685".
- 1845419 cpu_core_0 "12.745098039215685".
- 1845775 cpu_core_0 "12.745098039215685".
- 1846295 cpu_core_0 "12.745098039215685".
- 1846383 cpu_core_0 "12.745098039215685".
- 1846960 cpu_core_0 "12.745098039215685".
- 1847428 cpu_core_0 "12.745098039215685".
- 1847906 cpu_core_0 "12.745098039215685".
- 1848076 cpu_core_0 "12.745098039215685".
- 1848740 cpu_core_0 "12.745098039215685".
- 1849723 cpu_core_0 "12.745098039215685".
- 1850730 cpu_core_0 "12.745098039215685".
- 1851200 cpu_core_0 "12.745098039215685".
- 1851583 cpu_core_0 "12.745098039215685".
- 1851647 cpu_core_0 "12.745098039215685".
- 1852924 cpu_core_0 "12.745098039215685".
- 1853405 cpu_core_0 "12.745098039215685".
- 1853458 cpu_core_0 "12.745098039215685".
- 1853469 cpu_core_0 "12.745098039215685".
- 1853539 cpu_core_0 "12.745098039215685".
- 1854791 cpu_core_0 "12.745098039215685".
- 1855584 cpu_core_0 "12.745098039215685".
- 1855699 cpu_core_0 "12.745098039215685".
- 1856020 cpu_core_0 "12.745098039215685".
- 1857479 cpu_core_0 "12.745098039215685".
- 1857551 cpu_core_0 "12.745098039215685".
- 1857646 cpu_core_0 "12.745098039215685".
- 1857834 cpu_core_0 "12.745098039215685".
- 1857840 cpu_core_0 "12.745098039215685".
- 1858159 cpu_core_0 "12.745098039215685".
- 1858325 cpu_core_0 "12.745098039215685".
- 1858649 cpu_core_0 "12.745098039215685".
- 1859390 cpu_core_0 "12.745098039215685".
- 1860237 cpu_core_0 "12.745098039215685".