Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1182074 cpu_core_0 "11.11111111111111".
- 1182100 cpu_core_0 "11.11111111111111".
- 1182145 cpu_core_0 "11.11111111111111".
- 1182152 cpu_core_0 "11.11111111111111".
- 1182164 cpu_core_0 "11.11111111111111".
- 1182167 cpu_core_0 "11.11111111111111".
- 1182189 cpu_core_0 "11.11111111111111".
- 1182289 cpu_core_0 "11.11111111111111".
- 1182370 cpu_core_0 "11.11111111111111".
- 1182388 cpu_core_0 "11.11111111111111".
- 1182521 cpu_core_0 "11.11111111111111".
- 1182550 cpu_core_0 "11.11111111111111".
- 1182982 cpu_core_0 "11.11111111111111".
- 1183112 cpu_core_0 "11.11111111111111".
- 1183348 cpu_core_0 "11.11111111111111".
- 1183730 cpu_core_0 "11.11111111111111".
- 1183818 cpu_core_0 "11.11111111111111".
- 1183861 cpu_core_0 "11.11111111111111".
- 1184019 cpu_core_0 "11.11111111111111".
- 1184073 cpu_core_0 "11.11111111111111".
- 1184098 cpu_core_0 "11.11111111111111".
- 1184186 cpu_core_0 "11.11111111111111".
- 1184316 cpu_core_0 "11.11111111111111".
- 1184547 cpu_core_0 "11.11111111111111".
- 1184741 cpu_core_0 "11.11111111111111".
- 1184919 cpu_core_0 "11.11111111111111".
- 1184920 cpu_core_0 "11.11111111111111".
- 1185209 cpu_core_0 "11.11111111111111".
- 1185228 cpu_core_0 "11.11111111111111".
- 1185262 cpu_core_0 "11.11111111111111".
- 1185659 cpu_core_0 "11.11111111111111".
- 1185706 cpu_core_0 "11.11111111111111".
- 1185711 cpu_core_0 "11.11111111111111".
- 1185768 cpu_core_0 "11.11111111111111".
- 1185782 cpu_core_0 "11.11111111111111".
- 1185793 cpu_core_0 "11.11111111111111".
- 1186027 cpu_core_0 "11.11111111111111".
- 1186045 cpu_core_0 "11.11111111111111".
- 1186052 cpu_core_0 "11.11111111111111".
- 1186176 cpu_core_0 "11.11111111111111".
- 1186252 cpu_core_0 "11.11111111111111".
- 1186371 cpu_core_0 "11.11111111111111".
- 1186476 cpu_core_0 "11.11111111111111".
- 1186728 cpu_core_0 "11.11111111111111".
- 1186744 cpu_core_0 "11.11111111111111".
- 1186849 cpu_core_0 "11.11111111111111".
- 1186860 cpu_core_0 "11.11111111111111".
- 1186907 cpu_core_0 "11.11111111111111".
- 1187113 cpu_core_0 "11.11111111111111".
- 1187184 cpu_core_0 "11.11111111111111".
- 1187455 cpu_core_0 "11.11111111111111".
- 1187465 cpu_core_0 "11.11111111111111".
- 1187491 cpu_core_0 "11.11111111111111".
- 1187512 cpu_core_0 "11.11111111111111".
- 1187611 cpu_core_0 "11.11111111111111".
- 1187621 cpu_core_0 "11.11111111111111".
- 1187624 cpu_core_0 "11.11111111111111".
- 1187699 cpu_core_0 "11.11111111111111".
- 1187718 cpu_core_0 "11.11111111111111".
- 1187761 cpu_core_0 "11.11111111111111".
- 1187827 cpu_core_0 "11.11111111111111".
- 1187848 cpu_core_0 "11.11111111111111".
- 1187871 cpu_core_0 "11.11111111111111".
- 1188241 cpu_core_0 "11.11111111111111".
- 1188270 cpu_core_0 "11.11111111111111".
- 1188637 cpu_core_0 "11.11111111111111".
- 1188649 cpu_core_0 "11.11111111111111".
- 1188763 cpu_core_0 "11.11111111111111".
- 1188769 cpu_core_0 "11.11111111111111".
- 1188931 cpu_core_0 "11.11111111111111".
- 1189083 cpu_core_0 "11.11111111111111".
- 1189750 cpu_core_0 "11.11111111111111".
- 1189880 cpu_core_0 "11.11111111111111".
- 1190029 cpu_core_0 "11.11111111111111".
- 1190156 cpu_core_0 "11.11111111111111".
- 1190170 cpu_core_0 "11.11111111111111".
- 1190266 cpu_core_0 "11.11111111111111".
- 1190469 cpu_core_0 "11.11111111111111".
- 1190507 cpu_core_0 "11.11111111111111".
- 1190583 cpu_core_0 "11.11111111111111".
- 1190595 cpu_core_0 "11.11111111111111".
- 1190597 cpu_core_0 "11.11111111111111".
- 1190603 cpu_core_0 "11.11111111111111".
- 1190899 cpu_core_0 "11.11111111111111".
- 1190923 cpu_core_0 "11.11111111111111".
- 1191010 cpu_core_0 "11.11111111111111".
- 1191070 cpu_core_0 "11.11111111111111".
- 1191256 cpu_core_0 "11.11111111111111".
- 1191446 cpu_core_0 "11.11111111111111".
- 1191614 cpu_core_0 "11.11111111111111".
- 1191655 cpu_core_0 "11.11111111111111".
- 1191691 cpu_core_0 "11.11111111111111".
- 1191699 cpu_core_0 "11.11111111111111".
- 1191707 cpu_core_0 "11.11111111111111".
- 1191825 cpu_core_0 "11.11111111111111".
- 1191932 cpu_core_0 "11.11111111111111".
- 1192070 cpu_core_0 "11.11111111111111".
- 1192210 cpu_core_0 "11.11111111111111".
- 1192282 cpu_core_0 "11.11111111111111".
- 1192433 cpu_core_0 "11.11111111111111".