Matches in ISWC2014 Benchmark for { ?s ?p 56.00000000000001. }
- 334669 cpu_core_0 "56.00000000000001".
- 334780 cpu_core_0 "56.00000000000001".
- 334782 cpu_core_0 "56.00000000000001".
- 334783 cpu_core_0 "56.00000000000001".
- 334986 cpu_core_0 "56.00000000000001".
- 335148 cpu_core_0 "56.00000000000001".
- 335493 cpu_core_0 "56.00000000000001".
- 335831 cpu_core_0 "56.00000000000001".
- 335945 cpu_core_0 "56.00000000000001".
- 336165 cpu_core_0 "56.00000000000001".
- 336330 cpu_core_0 "56.00000000000001".
- 336388 cpu_core_0 "56.00000000000001".
- 336530 cpu_core_0 "56.00000000000001".
- 336619 cpu_core_0 "56.00000000000001".
- 336739 cpu_core_0 "56.00000000000001".
- 337042 cpu_core_0 "56.00000000000001".
- 337076 cpu_core_0 "56.00000000000001".
- 337527 cpu_core_0 "56.00000000000001".
- 337654 cpu_core_0 "56.00000000000001".
- 337874 cpu_core_0 "56.00000000000001".
- 338178 cpu_core_0 "56.00000000000001".
- 338622 cpu_core_0 "56.00000000000001".
- 339131 cpu_core_0 "56.00000000000001".
- 339290 cpu_core_0 "56.00000000000001".
- 339501 cpu_core_0 "56.00000000000001".
- 339760 cpu_core_0 "56.00000000000001".
- 339919 cpu_core_0 "56.00000000000001".
- 339927 cpu_core_0 "56.00000000000001".
- 339981 cpu_core_0 "56.00000000000001".
- 340323 cpu_core_0 "56.00000000000001".
- 340354 cpu_core_0 "56.00000000000001".
- 340539 cpu_core_0 "56.00000000000001".
- 340622 cpu_core_0 "56.00000000000001".
- 340702 cpu_core_0 "56.00000000000001".
- 340786 cpu_core_0 "56.00000000000001".
- 341051 cpu_core_0 "56.00000000000001".
- 341161 cpu_core_0 "56.00000000000001".
- 341788 cpu_core_0 "56.00000000000001".
- 341859 cpu_core_0 "56.00000000000001".
- 342021 cpu_core_0 "56.00000000000001".
- 342135 cpu_core_0 "56.00000000000001".
- 342192 cpu_core_0 "56.00000000000001".
- 342223 cpu_core_0 "56.00000000000001".
- 342622 cpu_core_0 "56.00000000000001".
- 342671 cpu_core_0 "56.00000000000001".
- 342715 cpu_core_0 "56.00000000000001".
- 342745 cpu_core_0 "56.00000000000001".
- 342750 cpu_core_0 "56.00000000000001".
- 343115 cpu_core_0 "56.00000000000001".
- 343121 cpu_core_0 "56.00000000000001".
- 343188 cpu_core_0 "56.00000000000001".
- 343693 cpu_core_0 "56.00000000000001".
- 343710 cpu_core_0 "56.00000000000001".
- 343739 cpu_core_0 "56.00000000000001".
- 343929 cpu_core_0 "56.00000000000001".
- 344227 cpu_core_0 "56.00000000000001".
- 344348 cpu_core_0 "56.00000000000001".
- 344700 cpu_core_0 "56.00000000000001".
- 344815 cpu_core_0 "56.00000000000001".
- 344856 cpu_core_0 "56.00000000000001".
- 344903 cpu_core_0 "56.00000000000001".
- 345236 cpu_core_0 "56.00000000000001".
- 345307 cpu_core_0 "56.00000000000001".
- 345474 cpu_core_0 "56.00000000000001".
- 345623 cpu_core_0 "56.00000000000001".
- 345737 cpu_core_0 "56.00000000000001".
- 345807 cpu_core_0 "56.00000000000001".
- 346081 cpu_core_0 "56.00000000000001".
- 346544 cpu_core_0 "56.00000000000001".
- 346779 cpu_core_0 "56.00000000000001".
- 346917 cpu_core_0 "56.00000000000001".
- 347054 cpu_core_0 "56.00000000000001".
- 347144 cpu_core_0 "56.00000000000001".
- 347634 cpu_core_0 "56.00000000000001".
- 347697 cpu_core_0 "56.00000000000001".
- 347997 cpu_core_0 "56.00000000000001".
- 348425 cpu_core_0 "56.00000000000001".
- 348488 cpu_core_0 "56.00000000000001".
- 348713 cpu_core_0 "56.00000000000001".
- 348871 cpu_core_0 "56.00000000000001".
- 349575 cpu_core_0 "56.00000000000001".
- 349695 cpu_core_0 "56.00000000000001".
- 349769 cpu_core_0 "56.00000000000001".
- 349774 cpu_core_0 "56.00000000000001".
- 349959 cpu_core_0 "56.00000000000001".
- 350406 cpu_core_0 "56.00000000000001".
- 350441 cpu_core_0 "56.00000000000001".
- 350552 cpu_core_0 "56.00000000000001".
- 351061 cpu_core_0 "56.00000000000001".
- 351186 cpu_core_0 "56.00000000000001".
- 351204 cpu_core_0 "56.00000000000001".
- 351310 cpu_core_0 "56.00000000000001".
- 351494 cpu_core_0 "56.00000000000001".
- 351669 cpu_core_0 "56.00000000000001".
- 351671 cpu_core_0 "56.00000000000001".
- 351677 cpu_core_0 "56.00000000000001".
- 352151 cpu_core_0 "56.00000000000001".
- 352157 cpu_core_0 "56.00000000000001".
- 352359 cpu_core_0 "56.00000000000001".
- 352376 cpu_core_0 "56.00000000000001".