Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1149530 cpu_core_0 "11.111111111111112".
- 1149570 cpu_core_0 "11.111111111111112".
- 1149656 cpu_core_0 "11.111111111111112".
- 1149957 cpu_core_0 "11.111111111111112".
- 1150292 cpu_core_0 "11.111111111111112".
- 1150451 cpu_core_0 "11.111111111111112".
- 1150467 cpu_core_0 "11.111111111111112".
- 1150622 cpu_core_0 "11.111111111111112".
- 1150794 cpu_core_0 "11.111111111111112".
- 1150930 cpu_core_0 "11.111111111111112".
- 1151033 cpu_core_0 "11.111111111111112".
- 1151051 cpu_core_0 "11.111111111111112".
- 1151320 cpu_core_0 "11.111111111111112".
- 1151639 cpu_core_0 "11.111111111111112".
- 1151822 cpu_core_0 "11.111111111111112".
- 1151887 cpu_core_0 "11.111111111111112".
- 1152014 cpu_core_0 "11.111111111111112".
- 1152128 cpu_core_0 "11.111111111111112".
- 1152901 cpu_core_0 "11.111111111111112".
- 1153535 cpu_core_0 "11.111111111111112".
- 1154428 cpu_core_0 "11.111111111111112".
- 1154466 cpu_core_0 "11.111111111111112".
- 1154470 cpu_core_0 "11.111111111111112".
- 1154715 cpu_core_0 "11.111111111111112".
- 1154857 cpu_core_0 "11.111111111111112".
- 1154879 cpu_core_0 "11.111111111111112".
- 1154996 cpu_core_0 "11.111111111111112".
- 1155017 cpu_core_0 "11.111111111111112".
- 1155126 cpu_core_0 "11.111111111111112".
- 1155186 cpu_core_0 "11.111111111111112".
- 1155329 cpu_core_0 "11.111111111111112".
- 1155626 cpu_core_0 "11.111111111111112".
- 1155836 cpu_core_0 "11.111111111111112".
- 1156165 cpu_core_0 "11.111111111111112".
- 1156217 cpu_core_0 "11.111111111111112".
- 1156276 cpu_core_0 "11.111111111111112".
- 1156513 cpu_core_0 "11.111111111111112".
- 1157069 cpu_core_0 "11.111111111111112".
- 1157355 cpu_core_0 "11.111111111111112".
- 1157402 cpu_core_0 "11.111111111111112".
- 1157446 cpu_core_0 "11.111111111111112".
- 1157510 cpu_core_0 "11.111111111111112".
- 1157618 cpu_core_0 "11.111111111111112".
- 1157968 cpu_core_0 "11.111111111111112".
- 1158357 cpu_core_0 "11.111111111111112".
- 1159104 cpu_core_0 "11.111111111111112".
- 1159165 cpu_core_0 "11.111111111111112".
- 1159801 cpu_core_0 "11.111111111111112".
- 1160200 cpu_core_0 "11.111111111111112".
- 1160233 cpu_core_0 "11.111111111111112".
- 1160515 cpu_core_0 "11.111111111111112".
- 1160553 cpu_core_0 "11.111111111111112".
- 1160842 cpu_core_0 "11.111111111111112".
- 1160900 cpu_core_0 "11.111111111111112".
- 1161130 cpu_core_0 "11.111111111111112".
- 1161313 cpu_core_0 "11.111111111111112".
- 1161732 cpu_core_0 "11.111111111111112".
- 1161746 cpu_core_0 "11.111111111111112".
- 1162076 cpu_core_0 "11.111111111111112".
- 1162108 cpu_core_0 "11.111111111111112".
- 1162452 cpu_core_0 "11.111111111111112".
- 1162565 cpu_core_0 "11.111111111111112".
- 1162589 cpu_core_0 "11.111111111111112".
- 1162903 cpu_core_0 "11.111111111111112".
- 1162921 cpu_core_0 "11.111111111111112".
- 1162961 cpu_core_0 "11.111111111111112".
- 1163089 cpu_core_0 "11.111111111111112".
- 1163770 cpu_core_0 "11.111111111111112".
- 1164127 cpu_core_0 "11.111111111111112".
- 1164315 cpu_core_0 "11.111111111111112".
- 1164415 cpu_core_0 "11.111111111111112".
- 1165292 cpu_core_0 "11.111111111111112".
- 1165698 cpu_core_0 "11.111111111111112".
- 1166236 cpu_core_0 "11.111111111111112".
- 1166539 cpu_core_0 "11.111111111111112".
- 1166801 cpu_core_0 "11.111111111111112".
- 1166874 cpu_core_0 "11.111111111111112".
- 1166994 cpu_core_0 "11.111111111111112".
- 1167024 cpu_core_0 "11.111111111111112".
- 1167130 cpu_core_0 "11.111111111111112".
- 1167681 cpu_core_0 "11.111111111111112".
- 1167761 cpu_core_0 "11.111111111111112".
- 1167880 cpu_core_0 "11.111111111111112".
- 1168228 cpu_core_0 "11.111111111111112".
- 1168327 cpu_core_0 "11.111111111111112".
- 1168452 cpu_core_0 "11.111111111111112".
- 1168549 cpu_core_0 "11.111111111111112".
- 1168606 cpu_core_0 "11.111111111111112".
- 1168643 cpu_core_0 "11.111111111111112".
- 1168730 cpu_core_0 "11.111111111111112".
- 1168910 cpu_core_0 "11.111111111111112".
- 1169276 cpu_core_0 "11.111111111111112".
- 1169531 cpu_core_0 "11.111111111111112".
- 1170118 cpu_core_0 "11.111111111111112".
- 1170306 cpu_core_0 "11.111111111111112".
- 1170373 cpu_core_0 "11.111111111111112".
- 1170746 cpu_core_0 "11.111111111111112".
- 1172522 cpu_core_0 "11.111111111111112".
- 1172530 cpu_core_0 "11.111111111111112".
- 1172563 cpu_core_0 "11.111111111111112".