Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1344682 cpu_core_0 "11.11111111111111".
- 1344758 cpu_core_0 "11.11111111111111".
- 1344881 cpu_core_0 "11.11111111111111".
- 1345071 cpu_core_0 "11.11111111111111".
- 1345545 cpu_core_0 "11.11111111111111".
- 1345566 cpu_core_0 "11.11111111111111".
- 1345596 cpu_core_0 "11.11111111111111".
- 1345961 cpu_core_0 "11.11111111111111".
- 1345991 cpu_core_0 "11.11111111111111".
- 1346045 cpu_core_0 "11.11111111111111".
- 1346058 cpu_core_0 "11.11111111111111".
- 1346118 cpu_core_0 "11.11111111111111".
- 1346130 cpu_core_0 "11.11111111111111".
- 1346200 cpu_core_0 "11.11111111111111".
- 1346221 cpu_core_0 "11.11111111111111".
- 1346225 cpu_core_0 "11.11111111111111".
- 1346240 cpu_core_0 "11.11111111111111".
- 1346298 cpu_core_0 "11.11111111111111".
- 1346362 cpu_core_0 "11.11111111111111".
- 1346452 cpu_core_0 "11.11111111111111".
- 1346558 cpu_core_0 "11.11111111111111".
- 1346609 cpu_core_0 "11.11111111111111".
- 1346794 cpu_core_0 "11.11111111111111".
- 1346827 cpu_core_0 "11.11111111111111".
- 1347067 cpu_core_0 "11.11111111111111".
- 1347089 cpu_core_0 "11.11111111111111".
- 1347147 cpu_core_0 "11.11111111111111".
- 1347150 cpu_core_0 "11.11111111111111".
- 1347261 cpu_core_0 "11.11111111111111".
- 1347530 cpu_core_0 "11.11111111111111".
- 1347654 cpu_core_0 "11.11111111111111".
- 1347748 cpu_core_0 "11.11111111111111".
- 1347991 cpu_core_0 "11.11111111111111".
- 1348284 cpu_core_0 "11.11111111111111".
- 1348305 cpu_core_0 "11.11111111111111".
- 1348358 cpu_core_0 "11.11111111111111".
- 1348426 cpu_core_0 "11.11111111111111".
- 1348460 cpu_core_0 "11.11111111111111".
- 1348548 cpu_core_0 "11.11111111111111".
- 1348629 cpu_core_0 "11.11111111111111".
- 1348631 cpu_core_0 "11.11111111111111".
- 1348767 cpu_core_0 "11.11111111111111".
- 1348821 cpu_core_0 "11.11111111111111".
- 1348901 cpu_core_0 "11.11111111111111".
- 1348940 cpu_core_0 "11.11111111111111".
- 1348989 cpu_core_0 "11.11111111111111".
- 1349049 cpu_core_0 "11.11111111111111".
- 1349347 cpu_core_0 "11.11111111111111".
- 1349468 cpu_core_0 "11.11111111111111".
- 1349811 cpu_core_0 "11.11111111111111".
- 1349865 cpu_core_0 "11.11111111111111".
- 1349913 cpu_core_0 "11.11111111111111".
- 1350058 cpu_core_0 "11.11111111111111".
- 1350189 cpu_core_0 "11.11111111111111".
- 1350191 cpu_core_0 "11.11111111111111".
- 1350351 cpu_core_0 "11.11111111111111".
- 1350376 cpu_core_0 "11.11111111111111".
- 1350421 cpu_core_0 "11.11111111111111".
- 1350463 cpu_core_0 "11.11111111111111".
- 1350550 cpu_core_0 "11.11111111111111".
- 1350631 cpu_core_0 "11.11111111111111".
- 1350746 cpu_core_0 "11.11111111111111".
- 1350764 cpu_core_0 "11.11111111111111".
- 1350829 cpu_core_0 "11.11111111111111".
- 1350832 cpu_core_0 "11.11111111111111".
- 1351044 cpu_core_0 "11.11111111111111".
- 1351160 cpu_core_0 "11.11111111111111".
- 1351255 cpu_core_0 "11.11111111111111".
- 1351257 cpu_core_0 "11.11111111111111".
- 1351601 cpu_core_0 "11.11111111111111".
- 1351696 cpu_core_0 "11.11111111111111".
- 1351714 cpu_core_0 "11.11111111111111".
- 1351761 cpu_core_0 "11.11111111111111".
- 1351771 cpu_core_0 "11.11111111111111".
- 1351866 cpu_core_0 "11.11111111111111".
- 1352067 cpu_core_0 "11.11111111111111".
- 1352504 cpu_core_0 "11.11111111111111".
- 1352628 cpu_core_0 "11.11111111111111".
- 1352899 cpu_core_0 "11.11111111111111".
- 1352991 cpu_core_0 "11.11111111111111".
- 1353040 cpu_core_0 "11.11111111111111".
- 1353145 cpu_core_0 "11.11111111111111".
- 1353709 cpu_core_0 "11.11111111111111".
- 1353910 cpu_core_0 "11.11111111111111".
- 1353934 cpu_core_0 "11.11111111111111".
- 1353936 cpu_core_0 "11.11111111111111".
- 1353985 cpu_core_0 "11.11111111111111".
- 1354223 cpu_core_0 "11.11111111111111".
- 1354239 cpu_core_0 "11.11111111111111".
- 1354301 cpu_core_0 "11.11111111111111".
- 1354404 cpu_core_0 "11.11111111111111".
- 1354617 cpu_core_0 "11.11111111111111".
- 1354631 cpu_core_0 "11.11111111111111".
- 1354723 cpu_core_0 "11.11111111111111".
- 1354851 cpu_core_0 "11.11111111111111".
- 1354980 cpu_core_0 "11.11111111111111".
- 1355194 cpu_core_0 "11.11111111111111".
- 1355277 cpu_core_0 "11.11111111111111".
- 1355370 cpu_core_0 "11.11111111111111".
- 1355434 cpu_core_0 "11.11111111111111".