Matches in ISWC2014 Benchmark for { ?s ?p 18.75. }
- 1011961 cpu_core_0 "18.75".
- 1012712 cpu_core_0 "18.75".
- 1012816 cpu_core_0 "18.75".
- 1013375 cpu_core_0 "18.75".
- 1013424 cpu_core_0 "18.75".
- 1013455 cpu_core_0 "18.75".
- 1219284 cpu_core_0 "18.75".
- 1236045 cpu_core_0 "18.75".
- 1236478 cpu_core_0 "18.75".
- 1236972 cpu_core_0 "18.75".
- 1237107 cpu_core_0 "18.75".
- 1408585 cpu_core_0 "18.75".
- 1408905 cpu_core_0 "18.75".
- 1410958 cpu_core_0 "18.75".
- 1413649 cpu_core_0 "18.75".
- 146849 cpu_core_0 "18.75".
- 1646461 cpu_core_0 "18.75".
- 1671349 cpu_core_0 "18.75".
- 1671586 cpu_core_0 "18.75".
- 1671705 cpu_core_0 "18.75".
- 1674326 cpu_core_0 "18.75".
- 1674897 cpu_core_0 "18.75".
- 1674946 cpu_core_0 "18.75".
- 1712035 cpu_core_0 "18.75".
- 1712127 cpu_core_0 "18.75".
- 1712167 cpu_core_0 "18.75".
- 1921034 cpu_core_0 "18.75".
- 1922642 cpu_core_0 "18.75".
- 1923098 cpu_core_0 "18.75".
- 1923160 cpu_core_0 "18.75".
- 1923436 cpu_core_0 "18.75".
- 1923824 cpu_core_0 "18.75".
- 1923864 cpu_core_0 "18.75".
- 1924275 cpu_core_0 "18.75".
- 1924597 cpu_core_0 "18.75".
- 1924657 cpu_core_0 "18.75".
- 1924709 cpu_core_0 "18.75".
- 1925071 cpu_core_0 "18.75".
- 1925783 cpu_core_0 "18.75".
- 1925851 cpu_core_0 "18.75".
- 1926140 cpu_core_0 "18.75".
- 1926155 cpu_core_0 "18.75".
- 1926164 cpu_core_0 "18.75".
- 1926192 cpu_core_0 "18.75".
- 1926274 cpu_core_0 "18.75".
- 1926506 cpu_core_0 "18.75".
- 1927130 cpu_core_0 "18.75".
- 1927134 cpu_core_0 "18.75".
- 1927361 cpu_core_0 "18.75".
- 240408 cpu_core_0 "18.75".
- 240477 cpu_core_0 "18.75".
- 294868 cpu_core_0 "18.75".
- 294978 cpu_core_0 "18.75".
- 305321 cpu_core_0 "18.75".
- 363415 cpu_core_0 "18.75".
- 363660 cpu_core_0 "18.75".
- 402270 cpu_core_0 "18.75".
- 402348 cpu_core_0 "18.75".
- 403172 cpu_core_0 "18.75".
- 404296 cpu_core_0 "18.75".
- 517636 cpu_core_0 "18.75".
- 600118 cpu_core_0 "18.75".
- 600600 cpu_core_0 "18.75".
- 602050 cpu_core_0 "18.75".
- 602179 cpu_core_0 "18.75".
- 658578 cpu_core_0 "18.75".
- 658817 cpu_core_0 "18.75".
- 658947 cpu_core_0 "18.75".
- 659305 cpu_core_0 "18.75".
- 659784 cpu_core_0 "18.75".
- 659933 cpu_core_0 "18.75".
- 698817 cpu_core_0 "18.75".
- 699713 cpu_core_0 "18.75".
- 700193 cpu_core_0 "18.75".
- 791458 cpu_core_0 "18.75".
- 791826 cpu_core_0 "18.75".
- 796160 cpu_core_0 "18.75".
- 796191 cpu_core_0 "18.75".
- 796266 cpu_core_0 "18.75".
- 796375 cpu_core_0 "18.75".
- 796545 cpu_core_0 "18.75".
- 796621 cpu_core_0 "18.75".
- 796676 cpu_core_0 "18.75".
- 796702 cpu_core_0 "18.75".
- 796769 cpu_core_0 "18.75".
- 903099 cpu_core_0 "18.75".
- 903588 cpu_core_0 "18.75".
- 904655 cpu_core_0 "18.75".
- 904793 cpu_core_0 "18.75".
- 909385 cpu_core_0 "18.75".
- 909538 cpu_core_0 "18.75".
- 909605 cpu_core_0 "18.75".
- 909696 cpu_core_0 "18.75".
- 909700 cpu_core_0 "18.75".
- 909703 cpu_core_0 "18.75".
- 909722 cpu_core_0 "18.75".
- 910092 cpu_core_0 "18.75".
- 1011407 cpu_core_1 "18.75".
- 1011426 cpu_core_1 "18.75".
- 1011431 cpu_core_1 "18.75".