Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1205589 cpu_core_0 "11.11111111111111".
- 1205757 cpu_core_0 "11.11111111111111".
- 1205817 cpu_core_0 "11.11111111111111".
- 1205862 cpu_core_0 "11.11111111111111".
- 1206000 cpu_core_0 "11.11111111111111".
- 1206237 cpu_core_0 "11.11111111111111".
- 1206476 cpu_core_0 "11.11111111111111".
- 1206780 cpu_core_0 "11.11111111111111".
- 1206924 cpu_core_0 "11.11111111111111".
- 1207514 cpu_core_0 "11.11111111111111".
- 1207968 cpu_core_0 "11.11111111111111".
- 1207991 cpu_core_0 "11.11111111111111".
- 1208754 cpu_core_0 "11.11111111111111".
- 1208956 cpu_core_0 "11.11111111111111".
- 1209162 cpu_core_0 "11.11111111111111".
- 1210231 cpu_core_0 "11.11111111111111".
- 1211718 cpu_core_0 "11.11111111111111".
- 1212116 cpu_core_0 "11.11111111111111".
- 1212301 cpu_core_0 "11.11111111111111".
- 1212321 cpu_core_0 "11.11111111111111".
- 1212477 cpu_core_0 "11.11111111111111".
- 1212549 cpu_core_0 "11.11111111111111".
- 1212743 cpu_core_0 "11.11111111111111".
- 1212806 cpu_core_0 "11.11111111111111".
- 1212890 cpu_core_0 "11.11111111111111".
- 1213029 cpu_core_0 "11.11111111111111".
- 1213165 cpu_core_0 "11.11111111111111".
- 1213698 cpu_core_0 "11.11111111111111".
- 1213835 cpu_core_0 "11.11111111111111".
- 1213915 cpu_core_0 "11.11111111111111".
- 1214117 cpu_core_0 "11.11111111111111".
- 1214297 cpu_core_0 "11.11111111111111".
- 1214510 cpu_core_0 "11.11111111111111".
- 1214717 cpu_core_0 "11.11111111111111".
- 1214787 cpu_core_0 "11.11111111111111".
- 1214953 cpu_core_0 "11.11111111111111".
- 1215015 cpu_core_0 "11.11111111111111".
- 1215028 cpu_core_0 "11.11111111111111".
- 1215142 cpu_core_0 "11.11111111111111".
- 1215227 cpu_core_0 "11.11111111111111".
- 1215268 cpu_core_0 "11.11111111111111".
- 1215349 cpu_core_0 "11.11111111111111".
- 1215387 cpu_core_0 "11.11111111111111".
- 1215692 cpu_core_0 "11.11111111111111".
- 1215930 cpu_core_0 "11.11111111111111".
- 1215943 cpu_core_0 "11.11111111111111".
- 1215947 cpu_core_0 "11.11111111111111".
- 1216005 cpu_core_0 "11.11111111111111".
- 1216245 cpu_core_0 "11.11111111111111".
- 1216281 cpu_core_0 "11.11111111111111".
- 1216433 cpu_core_0 "11.11111111111111".
- 1216512 cpu_core_0 "11.11111111111111".
- 1216527 cpu_core_0 "11.11111111111111".
- 1216585 cpu_core_0 "11.11111111111111".
- 1216759 cpu_core_0 "11.11111111111111".
- 1216830 cpu_core_0 "11.11111111111111".
- 1216871 cpu_core_0 "11.11111111111111".
- 1216891 cpu_core_0 "11.11111111111111".
- 1216892 cpu_core_0 "11.11111111111111".
- 1217089 cpu_core_0 "11.11111111111111".
- 1217126 cpu_core_0 "11.11111111111111".
- 1217150 cpu_core_0 "11.11111111111111".
- 1217256 cpu_core_0 "11.11111111111111".
- 1217311 cpu_core_0 "11.11111111111111".
- 1217571 cpu_core_0 "11.11111111111111".
- 1217627 cpu_core_0 "11.11111111111111".
- 1217691 cpu_core_0 "11.11111111111111".
- 1217734 cpu_core_0 "11.11111111111111".
- 1217805 cpu_core_0 "11.11111111111111".
- 1217837 cpu_core_0 "11.11111111111111".
- 1217974 cpu_core_0 "11.11111111111111".
- 1218041 cpu_core_0 "11.11111111111111".
- 1218112 cpu_core_0 "11.11111111111111".
- 1218362 cpu_core_0 "11.11111111111111".
- 1218385 cpu_core_0 "11.11111111111111".
- 1218433 cpu_core_0 "11.11111111111111".
- 1218445 cpu_core_0 "11.11111111111111".
- 1218524 cpu_core_0 "11.11111111111111".
- 1218720 cpu_core_0 "11.11111111111111".
- 1218732 cpu_core_0 "11.11111111111111".
- 1218851 cpu_core_0 "11.11111111111111".
- 1218936 cpu_core_0 "11.11111111111111".
- 1218941 cpu_core_0 "11.11111111111111".
- 1218973 cpu_core_0 "11.11111111111111".
- 1218979 cpu_core_0 "11.11111111111111".
- 1219349 cpu_core_0 "11.11111111111111".
- 1225535 cpu_core_0 "11.11111111111111".
- 1228756 cpu_core_0 "11.11111111111111".
- 1234907 cpu_core_0 "11.11111111111111".
- 1235145 cpu_core_0 "11.11111111111111".
- 1235580 cpu_core_0 "11.11111111111111".
- 1235998 cpu_core_0 "11.11111111111111".
- 1236162 cpu_core_0 "11.11111111111111".
- 1236239 cpu_core_0 "11.11111111111111".
- 1236254 cpu_core_0 "11.11111111111111".
- 1236279 cpu_core_0 "11.11111111111111".
- 1236469 cpu_core_0 "11.11111111111111".
- 1237137 cpu_core_0 "11.11111111111111".
- 1237594 cpu_core_0 "11.11111111111111".
- 1237636 cpu_core_0 "11.11111111111111".