Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1540334 cpu_core_0 "11.76470588235294".
- 1540465 cpu_core_0 "11.76470588235294".
- 1542279 cpu_core_0 "11.76470588235294".
- 1542336 cpu_core_0 "11.76470588235294".
- 1542781 cpu_core_0 "11.76470588235294".
- 1543026 cpu_core_0 "11.76470588235294".
- 1543583 cpu_core_0 "11.76470588235294".
- 1543593 cpu_core_0 "11.76470588235294".
- 1543654 cpu_core_0 "11.76470588235294".
- 1544073 cpu_core_0 "11.76470588235294".
- 1544456 cpu_core_0 "11.76470588235294".
- 1545086 cpu_core_0 "11.76470588235294".
- 1546847 cpu_core_0 "11.76470588235294".
- 1548220 cpu_core_0 "11.76470588235294".
- 1552586 cpu_core_0 "11.76470588235294".
- 1553236 cpu_core_0 "11.76470588235294".
- 1555382 cpu_core_0 "11.76470588235294".
- 1556255 cpu_core_0 "11.76470588235294".
- 1556772 cpu_core_0 "11.76470588235294".
- 1557421 cpu_core_0 "11.76470588235294".
- 1558333 cpu_core_0 "11.76470588235294".
- 1558774 cpu_core_0 "11.76470588235294".
- 1558910 cpu_core_0 "11.76470588235294".
- 1559156 cpu_core_0 "11.76470588235294".
- 1559542 cpu_core_0 "11.76470588235294".
- 1561463 cpu_core_0 "11.76470588235294".
- 1562261 cpu_core_0 "11.76470588235294".
- 1564052 cpu_core_0 "11.76470588235294".
- 1566196 cpu_core_0 "11.76470588235294".
- 1566263 cpu_core_0 "11.76470588235294".
- 1568638 cpu_core_0 "11.76470588235294".
- 1569192 cpu_core_0 "11.76470588235294".
- 1569376 cpu_core_0 "11.76470588235294".
- 1569985 cpu_core_0 "11.76470588235294".
- 1570748 cpu_core_0 "11.76470588235294".
- 1572550 cpu_core_0 "11.76470588235294".
- 1572795 cpu_core_0 "11.76470588235294".
- 1572920 cpu_core_0 "11.76470588235294".
- 1572975 cpu_core_0 "11.76470588235294".
- 1573086 cpu_core_0 "11.76470588235294".
- 1574725 cpu_core_0 "11.76470588235294".
- 1575048 cpu_core_0 "11.76470588235294".
- 1575090 cpu_core_0 "11.76470588235294".
- 1575593 cpu_core_0 "11.76470588235294".
- 1575685 cpu_core_0 "11.76470588235294".
- 1577966 cpu_core_0 "11.76470588235294".
- 1578393 cpu_core_0 "11.76470588235294".
- 1578641 cpu_core_0 "11.76470588235294".
- 1581572 cpu_core_0 "11.76470588235294".
- 1583084 cpu_core_0 "11.76470588235294".
- 1584994 cpu_core_0 "11.76470588235294".
- 1585616 cpu_core_0 "11.76470588235294".
- 1586905 cpu_core_0 "11.76470588235294".
- 1587018 cpu_core_0 "11.76470588235294".
- 1588611 cpu_core_0 "11.76470588235294".
- 1591154 cpu_core_0 "11.76470588235294".
- 1591831 cpu_core_0 "11.76470588235294".
- 1592068 cpu_core_0 "11.76470588235294".
- 1593186 cpu_core_0 "11.76470588235294".
- 1593594 cpu_core_0 "11.76470588235294".
- 1594143 cpu_core_0 "11.76470588235294".
- 1594243 cpu_core_0 "11.76470588235294".
- 1595701 cpu_core_0 "11.76470588235294".
- 1595974 cpu_core_0 "11.76470588235294".
- 1596104 cpu_core_0 "11.76470588235294".
- 1596383 cpu_core_0 "11.76470588235294".
- 1596966 cpu_core_0 "11.76470588235294".
- 1597325 cpu_core_0 "11.76470588235294".
- 1597972 cpu_core_0 "11.76470588235294".
- 1599048 cpu_core_0 "11.76470588235294".
- 1599146 cpu_core_0 "11.76470588235294".
- 1600294 cpu_core_0 "11.76470588235294".
- 1600332 cpu_core_0 "11.76470588235294".
- 1601217 cpu_core_0 "11.76470588235294".
- 1602327 cpu_core_0 "11.76470588235294".
- 1602388 cpu_core_0 "11.76470588235294".
- 1602858 cpu_core_0 "11.76470588235294".
- 1603112 cpu_core_0 "11.76470588235294".
- 1603320 cpu_core_0 "11.76470588235294".
- 1603660 cpu_core_0 "11.76470588235294".
- 1603813 cpu_core_0 "11.76470588235294".
- 1603827 cpu_core_0 "11.76470588235294".
- 1604872 cpu_core_0 "11.76470588235294".
- 1605305 cpu_core_0 "11.76470588235294".
- 1605367 cpu_core_0 "11.76470588235294".
- 1605379 cpu_core_0 "11.76470588235294".
- 1605611 cpu_core_0 "11.76470588235294".
- 1606013 cpu_core_0 "11.76470588235294".
- 1606430 cpu_core_0 "11.76470588235294".
- 1606830 cpu_core_0 "11.76470588235294".
- 1606965 cpu_core_0 "11.76470588235294".
- 1607336 cpu_core_0 "11.76470588235294".
- 1607789 cpu_core_0 "11.76470588235294".
- 1607899 cpu_core_0 "11.76470588235294".
- 1610255 cpu_core_0 "11.76470588235294".
- 1610370 cpu_core_0 "11.76470588235294".
- 1611534 cpu_core_0 "11.76470588235294".
- 1611575 cpu_core_0 "11.76470588235294".
- 1613095 cpu_core_0 "11.76470588235294".
- 1613151 cpu_core_0 "11.76470588235294".