Matches in ISWC2014 Benchmark for { ?s ?p 13.861386138613863. }
- 1561498 cpu_core_0 "13.861386138613863".
- 1561789 cpu_core_0 "13.861386138613863".
- 1562182 cpu_core_0 "13.861386138613863".
- 1562510 cpu_core_0 "13.861386138613863".
- 1563423 cpu_core_0 "13.861386138613863".
- 1563582 cpu_core_0 "13.861386138613863".
- 1563605 cpu_core_0 "13.861386138613863".
- 1564277 cpu_core_0 "13.861386138613863".
- 1564928 cpu_core_0 "13.861386138613863".
- 1566860 cpu_core_0 "13.861386138613863".
- 1567192 cpu_core_0 "13.861386138613863".
- 1567308 cpu_core_0 "13.861386138613863".
- 1567410 cpu_core_0 "13.861386138613863".
- 1569062 cpu_core_0 "13.861386138613863".
- 1570907 cpu_core_0 "13.861386138613863".
- 1572249 cpu_core_0 "13.861386138613863".
- 1572672 cpu_core_0 "13.861386138613863".
- 1573032 cpu_core_0 "13.861386138613863".
- 1573148 cpu_core_0 "13.861386138613863".
- 1573413 cpu_core_0 "13.861386138613863".
- 1574227 cpu_core_0 "13.861386138613863".
- 1574675 cpu_core_0 "13.861386138613863".
- 1575572 cpu_core_0 "13.861386138613863".
- 1577918 cpu_core_0 "13.861386138613863".
- 1578555 cpu_core_0 "13.861386138613863".
- 1579301 cpu_core_0 "13.861386138613863".
- 1579537 cpu_core_0 "13.861386138613863".
- 1580100 cpu_core_0 "13.861386138613863".
- 1580299 cpu_core_0 "13.861386138613863".
- 1580312 cpu_core_0 "13.861386138613863".
- 1581169 cpu_core_0 "13.861386138613863".
- 1581528 cpu_core_0 "13.861386138613863".
- 1581991 cpu_core_0 "13.861386138613863".
- 1583722 cpu_core_0 "13.861386138613863".
- 1584415 cpu_core_0 "13.861386138613863".
- 1584925 cpu_core_0 "13.861386138613863".
- 1585026 cpu_core_0 "13.861386138613863".
- 1585814 cpu_core_0 "13.861386138613863".
- 1585839 cpu_core_0 "13.861386138613863".
- 1586044 cpu_core_0 "13.861386138613863".
- 1586199 cpu_core_0 "13.861386138613863".
- 1586309 cpu_core_0 "13.861386138613863".
- 1586387 cpu_core_0 "13.861386138613863".
- 1586481 cpu_core_0 "13.861386138613863".
- 1586809 cpu_core_0 "13.861386138613863".
- 1587372 cpu_core_0 "13.861386138613863".
- 1587435 cpu_core_0 "13.861386138613863".
- 1588011 cpu_core_0 "13.861386138613863".
- 1588691 cpu_core_0 "13.861386138613863".
- 1588821 cpu_core_0 "13.861386138613863".
- 1589732 cpu_core_0 "13.861386138613863".
- 1589739 cpu_core_0 "13.861386138613863".
- 1590852 cpu_core_0 "13.861386138613863".
- 1592755 cpu_core_0 "13.861386138613863".
- 1592993 cpu_core_0 "13.861386138613863".
- 1593312 cpu_core_0 "13.861386138613863".
- 1594201 cpu_core_0 "13.861386138613863".
- 1594459 cpu_core_0 "13.861386138613863".
- 1594868 cpu_core_0 "13.861386138613863".
- 1595376 cpu_core_0 "13.861386138613863".
- 1596286 cpu_core_0 "13.861386138613863".
- 1597192 cpu_core_0 "13.861386138613863".
- 1597346 cpu_core_0 "13.861386138613863".
- 1599417 cpu_core_0 "13.861386138613863".
- 1599945 cpu_core_0 "13.861386138613863".
- 1600090 cpu_core_0 "13.861386138613863".
- 1601875 cpu_core_0 "13.861386138613863".
- 1603138 cpu_core_0 "13.861386138613863".
- 1603178 cpu_core_0 "13.861386138613863".
- 1603501 cpu_core_0 "13.861386138613863".
- 1603984 cpu_core_0 "13.861386138613863".
- 1604476 cpu_core_0 "13.861386138613863".
- 1604560 cpu_core_0 "13.861386138613863".
- 1604935 cpu_core_0 "13.861386138613863".
- 1605315 cpu_core_0 "13.861386138613863".
- 1605919 cpu_core_0 "13.861386138613863".
- 1606492 cpu_core_0 "13.861386138613863".
- 1607356 cpu_core_0 "13.861386138613863".
- 1607613 cpu_core_0 "13.861386138613863".
- 1607919 cpu_core_0 "13.861386138613863".
- 1608049 cpu_core_0 "13.861386138613863".
- 1608319 cpu_core_0 "13.861386138613863".
- 1608632 cpu_core_0 "13.861386138613863".
- 1610210 cpu_core_0 "13.861386138613863".
- 1610479 cpu_core_0 "13.861386138613863".
- 1610896 cpu_core_0 "13.861386138613863".
- 1611138 cpu_core_0 "13.861386138613863".
- 1611658 cpu_core_0 "13.861386138613863".
- 1612463 cpu_core_0 "13.861386138613863".
- 1614666 cpu_core_0 "13.861386138613863".
- 1614773 cpu_core_0 "13.861386138613863".
- 1615037 cpu_core_0 "13.861386138613863".
- 1615168 cpu_core_0 "13.861386138613863".
- 1615591 cpu_core_0 "13.861386138613863".
- 1616196 cpu_core_0 "13.861386138613863".
- 1616834 cpu_core_0 "13.861386138613863".
- 1617945 cpu_core_0 "13.861386138613863".
- 1618041 cpu_core_0 "13.861386138613863".
- 1618784 cpu_core_0 "13.861386138613863".
- 1619133 cpu_core_0 "13.861386138613863".