Matches in ISWC2014 Benchmark for { ?s ?p 57.00000000000001. }
- 840612 cpu_core_0 "57.00000000000001".
- 840783 cpu_core_0 "57.00000000000001".
- 840944 cpu_core_0 "57.00000000000001".
- 841103 cpu_core_0 "57.00000000000001".
- 841541 cpu_core_0 "57.00000000000001".
- 841633 cpu_core_0 "57.00000000000001".
- 841634 cpu_core_0 "57.00000000000001".
- 841770 cpu_core_0 "57.00000000000001".
- 841821 cpu_core_0 "57.00000000000001".
- 841827 cpu_core_0 "57.00000000000001".
- 842024 cpu_core_0 "57.00000000000001".
- 842403 cpu_core_0 "57.00000000000001".
- 842465 cpu_core_0 "57.00000000000001".
- 842654 cpu_core_0 "57.00000000000001".
- 842751 cpu_core_0 "57.00000000000001".
- 842809 cpu_core_0 "57.00000000000001".
- 843088 cpu_core_0 "57.00000000000001".
- 843295 cpu_core_0 "57.00000000000001".
- 843406 cpu_core_0 "57.00000000000001".
- 843529 cpu_core_0 "57.00000000000001".
- 843635 cpu_core_0 "57.00000000000001".
- 843729 cpu_core_0 "57.00000000000001".
- 843844 cpu_core_0 "57.00000000000001".
- 843887 cpu_core_0 "57.00000000000001".
- 844004 cpu_core_0 "57.00000000000001".
- 844189 cpu_core_0 "57.00000000000001".
- 844312 cpu_core_0 "57.00000000000001".
- 844696 cpu_core_0 "57.00000000000001".
- 845196 cpu_core_0 "57.00000000000001".
- 845463 cpu_core_0 "57.00000000000001".
- 845493 cpu_core_0 "57.00000000000001".
- 845633 cpu_core_0 "57.00000000000001".
- 845709 cpu_core_0 "57.00000000000001".
- 845799 cpu_core_0 "57.00000000000001".
- 846069 cpu_core_0 "57.00000000000001".
- 846172 cpu_core_0 "57.00000000000001".
- 846181 cpu_core_0 "57.00000000000001".
- 846351 cpu_core_0 "57.00000000000001".
- 846378 cpu_core_0 "57.00000000000001".
- 846398 cpu_core_0 "57.00000000000001".
- 846733 cpu_core_0 "57.00000000000001".
- 846978 cpu_core_0 "57.00000000000001".
- 847151 cpu_core_0 "57.00000000000001".
- 847220 cpu_core_0 "57.00000000000001".
- 847342 cpu_core_0 "57.00000000000001".
- 847646 cpu_core_0 "57.00000000000001".
- 847838 cpu_core_0 "57.00000000000001".
- 847865 cpu_core_0 "57.00000000000001".
- 847974 cpu_core_0 "57.00000000000001".
- 848322 cpu_core_0 "57.00000000000001".
- 848527 cpu_core_0 "57.00000000000001".
- 848563 cpu_core_0 "57.00000000000001".
- 848586 cpu_core_0 "57.00000000000001".
- 848596 cpu_core_0 "57.00000000000001".
- 848770 cpu_core_0 "57.00000000000001".
- 848855 cpu_core_0 "57.00000000000001".
- 848886 cpu_core_0 "57.00000000000001".
- 849019 cpu_core_0 "57.00000000000001".
- 849308 cpu_core_0 "57.00000000000001".
- 849365 cpu_core_0 "57.00000000000001".
- 849409 cpu_core_0 "57.00000000000001".
- 849450 cpu_core_0 "57.00000000000001".
- 849626 cpu_core_0 "57.00000000000001".
- 849681 cpu_core_0 "57.00000000000001".
- 849687 cpu_core_0 "57.00000000000001".
- 849746 cpu_core_0 "57.00000000000001".
- 849977 cpu_core_0 "57.00000000000001".
- 850085 cpu_core_0 "57.00000000000001".
- 850216 cpu_core_0 "57.00000000000001".
- 850229 cpu_core_0 "57.00000000000001".
- 850557 cpu_core_0 "57.00000000000001".
- 850570 cpu_core_0 "57.00000000000001".
- 850640 cpu_core_0 "57.00000000000001".
- 850834 cpu_core_0 "57.00000000000001".
- 850839 cpu_core_0 "57.00000000000001".
- 850926 cpu_core_0 "57.00000000000001".
- 850952 cpu_core_0 "57.00000000000001".
- 851146 cpu_core_0 "57.00000000000001".
- 851198 cpu_core_0 "57.00000000000001".
- 851410 cpu_core_0 "57.00000000000001".
- 851415 cpu_core_0 "57.00000000000001".
- 851455 cpu_core_0 "57.00000000000001".
- 851461 cpu_core_0 "57.00000000000001".
- 851691 cpu_core_0 "57.00000000000001".
- 851967 cpu_core_0 "57.00000000000001".
- 852028 cpu_core_0 "57.00000000000001".
- 852115 cpu_core_0 "57.00000000000001".
- 852154 cpu_core_0 "57.00000000000001".
- 852219 cpu_core_0 "57.00000000000001".
- 852247 cpu_core_0 "57.00000000000001".
- 852395 cpu_core_0 "57.00000000000001".
- 852504 cpu_core_0 "57.00000000000001".
- 852575 cpu_core_0 "57.00000000000001".
- 852697 cpu_core_0 "57.00000000000001".
- 852819 cpu_core_0 "57.00000000000001".
- 853106 cpu_core_0 "57.00000000000001".
- 853141 cpu_core_0 "57.00000000000001".
- 853219 cpu_core_0 "57.00000000000001".
- 853309 cpu_core_0 "57.00000000000001".
- 853345 cpu_core_0 "57.00000000000001".