Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1195741 cpu_core_0 "11.111111111111112".
- 1195879 cpu_core_0 "11.111111111111112".
- 1195958 cpu_core_0 "11.111111111111112".
- 1196004 cpu_core_0 "11.111111111111112".
- 1196055 cpu_core_0 "11.111111111111112".
- 1196072 cpu_core_0 "11.111111111111112".
- 1196128 cpu_core_0 "11.111111111111112".
- 1196249 cpu_core_0 "11.111111111111112".
- 1196554 cpu_core_0 "11.111111111111112".
- 1196578 cpu_core_0 "11.111111111111112".
- 1196604 cpu_core_0 "11.111111111111112".
- 1196720 cpu_core_0 "11.111111111111112".
- 1196753 cpu_core_0 "11.111111111111112".
- 1196821 cpu_core_0 "11.111111111111112".
- 1197113 cpu_core_0 "11.111111111111112".
- 1197348 cpu_core_0 "11.111111111111112".
- 1197407 cpu_core_0 "11.111111111111112".
- 1197576 cpu_core_0 "11.111111111111112".
- 1197660 cpu_core_0 "11.111111111111112".
- 1198433 cpu_core_0 "11.111111111111112".
- 1199186 cpu_core_0 "11.111111111111112".
- 1199326 cpu_core_0 "11.111111111111112".
- 1199465 cpu_core_0 "11.111111111111112".
- 1199474 cpu_core_0 "11.111111111111112".
- 1199625 cpu_core_0 "11.111111111111112".
- 1199706 cpu_core_0 "11.111111111111112".
- 1199851 cpu_core_0 "11.111111111111112".
- 1199866 cpu_core_0 "11.111111111111112".
- 1200177 cpu_core_0 "11.111111111111112".
- 1200235 cpu_core_0 "11.111111111111112".
- 1200293 cpu_core_0 "11.111111111111112".
- 1201058 cpu_core_0 "11.111111111111112".
- 1201496 cpu_core_0 "11.111111111111112".
- 1201618 cpu_core_0 "11.111111111111112".
- 1201789 cpu_core_0 "11.111111111111112".
- 1201871 cpu_core_0 "11.111111111111112".
- 1202033 cpu_core_0 "11.111111111111112".
- 1202034 cpu_core_0 "11.111111111111112".
- 1202073 cpu_core_0 "11.111111111111112".
- 1202094 cpu_core_0 "11.111111111111112".
- 1202114 cpu_core_0 "11.111111111111112".
- 1202140 cpu_core_0 "11.111111111111112".
- 1202144 cpu_core_0 "11.111111111111112".
- 1202254 cpu_core_0 "11.111111111111112".
- 1202268 cpu_core_0 "11.111111111111112".
- 1202374 cpu_core_0 "11.111111111111112".
- 1202394 cpu_core_0 "11.111111111111112".
- 1202475 cpu_core_0 "11.111111111111112".
- 1202518 cpu_core_0 "11.111111111111112".
- 1202916 cpu_core_0 "11.111111111111112".
- 1203043 cpu_core_0 "11.111111111111112".
- 1203047 cpu_core_0 "11.111111111111112".
- 1203167 cpu_core_0 "11.111111111111112".
- 1203544 cpu_core_0 "11.111111111111112".
- 1203851 cpu_core_0 "11.111111111111112".
- 1203926 cpu_core_0 "11.111111111111112".
- 1203942 cpu_core_0 "11.111111111111112".
- 1204051 cpu_core_0 "11.111111111111112".
- 1204143 cpu_core_0 "11.111111111111112".
- 1204164 cpu_core_0 "11.111111111111112".
- 1204277 cpu_core_0 "11.111111111111112".
- 1204317 cpu_core_0 "11.111111111111112".
- 1204904 cpu_core_0 "11.111111111111112".
- 1204929 cpu_core_0 "11.111111111111112".
- 1205127 cpu_core_0 "11.111111111111112".
- 1205141 cpu_core_0 "11.111111111111112".
- 1205528 cpu_core_0 "11.111111111111112".
- 1205558 cpu_core_0 "11.111111111111112".
- 1209474 cpu_core_0 "11.111111111111112".
- 1213216 cpu_core_0 "11.111111111111112".
- 1214121 cpu_core_0 "11.111111111111112".
- 1214179 cpu_core_0 "11.111111111111112".
- 1214235 cpu_core_0 "11.111111111111112".
- 1214440 cpu_core_0 "11.111111111111112".
- 1214720 cpu_core_0 "11.111111111111112".
- 1214897 cpu_core_0 "11.111111111111112".
- 1215380 cpu_core_0 "11.111111111111112".
- 1215386 cpu_core_0 "11.111111111111112".
- 1215866 cpu_core_0 "11.111111111111112".
- 1216039 cpu_core_0 "11.111111111111112".
- 1216273 cpu_core_0 "11.111111111111112".
- 1216339 cpu_core_0 "11.111111111111112".
- 1216350 cpu_core_0 "11.111111111111112".
- 1216419 cpu_core_0 "11.111111111111112".
- 1216533 cpu_core_0 "11.111111111111112".
- 1216602 cpu_core_0 "11.111111111111112".
- 1216831 cpu_core_0 "11.111111111111112".
- 1216965 cpu_core_0 "11.111111111111112".
- 1217000 cpu_core_0 "11.111111111111112".
- 1217317 cpu_core_0 "11.111111111111112".
- 1217319 cpu_core_0 "11.111111111111112".
- 1217562 cpu_core_0 "11.111111111111112".
- 1217569 cpu_core_0 "11.111111111111112".
- 1217678 cpu_core_0 "11.111111111111112".
- 1217801 cpu_core_0 "11.111111111111112".
- 1217930 cpu_core_0 "11.111111111111112".
- 1217976 cpu_core_0 "11.111111111111112".
- 1218164 cpu_core_0 "11.111111111111112".
- 1218324 cpu_core_0 "11.111111111111112".
- 1218442 cpu_core_0 "11.111111111111112".