Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1378257 cpu_core_0 "11.11111111111111".
- 1378325 cpu_core_0 "11.11111111111111".
- 1378425 cpu_core_0 "11.11111111111111".
- 1378431 cpu_core_0 "11.11111111111111".
- 1378495 cpu_core_0 "11.11111111111111".
- 1378606 cpu_core_0 "11.11111111111111".
- 1378951 cpu_core_0 "11.11111111111111".
- 1379269 cpu_core_0 "11.11111111111111".
- 1379300 cpu_core_0 "11.11111111111111".
- 1379406 cpu_core_0 "11.11111111111111".
- 1379475 cpu_core_0 "11.11111111111111".
- 1379755 cpu_core_0 "11.11111111111111".
- 1379869 cpu_core_0 "11.11111111111111".
- 1380049 cpu_core_0 "11.11111111111111".
- 1380158 cpu_core_0 "11.11111111111111".
- 1380163 cpu_core_0 "11.11111111111111".
- 1380536 cpu_core_0 "11.11111111111111".
- 1380565 cpu_core_0 "11.11111111111111".
- 1380614 cpu_core_0 "11.11111111111111".
- 1380631 cpu_core_0 "11.11111111111111".
- 1380667 cpu_core_0 "11.11111111111111".
- 1380759 cpu_core_0 "11.11111111111111".
- 1380867 cpu_core_0 "11.11111111111111".
- 1380903 cpu_core_0 "11.11111111111111".
- 1381226 cpu_core_0 "11.11111111111111".
- 1381285 cpu_core_0 "11.11111111111111".
- 1381438 cpu_core_0 "11.11111111111111".
- 1381635 cpu_core_0 "11.11111111111111".
- 1381732 cpu_core_0 "11.11111111111111".
- 1381752 cpu_core_0 "11.11111111111111".
- 1381804 cpu_core_0 "11.11111111111111".
- 1381836 cpu_core_0 "11.11111111111111".
- 1381849 cpu_core_0 "11.11111111111111".
- 1381939 cpu_core_0 "11.11111111111111".
- 1381979 cpu_core_0 "11.11111111111111".
- 1381998 cpu_core_0 "11.11111111111111".
- 1382102 cpu_core_0 "11.11111111111111".
- 1382161 cpu_core_0 "11.11111111111111".
- 1382176 cpu_core_0 "11.11111111111111".
- 1382187 cpu_core_0 "11.11111111111111".
- 1382206 cpu_core_0 "11.11111111111111".
- 1382266 cpu_core_0 "11.11111111111111".
- 1382299 cpu_core_0 "11.11111111111111".
- 1382346 cpu_core_0 "11.11111111111111".
- 1382469 cpu_core_0 "11.11111111111111".
- 1382482 cpu_core_0 "11.11111111111111".
- 1382601 cpu_core_0 "11.11111111111111".
- 1382767 cpu_core_0 "11.11111111111111".
- 1382883 cpu_core_0 "11.11111111111111".
- 1383063 cpu_core_0 "11.11111111111111".
- 1383139 cpu_core_0 "11.11111111111111".
- 1383251 cpu_core_0 "11.11111111111111".
- 1383328 cpu_core_0 "11.11111111111111".
- 1383358 cpu_core_0 "11.11111111111111".
- 1383479 cpu_core_0 "11.11111111111111".
- 1383530 cpu_core_0 "11.11111111111111".
- 1383634 cpu_core_0 "11.11111111111111".
- 1383776 cpu_core_0 "11.11111111111111".
- 1383905 cpu_core_0 "11.11111111111111".
- 1383913 cpu_core_0 "11.11111111111111".
- 1384002 cpu_core_0 "11.11111111111111".
- 1384240 cpu_core_0 "11.11111111111111".
- 1384396 cpu_core_0 "11.11111111111111".
- 1384445 cpu_core_0 "11.11111111111111".
- 1384475 cpu_core_0 "11.11111111111111".
- 1384515 cpu_core_0 "11.11111111111111".
- 1384853 cpu_core_0 "11.11111111111111".
- 1384940 cpu_core_0 "11.11111111111111".
- 1385081 cpu_core_0 "11.11111111111111".
- 1385285 cpu_core_0 "11.11111111111111".
- 1385301 cpu_core_0 "11.11111111111111".
- 1385719 cpu_core_0 "11.11111111111111".
- 1385747 cpu_core_0 "11.11111111111111".
- 1385821 cpu_core_0 "11.11111111111111".
- 1385834 cpu_core_0 "11.11111111111111".
- 1385850 cpu_core_0 "11.11111111111111".
- 1386049 cpu_core_0 "11.11111111111111".
- 1386124 cpu_core_0 "11.11111111111111".
- 1386285 cpu_core_0 "11.11111111111111".
- 1386302 cpu_core_0 "11.11111111111111".
- 1386565 cpu_core_0 "11.11111111111111".
- 1386643 cpu_core_0 "11.11111111111111".
- 1386880 cpu_core_0 "11.11111111111111".
- 1387011 cpu_core_0 "11.11111111111111".
- 1387101 cpu_core_0 "11.11111111111111".
- 1387221 cpu_core_0 "11.11111111111111".
- 1387254 cpu_core_0 "11.11111111111111".
- 1387506 cpu_core_0 "11.11111111111111".
- 1387575 cpu_core_0 "11.11111111111111".
- 1387616 cpu_core_0 "11.11111111111111".
- 1387668 cpu_core_0 "11.11111111111111".
- 1387691 cpu_core_0 "11.11111111111111".
- 1387731 cpu_core_0 "11.11111111111111".
- 1387967 cpu_core_0 "11.11111111111111".
- 1387983 cpu_core_0 "11.11111111111111".
- 1388027 cpu_core_0 "11.11111111111111".
- 1388032 cpu_core_0 "11.11111111111111".
- 1388354 cpu_core_0 "11.11111111111111".
- 1388589 cpu_core_0 "11.11111111111111".
- 1388778 cpu_core_0 "11.11111111111111".