Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1271242 cpu_core_0 "11.11111111111111".
- 1271555 cpu_core_0 "11.11111111111111".
- 1271581 cpu_core_0 "11.11111111111111".
- 1271588 cpu_core_0 "11.11111111111111".
- 1271636 cpu_core_0 "11.11111111111111".
- 1271725 cpu_core_0 "11.11111111111111".
- 1271754 cpu_core_0 "11.11111111111111".
- 1271760 cpu_core_0 "11.11111111111111".
- 1271984 cpu_core_0 "11.11111111111111".
- 1272148 cpu_core_0 "11.11111111111111".
- 1272230 cpu_core_0 "11.11111111111111".
- 1272285 cpu_core_0 "11.11111111111111".
- 1272299 cpu_core_0 "11.11111111111111".
- 1272308 cpu_core_0 "11.11111111111111".
- 1272335 cpu_core_0 "11.11111111111111".
- 1272520 cpu_core_0 "11.11111111111111".
- 1272548 cpu_core_0 "11.11111111111111".
- 1272605 cpu_core_0 "11.11111111111111".
- 1272651 cpu_core_0 "11.11111111111111".
- 1272703 cpu_core_0 "11.11111111111111".
- 1272757 cpu_core_0 "11.11111111111111".
- 1272800 cpu_core_0 "11.11111111111111".
- 1272975 cpu_core_0 "11.11111111111111".
- 1273040 cpu_core_0 "11.11111111111111".
- 1273098 cpu_core_0 "11.11111111111111".
- 1273185 cpu_core_0 "11.11111111111111".
- 1273824 cpu_core_0 "11.11111111111111".
- 1273935 cpu_core_0 "11.11111111111111".
- 1274002 cpu_core_0 "11.11111111111111".
- 1274028 cpu_core_0 "11.11111111111111".
- 1274213 cpu_core_0 "11.11111111111111".
- 1274217 cpu_core_0 "11.11111111111111".
- 1274307 cpu_core_0 "11.11111111111111".
- 1274362 cpu_core_0 "11.11111111111111".
- 1274565 cpu_core_0 "11.11111111111111".
- 1274774 cpu_core_0 "11.11111111111111".
- 1274811 cpu_core_0 "11.11111111111111".
- 1274997 cpu_core_0 "11.11111111111111".
- 1275018 cpu_core_0 "11.11111111111111".
- 1275053 cpu_core_0 "11.11111111111111".
- 1275115 cpu_core_0 "11.11111111111111".
- 1275487 cpu_core_0 "11.11111111111111".
- 1275581 cpu_core_0 "11.11111111111111".
- 1275730 cpu_core_0 "11.11111111111111".
- 1275733 cpu_core_0 "11.11111111111111".
- 1275786 cpu_core_0 "11.11111111111111".
- 1275831 cpu_core_0 "11.11111111111111".
- 1275837 cpu_core_0 "11.11111111111111".
- 1275846 cpu_core_0 "11.11111111111111".
- 1275988 cpu_core_0 "11.11111111111111".
- 1276011 cpu_core_0 "11.11111111111111".
- 1276127 cpu_core_0 "11.11111111111111".
- 1276214 cpu_core_0 "11.11111111111111".
- 1276271 cpu_core_0 "11.11111111111111".
- 1276356 cpu_core_0 "11.11111111111111".
- 1276466 cpu_core_0 "11.11111111111111".
- 1276519 cpu_core_0 "11.11111111111111".
- 1276569 cpu_core_0 "11.11111111111111".
- 1276605 cpu_core_0 "11.11111111111111".
- 1276709 cpu_core_0 "11.11111111111111".
- 1276842 cpu_core_0 "11.11111111111111".
- 1276909 cpu_core_0 "11.11111111111111".
- 1277067 cpu_core_0 "11.11111111111111".
- 1277235 cpu_core_0 "11.11111111111111".
- 1277286 cpu_core_0 "11.11111111111111".
- 1277337 cpu_core_0 "11.11111111111111".
- 1277355 cpu_core_0 "11.11111111111111".
- 1277467 cpu_core_0 "11.11111111111111".
- 1277473 cpu_core_0 "11.11111111111111".
- 1277552 cpu_core_0 "11.11111111111111".
- 1277642 cpu_core_0 "11.11111111111111".
- 1277701 cpu_core_0 "11.11111111111111".
- 1277776 cpu_core_0 "11.11111111111111".
- 1278008 cpu_core_0 "11.11111111111111".
- 1278044 cpu_core_0 "11.11111111111111".
- 1278049 cpu_core_0 "11.11111111111111".
- 1278140 cpu_core_0 "11.11111111111111".
- 1278145 cpu_core_0 "11.11111111111111".
- 1278150 cpu_core_0 "11.11111111111111".
- 1278257 cpu_core_0 "11.11111111111111".
- 1278283 cpu_core_0 "11.11111111111111".
- 1278398 cpu_core_0 "11.11111111111111".
- 1278436 cpu_core_0 "11.11111111111111".
- 1278798 cpu_core_0 "11.11111111111111".
- 1278960 cpu_core_0 "11.11111111111111".
- 1279145 cpu_core_0 "11.11111111111111".
- 1279256 cpu_core_0 "11.11111111111111".
- 1279262 cpu_core_0 "11.11111111111111".
- 1279313 cpu_core_0 "11.11111111111111".
- 1279384 cpu_core_0 "11.11111111111111".
- 1279455 cpu_core_0 "11.11111111111111".
- 1279478 cpu_core_0 "11.11111111111111".
- 1279518 cpu_core_0 "11.11111111111111".
- 1279520 cpu_core_0 "11.11111111111111".
- 1279599 cpu_core_0 "11.11111111111111".
- 1279601 cpu_core_0 "11.11111111111111".
- 1279630 cpu_core_0 "11.11111111111111".
- 1279647 cpu_core_0 "11.11111111111111".
- 1279717 cpu_core_0 "11.11111111111111".
- 1279834 cpu_core_0 "11.11111111111111".