Matches in ISWC2014 Benchmark for { ?s ?p 93.75. }
- 106507 cpu_core_0 "93.75".
- 106511 cpu_core_0 "93.75".
- 106514 cpu_core_0 "93.75".
- 106532 cpu_core_0 "93.75".
- 106542 cpu_core_0 "93.75".
- 106545 cpu_core_0 "93.75".
- 106564 cpu_core_0 "93.75".
- 106594 cpu_core_0 "93.75".
- 106620 cpu_core_0 "93.75".
- 106659 cpu_core_0 "93.75".
- 106678 cpu_core_0 "93.75".
- 106679 cpu_core_0 "93.75".
- 106755 cpu_core_0 "93.75".
- 106863 cpu_core_0 "93.75".
- 106873 cpu_core_0 "93.75".
- 106913 cpu_core_0 "93.75".
- 106932 cpu_core_0 "93.75".
- 106960 cpu_core_0 "93.75".
- 107026 cpu_core_0 "93.75".
- 107029 cpu_core_0 "93.75".
- 107130 cpu_core_0 "93.75".
- 107178 cpu_core_0 "93.75".
- 107205 cpu_core_0 "93.75".
- 107256 cpu_core_0 "93.75".
- 107270 cpu_core_0 "93.75".
- 107281 cpu_core_0 "93.75".
- 107332 cpu_core_0 "93.75".
- 107519 cpu_core_0 "93.75".
- 107627 cpu_core_0 "93.75".
- 107681 cpu_core_0 "93.75".
- 117970 cpu_core_0 "93.75".
- 1696341 cpu_core_0 "93.75".
- 1965018 cpu_core_0 "93.75".
- 1965084 cpu_core_0 "93.75".
- 2042995 cpu_core_0 "93.75".
- 235012 cpu_core_0 "93.75".
- 23781 cpu_core_0 "93.75".
- 23786 cpu_core_0 "93.75".
- 23797 cpu_core_0 "93.75".
- 23800 cpu_core_0 "93.75".
- 23806 cpu_core_0 "93.75".
- 23821 cpu_core_0 "93.75".
- 23853 cpu_core_0 "93.75".
- 23878 cpu_core_0 "93.75".
- 26520 cpu_core_0 "93.75".
- 26591 cpu_core_0 "93.75".
- 106520 cpu_core_1 "93.75".
- 106533 cpu_core_1 "93.75".
- 106541 cpu_core_1 "93.75".
- 106582 cpu_core_1 "93.75".
- 106599 cpu_core_1 "93.75".
- 106616 cpu_core_1 "93.75".
- 106659 cpu_core_1 "93.75".
- 106680 cpu_core_1 "93.75".
- 106693 cpu_core_1 "93.75".
- 106696 cpu_core_1 "93.75".
- 106718 cpu_core_1 "93.75".
- 106728 cpu_core_1 "93.75".
- 106777 cpu_core_1 "93.75".
- 106783 cpu_core_1 "93.75".
- 106815 cpu_core_1 "93.75".
- 106865 cpu_core_1 "93.75".
- 106914 cpu_core_1 "93.75".
- 106936 cpu_core_1 "93.75".
- 106949 cpu_core_1 "93.75".
- 107074 cpu_core_1 "93.75".
- 107087 cpu_core_1 "93.75".
- 107107 cpu_core_1 "93.75".
- 107112 cpu_core_1 "93.75".
- 107314 cpu_core_1 "93.75".
- 107363 cpu_core_1 "93.75".
- 107377 cpu_core_1 "93.75".
- 107413 cpu_core_1 "93.75".
- 107525 cpu_core_1 "93.75".
- 107529 cpu_core_1 "93.75".
- 107611 cpu_core_1 "93.75".
- 107670 cpu_core_1 "93.75".
- 131254 cpu_core_1 "93.75".
- 1990353 cpu_core_1 "93.75".
- 2042826 cpu_core_1 "93.75".
- 23750 cpu_core_1 "93.75".
- 23779 cpu_core_1 "93.75".
- 23805 cpu_core_1 "93.75".
- 23821 cpu_core_1 "93.75".
- 23841 cpu_core_1 "93.75".
- 23843 cpu_core_1 "93.75".
- 23855 cpu_core_1 "93.75".
- 23875 cpu_core_1 "93.75".
- 23887 cpu_core_1 "93.75".
- 24307 cpu_core_1 "93.75".
- 26612 cpu_core_1 "93.75".
- 106484 cpu_core_2 "93.75".
- 106520 cpu_core_2 "93.75".
- 106536 cpu_core_2 "93.75".
- 106594 cpu_core_2 "93.75".
- 106632 cpu_core_2 "93.75".
- 106700 cpu_core_2 "93.75".
- 106766 cpu_core_2 "93.75".
- 107027 cpu_core_2 "93.75".
- 107064 cpu_core_2 "93.75".