Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1404950 cpu_core_0 "11.11111111111111".
- 1405187 cpu_core_0 "11.11111111111111".
- 1405192 cpu_core_0 "11.11111111111111".
- 1405205 cpu_core_0 "11.11111111111111".
- 1405923 cpu_core_0 "11.11111111111111".
- 1406261 cpu_core_0 "11.11111111111111".
- 1406266 cpu_core_0 "11.11111111111111".
- 1406390 cpu_core_0 "11.11111111111111".
- 1406816 cpu_core_0 "11.11111111111111".
- 1407247 cpu_core_0 "11.11111111111111".
- 1407374 cpu_core_0 "11.11111111111111".
- 1407396 cpu_core_0 "11.11111111111111".
- 1407466 cpu_core_0 "11.11111111111111".
- 1407686 cpu_core_0 "11.11111111111111".
- 1407846 cpu_core_0 "11.11111111111111".
- 140786 cpu_core_0 "11.11111111111111".
- 1407889 cpu_core_0 "11.11111111111111".
- 1408046 cpu_core_0 "11.11111111111111".
- 1408054 cpu_core_0 "11.11111111111111".
- 1408059 cpu_core_0 "11.11111111111111".
- 1408456 cpu_core_0 "11.11111111111111".
- 1408527 cpu_core_0 "11.11111111111111".
- 1408543 cpu_core_0 "11.11111111111111".
- 1408600 cpu_core_0 "11.11111111111111".
- 1408668 cpu_core_0 "11.11111111111111".
- 1408730 cpu_core_0 "11.11111111111111".
- 1408777 cpu_core_0 "11.11111111111111".
- 1408817 cpu_core_0 "11.11111111111111".
- 1408846 cpu_core_0 "11.11111111111111".
- 1408856 cpu_core_0 "11.11111111111111".
- 1408919 cpu_core_0 "11.11111111111111".
- 1408951 cpu_core_0 "11.11111111111111".
- 1409016 cpu_core_0 "11.11111111111111".
- 1409039 cpu_core_0 "11.11111111111111".
- 1409066 cpu_core_0 "11.11111111111111".
- 1409071 cpu_core_0 "11.11111111111111".
- 1409147 cpu_core_0 "11.11111111111111".
- 1409296 cpu_core_0 "11.11111111111111".
- 1409300 cpu_core_0 "11.11111111111111".
- 1409453 cpu_core_0 "11.11111111111111".
- 1409552 cpu_core_0 "11.11111111111111".
- 1409564 cpu_core_0 "11.11111111111111".
- 1409816 cpu_core_0 "11.11111111111111".
- 1409975 cpu_core_0 "11.11111111111111".
- 1409998 cpu_core_0 "11.11111111111111".
- 1410177 cpu_core_0 "11.11111111111111".
- 1410332 cpu_core_0 "11.11111111111111".
- 1410342 cpu_core_0 "11.11111111111111".
- 1410409 cpu_core_0 "11.11111111111111".
- 1410460 cpu_core_0 "11.11111111111111".
- 1410578 cpu_core_0 "11.11111111111111".
- 1410581 cpu_core_0 "11.11111111111111".
- 1410594 cpu_core_0 "11.11111111111111".
- 1410653 cpu_core_0 "11.11111111111111".
- 1410719 cpu_core_0 "11.11111111111111".
- 1410729 cpu_core_0 "11.11111111111111".
- 1410730 cpu_core_0 "11.11111111111111".
- 1410747 cpu_core_0 "11.11111111111111".
- 1410825 cpu_core_0 "11.11111111111111".
- 1410894 cpu_core_0 "11.11111111111111".
- 1410903 cpu_core_0 "11.11111111111111".
- 1410938 cpu_core_0 "11.11111111111111".
- 1411015 cpu_core_0 "11.11111111111111".
- 1411107 cpu_core_0 "11.11111111111111".
- 1411110 cpu_core_0 "11.11111111111111".
- 1411136 cpu_core_0 "11.11111111111111".
- 1411177 cpu_core_0 "11.11111111111111".
- 1411188 cpu_core_0 "11.11111111111111".
- 1411256 cpu_core_0 "11.11111111111111".
- 1411261 cpu_core_0 "11.11111111111111".
- 1411305 cpu_core_0 "11.11111111111111".
- 1411350 cpu_core_0 "11.11111111111111".
- 1411415 cpu_core_0 "11.11111111111111".
- 1411435 cpu_core_0 "11.11111111111111".
- 1411494 cpu_core_0 "11.11111111111111".
- 1411549 cpu_core_0 "11.11111111111111".
- 1411613 cpu_core_0 "11.11111111111111".
- 1411675 cpu_core_0 "11.11111111111111".
- 1411689 cpu_core_0 "11.11111111111111".
- 1411742 cpu_core_0 "11.11111111111111".
- 1411768 cpu_core_0 "11.11111111111111".
- 1411958 cpu_core_0 "11.11111111111111".
- 1412021 cpu_core_0 "11.11111111111111".
- 1412092 cpu_core_0 "11.11111111111111".
- 1412175 cpu_core_0 "11.11111111111111".
- 1412260 cpu_core_0 "11.11111111111111".
- 1412269 cpu_core_0 "11.11111111111111".
- 1412458 cpu_core_0 "11.11111111111111".
- 1412459 cpu_core_0 "11.11111111111111".
- 1412498 cpu_core_0 "11.11111111111111".
- 1412518 cpu_core_0 "11.11111111111111".
- 1412622 cpu_core_0 "11.11111111111111".
- 1412937 cpu_core_0 "11.11111111111111".
- 1413193 cpu_core_0 "11.11111111111111".
- 1413346 cpu_core_0 "11.11111111111111".
- 1413404 cpu_core_0 "11.11111111111111".
- 1413591 cpu_core_0 "11.11111111111111".
- 1413636 cpu_core_0 "11.11111111111111".
- 1413794 cpu_core_0 "11.11111111111111".
- 1413898 cpu_core_0 "11.11111111111111".