Matches in ISWC2014 Benchmark for { ?s ?p 6.25. }
- 1651070 cpu_core_0 "6.25".
- 1651181 cpu_core_0 "6.25".
- 1651201 cpu_core_0 "6.25".
- 1651246 cpu_core_0 "6.25".
- 1651514 cpu_core_0 "6.25".
- 1651862 cpu_core_0 "6.25".
- 1652003 cpu_core_0 "6.25".
- 1652211 cpu_core_0 "6.25".
- 1652224 cpu_core_0 "6.25".
- 1652325 cpu_core_0 "6.25".
- 1652350 cpu_core_0 "6.25".
- 1652374 cpu_core_0 "6.25".
- 1652480 cpu_core_0 "6.25".
- 1652509 cpu_core_0 "6.25".
- 1652658 cpu_core_0 "6.25".
- 1653465 cpu_core_0 "6.25".
- 1654319 cpu_core_0 "6.25".
- 1671151 cpu_core_0 "6.25".
- 1671942 cpu_core_0 "6.25".
- 1671992 cpu_core_0 "6.25".
- 1673898 cpu_core_0 "6.25".
- 1921028 cpu_core_0 "6.25".
- 1921811 cpu_core_0 "6.25".
- 1922059 cpu_core_0 "6.25".
- 1922313 cpu_core_0 "6.25".
- 1922899 cpu_core_0 "6.25".
- 1923273 cpu_core_0 "6.25".
- 1923656 cpu_core_0 "6.25".
- 1924527 cpu_core_0 "6.25".
- 222691 cpu_core_0 "6.25".
- 222705 cpu_core_0 "6.25".
- 222725 cpu_core_0 "6.25".
- 222771 cpu_core_0 "6.25".
- 240567 cpu_core_0 "6.25".
- 286991 cpu_core_0 "6.25".
- 287004 cpu_core_0 "6.25".
- 296029 cpu_core_0 "6.25".
- 296069 cpu_core_0 "6.25".
- 362956 cpu_core_0 "6.25".
- 364433 cpu_core_0 "6.25".
- 364458 cpu_core_0 "6.25".
- 407005 cpu_core_0 "6.25".
- 702227 cpu_core_0 "6.25".
- 702319 cpu_core_0 "6.25".
- 702321 cpu_core_0 "6.25".
- 702840 cpu_core_0 "6.25".
- 796558 cpu_core_0 "6.25".
- 796851 cpu_core_0 "6.25".
- 903238 cpu_core_0 "6.25".
- 909604 cpu_core_0 "6.25".
- 1013002 cpu_core_1 "6.25".
- 1013274 cpu_core_1 "6.25".
- 1013415 cpu_core_1 "6.25".
- 1213655 cpu_core_1 "6.25".
- 1218096 cpu_core_1 "6.25".
- 1236047 cpu_core_1 "6.25".
- 1407539 cpu_core_1 "6.25".
- 1649389 cpu_core_1 "6.25".
- 1671607 cpu_core_1 "6.25".
- 1673785 cpu_core_1 "6.25".
- 1674235 cpu_core_1 "6.25".
- 1695035 cpu_core_1 "6.25".
- 1924934 cpu_core_1 "6.25".
- 222791 cpu_core_1 "6.25".
- 260673 cpu_core_1 "6.25".
- 303357 cpu_core_1 "6.25".
- 363649 cpu_core_1 "6.25".
- 364093 cpu_core_1 "6.25".
- 406592 cpu_core_1 "6.25".
- 517644 cpu_core_1 "6.25".
- 517649 cpu_core_1 "6.25".
- 602033 cpu_core_1 "6.25".
- 796110 cpu_core_1 "6.25".
- 796113 cpu_core_1 "6.25".
- 796115 cpu_core_1 "6.25".
- 796166 cpu_core_1 "6.25".
- 796414 cpu_core_1 "6.25".
- 796428 cpu_core_1 "6.25".
- 903438 cpu_core_1 "6.25".
- 903557 cpu_core_1 "6.25".
- 994046 cpu_core_1 "6.25".
- 994723 cpu_core_1 "6.25".
- 1011645 cpu_core_2 "6.25".
- 1011739 cpu_core_2 "6.25".
- 1011935 cpu_core_2 "6.25".
- 1012478 cpu_core_2 "6.25".
- 1012724 cpu_core_2 "6.25".
- 1012831 cpu_core_2 "6.25".
- 1012911 cpu_core_2 "6.25".
- 1013069 cpu_core_2 "6.25".
- 1013239 cpu_core_2 "6.25".
- 1013373 cpu_core_2 "6.25".
- 402293 cpu_core_2 "6.25".
- 402313 cpu_core_2 "6.25".
- 402620 cpu_core_2 "6.25".
- 402950 cpu_core_2 "6.25".
- 404193 cpu_core_2 "6.25".
- 516088 cpu_core_2 "6.25".
- 658568 cpu_core_2 "6.25".
- 699016 cpu_core_2 "6.25".