Matches in ISWC2014 Benchmark for { ?s ?p 71.00000000000001. }
- 802514 cpu_core_0 "71.00000000000001".
- 802518 cpu_core_0 "71.00000000000001".
- 802547 cpu_core_0 "71.00000000000001".
- 802553 cpu_core_0 "71.00000000000001".
- 802786 cpu_core_0 "71.00000000000001".
- 802887 cpu_core_0 "71.00000000000001".
- 802948 cpu_core_0 "71.00000000000001".
- 803229 cpu_core_0 "71.00000000000001".
- 803250 cpu_core_0 "71.00000000000001".
- 803285 cpu_core_0 "71.00000000000001".
- 803319 cpu_core_0 "71.00000000000001".
- 803328 cpu_core_0 "71.00000000000001".
- 803400 cpu_core_0 "71.00000000000001".
- 803884 cpu_core_0 "71.00000000000001".
- 803904 cpu_core_0 "71.00000000000001".
- 804420 cpu_core_0 "71.00000000000001".
- 804466 cpu_core_0 "71.00000000000001".
- 804489 cpu_core_0 "71.00000000000001".
- 805243 cpu_core_0 "71.00000000000001".
- 805531 cpu_core_0 "71.00000000000001".
- 805860 cpu_core_0 "71.00000000000001".
- 806179 cpu_core_0 "71.00000000000001".
- 806438 cpu_core_0 "71.00000000000001".
- 808077 cpu_core_0 "71.00000000000001".
- 808316 cpu_core_0 "71.00000000000001".
- 808625 cpu_core_0 "71.00000000000001".
- 808723 cpu_core_0 "71.00000000000001".
- 808726 cpu_core_0 "71.00000000000001".
- 808759 cpu_core_0 "71.00000000000001".
- 808925 cpu_core_0 "71.00000000000001".
- 809622 cpu_core_0 "71.00000000000001".
- 809716 cpu_core_0 "71.00000000000001".
- 809724 cpu_core_0 "71.00000000000001".
- 809795 cpu_core_0 "71.00000000000001".
- 809963 cpu_core_0 "71.00000000000001".
- 810034 cpu_core_0 "71.00000000000001".
- 810057 cpu_core_0 "71.00000000000001".
- 810176 cpu_core_0 "71.00000000000001".
- 810199 cpu_core_0 "71.00000000000001".
- 810565 cpu_core_0 "71.00000000000001".
- 810569 cpu_core_0 "71.00000000000001".
- 810686 cpu_core_0 "71.00000000000001".
- 811116 cpu_core_0 "71.00000000000001".
- 811177 cpu_core_0 "71.00000000000001".
- 811216 cpu_core_0 "71.00000000000001".
- 811234 cpu_core_0 "71.00000000000001".
- 811453 cpu_core_0 "71.00000000000001".
- 811455 cpu_core_0 "71.00000000000001".
- 811550 cpu_core_0 "71.00000000000001".
- 811700 cpu_core_0 "71.00000000000001".
- 811971 cpu_core_0 "71.00000000000001".
- 812313 cpu_core_0 "71.00000000000001".
- 812322 cpu_core_0 "71.00000000000001".
- 812336 cpu_core_0 "71.00000000000001".
- 812953 cpu_core_0 "71.00000000000001".
- 812959 cpu_core_0 "71.00000000000001".
- 813228 cpu_core_0 "71.00000000000001".
- 813435 cpu_core_0 "71.00000000000001".
- 813599 cpu_core_0 "71.00000000000001".
- 813763 cpu_core_0 "71.00000000000001".
- 813830 cpu_core_0 "71.00000000000001".
- 814055 cpu_core_0 "71.00000000000001".
- 814122 cpu_core_0 "71.00000000000001".
- 814333 cpu_core_0 "71.00000000000001".
- 814536 cpu_core_0 "71.00000000000001".
- 814761 cpu_core_0 "71.00000000000001".
- 815228 cpu_core_0 "71.00000000000001".
- 816024 cpu_core_0 "71.00000000000001".
- 816095 cpu_core_0 "71.00000000000001".
- 816152 cpu_core_0 "71.00000000000001".
- 816164 cpu_core_0 "71.00000000000001".
- 816247 cpu_core_0 "71.00000000000001".
- 816831 cpu_core_0 "71.00000000000001".
- 817058 cpu_core_0 "71.00000000000001".
- 817257 cpu_core_0 "71.00000000000001".
- 817493 cpu_core_0 "71.00000000000001".
- 818604 cpu_core_0 "71.00000000000001".
- 818969 cpu_core_0 "71.00000000000001".
- 819273 cpu_core_0 "71.00000000000001".
- 819626 cpu_core_0 "71.00000000000001".
- 819964 cpu_core_0 "71.00000000000001".
- 820336 cpu_core_0 "71.00000000000001".
- 820337 cpu_core_0 "71.00000000000001".
- 820749 cpu_core_0 "71.00000000000001".
- 821078 cpu_core_0 "71.00000000000001".
- 821091 cpu_core_0 "71.00000000000001".
- 821637 cpu_core_0 "71.00000000000001".
- 822428 cpu_core_0 "71.00000000000001".
- 822818 cpu_core_0 "71.00000000000001".
- 823012 cpu_core_0 "71.00000000000001".
- 823036 cpu_core_0 "71.00000000000001".
- 823272 cpu_core_0 "71.00000000000001".
- 823367 cpu_core_0 "71.00000000000001".
- 823547 cpu_core_0 "71.00000000000001".
- 823735 cpu_core_0 "71.00000000000001".
- 823935 cpu_core_0 "71.00000000000001".
- 824289 cpu_core_0 "71.00000000000001".
- 824833 cpu_core_0 "71.00000000000001".
- 825715 cpu_core_0 "71.00000000000001".
- 825907 cpu_core_0 "71.00000000000001".