Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1514073 cpu_core_0 "11.11111111111111".
- 1514141 cpu_core_0 "11.11111111111111".
- 1514168 cpu_core_0 "11.11111111111111".
- 1514190 cpu_core_0 "11.11111111111111".
- 1514278 cpu_core_0 "11.11111111111111".
- 1514301 cpu_core_0 "11.11111111111111".
- 1514536 cpu_core_0 "11.11111111111111".
- 1514564 cpu_core_0 "11.11111111111111".
- 1514651 cpu_core_0 "11.11111111111111".
- 1514776 cpu_core_0 "11.11111111111111".
- 1514858 cpu_core_0 "11.11111111111111".
- 1514933 cpu_core_0 "11.11111111111111".
- 1515047 cpu_core_0 "11.11111111111111".
- 1515221 cpu_core_0 "11.11111111111111".
- 1515236 cpu_core_0 "11.11111111111111".
- 1515253 cpu_core_0 "11.11111111111111".
- 1515272 cpu_core_0 "11.11111111111111".
- 1515375 cpu_core_0 "11.11111111111111".
- 1515425 cpu_core_0 "11.11111111111111".
- 1515712 cpu_core_0 "11.11111111111111".
- 1515752 cpu_core_0 "11.11111111111111".
- 1515796 cpu_core_0 "11.11111111111111".
- 1515914 cpu_core_0 "11.11111111111111".
- 1515952 cpu_core_0 "11.11111111111111".
- 1515994 cpu_core_0 "11.11111111111111".
- 1515997 cpu_core_0 "11.11111111111111".
- 1516305 cpu_core_0 "11.11111111111111".
- 1516326 cpu_core_0 "11.11111111111111".
- 1516400 cpu_core_0 "11.11111111111111".
- 1516434 cpu_core_0 "11.11111111111111".
- 1516557 cpu_core_0 "11.11111111111111".
- 1516657 cpu_core_0 "11.11111111111111".
- 1517104 cpu_core_0 "11.11111111111111".
- 1517221 cpu_core_0 "11.11111111111111".
- 1517248 cpu_core_0 "11.11111111111111".
- 1517391 cpu_core_0 "11.11111111111111".
- 1517446 cpu_core_0 "11.11111111111111".
- 1517522 cpu_core_0 "11.11111111111111".
- 1517700 cpu_core_0 "11.11111111111111".
- 1518077 cpu_core_0 "11.11111111111111".
- 1518100 cpu_core_0 "11.11111111111111".
- 1518212 cpu_core_0 "11.11111111111111".
- 1518285 cpu_core_0 "11.11111111111111".
- 1518440 cpu_core_0 "11.11111111111111".
- 1518443 cpu_core_0 "11.11111111111111".
- 1518548 cpu_core_0 "11.11111111111111".
- 1518690 cpu_core_0 "11.11111111111111".
- 1518911 cpu_core_0 "11.11111111111111".
- 1518943 cpu_core_0 "11.11111111111111".
- 1519161 cpu_core_0 "11.11111111111111".
- 1519255 cpu_core_0 "11.11111111111111".
- 1519362 cpu_core_0 "11.11111111111111".
- 1519366 cpu_core_0 "11.11111111111111".
- 1519382 cpu_core_0 "11.11111111111111".
- 1519408 cpu_core_0 "11.11111111111111".
- 1519498 cpu_core_0 "11.11111111111111".
- 1519670 cpu_core_0 "11.11111111111111".
- 1519980 cpu_core_0 "11.11111111111111".
- 1520143 cpu_core_0 "11.11111111111111".
- 1520233 cpu_core_0 "11.11111111111111".
- 1520371 cpu_core_0 "11.11111111111111".
- 1520451 cpu_core_0 "11.11111111111111".
- 1520586 cpu_core_0 "11.11111111111111".
- 1520704 cpu_core_0 "11.11111111111111".
- 1520756 cpu_core_0 "11.11111111111111".
- 1520820 cpu_core_0 "11.11111111111111".
- 1520883 cpu_core_0 "11.11111111111111".
- 1520957 cpu_core_0 "11.11111111111111".
- 1521075 cpu_core_0 "11.11111111111111".
- 1521109 cpu_core_0 "11.11111111111111".
- 1521229 cpu_core_0 "11.11111111111111".
- 1521475 cpu_core_0 "11.11111111111111".
- 1521581 cpu_core_0 "11.11111111111111".
- 1521590 cpu_core_0 "11.11111111111111".
- 1521726 cpu_core_0 "11.11111111111111".
- 1521788 cpu_core_0 "11.11111111111111".
- 1521790 cpu_core_0 "11.11111111111111".
- 1521899 cpu_core_0 "11.11111111111111".
- 1522169 cpu_core_0 "11.11111111111111".
- 1522200 cpu_core_0 "11.11111111111111".
- 1522310 cpu_core_0 "11.11111111111111".
- 1522404 cpu_core_0 "11.11111111111111".
- 1522804 cpu_core_0 "11.11111111111111".
- 1522969 cpu_core_0 "11.11111111111111".
- 1523027 cpu_core_0 "11.11111111111111".
- 1523198 cpu_core_0 "11.11111111111111".
- 1523314 cpu_core_0 "11.11111111111111".
- 1523423 cpu_core_0 "11.11111111111111".
- 1523528 cpu_core_0 "11.11111111111111".
- 1523566 cpu_core_0 "11.11111111111111".
- 1523632 cpu_core_0 "11.11111111111111".
- 1523703 cpu_core_0 "11.11111111111111".
- 1523877 cpu_core_0 "11.11111111111111".
- 1523929 cpu_core_0 "11.11111111111111".
- 1524153 cpu_core_0 "11.11111111111111".
- 1524234 cpu_core_0 "11.11111111111111".
- 1524288 cpu_core_0 "11.11111111111111".
- 1524528 cpu_core_0 "11.11111111111111".
- 1524573 cpu_core_0 "11.11111111111111".
- 1524828 cpu_core_0 "11.11111111111111".