Matches in ISWC2014 Benchmark for { ?s ?p 56.00000000000001. }
- 393120 cpu_core_0 "56.00000000000001".
- 393359 cpu_core_0 "56.00000000000001".
- 393412 cpu_core_0 "56.00000000000001".
- 393622 cpu_core_0 "56.00000000000001".
- 393699 cpu_core_0 "56.00000000000001".
- 393977 cpu_core_0 "56.00000000000001".
- 394025 cpu_core_0 "56.00000000000001".
- 394142 cpu_core_0 "56.00000000000001".
- 394162 cpu_core_0 "56.00000000000001".
- 394208 cpu_core_0 "56.00000000000001".
- 394335 cpu_core_0 "56.00000000000001".
- 394621 cpu_core_0 "56.00000000000001".
- 394657 cpu_core_0 "56.00000000000001".
- 394767 cpu_core_0 "56.00000000000001".
- 394803 cpu_core_0 "56.00000000000001".
- 394987 cpu_core_0 "56.00000000000001".
- 395003 cpu_core_0 "56.00000000000001".
- 395077 cpu_core_0 "56.00000000000001".
- 395146 cpu_core_0 "56.00000000000001".
- 395273 cpu_core_0 "56.00000000000001".
- 395369 cpu_core_0 "56.00000000000001".
- 395434 cpu_core_0 "56.00000000000001".
- 395744 cpu_core_0 "56.00000000000001".
- 396148 cpu_core_0 "56.00000000000001".
- 396217 cpu_core_0 "56.00000000000001".
- 396250 cpu_core_0 "56.00000000000001".
- 396394 cpu_core_0 "56.00000000000001".
- 396428 cpu_core_0 "56.00000000000001".
- 396493 cpu_core_0 "56.00000000000001".
- 396810 cpu_core_0 "56.00000000000001".
- 396831 cpu_core_0 "56.00000000000001".
- 396942 cpu_core_0 "56.00000000000001".
- 396989 cpu_core_0 "56.00000000000001".
- 397098 cpu_core_0 "56.00000000000001".
- 397379 cpu_core_0 "56.00000000000001".
- 397431 cpu_core_0 "56.00000000000001".
- 397469 cpu_core_0 "56.00000000000001".
- 397476 cpu_core_0 "56.00000000000001".
- 397577 cpu_core_0 "56.00000000000001".
- 397579 cpu_core_0 "56.00000000000001".
- 397611 cpu_core_0 "56.00000000000001".
- 397677 cpu_core_0 "56.00000000000001".
- 397783 cpu_core_0 "56.00000000000001".
- 397846 cpu_core_0 "56.00000000000001".
- 398261 cpu_core_0 "56.00000000000001".
- 398493 cpu_core_0 "56.00000000000001".
- 398563 cpu_core_0 "56.00000000000001".
- 398669 cpu_core_0 "56.00000000000001".
- 398710 cpu_core_0 "56.00000000000001".
- 398769 cpu_core_0 "56.00000000000001".
- 398836 cpu_core_0 "56.00000000000001".
- 399085 cpu_core_0 "56.00000000000001".
- 399190 cpu_core_0 "56.00000000000001".
- 399571 cpu_core_0 "56.00000000000001".
- 399591 cpu_core_0 "56.00000000000001".
- 399623 cpu_core_0 "56.00000000000001".
- 400592 cpu_core_0 "56.00000000000001".
- 400647 cpu_core_0 "56.00000000000001".
- 400713 cpu_core_0 "56.00000000000001".
- 400775 cpu_core_0 "56.00000000000001".
- 400997 cpu_core_0 "56.00000000000001".
- 401031 cpu_core_0 "56.00000000000001".
- 401079 cpu_core_0 "56.00000000000001".
- 401112 cpu_core_0 "56.00000000000001".
- 401149 cpu_core_0 "56.00000000000001".
- 401191 cpu_core_0 "56.00000000000001".
- 401463 cpu_core_0 "56.00000000000001".
- 401465 cpu_core_0 "56.00000000000001".
- 401660 cpu_core_0 "56.00000000000001".
- 401778 cpu_core_0 "56.00000000000001".
- 401833 cpu_core_0 "56.00000000000001".
- 404880 cpu_core_0 "56.00000000000001".
- 405322 cpu_core_0 "56.00000000000001".
- 405614 cpu_core_0 "56.00000000000001".
- 407570 cpu_core_0 "56.00000000000001".
- 407779 cpu_core_0 "56.00000000000001".
- 408053 cpu_core_0 "56.00000000000001".
- 408467 cpu_core_0 "56.00000000000001".
- 408677 cpu_core_0 "56.00000000000001".
- 408800 cpu_core_0 "56.00000000000001".
- 409122 cpu_core_0 "56.00000000000001".
- 409228 cpu_core_0 "56.00000000000001".
- 409249 cpu_core_0 "56.00000000000001".
- 409293 cpu_core_0 "56.00000000000001".
- 409381 cpu_core_0 "56.00000000000001".
- 409424 cpu_core_0 "56.00000000000001".
- 409550 cpu_core_0 "56.00000000000001".
- 409969 cpu_core_0 "56.00000000000001".
- 409991 cpu_core_0 "56.00000000000001".
- 410022 cpu_core_0 "56.00000000000001".
- 410046 cpu_core_0 "56.00000000000001".
- 410177 cpu_core_0 "56.00000000000001".
- 410194 cpu_core_0 "56.00000000000001".
- 410366 cpu_core_0 "56.00000000000001".
- 410444 cpu_core_0 "56.00000000000001".
- 410658 cpu_core_0 "56.00000000000001".
- 410693 cpu_core_0 "56.00000000000001".
- 411029 cpu_core_0 "56.00000000000001".
- 411318 cpu_core_0 "56.00000000000001".
- 411425 cpu_core_0 "56.00000000000001".