Matches in ISWC2014 Benchmark for { ?s ?p 93.75. }
- 107088 cpu_core_2 "93.75".
- 107577 cpu_core_2 "93.75".
- 117801 cpu_core_2 "93.75".
- 131286 cpu_core_2 "93.75".
- 131326 cpu_core_2 "93.75".
- 1990346 cpu_core_2 "93.75".
- 1990554 cpu_core_2 "93.75".
- 2042994 cpu_core_2 "93.75".
- 23746 cpu_core_2 "93.75".
- 23778 cpu_core_2 "93.75".
- 23790 cpu_core_2 "93.75".
- 23791 cpu_core_2 "93.75".
- 23795 cpu_core_2 "93.75".
- 23801 cpu_core_2 "93.75".
- 23802 cpu_core_2 "93.75".
- 23803 cpu_core_2 "93.75".
- 23811 cpu_core_2 "93.75".
- 23822 cpu_core_2 "93.75".
- 23875 cpu_core_2 "93.75".
- 106512 cpu_core_3 "93.75".
- 106526 cpu_core_3 "93.75".
- 106557 cpu_core_3 "93.75".
- 106611 cpu_core_3 "93.75".
- 106623 cpu_core_3 "93.75".
- 106625 cpu_core_3 "93.75".
- 106630 cpu_core_3 "93.75".
- 106632 cpu_core_3 "93.75".
- 106638 cpu_core_3 "93.75".
- 106653 cpu_core_3 "93.75".
- 106657 cpu_core_3 "93.75".
- 106696 cpu_core_3 "93.75".
- 106703 cpu_core_3 "93.75".
- 106710 cpu_core_3 "93.75".
- 106724 cpu_core_3 "93.75".
- 106752 cpu_core_3 "93.75".
- 106764 cpu_core_3 "93.75".
- 106769 cpu_core_3 "93.75".
- 106777 cpu_core_3 "93.75".
- 106798 cpu_core_3 "93.75".
- 106813 cpu_core_3 "93.75".
- 106841 cpu_core_3 "93.75".
- 106865 cpu_core_3 "93.75".
- 106887 cpu_core_3 "93.75".
- 106980 cpu_core_3 "93.75".
- 106984 cpu_core_3 "93.75".
- 107090 cpu_core_3 "93.75".
- 107099 cpu_core_3 "93.75".
- 107101 cpu_core_3 "93.75".
- 107137 cpu_core_3 "93.75".
- 107181 cpu_core_3 "93.75".
- 107231 cpu_core_3 "93.75".
- 107313 cpu_core_3 "93.75".
- 107360 cpu_core_3 "93.75".
- 107383 cpu_core_3 "93.75".
- 107413 cpu_core_3 "93.75".
- 107442 cpu_core_3 "93.75".
- 107496 cpu_core_3 "93.75".
- 107506 cpu_core_3 "93.75".
- 107523 cpu_core_3 "93.75".
- 107528 cpu_core_3 "93.75".
- 107661 cpu_core_3 "93.75".
- 107669 cpu_core_3 "93.75".
- 131308 cpu_core_3 "93.75".
- 1990346 cpu_core_3 "93.75".
- 2051702 cpu_core_3 "93.75".
- 2062243 cpu_core_3 "93.75".
- 2062347 cpu_core_3 "93.75".
- 2062443 cpu_core_3 "93.75".
- 23774 cpu_core_3 "93.75".
- 23790 cpu_core_3 "93.75".
- 23827 cpu_core_3 "93.75".
- 24206 cpu_core_3 "93.75".