Matches in ISWC2014 Benchmark for { ?s ?p 5.208333333333334. }
- 1213671 cpu_core_0 "5.208333333333334".
- 1214151 cpu_core_0 "5.208333333333334".
- 1214193 cpu_core_0 "5.208333333333334".
- 1214661 cpu_core_0 "5.208333333333334".
- 1215136 cpu_core_0 "5.208333333333334".
- 1215308 cpu_core_0 "5.208333333333334".
- 1216004 cpu_core_0 "5.208333333333334".
- 1216472 cpu_core_0 "5.208333333333334".
- 1217023 cpu_core_0 "5.208333333333334".
- 1217971 cpu_core_0 "5.208333333333334".
- 1218262 cpu_core_0 "5.208333333333334".
- 1218365 cpu_core_0 "5.208333333333334".
- 1218640 cpu_core_0 "5.208333333333334".
- 1218861 cpu_core_0 "5.208333333333334".
- 1219340 cpu_core_0 "5.208333333333334".
- 1408123 cpu_core_0 "5.208333333333334".
- 1409932 cpu_core_0 "5.208333333333334".
- 1410713 cpu_core_0 "5.208333333333334".
- 1410743 cpu_core_0 "5.208333333333334".
- 1411093 cpu_core_0 "5.208333333333334".
- 1411238 cpu_core_0 "5.208333333333334".
- 1411242 cpu_core_0 "5.208333333333334".
- 1412186 cpu_core_0 "5.208333333333334".
- 1412522 cpu_core_0 "5.208333333333334".
- 1413177 cpu_core_0 "5.208333333333334".
- 1413368 cpu_core_0 "5.208333333333334".
- 1413844 cpu_core_0 "5.208333333333334".
- 1646365 cpu_core_0 "5.208333333333334".
- 1646682 cpu_core_0 "5.208333333333334".
- 1646694 cpu_core_0 "5.208333333333334".
- 1647337 cpu_core_0 "5.208333333333334".
- 1648746 cpu_core_0 "5.208333333333334".
- 1648927 cpu_core_0 "5.208333333333334".
- 1650311 cpu_core_0 "5.208333333333334".
- 1650361 cpu_core_0 "5.208333333333334".
- 1650365 cpu_core_0 "5.208333333333334".
- 1650551 cpu_core_0 "5.208333333333334".
- 1651020 cpu_core_0 "5.208333333333334".
- 1651377 cpu_core_0 "5.208333333333334".
- 1652014 cpu_core_0 "5.208333333333334".
- 1652217 cpu_core_0 "5.208333333333334".
- 1654374 cpu_core_0 "5.208333333333334".
- 1654454 cpu_core_0 "5.208333333333334".
- 1674685 cpu_core_0 "5.208333333333334".
- 1674872 cpu_core_0 "5.208333333333334".
- 1674950 cpu_core_0 "5.208333333333334".
- 1711763 cpu_core_0 "5.208333333333334".
- 1920929 cpu_core_0 "5.208333333333334".
- 1921711 cpu_core_0 "5.208333333333334".
- 1921990 cpu_core_0 "5.208333333333334".
- 1922057 cpu_core_0 "5.208333333333334".
- 1923432 cpu_core_0 "5.208333333333334".
- 222668 cpu_core_0 "5.208333333333334".
- 222760 cpu_core_0 "5.208333333333334".
- 248049 cpu_core_0 "5.208333333333334".
- 296118 cpu_core_0 "5.208333333333334".
- 364398 cpu_core_0 "5.208333333333334".
- 404421 cpu_core_0 "5.208333333333334".
- 702827 cpu_core_0 "5.208333333333334".
- 796497 cpu_core_0 "5.208333333333334".
- 796672 cpu_core_0 "5.208333333333334".
- 902437 cpu_core_0 "5.208333333333334".
- 1011875 cpu_core_1 "5.208333333333334".
- 1013100 cpu_core_1 "5.208333333333334".
- 1013201 cpu_core_1 "5.208333333333334".
- 1236996 cpu_core_1 "5.208333333333334".
- 1408283 cpu_core_1 "5.208333333333334".
- 1409606 cpu_core_1 "5.208333333333334".
- 1671303 cpu_core_1 "5.208333333333334".
- 1671591 cpu_core_1 "5.208333333333334".
- 1673945 cpu_core_1 "5.208333333333334".
- 1673996 cpu_core_1 "5.208333333333334".
- 1674328 cpu_core_1 "5.208333333333334".
- 1674867 cpu_core_1 "5.208333333333334".
- 1925303 cpu_core_1 "5.208333333333334".
- 248102 cpu_core_1 "5.208333333333334".
- 260708 cpu_core_1 "5.208333333333334".
- 260788 cpu_core_1 "5.208333333333334".
- 402362 cpu_core_1 "5.208333333333334".
- 406552 cpu_core_1 "5.208333333333334".
- 515857 cpu_core_1 "5.208333333333334".
- 796199 cpu_core_1 "5.208333333333334".
- 796313 cpu_core_1 "5.208333333333334".
- 796524 cpu_core_1 "5.208333333333334".
- 909432 cpu_core_1 "5.208333333333334".
- 909600 cpu_core_1 "5.208333333333334".
- 909608 cpu_core_1 "5.208333333333334".
- 995386 cpu_core_1 "5.208333333333334".
- 1011673 cpu_core_2 "5.208333333333334".
- 1011714 cpu_core_2 "5.208333333333334".
- 1011941 cpu_core_2 "5.208333333333334".
- 1012201 cpu_core_2 "5.208333333333334".
- 1012220 cpu_core_2 "5.208333333333334".
- 1012261 cpu_core_2 "5.208333333333334".
- 1013073 cpu_core_2 "5.208333333333334".
- 1674250 cpu_core_2 "5.208333333333334".
- 256800 cpu_core_2 "5.208333333333334".
- 403603 cpu_core_2 "5.208333333333334".
- 404197 cpu_core_2 "5.208333333333334".
- 699876 cpu_core_2 "5.208333333333334".