Matches in ISWC2014 Benchmark for { ?s ?p 13.541666666666666. }
- 285791 cpu_core_0 "13.541666666666666".
- 305323 cpu_core_0 "13.541666666666666".
- 363442 cpu_core_0 "13.541666666666666".
- 363653 cpu_core_0 "13.541666666666666".
- 364017 cpu_core_0 "13.541666666666666".
- 403912 cpu_core_0 "13.541666666666666".
- 404382 cpu_core_0 "13.541666666666666".
- 600750 cpu_core_0 "13.541666666666666".
- 601641 cpu_core_0 "13.541666666666666".
- 659454 cpu_core_0 "13.541666666666666".
- 700502 cpu_core_0 "13.541666666666666".
- 796126 cpu_core_0 "13.541666666666666".
- 796150 cpu_core_0 "13.541666666666666".
- 796257 cpu_core_0 "13.541666666666666".
- 796439 cpu_core_0 "13.541666666666666".
- 796473 cpu_core_0 "13.541666666666666".
- 796602 cpu_core_0 "13.541666666666666".
- 796620 cpu_core_0 "13.541666666666666".
- 902376 cpu_core_0 "13.541666666666666".
- 902502 cpu_core_0 "13.541666666666666".
- 909747 cpu_core_0 "13.541666666666666".
- 910123 cpu_core_0 "13.541666666666666".
- 995248 cpu_core_0 "13.541666666666666".
- 1011448 cpu_core_1 "13.541666666666666".
- 1011734 cpu_core_1 "13.541666666666666".
- 1011858 cpu_core_1 "13.541666666666666".
- 1011938 cpu_core_1 "13.541666666666666".
- 1012061 cpu_core_1 "13.541666666666666".
- 1012253 cpu_core_1 "13.541666666666666".
- 1012348 cpu_core_1 "13.541666666666666".
- 1012593 cpu_core_1 "13.541666666666666".
- 1012841 cpu_core_1 "13.541666666666666".
- 1013059 cpu_core_1 "13.541666666666666".
- 1013096 cpu_core_1 "13.541666666666666".
- 1219596 cpu_core_1 "13.541666666666666".
- 218754 cpu_core_1 "13.541666666666666".
- 294914 cpu_core_1 "13.541666666666666".
- 294947 cpu_core_1 "13.541666666666666".
- 364266 cpu_core_1 "13.541666666666666".
- 402381 cpu_core_1 "13.541666666666666".
- 402761 cpu_core_1 "13.541666666666666".
- 403020 cpu_core_1 "13.541666666666666".
- 403294 cpu_core_1 "13.541666666666666".
- 403302 cpu_core_1 "13.541666666666666".
- 403367 cpu_core_1 "13.541666666666666".
- 403403 cpu_core_1 "13.541666666666666".
- 403708 cpu_core_1 "13.541666666666666".
- 403967 cpu_core_1 "13.541666666666666".
- 404061 cpu_core_1 "13.541666666666666".
- 404214 cpu_core_1 "13.541666666666666".
- 404252 cpu_core_1 "13.541666666666666".
- 404277 cpu_core_1 "13.541666666666666".
- 404304 cpu_core_1 "13.541666666666666".
- 515314 cpu_core_1 "13.541666666666666".
- 659603 cpu_core_1 "13.541666666666666".
- 698698 cpu_core_1 "13.541666666666666".
- 698746 cpu_core_1 "13.541666666666666".
- 698996 cpu_core_1 "13.541666666666666".
- 699076 cpu_core_1 "13.541666666666666".
- 699486 cpu_core_1 "13.541666666666666".
- 699578 cpu_core_1 "13.541666666666666".
- 699923 cpu_core_1 "13.541666666666666".
- 700442 cpu_core_1 "13.541666666666666".
- 700474 cpu_core_1 "13.541666666666666".
- 700488 cpu_core_1 "13.541666666666666".
- 792198 cpu_core_1 "13.541666666666666".
- 792662 cpu_core_1 "13.541666666666666".
- 792737 cpu_core_1 "13.541666666666666".
- 902707 cpu_core_1 "13.541666666666666".
- 903115 cpu_core_1 "13.541666666666666".
- 903503 cpu_core_1 "13.541666666666666".
- 904569 cpu_core_1 "13.541666666666666".
- 904972 cpu_core_1 "13.541666666666666".
- 909240 cpu_core_1 "13.541666666666666".
- 909288 cpu_core_1 "13.541666666666666".
- 909561 cpu_core_1 "13.541666666666666".
- 909929 cpu_core_1 "13.541666666666666".
- 1011436 cpu_core_2 "13.541666666666666".
- 1011600 cpu_core_2 "13.541666666666666".
- 1011835 cpu_core_2 "13.541666666666666".
- 1012118 cpu_core_2 "13.541666666666666".
- 1012433 cpu_core_2 "13.541666666666666".
- 1012452 cpu_core_2 "13.541666666666666".
- 1012767 cpu_core_2 "13.541666666666666".
- 1012964 cpu_core_2 "13.541666666666666".
- 1671003 cpu_core_2 "13.541666666666666".
- 1673775 cpu_core_2 "13.541666666666666".
- 218743 cpu_core_2 "13.541666666666666".
- 256701 cpu_core_2 "13.541666666666666".
- 285982 cpu_core_2 "13.541666666666666".
- 362945 cpu_core_2 "13.541666666666666".
- 402554 cpu_core_2 "13.541666666666666".
- 403181 cpu_core_2 "13.541666666666666".
- 403555 cpu_core_2 "13.541666666666666".
- 404057 cpu_core_2 "13.541666666666666".
- 404244 cpu_core_2 "13.541666666666666".
- 404280 cpu_core_2 "13.541666666666666".
- 404307 cpu_core_2 "13.541666666666666".
- 516264 cpu_core_2 "13.541666666666666".
- 516761 cpu_core_2 "13.541666666666666".