Matches in ISWC2014 Benchmark for { ?s ?p 57.00000000000001. }
- 1708027 cpu_core_0 "57.00000000000001".
- 1708182 cpu_core_0 "57.00000000000001".
- 1708309 cpu_core_0 "57.00000000000001".
- 1708512 cpu_core_0 "57.00000000000001".
- 1708671 cpu_core_0 "57.00000000000001".
- 1709164 cpu_core_0 "57.00000000000001".
- 1709389 cpu_core_0 "57.00000000000001".
- 1709641 cpu_core_0 "57.00000000000001".
- 1709727 cpu_core_0 "57.00000000000001".
- 1709916 cpu_core_0 "57.00000000000001".
- 1709946 cpu_core_0 "57.00000000000001".
- 1710111 cpu_core_0 "57.00000000000001".
- 1710374 cpu_core_0 "57.00000000000001".
- 1710397 cpu_core_0 "57.00000000000001".
- 1710398 cpu_core_0 "57.00000000000001".
- 1712576 cpu_core_0 "57.00000000000001".
- 1712593 cpu_core_0 "57.00000000000001".
- 1712596 cpu_core_0 "57.00000000000001".
- 1712610 cpu_core_0 "57.00000000000001".
- 1712625 cpu_core_0 "57.00000000000001".
- 1712636 cpu_core_0 "57.00000000000001".
- 1712639 cpu_core_0 "57.00000000000001".
- 1712670 cpu_core_0 "57.00000000000001".
- 1712672 cpu_core_0 "57.00000000000001".
- 1712725 cpu_core_0 "57.00000000000001".
- 1712833 cpu_core_0 "57.00000000000001".
- 1712844 cpu_core_0 "57.00000000000001".
- 1712904 cpu_core_0 "57.00000000000001".
- 1712926 cpu_core_0 "57.00000000000001".
- 1712967 cpu_core_0 "57.00000000000001".
- 1712977 cpu_core_0 "57.00000000000001".
- 1719624 cpu_core_0 "57.00000000000001".
- 1767860 cpu_core_0 "57.00000000000001".
- 1815864 cpu_core_0 "57.00000000000001".
- 1846150 cpu_core_0 "57.00000000000001".
- 1857987 cpu_core_0 "57.00000000000001".
- 1883690 cpu_core_0 "57.00000000000001".
- 2074412 cpu_core_0 "57.00000000000001".
- 209947 cpu_core_0 "57.00000000000001".
- 211312 cpu_core_0 "57.00000000000001".
- 211762 cpu_core_0 "57.00000000000001".
- 211826 cpu_core_0 "57.00000000000001".
- 212410 cpu_core_0 "57.00000000000001".
- 212578 cpu_core_0 "57.00000000000001".
- 212697 cpu_core_0 "57.00000000000001".
- 213278 cpu_core_0 "57.00000000000001".
- 214388 cpu_core_0 "57.00000000000001".
- 215239 cpu_core_0 "57.00000000000001".
- 215699 cpu_core_0 "57.00000000000001".
- 216291 cpu_core_0 "57.00000000000001".
- 216807 cpu_core_0 "57.00000000000001".
- 218094 cpu_core_0 "57.00000000000001".
- 218320 cpu_core_0 "57.00000000000001".
- 220148 cpu_core_0 "57.00000000000001".
- 220452 cpu_core_0 "57.00000000000001".
- 220981 cpu_core_0 "57.00000000000001".
- 221137 cpu_core_0 "57.00000000000001".
- 222550 cpu_core_0 "57.00000000000001".
- 224130 cpu_core_0 "57.00000000000001".
- 225439 cpu_core_0 "57.00000000000001".
- 228510 cpu_core_0 "57.00000000000001".
- 230432 cpu_core_0 "57.00000000000001".
- 231838 cpu_core_0 "57.00000000000001".
- 233377 cpu_core_0 "57.00000000000001".
- 233477 cpu_core_0 "57.00000000000001".
- 233795 cpu_core_0 "57.00000000000001".
- 234084 cpu_core_0 "57.00000000000001".
- 234769 cpu_core_0 "57.00000000000001".
- 235096 cpu_core_0 "57.00000000000001".
- 235373 cpu_core_0 "57.00000000000001".
- 236030 cpu_core_0 "57.00000000000001".
- 236459 cpu_core_0 "57.00000000000001".
- 236895 cpu_core_0 "57.00000000000001".
- 237149 cpu_core_0 "57.00000000000001".
- 237283 cpu_core_0 "57.00000000000001".
- 238151 cpu_core_0 "57.00000000000001".
- 239780 cpu_core_0 "57.00000000000001".
- 240602 cpu_core_0 "57.00000000000001".
- 240795 cpu_core_0 "57.00000000000001".
- 240968 cpu_core_0 "57.00000000000001".
- 240982 cpu_core_0 "57.00000000000001".
- 241417 cpu_core_0 "57.00000000000001".
- 242106 cpu_core_0 "57.00000000000001".
- 242439 cpu_core_0 "57.00000000000001".
- 243024 cpu_core_0 "57.00000000000001".
- 243125 cpu_core_0 "57.00000000000001".
- 243328 cpu_core_0 "57.00000000000001".
- 244001 cpu_core_0 "57.00000000000001".
- 244002 cpu_core_0 "57.00000000000001".
- 244052 cpu_core_0 "57.00000000000001".
- 244129 cpu_core_0 "57.00000000000001".
- 244308 cpu_core_0 "57.00000000000001".
- 244684 cpu_core_0 "57.00000000000001".
- 244687 cpu_core_0 "57.00000000000001".
- 245079 cpu_core_0 "57.00000000000001".
- 245964 cpu_core_0 "57.00000000000001".
- 246282 cpu_core_0 "57.00000000000001".
- 246625 cpu_core_0 "57.00000000000001".
- 246652 cpu_core_0 "57.00000000000001".
- 246745 cpu_core_0 "57.00000000000001".