Matches in ISWC2014 Benchmark for { ?s ?p 8.333333333333334. }
- 1013464 cpu_core_0 "8.333333333333334".
- 1013539 cpu_core_0 "8.333333333333334".
- 1013546 cpu_core_0 "8.333333333333334".
- 1214110 cpu_core_0 "8.333333333333334".
- 1214568 cpu_core_0 "8.333333333333334".
- 1215872 cpu_core_0 "8.333333333333334".
- 1216784 cpu_core_0 "8.333333333333334".
- 1216825 cpu_core_0 "8.333333333333334".
- 1217247 cpu_core_0 "8.333333333333334".
- 1217499 cpu_core_0 "8.333333333333334".
- 1217521 cpu_core_0 "8.333333333333334".
- 1218401 cpu_core_0 "8.333333333333334".
- 1236876 cpu_core_0 "8.333333333333334".
- 1407517 cpu_core_0 "8.333333333333334".
- 1407884 cpu_core_0 "8.333333333333334".
- 1407920 cpu_core_0 "8.333333333333334".
- 1409027 cpu_core_0 "8.333333333333334".
- 1409435 cpu_core_0 "8.333333333333334".
- 1409852 cpu_core_0 "8.333333333333334".
- 1409909 cpu_core_0 "8.333333333333334".
- 1409976 cpu_core_0 "8.333333333333334".
- 1410535 cpu_core_0 "8.333333333333334".
- 1411022 cpu_core_0 "8.333333333333334".
- 1411328 cpu_core_0 "8.333333333333334".
- 1411610 cpu_core_0 "8.333333333333334".
- 1411938 cpu_core_0 "8.333333333333334".
- 1412514 cpu_core_0 "8.333333333333334".
- 1412801 cpu_core_0 "8.333333333333334".
- 1413095 cpu_core_0 "8.333333333333334".
- 1413646 cpu_core_0 "8.333333333333334".
- 1414087 cpu_core_0 "8.333333333333334".
- 1646641 cpu_core_0 "8.333333333333334".
- 1647234 cpu_core_0 "8.333333333333334".
- 1648674 cpu_core_0 "8.333333333333334".
- 1649476 cpu_core_0 "8.333333333333334".
- 1650304 cpu_core_0 "8.333333333333334".
- 1650305 cpu_core_0 "8.333333333333334".
- 1650908 cpu_core_0 "8.333333333333334".
- 1651726 cpu_core_0 "8.333333333333334".
- 1651852 cpu_core_0 "8.333333333333334".
- 1652094 cpu_core_0 "8.333333333333334".
- 1652454 cpu_core_0 "8.333333333333334".
- 1652644 cpu_core_0 "8.333333333333334".
- 1652873 cpu_core_0 "8.333333333333334".
- 1652993 cpu_core_0 "8.333333333333334".
- 1653648 cpu_core_0 "8.333333333333334".
- 1654497 cpu_core_0 "8.333333333333334".
- 1673832 cpu_core_0 "8.333333333333334".
- 1674189 cpu_core_0 "8.333333333333334".
- 1920993 cpu_core_0 "8.333333333333334".
- 1920995 cpu_core_0 "8.333333333333334".
- 1921581 cpu_core_0 "8.333333333333334".
- 1921718 cpu_core_0 "8.333333333333334".
- 1922258 cpu_core_0 "8.333333333333334".
- 1922414 cpu_core_0 "8.333333333333334".
- 1922684 cpu_core_0 "8.333333333333334".
- 1922725 cpu_core_0 "8.333333333333334".
- 1922895 cpu_core_0 "8.333333333333334".
- 1923781 cpu_core_0 "8.333333333333334".
- 1924989 cpu_core_0 "8.333333333333334".
- 1925597 cpu_core_0 "8.333333333333334".
- 1925705 cpu_core_0 "8.333333333333334".
- 1925710 cpu_core_0 "8.333333333333334".
- 1926111 cpu_core_0 "8.333333333333334".
- 1928325 cpu_core_0 "8.333333333333334".
- 1928349 cpu_core_0 "8.333333333333334".
- 222646 cpu_core_0 "8.333333333333334".
- 222746 cpu_core_0 "8.333333333333334".
- 222807 cpu_core_0 "8.333333333333334".
- 222814 cpu_core_0 "8.333333333333334".
- 222828 cpu_core_0 "8.333333333333334".
- 305272 cpu_core_0 "8.333333333333334".
- 517695 cpu_core_0 "8.333333333333334".
- 600524 cpu_core_0 "8.333333333333334".
- 659192 cpu_core_0 "8.333333333333334".
- 702359 cpu_core_0 "8.333333333333334".
- 702384 cpu_core_0 "8.333333333333334".
- 702717 cpu_core_0 "8.333333333333334".
- 702832 cpu_core_0 "8.333333333333334".
- 909374 cpu_core_0 "8.333333333333334".
- 910059 cpu_core_0 "8.333333333333334".
- 994082 cpu_core_0 "8.333333333333334".
- 1012159 cpu_core_1 "8.333333333333334".
- 1012162 cpu_core_1 "8.333333333333334".
- 1012166 cpu_core_1 "8.333333333333334".
- 1013314 cpu_core_1 "8.333333333333334".
- 1671246 cpu_core_1 "8.333333333333334".
- 1671909 cpu_core_1 "8.333333333333334".
- 1674264 cpu_core_1 "8.333333333333334".
- 1920692 cpu_core_1 "8.333333333333334".
- 218739 cpu_core_1 "8.333333333333334".
- 256799 cpu_core_1 "8.333333333333334".
- 305304 cpu_core_1 "8.333333333333334".
- 364317 cpu_core_1 "8.333333333333334".
- 403694 cpu_core_1 "8.333333333333334".
- 659608 cpu_core_1 "8.333333333333334".
- 909872 cpu_core_1 "8.333333333333334".
- 910052 cpu_core_1 "8.333333333333334".
- 994303 cpu_core_1 "8.333333333333334".
- 1012011 cpu_core_2 "8.333333333333334".