Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1207211 cpu_core_0 "55.00000000000001".
- 1207325 cpu_core_0 "55.00000000000001".
- 1207370 cpu_core_0 "55.00000000000001".
- 1211633 cpu_core_0 "55.00000000000001".
- 1213123 cpu_core_0 "55.00000000000001".
- 1219610 cpu_core_0 "55.00000000000001".
- 1219841 cpu_core_0 "55.00000000000001".
- 1219852 cpu_core_0 "55.00000000000001".
- 1219853 cpu_core_0 "55.00000000000001".
- 1219871 cpu_core_0 "55.00000000000001".
- 1219874 cpu_core_0 "55.00000000000001".
- 1219879 cpu_core_0 "55.00000000000001".
- 1220020 cpu_core_0 "55.00000000000001".
- 1220025 cpu_core_0 "55.00000000000001".
- 1220059 cpu_core_0 "55.00000000000001".
- 1220094 cpu_core_0 "55.00000000000001".
- 1220189 cpu_core_0 "55.00000000000001".
- 1220229 cpu_core_0 "55.00000000000001".
- 1220252 cpu_core_0 "55.00000000000001".
- 1220452 cpu_core_0 "55.00000000000001".
- 1220748 cpu_core_0 "55.00000000000001".
- 1220794 cpu_core_0 "55.00000000000001".
- 1220801 cpu_core_0 "55.00000000000001".
- 1221128 cpu_core_0 "55.00000000000001".
- 1221136 cpu_core_0 "55.00000000000001".
- 1221166 cpu_core_0 "55.00000000000001".
- 1221175 cpu_core_0 "55.00000000000001".
- 1221184 cpu_core_0 "55.00000000000001".
- 1221185 cpu_core_0 "55.00000000000001".
- 1221243 cpu_core_0 "55.00000000000001".
- 1221252 cpu_core_0 "55.00000000000001".
- 1221265 cpu_core_0 "55.00000000000001".
- 1221314 cpu_core_0 "55.00000000000001".
- 1221614 cpu_core_0 "55.00000000000001".
- 1221848 cpu_core_0 "55.00000000000001".
- 1222086 cpu_core_0 "55.00000000000001".
- 1222126 cpu_core_0 "55.00000000000001".
- 1222153 cpu_core_0 "55.00000000000001".
- 1222193 cpu_core_0 "55.00000000000001".
- 1222274 cpu_core_0 "55.00000000000001".
- 1222339 cpu_core_0 "55.00000000000001".
- 1222344 cpu_core_0 "55.00000000000001".
- 1222351 cpu_core_0 "55.00000000000001".
- 1222366 cpu_core_0 "55.00000000000001".
- 1222375 cpu_core_0 "55.00000000000001".
- 1222397 cpu_core_0 "55.00000000000001".
- 1222404 cpu_core_0 "55.00000000000001".
- 1222409 cpu_core_0 "55.00000000000001".
- 1222456 cpu_core_0 "55.00000000000001".
- 1222543 cpu_core_0 "55.00000000000001".
- 1222574 cpu_core_0 "55.00000000000001".
- 1222758 cpu_core_0 "55.00000000000001".
- 1222833 cpu_core_0 "55.00000000000001".
- 1222834 cpu_core_0 "55.00000000000001".
- 1222835 cpu_core_0 "55.00000000000001".
- 1222863 cpu_core_0 "55.00000000000001".
- 1222874 cpu_core_0 "55.00000000000001".
- 1222877 cpu_core_0 "55.00000000000001".
- 1222881 cpu_core_0 "55.00000000000001".
- 1222908 cpu_core_0 "55.00000000000001".
- 1222909 cpu_core_0 "55.00000000000001".
- 1222950 cpu_core_0 "55.00000000000001".
- 1222951 cpu_core_0 "55.00000000000001".
- 1222983 cpu_core_0 "55.00000000000001".
- 1223029 cpu_core_0 "55.00000000000001".
- 1223035 cpu_core_0 "55.00000000000001".
- 1223181 cpu_core_0 "55.00000000000001".
- 1223224 cpu_core_0 "55.00000000000001".
- 1223239 cpu_core_0 "55.00000000000001".
- 1223249 cpu_core_0 "55.00000000000001".
- 1223291 cpu_core_0 "55.00000000000001".
- 1223301 cpu_core_0 "55.00000000000001".
- 1223324 cpu_core_0 "55.00000000000001".
- 1223400 cpu_core_0 "55.00000000000001".
- 1223406 cpu_core_0 "55.00000000000001".
- 1223698 cpu_core_0 "55.00000000000001".
- 1223776 cpu_core_0 "55.00000000000001".
- 1223834 cpu_core_0 "55.00000000000001".
- 1223870 cpu_core_0 "55.00000000000001".
- 1223950 cpu_core_0 "55.00000000000001".
- 1223952 cpu_core_0 "55.00000000000001".
- 1223963 cpu_core_0 "55.00000000000001".
- 1223964 cpu_core_0 "55.00000000000001".
- 1223973 cpu_core_0 "55.00000000000001".
- 1224042 cpu_core_0 "55.00000000000001".
- 1224110 cpu_core_0 "55.00000000000001".
- 1224142 cpu_core_0 "55.00000000000001".
- 1224192 cpu_core_0 "55.00000000000001".
- 1224464 cpu_core_0 "55.00000000000001".
- 1224558 cpu_core_0 "55.00000000000001".
- 1224561 cpu_core_0 "55.00000000000001".
- 1224606 cpu_core_0 "55.00000000000001".
- 1224613 cpu_core_0 "55.00000000000001".
- 1224636 cpu_core_0 "55.00000000000001".
- 1224645 cpu_core_0 "55.00000000000001".
- 1224824 cpu_core_0 "55.00000000000001".
- 1225072 cpu_core_0 "55.00000000000001".
- 1225073 cpu_core_0 "55.00000000000001".
- 1225161 cpu_core_0 "55.00000000000001".
- 1225164 cpu_core_0 "55.00000000000001".