Matches in ISWC2014 Benchmark for { ?s ?p 1.9607843137254901. }
- 1544623 cpu_core_0 "1.9607843137254901".
- 154464 cpu_core_0 "1.9607843137254901".
- 1545718 cpu_core_0 "1.9607843137254901".
- 1546405 cpu_core_0 "1.9607843137254901".
- 1546688 cpu_core_0 "1.9607843137254901".
- 1546876 cpu_core_0 "1.9607843137254901".
- 1547155 cpu_core_0 "1.9607843137254901".
- 154730 cpu_core_0 "1.9607843137254901".
- 154738 cpu_core_0 "1.9607843137254901".
- 154747 cpu_core_0 "1.9607843137254901".
- 1547548 cpu_core_0 "1.9607843137254901".
- 154784 cpu_core_0 "1.9607843137254901".
- 1548282 cpu_core_0 "1.9607843137254901".
- 154829 cpu_core_0 "1.9607843137254901".
- 1550190 cpu_core_0 "1.9607843137254901".
- 155087 cpu_core_0 "1.9607843137254901".
- 155122 cpu_core_0 "1.9607843137254901".
- 155172 cpu_core_0 "1.9607843137254901".
- 1551803 cpu_core_0 "1.9607843137254901".
- 1551816 cpu_core_0 "1.9607843137254901".
- 1552053 cpu_core_0 "1.9607843137254901".
- 1552170 cpu_core_0 "1.9607843137254901".
- 155223 cpu_core_0 "1.9607843137254901".
- 1552647 cpu_core_0 "1.9607843137254901".
- 155275 cpu_core_0 "1.9607843137254901".
- 155351 cpu_core_0 "1.9607843137254901".
- 1553671 cpu_core_0 "1.9607843137254901".
- 155390 cpu_core_0 "1.9607843137254901".
- 155427 cpu_core_0 "1.9607843137254901".
- 155442 cpu_core_0 "1.9607843137254901".
- 1554575 cpu_core_0 "1.9607843137254901".
- 155491 cpu_core_0 "1.9607843137254901".
- 1555410 cpu_core_0 "1.9607843137254901".
- 155546 cpu_core_0 "1.9607843137254901".
- 155567 cpu_core_0 "1.9607843137254901".
- 1556014 cpu_core_0 "1.9607843137254901".
- 1556744 cpu_core_0 "1.9607843137254901".
- 155682 cpu_core_0 "1.9607843137254901".
- 155734 cpu_core_0 "1.9607843137254901".
- 1557456 cpu_core_0 "1.9607843137254901".
- 1557462 cpu_core_0 "1.9607843137254901".
- 155754 cpu_core_0 "1.9607843137254901".
- 155790 cpu_core_0 "1.9607843137254901".
- 1557934 cpu_core_0 "1.9607843137254901".
- 155850 cpu_core_0 "1.9607843137254901".
- 1558717 cpu_core_0 "1.9607843137254901".
- 155884 cpu_core_0 "1.9607843137254901".
- 155940 cpu_core_0 "1.9607843137254901".
- 155947 cpu_core_0 "1.9607843137254901".
- 155958 cpu_core_0 "1.9607843137254901".
- 1559657 cpu_core_0 "1.9607843137254901".
- 155981 cpu_core_0 "1.9607843137254901".
- 156021 cpu_core_0 "1.9607843137254901".
- 1560286 cpu_core_0 "1.9607843137254901".
- 1560666 cpu_core_0 "1.9607843137254901".
- 156087 cpu_core_0 "1.9607843137254901".
- 1561002 cpu_core_0 "1.9607843137254901".
- 1561011 cpu_core_0 "1.9607843137254901".
- 156115 cpu_core_0 "1.9607843137254901".
- 1561365 cpu_core_0 "1.9607843137254901".
- 1562053 cpu_core_0 "1.9607843137254901".
- 1562450 cpu_core_0 "1.9607843137254901".
- 1562677 cpu_core_0 "1.9607843137254901".
- 1563404 cpu_core_0 "1.9607843137254901".
- 1563661 cpu_core_0 "1.9607843137254901".
- 1563887 cpu_core_0 "1.9607843137254901".
- 1564251 cpu_core_0 "1.9607843137254901".
- 156446 cpu_core_0 "1.9607843137254901".
- 1564961 cpu_core_0 "1.9607843137254901".
- 1565332 cpu_core_0 "1.9607843137254901".
- 156612 cpu_core_0 "1.9607843137254901".
- 1566274 cpu_core_0 "1.9607843137254901".
- 156695 cpu_core_0 "1.9607843137254901".
- 1567231 cpu_core_0 "1.9607843137254901".
- 1567608 cpu_core_0 "1.9607843137254901".
- 156800 cpu_core_0 "1.9607843137254901".
- 156809 cpu_core_0 "1.9607843137254901".
- 1568319 cpu_core_0 "1.9607843137254901".
- 156832 cpu_core_0 "1.9607843137254901".
- 1568451 cpu_core_0 "1.9607843137254901".
- 156905 cpu_core_0 "1.9607843137254901".
- 1569392 cpu_core_0 "1.9607843137254901".
- 1569674 cpu_core_0 "1.9607843137254901".
- 1569860 cpu_core_0 "1.9607843137254901".
- 1570241 cpu_core_0 "1.9607843137254901".
- 157042 cpu_core_0 "1.9607843137254901".
- 1570953 cpu_core_0 "1.9607843137254901".
- 1571210 cpu_core_0 "1.9607843137254901".
- 157133 cpu_core_0 "1.9607843137254901".
- 157218 cpu_core_0 "1.9607843137254901".
- 1572340 cpu_core_0 "1.9607843137254901".
- 1572457 cpu_core_0 "1.9607843137254901".
- 157259 cpu_core_0 "1.9607843137254901".
- 157289 cpu_core_0 "1.9607843137254901".
- 1572939 cpu_core_0 "1.9607843137254901".
- 1573306 cpu_core_0 "1.9607843137254901".
- 1573397 cpu_core_0 "1.9607843137254901".
- 1573638 cpu_core_0 "1.9607843137254901".
- 1574271 cpu_core_0 "1.9607843137254901".
- 1574626 cpu_core_0 "1.9607843137254901".