Matches in ISWC2014 Benchmark for { ?s ?p 11.224489795918368. }
- 1412372 cpu_core_0 "11.224489795918368".
- 1412376 cpu_core_0 "11.224489795918368".
- 1412517 cpu_core_0 "11.224489795918368".
- 1412573 cpu_core_0 "11.224489795918368".
- 1412581 cpu_core_0 "11.224489795918368".
- 1412702 cpu_core_0 "11.224489795918368".
- 1412975 cpu_core_0 "11.224489795918368".
- 1412986 cpu_core_0 "11.224489795918368".
- 1413291 cpu_core_0 "11.224489795918368".
- 1413334 cpu_core_0 "11.224489795918368".
- 1413502 cpu_core_0 "11.224489795918368".
- 1413575 cpu_core_0 "11.224489795918368".
- 1413585 cpu_core_0 "11.224489795918368".
- 1413592 cpu_core_0 "11.224489795918368".
- 1413777 cpu_core_0 "11.224489795918368".
- 1413781 cpu_core_0 "11.224489795918368".
- 1413813 cpu_core_0 "11.224489795918368".
- 1414094 cpu_core_0 "11.224489795918368".
- 1414186 cpu_core_0 "11.224489795918368".
- 1414417 cpu_core_0 "11.224489795918368".
- 1414794 cpu_core_0 "11.224489795918368".
- 1415113 cpu_core_0 "11.224489795918368".
- 1415692 cpu_core_0 "11.224489795918368".
- 1415968 cpu_core_0 "11.224489795918368".
- 1416161 cpu_core_0 "11.224489795918368".
- 1416323 cpu_core_0 "11.224489795918368".
- 1416476 cpu_core_0 "11.224489795918368".
- 1416596 cpu_core_0 "11.224489795918368".
- 1416843 cpu_core_0 "11.224489795918368".
- 1417649 cpu_core_0 "11.224489795918368".
- 1417762 cpu_core_0 "11.224489795918368".
- 1418095 cpu_core_0 "11.224489795918368".
- 1418371 cpu_core_0 "11.224489795918368".
- 1418491 cpu_core_0 "11.224489795918368".
- 1418510 cpu_core_0 "11.224489795918368".
- 1418618 cpu_core_0 "11.224489795918368".
- 1418843 cpu_core_0 "11.224489795918368".
- 1418989 cpu_core_0 "11.224489795918368".
- 1419215 cpu_core_0 "11.224489795918368".
- 1419592 cpu_core_0 "11.224489795918368".
- 1420034 cpu_core_0 "11.224489795918368".
- 1420089 cpu_core_0 "11.224489795918368".
- 1420485 cpu_core_0 "11.224489795918368".
- 1421201 cpu_core_0 "11.224489795918368".
- 1421635 cpu_core_0 "11.224489795918368".
- 1421860 cpu_core_0 "11.224489795918368".
- 1421871 cpu_core_0 "11.224489795918368".
- 1422822 cpu_core_0 "11.224489795918368".
- 1422886 cpu_core_0 "11.224489795918368".
- 1423194 cpu_core_0 "11.224489795918368".
- 1423424 cpu_core_0 "11.224489795918368".
- 1423617 cpu_core_0 "11.224489795918368".
- 1423939 cpu_core_0 "11.224489795918368".
- 142492 cpu_core_0 "11.224489795918368".
- 1425245 cpu_core_0 "11.224489795918368".
- 1426138 cpu_core_0 "11.224489795918368".
- 1427246 cpu_core_0 "11.224489795918368".
- 1428408 cpu_core_0 "11.224489795918368".
- 1428677 cpu_core_0 "11.224489795918368".
- 1429090 cpu_core_0 "11.224489795918368".
- 1429309 cpu_core_0 "11.224489795918368".
- 1429359 cpu_core_0 "11.224489795918368".
- 1429681 cpu_core_0 "11.224489795918368".
- 1429684 cpu_core_0 "11.224489795918368".
- 1429763 cpu_core_0 "11.224489795918368".
- 1430595 cpu_core_0 "11.224489795918368".
- 1430964 cpu_core_0 "11.224489795918368".
- 1431776 cpu_core_0 "11.224489795918368".
- 1432120 cpu_core_0 "11.224489795918368".
- 1432908 cpu_core_0 "11.224489795918368".
- 1433301 cpu_core_0 "11.224489795918368".
- 1433982 cpu_core_0 "11.224489795918368".
- 1434327 cpu_core_0 "11.224489795918368".
- 1434395 cpu_core_0 "11.224489795918368".
- 1434841 cpu_core_0 "11.224489795918368".
- 1436287 cpu_core_0 "11.224489795918368".
- 1436309 cpu_core_0 "11.224489795918368".
- 1436406 cpu_core_0 "11.224489795918368".
- 1437012 cpu_core_0 "11.224489795918368".
- 1437637 cpu_core_0 "11.224489795918368".
- 1437759 cpu_core_0 "11.224489795918368".
- 1438365 cpu_core_0 "11.224489795918368".
- 1438679 cpu_core_0 "11.224489795918368".
- 1439024 cpu_core_0 "11.224489795918368".
- 1439172 cpu_core_0 "11.224489795918368".
- 1439385 cpu_core_0 "11.224489795918368".
- 1439566 cpu_core_0 "11.224489795918368".
- 1439885 cpu_core_0 "11.224489795918368".
- 1439985 cpu_core_0 "11.224489795918368".
- 1440118 cpu_core_0 "11.224489795918368".
- 1440190 cpu_core_0 "11.224489795918368".
- 1440306 cpu_core_0 "11.224489795918368".
- 1441131 cpu_core_0 "11.224489795918368".
- 1441173 cpu_core_0 "11.224489795918368".
- 1441179 cpu_core_0 "11.224489795918368".
- 1441385 cpu_core_0 "11.224489795918368".
- 1441663 cpu_core_0 "11.224489795918368".
- 1441750 cpu_core_0 "11.224489795918368".
- 1442000 cpu_core_0 "11.224489795918368".
- 1442042 cpu_core_0 "11.224489795918368".