Matches in ISWC2014 Benchmark for { ?s ?p 3.125. }
- 1213943 cpu_core_0 "3.125".
- 1215248 cpu_core_0 "3.125".
- 1215798 cpu_core_0 "3.125".
- 1217398 cpu_core_0 "3.125".
- 1217912 cpu_core_0 "3.125".
- 1218469 cpu_core_0 "3.125".
- 1218777 cpu_core_0 "3.125".
- 1219210 cpu_core_0 "3.125".
- 1219279 cpu_core_0 "3.125".
- 1236320 cpu_core_0 "3.125".
- 131928 cpu_core_0 "3.125".
- 1407488 cpu_core_0 "3.125".
- 1408141 cpu_core_0 "3.125".
- 1410128 cpu_core_0 "3.125".
- 1410377 cpu_core_0 "3.125".
- 1410488 cpu_core_0 "3.125".
- 1411084 cpu_core_0 "3.125".
- 1411194 cpu_core_0 "3.125".
- 1411204 cpu_core_0 "3.125".
- 1413817 cpu_core_0 "3.125".
- 1647093 cpu_core_0 "3.125".
- 1647349 cpu_core_0 "3.125".
- 1647362 cpu_core_0 "3.125".
- 1648131 cpu_core_0 "3.125".
- 1648344 cpu_core_0 "3.125".
- 1648708 cpu_core_0 "3.125".
- 1649221 cpu_core_0 "3.125".
- 1650630 cpu_core_0 "3.125".
- 1651895 cpu_core_0 "3.125".
- 1652608 cpu_core_0 "3.125".
- 1652973 cpu_core_0 "3.125".
- 1653576 cpu_core_0 "3.125".
- 1654394 cpu_core_0 "3.125".
- 1671979 cpu_core_0 "3.125".
- 1920775 cpu_core_0 "3.125".
- 1922161 cpu_core_0 "3.125".
- 1925413 cpu_core_0 "3.125".
- 218787 cpu_core_0 "3.125".
- 222625 cpu_core_0 "3.125".
- 222787 cpu_core_0 "3.125".
- 222801 cpu_core_0 "3.125".
- 240542 cpu_core_0 "3.125".
- 240564 cpu_core_0 "3.125".
- 248115 cpu_core_0 "3.125".
- 296093 cpu_core_0 "3.125".
- 406433 cpu_core_0 "3.125".
- 406459 cpu_core_0 "3.125".
- 406469 cpu_core_0 "3.125".
- 406470 cpu_core_0 "3.125".
- 406478 cpu_core_0 "3.125".
- 406483 cpu_core_0 "3.125".
- 406488 cpu_core_0 "3.125".
- 406548 cpu_core_0 "3.125".
- 406551 cpu_core_0 "3.125".
- 406561 cpu_core_0 "3.125".
- 406564 cpu_core_0 "3.125".
- 406571 cpu_core_0 "3.125".
- 406579 cpu_core_0 "3.125".
- 406586 cpu_core_0 "3.125".
- 406596 cpu_core_0 "3.125".
- 406688 cpu_core_0 "3.125".
- 406713 cpu_core_0 "3.125".
- 406723 cpu_core_0 "3.125".
- 406750 cpu_core_0 "3.125".
- 406771 cpu_core_0 "3.125".
- 406782 cpu_core_0 "3.125".
- 406790 cpu_core_0 "3.125".
- 406794 cpu_core_0 "3.125".
- 406813 cpu_core_0 "3.125".
- 406850 cpu_core_0 "3.125".
- 406886 cpu_core_0 "3.125".
- 406915 cpu_core_0 "3.125".
- 406927 cpu_core_0 "3.125".
- 406942 cpu_core_0 "3.125".
- 406980 cpu_core_0 "3.125".
- 406998 cpu_core_0 "3.125".
- 407035 cpu_core_0 "3.125".
- 407091 cpu_core_0 "3.125".
- 407196 cpu_core_0 "3.125".
- 702668 cpu_core_0 "3.125".
- 903144 cpu_core_0 "3.125".
- 1013322 cpu_core_1 "3.125".
- 1236571 cpu_core_1 "3.125".
- 1408194 cpu_core_1 "3.125".
- 1671468 cpu_core_1 "3.125".
- 1671726 cpu_core_1 "3.125".
- 1674376 cpu_core_1 "3.125".
- 1674782 cpu_core_1 "3.125".
- 1694854 cpu_core_1 "3.125".
- 1926445 cpu_core_1 "3.125".
- 1927540 cpu_core_1 "3.125".
- 222712 cpu_core_1 "3.125".
- 406831 cpu_core_1 "3.125".
- 407034 cpu_core_1 "3.125".
- 407197 cpu_core_1 "3.125".
- 515920 cpu_core_1 "3.125".
- 658709 cpu_core_1 "3.125".
- 792048 cpu_core_1 "3.125".
- 796536 cpu_core_1 "3.125".
- 904368 cpu_core_1 "3.125".