Matches in ISWC2014 Benchmark for { ?s ?p 15.306122448979592. }
- 1397167 cpu_core_0 "15.306122448979592".
- 1397639 cpu_core_0 "15.306122448979592".
- 1397677 cpu_core_0 "15.306122448979592".
- 1398173 cpu_core_0 "15.306122448979592".
- 1398424 cpu_core_0 "15.306122448979592".
- 1398868 cpu_core_0 "15.306122448979592".
- 1399317 cpu_core_0 "15.306122448979592".
- 1399351 cpu_core_0 "15.306122448979592".
- 1399493 cpu_core_0 "15.306122448979592".
- 1399813 cpu_core_0 "15.306122448979592".
- 1401619 cpu_core_0 "15.306122448979592".
- 1402106 cpu_core_0 "15.306122448979592".
- 1402483 cpu_core_0 "15.306122448979592".
- 1405058 cpu_core_0 "15.306122448979592".
- 1405360 cpu_core_0 "15.306122448979592".
- 1405886 cpu_core_0 "15.306122448979592".
- 1406271 cpu_core_0 "15.306122448979592".
- 1406586 cpu_core_0 "15.306122448979592".
- 1407084 cpu_core_0 "15.306122448979592".
- 1407497 cpu_core_0 "15.306122448979592".
- 1407526 cpu_core_0 "15.306122448979592".
- 1408002 cpu_core_0 "15.306122448979592".
- 1408080 cpu_core_0 "15.306122448979592".
- 1408285 cpu_core_0 "15.306122448979592".
- 1408384 cpu_core_0 "15.306122448979592".
- 1408690 cpu_core_0 "15.306122448979592".
- 1408713 cpu_core_0 "15.306122448979592".
- 1408894 cpu_core_0 "15.306122448979592".
- 1408946 cpu_core_0 "15.306122448979592".
- 1409265 cpu_core_0 "15.306122448979592".
- 1409372 cpu_core_0 "15.306122448979592".
- 1409620 cpu_core_0 "15.306122448979592".
- 1409691 cpu_core_0 "15.306122448979592".
- 1409792 cpu_core_0 "15.306122448979592".
- 1409854 cpu_core_0 "15.306122448979592".
- 1410034 cpu_core_0 "15.306122448979592".
- 1410277 cpu_core_0 "15.306122448979592".
- 1410598 cpu_core_0 "15.306122448979592".
- 1410654 cpu_core_0 "15.306122448979592".
- 1410877 cpu_core_0 "15.306122448979592".
- 1411248 cpu_core_0 "15.306122448979592".
- 1411373 cpu_core_0 "15.306122448979592".
- 1411569 cpu_core_0 "15.306122448979592".
- 1411665 cpu_core_0 "15.306122448979592".
- 1411671 cpu_core_0 "15.306122448979592".
- 1411891 cpu_core_0 "15.306122448979592".
- 1412134 cpu_core_0 "15.306122448979592".
- 1412160 cpu_core_0 "15.306122448979592".
- 1412196 cpu_core_0 "15.306122448979592".
- 1412287 cpu_core_0 "15.306122448979592".
- 1412547 cpu_core_0 "15.306122448979592".
- 1412647 cpu_core_0 "15.306122448979592".
- 1412864 cpu_core_0 "15.306122448979592".
- 1412917 cpu_core_0 "15.306122448979592".
- 1412939 cpu_core_0 "15.306122448979592".
- 1412952 cpu_core_0 "15.306122448979592".
- 1413025 cpu_core_0 "15.306122448979592".
- 1413229 cpu_core_0 "15.306122448979592".
- 1413381 cpu_core_0 "15.306122448979592".
- 1414136 cpu_core_0 "15.306122448979592".
- 1414572 cpu_core_0 "15.306122448979592".
- 1416085 cpu_core_0 "15.306122448979592".
- 1416663 cpu_core_0 "15.306122448979592".
- 1418156 cpu_core_0 "15.306122448979592".
- 1418508 cpu_core_0 "15.306122448979592".
- 1418723 cpu_core_0 "15.306122448979592".
- 1419075 cpu_core_0 "15.306122448979592".
- 1419179 cpu_core_0 "15.306122448979592".
- 1419733 cpu_core_0 "15.306122448979592".
- 1419972 cpu_core_0 "15.306122448979592".
- 1421091 cpu_core_0 "15.306122448979592".
- 1421133 cpu_core_0 "15.306122448979592".
- 1422244 cpu_core_0 "15.306122448979592".
- 1422527 cpu_core_0 "15.306122448979592".
- 1424214 cpu_core_0 "15.306122448979592".
- 1424870 cpu_core_0 "15.306122448979592".
- 1425334 cpu_core_0 "15.306122448979592".
- 1425638 cpu_core_0 "15.306122448979592".
- 1426596 cpu_core_0 "15.306122448979592".
- 1428243 cpu_core_0 "15.306122448979592".
- 1428396 cpu_core_0 "15.306122448979592".
- 1428679 cpu_core_0 "15.306122448979592".
- 1428914 cpu_core_0 "15.306122448979592".
- 1430528 cpu_core_0 "15.306122448979592".
- 1430883 cpu_core_0 "15.306122448979592".
- 1431667 cpu_core_0 "15.306122448979592".
- 1432738 cpu_core_0 "15.306122448979592".
- 1433199 cpu_core_0 "15.306122448979592".
- 1433389 cpu_core_0 "15.306122448979592".
- 1433761 cpu_core_0 "15.306122448979592".
- 1434500 cpu_core_0 "15.306122448979592".
- 1434511 cpu_core_0 "15.306122448979592".
- 1434751 cpu_core_0 "15.306122448979592".
- 1434997 cpu_core_0 "15.306122448979592".
- 1435190 cpu_core_0 "15.306122448979592".
- 1435460 cpu_core_0 "15.306122448979592".
- 1435560 cpu_core_0 "15.306122448979592".
- 1435653 cpu_core_0 "15.306122448979592".
- 1436599 cpu_core_0 "15.306122448979592".
- 1436761 cpu_core_0 "15.306122448979592".