Matches in ISWC2014 Benchmark for { ?s ?p 15.625. }
- 1011857 cpu_core_0 "15.625".
- 1012346 cpu_core_0 "15.625".
- 1012813 cpu_core_0 "15.625".
- 1214863 cpu_core_0 "15.625".
- 1218674 cpu_core_0 "15.625".
- 1219455 cpu_core_0 "15.625".
- 1236472 cpu_core_0 "15.625".
- 1236522 cpu_core_0 "15.625".
- 1237312 cpu_core_0 "15.625".
- 131850 cpu_core_0 "15.625".
- 1407515 cpu_core_0 "15.625".
- 1407743 cpu_core_0 "15.625".
- 1408171 cpu_core_0 "15.625".
- 1408232 cpu_core_0 "15.625".
- 1408548 cpu_core_0 "15.625".
- 1408550 cpu_core_0 "15.625".
- 1409486 cpu_core_0 "15.625".
- 1411532 cpu_core_0 "15.625".
- 1411971 cpu_core_0 "15.625".
- 1412879 cpu_core_0 "15.625".
- 1413211 cpu_core_0 "15.625".
- 1413539 cpu_core_0 "15.625".
- 1652143 cpu_core_0 "15.625".
- 1653008 cpu_core_0 "15.625".
- 1671136 cpu_core_0 "15.625".
- 1671197 cpu_core_0 "15.625".
- 1671480 cpu_core_0 "15.625".
- 1671495 cpu_core_0 "15.625".
- 1671582 cpu_core_0 "15.625".
- 1671601 cpu_core_0 "15.625".
- 1671930 cpu_core_0 "15.625".
- 1673943 cpu_core_0 "15.625".
- 1674241 cpu_core_0 "15.625".
- 1674244 cpu_core_0 "15.625".
- 1674277 cpu_core_0 "15.625".
- 1674450 cpu_core_0 "15.625".
- 1674640 cpu_core_0 "15.625".
- 1674671 cpu_core_0 "15.625".
- 1674778 cpu_core_0 "15.625".
- 1694494 cpu_core_0 "15.625".
- 1694942 cpu_core_0 "15.625".
- 1694988 cpu_core_0 "15.625".
- 1921035 cpu_core_0 "15.625".
- 1921243 cpu_core_0 "15.625".
- 1921267 cpu_core_0 "15.625".
- 1922476 cpu_core_0 "15.625".
- 1922486 cpu_core_0 "15.625".
- 1922955 cpu_core_0 "15.625".
- 1923033 cpu_core_0 "15.625".
- 1923131 cpu_core_0 "15.625".
- 1923140 cpu_core_0 "15.625".
- 1923383 cpu_core_0 "15.625".
- 1923392 cpu_core_0 "15.625".
- 1923494 cpu_core_0 "15.625".
- 1923495 cpu_core_0 "15.625".
- 1923822 cpu_core_0 "15.625".
- 1923854 cpu_core_0 "15.625".
- 1924563 cpu_core_0 "15.625".
- 1924589 cpu_core_0 "15.625".
- 1924655 cpu_core_0 "15.625".
- 1924662 cpu_core_0 "15.625".
- 1924702 cpu_core_0 "15.625".
- 1924822 cpu_core_0 "15.625".
- 1925001 cpu_core_0 "15.625".
- 1925067 cpu_core_0 "15.625".
- 1925122 cpu_core_0 "15.625".
- 1925286 cpu_core_0 "15.625".
- 1925306 cpu_core_0 "15.625".
- 1925376 cpu_core_0 "15.625".
- 1925479 cpu_core_0 "15.625".
- 1925545 cpu_core_0 "15.625".
- 1925559 cpu_core_0 "15.625".
- 1925663 cpu_core_0 "15.625".
- 1926190 cpu_core_0 "15.625".
- 1926220 cpu_core_0 "15.625".
- 1926465 cpu_core_0 "15.625".
- 1926642 cpu_core_0 "15.625".
- 1926707 cpu_core_0 "15.625".
- 1926776 cpu_core_0 "15.625".
- 1926993 cpu_core_0 "15.625".
- 1927019 cpu_core_0 "15.625".
- 1927140 cpu_core_0 "15.625".
- 1927240 cpu_core_0 "15.625".
- 1927252 cpu_core_0 "15.625".
- 222633 cpu_core_0 "15.625".
- 222674 cpu_core_0 "15.625".
- 222719 cpu_core_0 "15.625".
- 222743 cpu_core_0 "15.625".
- 240474 cpu_core_0 "15.625".
- 247988 cpu_core_0 "15.625".
- 285773 cpu_core_0 "15.625".
- 285802 cpu_core_0 "15.625".
- 294986 cpu_core_0 "15.625".
- 303424 cpu_core_0 "15.625".
- 305328 cpu_core_0 "15.625".
- 305379 cpu_core_0 "15.625".
- 305382 cpu_core_0 "15.625".
- 364089 cpu_core_0 "15.625".
- 364429 cpu_core_0 "15.625".
- 402627 cpu_core_0 "15.625".